-
On non-archimedean frames
Authors:
Francisco Ávila,
Miriam Bocardo-Gaspar,
Julio Urenda,
Angel Zaldívar
Abstract:
In this investigation, we introduce the class of non-archimedean frames in spirit with the topological notion of non-archimedean spaces. We explore various properties of these frames - particularly their spaciality. We attach a base that constitutes a tree to each non-archimedean frame, and then we observe that every non-archimedean frame is a quotient of the frame of opens of the tree's branch sp…
▽ More
In this investigation, we introduce the class of non-archimedean frames in spirit with the topological notion of non-archimedean spaces. We explore various properties of these frames - particularly their spaciality. We attach a base that constitutes a tree to each non-archimedean frame, and then we observe that every non-archimedean frame is a quotient of the frame of opens of the tree's branch space. Moreover, we give a partial answer to when these frames are canonically isomorphic; this leads to considering some choice principles of the resulting tree.
△ Less
Submitted 10 April, 2024; v1 submitted 29 November, 2023;
originally announced November 2023.
-
From 3D to 5D tracking: SMX ASIC-based Double-Sided Micro-Strip detectors for comprehensive space, time, and energy measurements
Authors:
M. Teklishyn,
A. Rodríguez Rodríguez,
K. Agarwal,
M. Bajdel,
L. M. Collazo Sánchez,
U. Frankenfeld,
J. M. Heuser,
J. Lehnert,
S. Mehta,
D. Rodríguez Garcés,
D. A. Ramírez Zaldívar,
C. J. Schmidt,
H. R. Schmidt,
A. Toia
Abstract:
We present the recent development of a lightweight detector capable of accurate spatial, timing, and amplitude resolution of charged particles. The technology is based on double-sided double-metal p+\,--\,n\,--\,n+ micro-strip silicon sensors, ultra-light long aluminum-polyimide micro-cables for the analogue signal transfer, and a custom-developed SMX read-out ASIC capable of measurement of the ti…
▽ More
We present the recent development of a lightweight detector capable of accurate spatial, timing, and amplitude resolution of charged particles. The technology is based on double-sided double-metal p+\,--\,n\,--\,n+ micro-strip silicon sensors, ultra-light long aluminum-polyimide micro-cables for the analogue signal transfer, and a custom-developed SMX read-out ASIC capable of measurement of the time ($Δt \lesssim 5 \,\mathrm{ns}$) and amplitude. Dense detector integration enables a material budget $>0.3\,\% X_0$. A sophisticated powering and grounding scheme keeps the noise under control.
In addition to its primary application in Silicon Tracking System of the future CBM experiment in Darmstadt, our detector will be utilized in other research applications.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
Data Cards: Purposeful and Transparent Dataset Documentation for Responsible AI
Authors:
Mahima Pushkarna,
Andrew Zaldivar,
Oddur Kjartansson
Abstract:
As research and industry moves towards large-scale models capable of numerous downstream tasks, the complexity of understanding multi-modal datasets that give nuance to models rapidly increases. A clear and thorough understanding of a dataset's origins, development, intent, ethical considerations and evolution becomes a necessary step for the responsible and informed deployment of models, especial…
▽ More
As research and industry moves towards large-scale models capable of numerous downstream tasks, the complexity of understanding multi-modal datasets that give nuance to models rapidly increases. A clear and thorough understanding of a dataset's origins, development, intent, ethical considerations and evolution becomes a necessary step for the responsible and informed deployment of models, especially those in people-facing contexts and high-risk domains. However, the burden of this understanding often falls on the intelligibility, conciseness, and comprehensiveness of the documentation. It requires consistency and comparability across the documentation of all datasets involved, and as such documentation must be treated as a user-centric product in and of itself. In this paper, we propose Data Cards for fostering transparent, purposeful and human-centered documentation of datasets within the practical contexts of industry and research. Data Cards are structured summaries of essential facts about various aspects of ML datasets needed by stakeholders across a dataset's lifecycle for responsible AI development. These summaries provide explanations of processes and rationales that shape the data and consequently the models, such as upstream sources, data collection and annotation methods; training and evaluation methods, intended use; or decisions affecting model performance. We also present frameworks that ground Data Cards in real-world utility and human-centricity. Using two case studies, we report on desirable characteristics that support adoption across domains, organizational structures, and audience groups. Finally, we present lessons learned from deploying over 20 Data Cards.
△ Less
Submitted 3 April, 2022;
originally announced April 2022.
-
On the Cantor and Hilbert Cube Frames and the Alexandroff-Hausdorff Theorem
Authors:
Francisco Ávila,
Julio Urenda,
Angel Zaldívar
Abstract:
The aim of this work is to give a pointfree description of the Cantor set. It can be shown that the Cantor set is homeomorphic to the $p$-adic integers $\mathbb{Z}_{p}:=\{x\in\mathbb{Q}_{p}: |x|_p\leq 1\}$ for every prime number $p$. To give a pointfree description of the Cantor set, we specify the frame of $\mathbb{Z}_{p}$ by generators and relations. We use the fact that the open balls centered…
▽ More
The aim of this work is to give a pointfree description of the Cantor set. It can be shown that the Cantor set is homeomorphic to the $p$-adic integers $\mathbb{Z}_{p}:=\{x\in\mathbb{Q}_{p}: |x|_p\leq 1\}$ for every prime number $p$. To give a pointfree description of the Cantor set, we specify the frame of $\mathbb{Z}_{p}$ by generators and relations. We use the fact that the open balls centered at integers generate the open subsets of $\mathbb{Z}_{p}$ and thus we think of them as the basic generators; on this poset we impose some relations and then the resulting quotient is the frame of the Cantor set $\mathcal{L}(\mathbb{Z}_{p})$. We prove that $\mathcal{L}(\mathbb{Z}_{p})$ is a spatial frame whose space of points is homeomorphic to $\mathbb{Z}_{p}$. In particular, we show with pointfree arguments that $\mathcal{L}(\mathbb{Z}_{p})$ is $0$-dimensional, (completely) regular, compact, and metrizable (it admits a countably generated uniformity). Finally, we give a point-free counterpart of the Hausdorff-Alexandroff Theorem which states that \emph{every compact metric space is a continuous image of the Cantor space} (see, e.g. \cite{Alexandroff} and \cite{Hausdorff}). We prove the point-free analog: if $L$ is a compact metrizable frame, then there is an injective frame homomorphism from $L$ into $\mathcal{L}(\mathbb{Z}_{2})$.
△ Less
Submitted 4 February, 2021; v1 submitted 2 February, 2021;
originally announced February 2021.
-
On the de Morgan's laws for modules
Authors:
Mauricio Gabriel Medina Bárcenas,
Martha Lizbeth Shaid Sandoval Miranda,
Angel Zaldívar
Abstract:
In this investigation, we give a module-theoretic counterpart of the well known Demorgan's laws for rings and topological spaces. We observed that the corresponding like Demorgan's laws on a module holds precisely when the module has a certain kind of structure. Besides the considerations of Demorgan's laws for ordered structures (idiomatic-quantales) the manuscript goes back to the ring theoretic…
▽ More
In this investigation, we give a module-theoretic counterpart of the well known Demorgan's laws for rings and topological spaces. We observed that the corresponding like Demorgan's laws on a module holds precisely when the module has a certain kind of structure. Besides the considerations of Demorgan's laws for ordered structures (idiomatic-quantales) the manuscript goes back to the ring theoretic realm, in this case, we study the non-commutative counterpart of Dedekind domains this consideration leads to the concept of Asano prime ring.
△ Less
Submitted 11 March, 2020;
originally announced March 2020.
-
Image Counterfactual Sensitivity Analysis for Detecting Unintended Bias
Authors:
Remi Denton,
Ben Hutchinson,
Margaret Mitchell,
Timnit Gebru,
Andrew Zaldivar
Abstract:
Facial analysis models are increasingly used in applications that have serious impacts on people's lives, ranging from authentication to surveillance tracking. It is therefore critical to develop techniques that can reveal unintended biases in facial classifiers to help guide the ethical use of facial analysis technology. This work proposes a framework called \textit{image counterfactual sensiti…
▽ More
Facial analysis models are increasingly used in applications that have serious impacts on people's lives, ranging from authentication to surveillance tracking. It is therefore critical to develop techniques that can reveal unintended biases in facial classifiers to help guide the ethical use of facial analysis technology. This work proposes a framework called \textit{image counterfactual sensitivity analysis}, which we explore as a proof-of-concept in analyzing a smiling attribute classifier trained on faces of celebrities. The framework utilizes counterfactuals to examine how a classifier's prediction changes if a face characteristic slightly changes. We leverage recent advances in generative adversarial networks to build a realistic generative model of face images that affords controlled manipulation of specific image characteristics. We then introduce a set of metrics that measure the effect of manipulating a specific property on the output of the trained classifier. Empirically, we find several different factors of variation that affect the predictions of the smiling classifier. This proof-of-concept demonstrates potential ways generative models can be leveraged for fine-grained analysis of bias and fairness.
△ Less
Submitted 3 October, 2020; v1 submitted 14 June, 2019;
originally announced June 2019.
-
The Frame of Nuclei of an Alexandroff Space
Authors:
Francisco Ávila,
Guram Bezhanishvili,
Patrick Morandi,
Angel Zaldívar
Abstract:
Let $\mathcal{O}S$ be the frame of open sets of a topological space $S$, and let $N(\mathcal{O}S)$ be the frame of nuclei of $\mathcal{O}S$. For an Alexandroff space $S$, we prove that $N(\mathcal{O}S)$ is spatial iff the infinite binary tree $\mathscr T_2$ does not embed isomorphically into $(S, \le)$, where $\le$ is the specialization preorder of $S$.
Let $\mathcal{O}S$ be the frame of open sets of a topological space $S$, and let $N(\mathcal{O}S)$ be the frame of nuclei of $\mathcal{O}S$. For an Alexandroff space $S$, we prove that $N(\mathcal{O}S)$ is spatial iff the infinite binary tree $\mathscr T_2$ does not embed isomorphically into $(S, \le)$, where $\le$ is the specialization preorder of $S$.
△ Less
Submitted 9 June, 2019;
originally announced June 2019.
-
When is the frame of nuclei spatial: A new approach
Authors:
Francisco Ávila,
Guram Bezhanishvili,
Patrick Morandi,
Angel Zaldívar
Abstract:
For a frame $L$, let $X_L$ be the Esakia space of $L$. We identify a special subset $Y_L$ of $X_L$ consisting of nuclear points of $X_L$, and prove the following results:
$L$ is spatial iff $Y_L$ is dense in $X_L$.
If $L$ is spatial, then $N(L)$ is spatial iff $Y_L$ is weakly scattered.
If $L$ is spatial, then $N(L)$ is boolean iff $Y_L$ is scattered.
As a consequence, we derive the well-k…
▽ More
For a frame $L$, let $X_L$ be the Esakia space of $L$. We identify a special subset $Y_L$ of $X_L$ consisting of nuclear points of $X_L$, and prove the following results:
$L$ is spatial iff $Y_L$ is dense in $X_L$.
If $L$ is spatial, then $N(L)$ is spatial iff $Y_L$ is weakly scattered.
If $L$ is spatial, then $N(L)$ is boolean iff $Y_L$ is scattered.
As a consequence, we derive the well-known results of Beazer and Macnab [1979], Simmons [1980], Niefield and Rosenthal [1987], and Isbell [1972].
△ Less
Submitted 2 December, 2019; v1 submitted 9 June, 2019;
originally announced June 2019.
-
On strongly harmonic and Gelfand modules
Authors:
Mauricio Medina-Bárcenas,
Lorena Morales-Callejas,
Martha Lizbeth Shaid Sandoval-Miranda,
Luis Ángel Zaldívar
Abstract:
We introduce the notions of Strongly harmonic and Gelfand module, as a generalization of the well-known ring theoretic case. We prove some properties of these modules and we give a characterization via their lattice of submodules and their space of maximal submodules. It is also observed that, under some assumptions, the space of maximal submodules of a strongly harmonic module constitutes a compa…
▽ More
We introduce the notions of Strongly harmonic and Gelfand module, as a generalization of the well-known ring theoretic case. We prove some properties of these modules and we give a characterization via their lattice of submodules and their space of maximal submodules. It is also observed that, under some assumptions, the space of maximal submodules of a strongly harmonic module constitutes a compact Hausdorff space whose frame of open sets is isomorphic to the frame $Ψ(M)$ defined in [arXiv:1612.07407]. Finally, we mention some open questions that arose during this investigation.
△ Less
Submitted 15 January, 2020; v1 submitted 20 December, 2018;
originally announced December 2018.
-
Model Cards for Model Reporting
Authors:
Margaret Mitchell,
Simone Wu,
Andrew Zaldivar,
Parker Barnes,
Lucy Vasserman,
Ben Hutchinson,
Elena Spitzer,
Inioluwa Deborah Raji,
Timnit Gebru
Abstract:
Trained machine learning models are increasingly used to perform high-impact tasks in areas such as law enforcement, medicine, education, and employment. In order to clarify the intended use cases of machine learning models and minimize their usage in contexts for which they are not well suited, we recommend that released models be accompanied by documentation detailing their performance character…
▽ More
Trained machine learning models are increasingly used to perform high-impact tasks in areas such as law enforcement, medicine, education, and employment. In order to clarify the intended use cases of machine learning models and minimize their usage in contexts for which they are not well suited, we recommend that released models be accompanied by documentation detailing their performance characteristics. In this paper, we propose a framework that we call model cards, to encourage such transparent model reporting. Model cards are short documents accompanying trained machine learning models that provide benchmarked evaluation in a variety of conditions, such as across different cultural, demographic, or phenotypic groups (e.g., race, geographic location, sex, Fitzpatrick skin type) and intersectional groups (e.g., age and race, or sex and Fitzpatrick skin type) that are relevant to the intended application domains. Model cards also disclose the context in which models are intended to be used, details of the performance evaluation procedures, and other relevant information. While we focus primarily on human-centered machine learning models in the application fields of computer vision and natural language processing, this framework can be used to document any trained machine learning model. To solidify the concept, we provide cards for two supervised models: One trained to detect smiling faces in images, and one trained to detect toxic comments in text. We propose model cards as a step towards the responsible democratization of machine learning and related AI technology, increasing transparency into how well AI technology works. We hope this work encourages those releasing trained machine learning models to accompany model releases with similar detailed evaluation numbers and other relevant documentation.
△ Less
Submitted 14 January, 2019; v1 submitted 5 October, 2018;
originally announced October 2018.
-
Boolean perspectives of idioms and the Boyle derivative
Authors:
Jaime Castro Pérez,
Mauricio Medina Bárcenas,
José Ríos Montes,
Ángel Zaldívar
Abstract:
We are concerned with the boolean or more general with the complemented properties of idioms (complete upper-continuous modular lattices). In [Simmons&Cantor] the author introduces a device which captures in some informal speaking how far the idiom is from be complemented, this device is the Cantor-Bendixson derivative. There exists another device that captures some boolean properties, the so-call…
▽ More
We are concerned with the boolean or more general with the complemented properties of idioms (complete upper-continuous modular lattices). In [Simmons&Cantor] the author introduces a device which captures in some informal speaking how far the idiom is from be complemented, this device is the Cantor-Bendixson derivative. There exists another device that captures some boolean properties, the so-called Boyle-derivative, this derivative is an operator on the assembly (the frame of nuclei) of the idiom. The Boyle-derivative has its origins in module theory. In this investigation we produce an idiomatic analysis of the boolean properties of any idiom using the Boyle-derivative, we give conditions on a nucleus $j$ such that $[j, tp]$ is a complete boolean algebra. We also explore some properties of nuclei $j$ such that $A_{j}$ is a complemented idiom.
△ Less
Submitted 8 August, 2017;
originally announced August 2017.
-
Attaching topological spaces to a module (I): Sobriety and spatial frames of submodules
Authors:
Mauricio Gabriel Medina Bárcenas,
Lorena Morales Callejas,
Martha Lizbeth Shaid Sandoval Miranda,
Angel Zaldívar
Abstract:
In this paper we study some frames associated to an $R$-module $M$. We define semiprimitive submodules and we prove that they form an spatial frame canonically isomorphic to the topology of $Max(M)$. We characterize the soberness of $Max(M)$ in terms of the point space of that frame. Beside of this, we study the regularity of an spatial frame associated to $M$ given by annihilator conditions.
In this paper we study some frames associated to an $R$-module $M$. We define semiprimitive submodules and we prove that they form an spatial frame canonically isomorphic to the topology of $Max(M)$. We characterize the soberness of $Max(M)$ in terms of the point space of that frame. Beside of this, we study the regularity of an spatial frame associated to $M$ given by annihilator conditions.
△ Less
Submitted 9 May, 2017; v1 submitted 21 December, 2016;
originally announced December 2016.
-
Boyle's Conjecture and perfect localizations
Authors:
Jaime Castro Pérez,
Mauricio Medina Bárcenas,
José Ríos Montes,
Angel Zaldívar
Abstract:
In this article we study the behavior of left QI-rings under perfect localizations. We show that a perfect localization of a left QI-ring is a left QI-ring. We prove that Boyle's conjecture is true for left QI-rings with finite Gabriel dimension such that the hereditary torsion theory generated by semisimple modules is perfect. As corollary we get that Boyle's conjecture is true for left QI-rings…
▽ More
In this article we study the behavior of left QI-rings under perfect localizations. We show that a perfect localization of a left QI-ring is a left QI-ring. We prove that Boyle's conjecture is true for left QI-rings with finite Gabriel dimension such that the hereditary torsion theory generated by semisimple modules is perfect. As corollary we get that Boyle's conjecture is true for left QI-rings which satisfy the restricted left socle condition, this result was proved first by C. Faith in \cite{faithhereditary}.
△ Less
Submitted 14 November, 2016;
originally announced November 2016.
-
On the structure of Goldie Modules
Authors:
Jaime Castro Pérez,
Mauricio Medina Bárcenas,
Angel Zaldívar,
José Ríos Montes
Abstract:
Given a semiprime Goldie module $M$ projective in $σ[M]$ we study decompositions on its $M$-injective hull $\hat{M}$ in terms of the minimal prime in $M$ submodules. With this, we characterize the semiprime Goldie modules in $\mathbb{Z}$-Mod and make a decomposition of the endomorphism ring of $\hat{M}$. Also, we investigate the relations among semiprime Goldie modules, $QI$-modules and co-semisim…
▽ More
Given a semiprime Goldie module $M$ projective in $σ[M]$ we study decompositions on its $M$-injective hull $\hat{M}$ in terms of the minimal prime in $M$ submodules. With this, we characterize the semiprime Goldie modules in $\mathbb{Z}$-Mod and make a decomposition of the endomorphism ring of $\hat{M}$. Also, we investigate the relations among semiprime Goldie modules, $QI$-modules and co-semisimple modules extending results on left $QI$-rings and $V$-rings.
△ Less
Submitted 13 January, 2016;
originally announced January 2016.
-
On Semiprime Goldie Modules
Authors:
Jaime Castro Pérez,
Mauricio Medina Bárcenas,
José Ríos Montes,
Angel Zaldívar
Abstract:
For an $R$-module $M$, projective in $σ[M]$ and satisfying ascending chain condition (ACC) on left annihilators, we introduce the concept of Goldie module. We also use the concept of semiprime module defined by Raggi et. al. in \cite{S} to give necessary and sufficient conditions for an $R$-module $M$, to be a semiprime Goldie module. This theorem is a generalization of Goldie's theorem for semipr…
▽ More
For an $R$-module $M$, projective in $σ[M]$ and satisfying ascending chain condition (ACC) on left annihilators, we introduce the concept of Goldie module. We also use the concept of semiprime module defined by Raggi et. al. in \cite{S} to give necessary and sufficient conditions for an $R$-module $M$, to be a semiprime Goldie module. This theorem is a generalization of Goldie's theorem for semiprime left Goldie rings. Moreover, we prove that $M$ is a semiprime (prime) Goldie module if and only if the ring $S=End_R(M)$ is a semiprime (prime) right Goldie ring. Also, we study the case when $M$ is a duo module.
△ Less
Submitted 13 January, 2016;
originally announced January 2016.
-
Ideal quantum gases: A geometrothermodynamic approach
Authors:
Sasha A. Zaldivar,
Hernando Quevedo
Abstract:
We derive the fundamental thermodynamic equation for Fermi-Dirac and Bose-Einstein quantum gases, which contains the first order contribution due to the quantum nature of the gas particles. Then, we analyze the fundamental equation in the context of geometrothermodynamics. Although the corresponding Hamiltonian does not contain a potential, indicating the lack of classical thermodynamic interactio…
▽ More
We derive the fundamental thermodynamic equation for Fermi-Dirac and Bose-Einstein quantum gases, which contains the first order contribution due to the quantum nature of the gas particles. Then, we analyze the fundamental equation in the context of geometrothermodynamics. Although the corresponding Hamiltonian does not contain a potential, indicating the lack of classical thermodynamic interaction, we show that the curvature of the equilibrium space is non-zero and can be interpreted as a measure of the effective quantum interaction between the gas particles. In the limiting case of a classical Boltzmann gas, we show that the equilibrium space becomes flat, as expected from the physical viewpoint. In addition, we derive a thermodynamic fundamental equation for the Bose-Einstein condensation and, using the Ehrenfest scheme, we show that it can be considered as a first order phase transition which in the equilibrium space corresponds to a curvature singularity. This result indicates that the curvature of the equilibrium space can be used to measure in an invariant way the thermodynamic interaction in classical and quantum ideal gases.
△ Less
Submitted 21 March, 2024; v1 submitted 29 December, 2015;
originally announced December 2015.
-
Dimension and decomposition in modular upper-continuous lattices
Authors:
José Ríos Montes,
Angel Zaldívar
Abstract:
We translate notions and results of decomposition and dimension theories for module categories, into the lattice environment. In particular we translate dimension theory in module categories to complete modular upper-continuous lattices.
We translate notions and results of decomposition and dimension theories for module categories, into the lattice environment. In particular we translate dimension theory in module categories to complete modular upper-continuous lattices.
△ Less
Submitted 30 November, 2015;
originally announced November 2015.
-
A generalization of quantales with applications to modules and rings
Authors:
Mauricio Medina Bárcenas,
Angel Zaldívar,
Martha Lizbeth Shaid Sandoval Miranda
Abstract:
We introduce a lattice structure as a generalization of meet-continuous lattices and quantales. We develop a point-free approach to these new lattices and apply these results to $R$-modules. In particular, we give the module counterpart of the well known result that in a commutative ring the set of semiprime ideals, that is, the set of radical ideals is a frame.
We introduce a lattice structure as a generalization of meet-continuous lattices and quantales. We develop a point-free approach to these new lattices and apply these results to $R$-modules. In particular, we give the module counterpart of the well known result that in a commutative ring the set of semiprime ideals, that is, the set of radical ideals is a frame.
△ Less
Submitted 31 October, 2016; v1 submitted 30 November, 2015;
originally announced November 2015.
-
On some operators and dimensions in modular meet-continuous lattices
Authors:
Mauricio Medina Bárcenas,
José Ríos Montes,
Angel Zaldívar
Abstract:
Given a complete modular meet-continuous lattice $A$, an inflator on $A$ is a monotone function $d\colon A\rightarrow A$such that $a\leq d(a)$ for all $a\in A$. If $I(A)$ is the set of all inflators on $A$, then $I(A)$ is a complete lattice. Motivated by preradical theory we introduce two operators, the totalizer and the equalizer. We obtain some properties of these operators and see how they are…
▽ More
Given a complete modular meet-continuous lattice $A$, an inflator on $A$ is a monotone function $d\colon A\rightarrow A$such that $a\leq d(a)$ for all $a\in A$. If $I(A)$ is the set of all inflators on $A$, then $I(A)$ is a complete lattice. Motivated by preradical theory we introduce two operators, the totalizer and the equalizer. We obtain some properties of these operators and see how they are related to the structure of the lattice $A$ and with the concept of dimension.
△ Less
Submitted 30 November, 2015;
originally announced November 2015.
-
A Note on Gabriel dimension for idioms
Authors:
Angel Zaldívar
Abstract:
The aim of this note is to illustrate that the definition and construction of the Gabriel dimension for modular lattices in the classical sense is the same as the module case following H. Simmons.
The aim of this note is to illustrate that the definition and construction of the Gabriel dimension for modular lattices in the classical sense is the same as the module case following H. Simmons.
△ Less
Submitted 25 July, 2015;
originally announced July 2015.