-
A topological quantum field theory for $\mathrm{Spin}(7)$-instantons
Authors:
Rafael Herrera,
Sergio A. Holguin Cardona,
Alexander Quintero Velez
Abstract:
We construct a topological quantum field theory based on the moduli space of $\mathrm{Spin}(7)$-instantons on 8-dimensional manifolds. Using the Mathai-Quillen formalism, we derive the action of the theory in purely geometric terms, which coincides with prior results in the literature. We then reformulate the theory within the AKSZ formalism, obtaining a Batalin-Vilkovisky action that, after gauge…
▽ More
We construct a topological quantum field theory based on the moduli space of $\mathrm{Spin}(7)$-instantons on 8-dimensional manifolds. Using the Mathai-Quillen formalism, we derive the action of the theory in purely geometric terms, which coincides with prior results in the literature. We then reformulate the theory within the AKSZ formalism, obtaining a Batalin-Vilkovisky action that, after gauge fixing, matches our Mathai-Quillen construction while making the BRST symmetry explicit and providing a natural framework for classical observables. We also show that the Batalin-Vilkovisky action can be elegantly recast as a Chern-Simons type theory.
△ Less
Submitted 27 April, 2025;
originally announced April 2025.
-
Adding the constant evasion and constant prediction numbers to Cichoń's maximum
Authors:
Miguel A. Cardona,
Miroslav Repický,
Saharon Shelah
Abstract:
Let $\mathfrak{e}^\mathsf{const}_2$ be the constant evasion number, that is, the size of the least family $F\subseteq{}^ω2$ of reals such that for each predictor $π\colon {}^{<ω}2\to 2$ there is $x\in F$ which is not constantly predicted by $π$; and let $\mathfrak{v}_2^\mathsf{const}$ be the constant prediction number, that is, the size of the least family $Π_2$ of functions…
▽ More
Let $\mathfrak{e}^\mathsf{const}_2$ be the constant evasion number, that is, the size of the least family $F\subseteq{}^ω2$ of reals such that for each predictor $π\colon {}^{<ω}2\to 2$ there is $x\in F$ which is not constantly predicted by $π$; and let $\mathfrak{v}_2^\mathsf{const}$ be the constant prediction number, that is, the size of the least family $Π_2$ of functions $π\colon {}^{<ω}2\to 2$ such that for each $x\in{}^ω2$ there is $π\inΠ_2$ that predicts constantly $x$. In this work, we show that the constant evasion number $\mathfrak{e}_2^{\mathrm{cons}}$ and the constant prediction number $\mathfrak{v}_2^\mathsf{const}$ can be added to Cichoń's maximum with distinct values.
△ Less
Submitted 17 April, 2025; v1 submitted 31 March, 2025;
originally announced March 2025.
-
Cardinal invariants associated with the combinatorics of the uniformity number of the ideal of meager-additive sets
Authors:
Miguel A. Cardona
Abstract:
In [CMRM24], it was proved that it is relatively consistent that \emph{bounding number} $\mathfrak{b}$ is smaller than the uniformity of $\mathcal{MA}$, where $\mathcal{MA}$ denotes the ideal of the meager-additive sets of $2^ω$. To establish this result, a specific cardinal invariant, which we refer to as $\mathfrak{b}_b^\mathsf{eq}$, was introduced in close relation to Bartoszyński's and Judah's…
▽ More
In [CMRM24], it was proved that it is relatively consistent that \emph{bounding number} $\mathfrak{b}$ is smaller than the uniformity of $\mathcal{MA}$, where $\mathcal{MA}$ denotes the ideal of the meager-additive sets of $2^ω$. To establish this result, a specific cardinal invariant, which we refer to as $\mathfrak{b}_b^\mathsf{eq}$, was introduced in close relation to Bartoszyński's and Judah's characterization of the uniformity of $\mathcal{MA}$. This survey aims to explore this cardinal invariant along with its dual, which we call as $\mathfrak{d}_b^\mathsf{eq}$. In particular, we will illustrate its connections with the cardinals represented in Cichoń's diagram. Furthermore, we will present several open problems pertaining to these cardinals.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Finitely additive measures on Boolean algebras
Authors:
Miguel A. Cardona,
Diego A. Mejía,
Andrés F. Uribe-Zapata
Abstract:
In this article, we conduct a detailed study of \emph{finitely additive measures} (fams) in the context of Boolean algebras, focusing on three specific topics: freeness and approximation, existence and extension criteria, and integration theory. In the first topic, we present a classification of \emph{free} finitely additive measures, that is, those for which the measure of finite sets is zero, in…
▽ More
In this article, we conduct a detailed study of \emph{finitely additive measures} (fams) in the context of Boolean algebras, focusing on three specific topics: freeness and approximation, existence and extension criteria, and integration theory. In the first topic, we present a classification of \emph{free} finitely additive measures, that is, those for which the measure of finite sets is zero, in terms of approximation to uniform probability measures. This inspires a weaker version of this notion, which we call the \emph{uniform approximation property}, characterized in terms of freeness and another well-determined type of fams we call \emph{uniformly supported}. In the second topic, we study criteria for existence and extension of finitely additive measures for Boolean algebras, offering a relatively short proof of the \emph{compatibility theorem} for fams.
Finally, we study a Riemann-type integration theory on fields of sets with respect to finitely additive measures, allowing us to extend and generalize some classical concepts and results from real analysis, such as Riemann integration over rectangles in $\mathbb{R}^{n}$ and the Jordan measure. We also generalize the extension criteria for fams allowing desired values of integrals of a given set of functions. At the end, we explore the connection between integration in fields of sets and the Lebesgue integration in the Stone space of the corresponding field, where we establish a characterization of integrability in the sense of the Lebesgue-Vitali theorem, which follows as a consequence of our results.
△ Less
Submitted 11 March, 2025;
originally announced March 2025.
-
More separations of cardinal characteristics of the strong measure zero ideal
Authors:
Miguel A. Cardona,
Miroslav Repický,
Saharon Shelah
Abstract:
Let $\mathcal{N}$ be the $σ$-ideal of the null sets of reals. We introduce a new property of forcing notions that enable control of the additivity of $\mathcal{N}$ after finite support iterations. This is applied to answer some open questions from the work of Brendle, the first author, and Mejía~\cite{BCM2}.
Let $\mathcal{N}$ be the $σ$-ideal of the null sets of reals. We introduce a new property of forcing notions that enable control of the additivity of $\mathcal{N}$ after finite support iterations. This is applied to answer some open questions from the work of Brendle, the first author, and Mejía~\cite{BCM2}.
△ Less
Submitted 24 January, 2025;
originally announced February 2025.
-
Bridging spatial and temporal scales of developmental gene regulation
Authors:
Andrés H. Cardona,
Márcia Mesquita Peixoto,
Tohn Borjigin,
Thomas Gregor
Abstract:
The development of multicellular organisms relies on the precise coordination of molecular events across multiple spatial and temporal scales. Understanding how information flows from molecular interactions to cellular processes and tissue organization during development is crucial for explaining the remarkable reproducibility of complex organisms. This review explores how chromatin-encoded inform…
▽ More
The development of multicellular organisms relies on the precise coordination of molecular events across multiple spatial and temporal scales. Understanding how information flows from molecular interactions to cellular processes and tissue organization during development is crucial for explaining the remarkable reproducibility of complex organisms. This review explores how chromatin-encoded information is transduced from localized transcriptional events to global gene expression patterns, highlighting the challenge of bridging these scales. We discuss recent experimental findings and theoretical frameworks, emphasizing polymer physics as a tool for describing the relationship between chromatin structure and dynamics across scales. By integrating these perspectives, we aim to clarify how gene regulation is coordinated across levels of biological organization and suggest strategies for future experimental approaches.
△ Less
Submitted 28 January, 2025;
originally announced January 2025.
-
Learning Optimal Signal Temporal Logic Decision Trees for Classification: A Max-Flow MILP Formulation
Authors:
Kaier Liang,
Gustavo A. Cardona,
Disha Kamale,
Cristian-Ioan Vasile
Abstract:
This paper presents a novel framework for inferring timed temporal logic properties from data. The dataset comprises pairs of finite-time system traces and corresponding labels, denoting whether the traces demonstrate specific desired behaviors, e.g. whether the ship follows a safe route or not. Our proposed approach leverages decision-tree-based methods to infer Signal Temporal Logic classifiers…
▽ More
This paper presents a novel framework for inferring timed temporal logic properties from data. The dataset comprises pairs of finite-time system traces and corresponding labels, denoting whether the traces demonstrate specific desired behaviors, e.g. whether the ship follows a safe route or not. Our proposed approach leverages decision-tree-based methods to infer Signal Temporal Logic classifiers using primitive formulae. We formulate the inference process as a mixed integer linear programming optimization problem, recursively generating constraints to determine both data classification and tree structure. Applying a max-flow algorithm on the resultant tree transforms the problem into a global optimization challenge, leading to improved classification rates compared to prior methodologies. Moreover, we introduce a technique to reduce the number of constraints by exploiting the symmetry inherent in STL primitives, which enhances the algorithm's time performance and interpretability. To assess our algorithm's effectiveness and classification performance, we conduct three case studies involving two-class, multi-class, and complex formula classification scenarios.
△ Less
Submitted 14 August, 2024; v1 submitted 30 July, 2024;
originally announced July 2024.
-
On orthogonal decompositions of hermitian Higgs bundles
Authors:
Sergio A. H. Cardona,
Kenett Martínez-Ruiz
Abstract:
An hermitian Higgs bundle is a triple $({\mathfrak E},h) = (E,Φ, h)$, where ${\mathfrak E}=(E,Φ)$ is a Higgs bundle \cite{Simpson} and $(E,h)$ is a holomorphic hermitian vector bundle \cite{Kobayashi}. As it is well known, several results on holomorphic vector bundles can be extended to the Higgs bundles setting. In this article we show that some classical propositions, involving orthogonal decomp…
▽ More
An hermitian Higgs bundle is a triple $({\mathfrak E},h) = (E,Φ, h)$, where ${\mathfrak E}=(E,Φ)$ is a Higgs bundle \cite{Simpson} and $(E,h)$ is a holomorphic hermitian vector bundle \cite{Kobayashi}. As it is well known, several results on holomorphic vector bundles can be extended to the Higgs bundles setting. In this article we show that some classical propositions, involving orthogonal decompositions of holomorphic hermitian vector bundles and the second fundamental form of its holomorphic subbundles, can be extended to hermitian Higgs bundles. The extended results concerning orthogonal decompositions have immediate applications in Higgs bundles, and we include them in the form of two corollaries. The extended results concerning the second fundamental form are previously known in literature \cite{Bruzzo-Granha}. Here we revisit these results and include alternative proofs without using local computations.
△ Less
Submitted 26 July, 2024;
originally announced July 2024.
-
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.
-
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 theory preserves strong unbounded families and what we call anti-Bendixson families, which play a central role in preserving witnesses of $\mathrm{cov}(\mathcal{N})$ of singular size (even of countable cofinality). We also show that our iteration method does not increase $\mathrm{non}(\mathcal{E})$, the smallest size of a set of reals that cannot be covered by an $F_σ$ measure zero set. Finally, we apply our theory to prove 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 23 October, 2024; v1 submitted 14 June, 2024;
originally announced June 2024.
-
Cardinal characteristics associated with small subsets of reals
Authors:
Miguel A. Cardona,
Adam Marton,
Jaroslav Supina
Abstract:
Inspired by Bartoszyński's work on small sets, we introduce a new ideal defined by interval partitions on natural numbers and summable sequences of positive reals. Similarly, we present another ideal that relies on Bartoszyński's and Shelah's representation of $F_σ$ measure zero sets. We show they are $σ$-ideals characterizing all small sets and $F_σ$ measure zero sets. We also study the cardinal…
▽ More
Inspired by Bartoszyński's work on small sets, we introduce a new ideal defined by interval partitions on natural numbers and summable sequences of positive reals. Similarly, we present another ideal that relies on Bartoszyński's and Shelah's representation of $F_σ$ measure zero sets. We show they are $σ$-ideals characterizing all small sets and $F_σ$ measure zero sets. We also study the cardinal characteristics associated with the introduced ideals. We use them to describe the invariants of measure, discuss their connection to Cichoń's diagram, and present related consistency results.
△ Less
Submitted 12 February, 2025; v1 submitted 18 May, 2024;
originally announced May 2024.
-
Non-existence of free boundary minimal Möbius bands in the unit three-ball
Authors:
Carlos Andrés Toro Cardona
Abstract:
We prove the impossibility of constructing free boundary minimal Möbius bands in the Euclidean ball $\mathbb{B}^3$. This answers in the negative a question proposed by I. Fernández, L. Hauswirth and P. Mira.
We prove the impossibility of constructing free boundary minimal Möbius bands in the Euclidean ball $\mathbb{B}^3$. This answers in the negative a question proposed by I. Fernández, L. Hauswirth and P. Mira.
△ Less
Submitted 17 April, 2024;
originally announced April 2024.
-
The cardinal characteristics of the ideal generated by the $F_σ$ measure zero subsets of the reals
Authors:
Miguel A. Cardona
Abstract:
Let $\mathcal{E}$ be the ideal generated by the $F_σ$ measure zero subsets of the reals. The purpose of this survey paper is to study the cardinal characteristics (the additivity, covering number, uniformity, and cofinality) of $\mathcal{E}$.
Let $\mathcal{E}$ be the ideal generated by the $F_σ$ measure zero subsets of the reals. The purpose of this survey paper is to study the cardinal characteristics (the additivity, covering number, uniformity, and cofinality) of $\mathcal{E}$.
△ Less
Submitted 14 February, 2024; v1 submitted 7 February, 2024;
originally announced February 2024.
-
Soft-linkedness
Authors:
Miguel A. Cardona
Abstract:
We have revised the softness property introduced by Jörg Brendle and Haim Judah (perfect sets of random reals. Israel J. Math., 83(1-2):153-176, 1993), to present a new definition of a class of posets called $σ$-soft-linked. Our work demonstrates that these posets work well to preserve the evasion number as well as the bounding number small in generic extensions. Furthermore, we establish a connec…
▽ More
We have revised the softness property introduced by Jörg Brendle and Haim Judah (perfect sets of random reals. Israel J. Math., 83(1-2):153-176, 1993), to present a new definition of a class of posets called $σ$-soft-linked. Our work demonstrates that these posets work well to preserve the evasion number as well as the bounding number small in generic extensions. Furthermore, we establish a connection between our concept and the Fréchet-linked notion introduced by Diego A. Mejía (Matrix iterations with vertical support restrictions. In Proceedings of the 14th1 and 15th Asian Logic Conferences, pages 213-248. World Sci. Publ., Hackensack, NJ, 2019).
△ Less
Submitted 6 August, 2024; v1 submitted 31 January, 2024;
originally announced February 2024.
-
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.
-
A Flexible and Efficient Temporal Logic Tool for Python: PyTeLo
Authors:
Gustavo A. Cardona,
Kevin Leahy,
Makai Mann,
Cristian-Ioan Vasile
Abstract:
Temporal logic is an important tool for specifying complex behaviors of systems. It can be used to define properties for verification and monitoring, as well as goals for synthesis tools, allowing users to specify rich missions and tasks. Some of the most popular temporal logics include Metric Temporal Logic (MTL), Signal Temporal Logic (STL), and weighted STL (wSTL), which also allow the definiti…
▽ More
Temporal logic is an important tool for specifying complex behaviors of systems. It can be used to define properties for verification and monitoring, as well as goals for synthesis tools, allowing users to specify rich missions and tasks. Some of the most popular temporal logics include Metric Temporal Logic (MTL), Signal Temporal Logic (STL), and weighted STL (wSTL), which also allow the definition of timing constraints. In this work, we introduce PyTeLo, a modular and versatile Python-based software that facilitates working with temporal logic languages, specifically MTL, STL, and wSTL. Applying PyTeLo requires only a string representation of the temporal logic specification and, optionally, the dynamics of the system of interest. Next, PyTeLo reads the specification using an ANTLR-generated parser and generates an Abstract Syntax Tree (AST) that captures the structure of the formula. For synthesis, the AST serves to recursively encode the specification into a Mixed Integer Linear Program (MILP) that is solved using a commercial solver such as Gurobi. We describe the architecture and capabilities of PyTeLo and provide example applications highlighting its adaptability and extensibility for various research problems.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
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.
-
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.
-
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 5 December, 2024; v1 submitted 25 April, 2023;
originally announced April 2023.
-
Study of the threshold anomaly in the elastic scattering of d+$^{197}$Au
Authors:
T. Giudice,
D. Abriola,
A. Arazi,
E. de Barbará,
M. A. Cardona,
J. Gómez,
D. Hojman,
R. M. Id Betan,
M. S. Kohen,
N. Llaneza,
G. V. Martí,
B. Paes,
D. Schneider,
H. Soler,
J. Lubian
Abstract:
Measurements of the elastic scattering angular distribution for the d+$^{197}$Au system were carried out covering deuteron incident energies in the range from 5 to 16 MeV, i.e. approximately 50% below and above the Coulomb barrier. A critical interaction distance of $d_I$= 2.49 fm was determined from these distributions, which is comparable to that of the radioactive halo nucleus $^{6}$He. The exp…
▽ More
Measurements of the elastic scattering angular distribution for the d+$^{197}$Au system were carried out covering deuteron incident energies in the range from 5 to 16 MeV, i.e. approximately 50% below and above the Coulomb barrier. A critical interaction distance of $d_I$= 2.49 fm was determined from these distributions, which is comparable to that of the radioactive halo nucleus $^{6}$He. The experimental angular distributions were systematically analyzed using two alternative models: the semi-microscopic Sao Paulo and the effective Woods-Saxon optical potentials, for which the best-fitting parameters were determined. These potentials, integrated in the vicinity of the sensitivity radius, were calculated for each energy. For both models, the energy dependence of these integrals presented the breakup threshold anomaly around the coulomb barrier, a typical signature of weakly bound nuclei.
△ Less
Submitted 20 February, 2023;
originally announced February 2023.
-
T-Duality and Lie bi-algebroid structures
Authors:
Alexander Cardona,
Juan José Villamarín
Abstract:
We show that the geometric notion of duality behind $T$-duality, between two string theories on different manifolds $E, \hat{E}$ in the sense of \cite{BHM1}\cite{BHM2}, is precisely that of Lie bialgebroids due to Mackenzie and Xu \cite{MX}.
We show that the geometric notion of duality behind $T$-duality, between two string theories on different manifolds $E, \hat{E}$ in the sense of \cite{BHM1}\cite{BHM2}, is precisely that of Lie bialgebroids due to Mackenzie and Xu \cite{MX}.
△ Less
Submitted 27 July, 2022;
originally announced July 2022.
-
A friendly iteration forcing that the four cardinal characteristics of $\mathcal{E}$ can be pairwise different
Authors:
Miguel A. Cardona
Abstract:
Let $\mathcal{E}$ be the $σ$-ideal generated by the closed measure zero sets of reals. We use an ultrafilter-extendable matrix iteration of ccc posets to force that, for $\mathcal{E}$, their associated cardinal characteristics (i.e.\ additivity, covering, uniformity and cofinality) are pairwise different.
Let $\mathcal{E}$ be the $σ$-ideal generated by the closed measure zero sets of reals. We use an ultrafilter-extendable matrix iteration of ccc posets to force that, for $\mathcal{E}$, their associated cardinal characteristics (i.e.\ additivity, covering, uniformity and cofinality) are pairwise different.
△ Less
Submitted 29 June, 2022;
originally announced June 2022.
-
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.
-
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.
-
Tukey-order with models on Pawlikowski's theorems
Authors:
Miguel A. Cardona
Abstract:
In J. Symbolic Logic,51(4): 957-968, 1986, Pawlikowski proved that, if $r$ is a random real over $\mathbf{N}$, and $c$ is Cohen real over $\mathbf{N}[r]$, then
(a) in $\mathbf{N}[r][c]$ there is a Cohen real over $\mathbf{N}[c]$, and
(b) $2^ω\cap\mathbf{N}[c]\notin\mathcal{N}\cap\mathbf{N}[r][c]$, so in $\mathbf{N}[r][c]$ there is no random real over $\mathbf{N}[c]$.
To prove this, Pawlikows…
▽ More
In J. Symbolic Logic,51(4): 957-968, 1986, Pawlikowski proved that, if $r$ is a random real over $\mathbf{N}$, and $c$ is Cohen real over $\mathbf{N}[r]$, then
(a) in $\mathbf{N}[r][c]$ there is a Cohen real over $\mathbf{N}[c]$, and
(b) $2^ω\cap\mathbf{N}[c]\notin\mathcal{N}\cap\mathbf{N}[r][c]$, so in $\mathbf{N}[r][c]$ there is no random real over $\mathbf{N}[c]$.
To prove this, Pawlikowski proposes the following notion: Given two models $\mathbf{N}\subseteq \mathbf{M}$ of ZFC, we associate with a cardinal characteristic $\mathfrak{x}$ of the continuum, a sentence $\mathfrak{x}_\mathbf{N}^\mathbf{M}$ saying that in $\mathbf{M}$, the reals in $\mathbf{N}$ give an example of a family fulfilling the requirements of the cardinal. So to prove (a) and (b), it suffices to prove that
(a') $\mathrm{cov}(\mathcal{M})_{\mathbf{N}[c]}^{\mathbf{M}[c]}\Rightarrow\mathrm{cof}(\mathcal{M})_{\mathbf{N}}^{\mathbf{M}}\Rightarrow\mathrm{cov}(\mathcal{N})_{\mathbf{N}}^{\mathbf{M}}$, and
(b') $\mathrm{cov}(\mathcal{M})_\mathbf{N}^\mathbf{M}\Rightarrow\mathrm{add}(\mathcal{M})_{\mathbf{N}}^{\mathbf{M}}\Rightarrow\mathrm{non}(\mathcal{M})_{\mathbf{N}[c]}^{\mathbf{M}[c]}\Rightarrow\mathrm{cov}(\mathcal{N})_{\mathbf{N}[c]}^{\mathbf{M}[c]}$.
In this paper, we introduce the notion of Tukey-order with models, which expands the concept of Tukey-order introduced by Vojtáš (Israel Math. Conf. Proc. 6: 619-643, 1991) to prove expressions of the form $\mathfrak{x}_\mathbf{N}^\mathbf{M}\Rightarrow\mathfrak{y}_\mathbf{N}^\mathbf{M}$. In particular, we show (a') and (b') using Tukey-order with models.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
Event-Triggered Control for Weight-Unbalanced Directed Networks
Authors:
Juan D. Pabon,
Gustavo A. Cardona,
Nestor I. Ospina,
Juan Calderon,
Eduardo Mojica-Nava
Abstract:
We develop an event-triggered control strategy for a weighted-unbalanced directed homogeneous robot network to reach a dynamic consensus in this work. We present some guarantees for synchronizing a robot network when all robots have access to the reference and when a limited number of robots have access. The proposed event-triggered control can reduce and avoid the periodic updating of the signals…
▽ More
We develop an event-triggered control strategy for a weighted-unbalanced directed homogeneous robot network to reach a dynamic consensus in this work. We present some guarantees for synchronizing a robot network when all robots have access to the reference and when a limited number of robots have access. The proposed event-triggered control can reduce and avoid the periodic updating of the signals. Unlike some current control methods, we prove stability by making use of a logarithmic norm, which extends the possibilities of the control law to be applied to a wide range of directed graphs, in contrast to other works where the event-triggered control can be only implemented over strongly connected and weight-balanced digraphs. We test the performance of our algorithm by carrying out experiments both in simulation and in a real team of robots.
△ Less
Submitted 21 August, 2021;
originally announced August 2021.
-
Non-Prehensile Manipulation of Cuboid Objects Using a Catenary Robot
Authors:
Gustavo A. Cardona,
Diego S. D'Antonio,
Cristian-Ioan Vasile,
David Saldaña
Abstract:
Transporting objects using quadrotors with cables has been widely studied in the literature. However, most of those approaches assume that the cables are previously attached to the load by human intervention. In tasks where multiple objects need to be moved, the efficiency of the robotic system is constrained by the requirement of manual labor. Our approach uses a non-stretchable cable connected t…
▽ More
Transporting objects using quadrotors with cables has been widely studied in the literature. However, most of those approaches assume that the cables are previously attached to the load by human intervention. In tasks where multiple objects need to be moved, the efficiency of the robotic system is constrained by the requirement of manual labor. Our approach uses a non-stretchable cable connected to two quadrotors, which we call the catenary robot, that fully automates the transportation task. Using the cable, we can roll and drag the cuboid object (box) on planar surfaces. Depending on the surface type, we choose the proper action, dragging for low friction, and rolling for high friction. Therefore, the transportation process does not require any human intervention as we use the cable to interact with the box without requiring fastening. We validate our control design in simulation and with actual robots, where we show them rolling and dragging boxes to track desired trajectories.
△ Less
Submitted 3 August, 2021;
originally announced August 2021.
-
The Catenary Robot: Design and Control of a Cable Propelled by Two Quadrotors
Authors:
Diego S. D'antonio,
Gustavo A. Cardona,
David Saldaña
Abstract:
Transporting objects using aerial robots has been widely studied in the literature. Still, those approaches always assume that the connection between the quadrotor and the load is made in a previous stage. However, that previous stage usually requires human intervention, and autonomous procedures to locate and attach the object are not considered. Additionally, most of the approaches assume cables…
▽ More
Transporting objects using aerial robots has been widely studied in the literature. Still, those approaches always assume that the connection between the quadrotor and the load is made in a previous stage. However, that previous stage usually requires human intervention, and autonomous procedures to locate and attach the object are not considered. Additionally, most of the approaches assume cables as rigid links, but manipulating cables requires considering the state when the cables are hanging. In this work, we design and control a catenary robot. Our robot is able to transport hook-shaped objects in the environment. The robotic system is composed of two quadrotors attached to the two ends of a cable. By defining the catenary curve with five degrees of freedom, position in 3-D, orientation in the z-axis, and span, we can drive the two quadrotors to track a given trajectory. We validate our approach with simulations and real robots. We present four different scenarios of experiments. Our numerical solution is computationally fast and can be executed in real-time.
△ Less
Submitted 2 March, 2021; v1 submitted 24 February, 2021;
originally announced February 2021.
-
Energy dependence of the optical potential of the weakly bound 9Be projectile on the 197Au target
Authors:
F. Gollana,
D. Abriola,
A. Arazia,
M. A. Cardonaa,
E. de Barbara,
D. Hojmana,
R. M. Id Betan,
G. V. Marti,
A. J. Pacheco,
D. Rodriguesa,
M. Togneri
Abstract:
In this work we measured elastic and inelastic angular distributions of the weakly bound 9Be projectile on the 197Au target at several bombarding energies from 84% up to 140% of the Coulomb barrier. The elastic angular distributions were analyzed using a phenomenological Woods-Saxon potential and a double folding Sao Paulo potential and the energy dependence was extracted. Angular distributions fr…
▽ More
In this work we measured elastic and inelastic angular distributions of the weakly bound 9Be projectile on the 197Au target at several bombarding energies from 84% up to 140% of the Coulomb barrier. The elastic angular distributions were analyzed using a phenomenological Woods-Saxon potential and a double folding Sao Paulo potential and the energy dependence was extracted. Angular distributions from two inelastic peaks were compared with coupled channel calculations using reduced transition probabilities available in the literature. The energy dependence of the two interaction potential models show a similar trend in the region of the Coulomb barrier. Dispersion relation calculation demonstrates the presence of the breakup threshold anomaly proposed for weakly bound systems.
△ Less
Submitted 29 May, 2020;
originally announced May 2020.
-
Distance-based Positive and Unlabeled Learning for Ranking
Authors:
Hayden S. Helm,
Amitabh Basu,
Avanti Athreya,
Youngser Park,
Joshua T. Vogelstein,
Carey E. Priebe,
Michael Winding,
Marta Zlatic,
Albert Cardona,
Patrick Bourke,
Jonathan Larson,
Marah Abdin,
Piali Choudhury,
Weiwei Yang,
Christopher W. White
Abstract:
Learning to rank -- producing a ranked list of items specific to a query and with respect to a set of supervisory items -- is a problem of general interest. The setting we consider is one in which no analytic description of what constitutes a good ranking is available. Instead, we have a collection of representations and supervisory information consisting of a (target item, interesting items set)…
▽ More
Learning to rank -- producing a ranked list of items specific to a query and with respect to a set of supervisory items -- is a problem of general interest. The setting we consider is one in which no analytic description of what constitutes a good ranking is available. Instead, we have a collection of representations and supervisory information consisting of a (target item, interesting items set) pair. We demonstrate analytically, in simulation, and in real data examples that learning to rank via combining representations using an integer linear program is effective when the supervision is as light as "these few items are similar to your item of interest." While this nomination task is quite general, for specificity we present our methodology from the perspective of vertex nomination in graphs. The methodology described herein is model agnostic.
△ Less
Submitted 28 September, 2022; v1 submitted 19 May, 2020;
originally announced May 2020.
-
Twistor sections of Dirac bundles
Authors:
Sergio A. H. Cardona,
Pedro Solórzano,
Iván Téllez
Abstract:
A Dirac bundle is a euclidean bundle over a riemannian manifold $M$ which is a compatible left $C\ell(M)$-module, together with a metric connection also compatible with the Clifford action in a natural way. We prove some vanishing theorems and introduce the twistor equation within this framework. In particular, we exhibit a characterization of solutions for this equation in terms of the Dirac oper…
▽ More
A Dirac bundle is a euclidean bundle over a riemannian manifold $M$ which is a compatible left $C\ell(M)$-module, together with a metric connection also compatible with the Clifford action in a natural way. We prove some vanishing theorems and introduce the twistor equation within this framework. In particular, we exhibit a characterization of solutions for this equation in terms of the Dirac operator $D$ and a suitable Weitzenböck-type curvature operator $\mathcal{R}$. Finally, we analyze the especial case of the Clifford bundle to prove existence of nontrivial solutions of the twistor equation on spheres.
△ Less
Submitted 18 May, 2020;
originally announced May 2020.
-
Cohen real or random real: effect on strong measure zero sets and strongly meager sets
Authors:
Miguel A. Cardona
Abstract:
We show that the set of the ground-model reals has strong measure zero (is strongly meager) after adding a single Cohen real (random real). As consequence we prove that the set of the ground-model reals has strong measure zero after adding a single Hechler real.
We show that the set of the ground-model reals has strong measure zero (is strongly meager) after adding a single Cohen real (random real). As consequence we prove that the set of the ground-model reals has strong measure zero after adding a single Hechler real.
△ Less
Submitted 25 May, 2020; v1 submitted 16 May, 2020;
originally announced May 2020.
-
On cardinal characteristics associated with the strong measure zero ideal
Authors:
Miguel A. Cardona
Abstract:
Let $\mathcal{SN}$ be the strong measure zero $σ$-ideal. We prove a result providing bounds for $\mathrm{cof}(\mathcal{SN})$ which implies Yorioka's characterization of the cofinality of the strong measure zero. In addition, we use forcing matrix iterations to construct a model of ZFC that satisfies…
▽ More
Let $\mathcal{SN}$ be the strong measure zero $σ$-ideal. We prove a result providing bounds for $\mathrm{cof}(\mathcal{SN})$ which implies Yorioka's characterization of the cofinality of the strong measure zero. In addition, we use forcing matrix iterations to construct a model of ZFC that satisfies $\mathrm{add}(\mathcal{SN})=\mathrm{cov}(\mathcal{SN})<\mathrm{non}(\mathcal{SN})<\mathrm{cof}(\mathcal{SN})$.
△ Less
Submitted 18 March, 2020; v1 submitted 16 March, 2020;
originally announced March 2020.
-
On $2k$-Hitchin's equations and Higgs bundles: a survey
Authors:
S. A. H. Cardona,
H. García-Compeán,
A. Martínez-Merino
Abstract:
We study the $2k$-Hitchin equations introduced by Ward \cite{Ward 2} from the geometric viewpoint of Higgs bundles. After an introduction on Higgs bundles and $2k$-Hitchin's equations, we review some elementary facts on complex geometry and Yang-Mills theory. Then we study some properties of holomorphic vector bundles and Higgs bundles and we review the Hermite-Yang-Mills equations together with t…
▽ More
We study the $2k$-Hitchin equations introduced by Ward \cite{Ward 2} from the geometric viewpoint of Higgs bundles. After an introduction on Higgs bundles and $2k$-Hitchin's equations, we review some elementary facts on complex geometry and Yang-Mills theory. Then we study some properties of holomorphic vector bundles and Higgs bundles and we review the Hermite-Yang-Mills equations together with two functionals related to such equations. Using some geometric tools we show that, as far as Higgs bundles is concern, $2k$-Hitchin's equations are reduced to a set of two equations. Finally, we introduce a functional closely related to $2k$-Hitchin's equations and we study some of its basic properties.
△ Less
Submitted 5 April, 2021; v1 submitted 29 November, 2019;
originally announced December 2019.
-
Yorioka's characterization of the cofinality of the strong measure zero ideal and its independency from the continuum
Authors:
Miguel A. Cardona
Abstract:
In this paper we present a simpler proof of the fact that no inequality between $\mathrm{cof}(\mathcal{SN})$ and $\mathfrak{c}$ can be decided in ZFC by using well-known tecniques and results.
In this paper we present a simpler proof of the fact that no inequality between $\mathrm{cof}(\mathcal{SN})$ and $\mathfrak{c}$ can be decided in ZFC by using well-known tecniques and results.
△ Less
Submitted 25 April, 2019;
originally announced April 2019.
-
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.
-
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.
-
$^9$Be+$^{120}$Sn scattering at near-barrier energies within a four body model
Authors:
A. Arazi,
J. Casal,
M. Rodríguez-Gallardo,
J. M. Arias,
R. Lichtenthäler Filho,
D. Abriola,
O. A. Capurro,
M. A. Cardona,
P. F. F. Carnelli,
E. de Barbará,
J. Fernández Niello,
J. M. Figueira,
L. Fimiani,
D. Hojman,
G. V. Martí,
D. Martínez Heimman,
A. J. Pacheco
Abstract:
Cross sections for elastic and inelastic scattering of the weakly-bound $^9$Be nucleus on a $^{120}$Sn target have been measured at seven bombarding energies around and above the Coulomb barrier. The elastic angular distributions are analyzed with a four-body continuum-discretized coupled-channels (CDCC) calculation, which considers $^9$Be as a three-body projectile ($α$ + $α$ + n). An optical mod…
▽ More
Cross sections for elastic and inelastic scattering of the weakly-bound $^9$Be nucleus on a $^{120}$Sn target have been measured at seven bombarding energies around and above the Coulomb barrier. The elastic angular distributions are analyzed with a four-body continuum-discretized coupled-channels (CDCC) calculation, which considers $^9$Be as a three-body projectile ($α$ + $α$ + n). An optical model analysis using the São Paulo potential is also shown for comparison. The CDCC analysis shows that the coupling to the continuum part of the spectrum is important for the agreement with experimental data even at energies around the Coulomb barrier, suggesting that breakup is an important process at low energies. At the highest incident energies, two inelastic peaks are observed at 1.19(5) and 2.41(5) MeV. Coupled-channels (CC) calculations using a rotational model confirm that the first inelastic peak corresponds to the excitation of the 2$_1^+$ state in $^{120}$Sn, while the second one likely corresponds to the excitation of the 3$_1^-$ state.
△ Less
Submitted 2 April, 2018;
originally announced April 2018.
-
On a functional of Kobayashi for Higgs bundles
Authors:
Sergio A. H. Cardona,
Claudio Meneses
Abstract:
We define a functional ${\cal J}(h)$ for the space of Hermitian metrics on an arbitrary Higgs bundle over a compact Kähler manifold, as a natural generalization of the mean curvature energy functional of Kobayashi for holomorphic vector bundles \cite{Kobayashi}, and study some of its basic properties. We show that ${\cal J}(h)$ is bounded from below by a nonnegative constant depending on invariant…
▽ More
We define a functional ${\cal J}(h)$ for the space of Hermitian metrics on an arbitrary Higgs bundle over a compact Kähler manifold, as a natural generalization of the mean curvature energy functional of Kobayashi for holomorphic vector bundles \cite{Kobayashi}, and study some of its basic properties. We show that ${\cal J}(h)$ is bounded from below by a nonnegative constant depending on invariants of the Higgs bundle and the Kähler manifold, and that when achieved, its absolute minima are Hermite-Yang-Mills metrics. We derive a formula relating ${\cal J}(h)$ and another functional ${\cal I}(h)$, closely related to the Yang-Mills-Higgs functional \cite{Bradlow-Wilkin, Wentworth}, which can be thought of as an extension of a formula of Kobayashi for holomorphic vector bundles to the Higgs bundles setting. Finally, using 1-parameter families in the space of Hermitian metrics on a Higgs bundle, we compute the first variation of ${\cal J}(h)$, which is expressed as a certain $L^{2}$-Hermitian inner product. It follows that a Hermitian metric on a Higgs bundle is a critical point of ${\cal J}(h)$ if and only if the corresponding Hitchin--Simpson mean curvature is parallel with respect to the Hitchin--Simpson connection.
△ Less
Submitted 24 April, 2019; v1 submitted 27 March, 2018;
originally announced March 2018.
-
On an integrable deformation of Kapustin-Witten systems
Authors:
S. A. H. Cardona,
H. García-Compeán,
A. Martínez-Merino
Abstract:
In this article we study an integrable deformation of the Kapustin-Witten equations. Using the Weyl-Wigner-Moyal-Groenewold description an integrable $\star$-deformation of a Kapustin-Witten system is obtained. Starting from known solutions of the original equations, some solutions to these deformed equations are obtained.
In this article we study an integrable deformation of the Kapustin-Witten equations. Using the Weyl-Wigner-Moyal-Groenewold description an integrable $\star$-deformation of a Kapustin-Witten system is obtained. Starting from known solutions of the original equations, some solutions to these deformed equations are obtained.
△ Less
Submitted 5 November, 2017;
originally announced November 2017.
-
Quasinormal modes of generalized Pöschl-Teller potentials
Authors:
A. F. Cardona,
C. Molina
Abstract:
Using algebraic techniques we obtain quasinormal modes and frequencies associated to generalized forms of the scattering Pöschl-Teller potential. This approach is based on the association of the corresponding equations of motion with Casimir invariants of differential representations of the Lie algebra sl(2). In the presented development, highest weight representations are constructed and fundamen…
▽ More
Using algebraic techniques we obtain quasinormal modes and frequencies associated to generalized forms of the scattering Pöschl-Teller potential. This approach is based on the association of the corresponding equations of motion with Casimir invariants of differential representations of the Lie algebra sl(2). In the presented development, highest weight representations are constructed and fundamental states are calculated. An infinite tower of quasinormal mode solutions is obtained by the action of a lowering operator. The algebraic results are used in the analysis of the Cauchy initial value problem associated to the generalized Pöschl-Teller potentials. For the scattering potentials considered, there are no late-time tails and the dynamics is always stable.
△ Less
Submitted 1 November, 2017;
originally announced November 2017.
-
Semiparametric spectral modeling of the Drosophila connectome
Authors:
Carey E. Priebe,
Youngser Park,
Minh Tang,
Avanti Athreya,
Vince Lyzinski,
Joshua T. Vogelstein,
Yichen Qin,
Ben Cocanougher,
Katharina Eichler,
Marta Zlatic,
Albert Cardona
Abstract:
We present semiparametric spectral modeling of the complete larval Drosophila mushroom body connectome. Motivated by a thorough exploratory data analysis of the network via Gaussian mixture modeling (GMM) in the adjacency spectral embedding (ASE) representation space, we introduce the latent structure model (LSM) for network modeling and inference. LSM is a generalization of the stochastic block m…
▽ More
We present semiparametric spectral modeling of the complete larval Drosophila mushroom body connectome. Motivated by a thorough exploratory data analysis of the network via Gaussian mixture modeling (GMM) in the adjacency spectral embedding (ASE) representation space, we introduce the latent structure model (LSM) for network modeling and inference. LSM is a generalization of the stochastic block model (SBM) and a special case of the random dot product graph (RDPG) latent position model, and is amenable to semiparametric GMM in the ASE representation space. The resulting connectome code derived via semiparametric GMM composed with ASE captures latent connectome structure and elucidates biologically relevant neuronal properties.
△ Less
Submitted 9 May, 2017;
originally announced May 2017.
-
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.
-
On Gieseker stability for Higgs sheaves
Authors:
S. A. H. Cardona,
O. Mata-Gutiérrez
Abstract:
We review the notion of Gieseker stability for torsion-free Higgs sheaves. This notion is a natural generalization of the classical notion of Gieseker stability for torsion-free coherent sheaves. We prove some basic properties that are similar to the classical ones for torsion-free coherent sheaves over projective algebraic manifolds. In particular, we show that Gieseker stability for torsion-free…
▽ More
We review the notion of Gieseker stability for torsion-free Higgs sheaves. This notion is a natural generalization of the classical notion of Gieseker stability for torsion-free coherent sheaves. We prove some basic properties that are similar to the classical ones for torsion-free coherent sheaves over projective algebraic manifolds. In particular, we show that Gieseker stability for torsion-free Higgs sheaves can be defined using only Higgs subsheaves with torsion-free quotients; and we show that a classical relation between Gieseker stability and Mumford-Takemoto stability extends naturally to Higgs sheaves. We also prove that a direct sum of two Higgs sheaves is Gieseker semistable if and only if the Higgs sheaves are both Gieseker semistable with equal normalized Hilbert polynomial and we prove that a classical property of morphisms between Gieseker semistable sheaves also holds in the Higgs case; as a consequence of this and the existing relation between Mumford-Takemoto stability and Gieseker stability, we obtain certain properties concerning the existence of Hermitian-Yang-Mills metrics, simplesness and extensions in the Higgs context. Finally, we make some comments about Jordan-Hölder and Harder-Narasimhan filtrations for Higgs sheaves.
△ Less
Submitted 29 June, 2017; v1 submitted 9 March, 2016;
originally announced March 2016.
-
TED: A Tolerant Edit Distance for Segmentation Evaluation
Authors:
Jan Funke,
Francesc Moreno-Noguer,
Albert Cardona,
Matthew Cook
Abstract:
In this paper, we present a novel error measure to compare a segmentation against ground truth. This measure, which we call Tolerant Edit Distance (TED), is motivated by two observations: (1) Some errors, like small boundary shifts, are tolerable in practice. Which errors are tolerable is application dependent and should be a parameter of the measure. (2) Non-tolerable errors have to be corrected…
▽ More
In this paper, we present a novel error measure to compare a segmentation against ground truth. This measure, which we call Tolerant Edit Distance (TED), is motivated by two observations: (1) Some errors, like small boundary shifts, are tolerable in practice. Which errors are tolerable is application dependent and should be a parameter of the measure. (2) Non-tolerable errors have to be corrected manually. The time needed to do so should be reflected by the error measure. Using integer linear programming, the TED finds the minimal weighted sum of split and merge errors exceeding a given tolerance criterion, and thus provides a time-to-fix estimate. In contrast to commonly used measures like Rand index or variation of information, the TED (1) does not count small, but tolerable, differences, (2) provides intuitive numbers, (3) gives a time-to-fix estimate, and (4) can localize and classify the type of errors. By supporting both isotropic and anisotropic volumes and having a flexible tolerance criterion, the TED can be adapted to different requirements. On example segmentations for 3D neuron segmentation, we demonstrate that the TED is capable of counting topological errors, while ignoring small boundary shifts.
△ Less
Submitted 1 February, 2016; v1 submitted 8 March, 2015;
originally announced March 2015.
-
$T$-stability for Higgs sheaves over compact complex manifolds
Authors:
S. A. H. Cardona
Abstract:
We introduce the notion of $T$-stability for torsion-free Higgs sheaves as a natural generalization of the notion of $T$-stability for torsion-free coherent sheaves over compact complex manifolds. We prove similar properties to the classical ones for Higgs sheaves. In particular, we show that only saturated flags of torsion-free Higgs sheaves are important in the definition of $T$-stability. Using…
▽ More
We introduce the notion of $T$-stability for torsion-free Higgs sheaves as a natural generalization of the notion of $T$-stability for torsion-free coherent sheaves over compact complex manifolds. We prove similar properties to the classical ones for Higgs sheaves. In particular, we show that only saturated flags of torsion-free Higgs sheaves are important in the definition of $T$-stability. Using this, we show that this notion is preserved under dualization and tensor product with an arbitrary Higgs line bundle. Then, we prove that for a torsion-free Higgs sheaf over a compact Kähler manifold, $ω$-stability implies $T$-stabilty. As a consequence of this we obtain the $T$-semistability of any reflexive Higgs sheaf with an admissible Hermitian-Yang-Mills metric. Finally, we prove that $T$-stability implies $ω$-stability if, as in the classical case, some additional requirements on the base manifold are assumed. In that case, we obtain the existence of admissible Hermitian-Yang-Mills metrics on any $T$-stable reflexive sheaf.
△ Less
Submitted 20 May, 2015; v1 submitted 18 December, 2014;
originally announced December 2014.
-
On vanishing theorems for Higgs bundles
Authors:
S. A. H. Cardona
Abstract:
We introduce the notion of Hermitian Higgs bundle as a natural generalization of the notion of Hermitian vector bundle and we study some vanishing theorems concerning Hermitian Higgs bundles when the base manifold is a compact complex manifold. We show that a first vanishing result, proved for these objects when the base manifold was Kähler, also holds when the manifold is compact complex. From th…
▽ More
We introduce the notion of Hermitian Higgs bundle as a natural generalization of the notion of Hermitian vector bundle and we study some vanishing theorems concerning Hermitian Higgs bundles when the base manifold is a compact complex manifold. We show that a first vanishing result, proved for these objects when the base manifold was Kähler, also holds when the manifold is compact complex. From this fact and some basic properties of Hermitian Higgs bundles, we conclude several results. In particular we show that, in analogy to the classical case, there are vanishing theorems for invariant sections of tensor products of Higgs bundles. Then, we prove that a Higgs bundle admits no nonzero invariant sections if there is a condition of negativity on the greatest eigenvalue of the Hitchin-Simpson mean curvature. Finally, we prove that invariant sections of certain tensor products of a weak Hermitian-Yang-Mills Higgs bundle are all parallel in the classical sense.
△ Less
Submitted 1 July, 2014; v1 submitted 29 April, 2014;
originally announced April 2014.
-
A comparative study of non-Gaussianity in ILC-7yr CMB map
Authors:
W. A. Cardona,
A. Bernui,
M. J. Reboucas
Abstract:
A detection or non detection of primordial non--Gaussianity (NG) by using the cosmic microwave background radiation (CMB) is a possible way to break the degeneracy of early universe models. Since a single statistical estimator hardly can be sensitive to all possible forms of NG which may be present in the data, it is important to use different statistical estimators to study NG in CMB. Recently, t…
▽ More
A detection or non detection of primordial non--Gaussianity (NG) by using the cosmic microwave background radiation (CMB) is a possible way to break the degeneracy of early universe models. Since a single statistical estimator hardly can be sensitive to all possible forms of NG which may be present in the data, it is important to use different statistical estimators to study NG in CMB. Recently, two new large-angle NG indicators based on skewness and kurtosis of spherical caps or spherical cells of CMB sky have been proposed and used in both CMB data and simulated maps. Here, we make a comparative study of these two different procedures by examining the NG in the WMAP seven years ILC map. We show that the spherical cells procedure detects a higher level of NG than that obtained by the method with overlapping spherical caps.
△ Less
Submitted 28 May, 2013; v1 submitted 24 May, 2013;
originally announced May 2013.
-
Extended Symmetries and Poisson Algebras Associated to Twisted Dirac Structures
Authors:
Alexander Cardona
Abstract:
In this paper we study the relationship between the extended symmetries of exact Courant algebroids over a manifold $M$, defined by Bursztyn, Cavalcanti and Gualtieri, and the Poisson algebras of admissible functions associated to twisted Dirac structures when acted by Lie groups. We show that the usual homomorphisms of Lie algebras between the algebras of infinitesimal symmetries of the action, v…
▽ More
In this paper we study the relationship between the extended symmetries of exact Courant algebroids over a manifold $M$, defined by Bursztyn, Cavalcanti and Gualtieri, and the Poisson algebras of admissible functions associated to twisted Dirac structures when acted by Lie groups. We show that the usual homomorphisms of Lie algebras between the algebras of infinitesimal symmetries of the action, vector fields on the manifold and the Poisson algebra of observables, appearing in symplectic geometry, generalize to natural maps of Leibniz algebras induced both by the extended action and compatible moment maps associated to it in the context of twisted Dirac structures.
△ Less
Submitted 30 July, 2012;
originally announced July 2012.
-
Poisson Algebras of Admissible Functions Associated to Twisted Dirac Structures
Authors:
Alexander Cardona
Abstract:
We define algebras of admissible functions associated to twisted Dirac structures, and we show that they are Poisson algebras. We study the standard cases associated to Dirac structures defined by graphs of non-degenerate 2-forms.
We define algebras of admissible functions associated to twisted Dirac structures, and we show that they are Poisson algebras. We study the standard cases associated to Dirac structures defined by graphs of non-degenerate 2-forms.
△ Less
Submitted 30 July, 2012;
originally announced July 2012.
