Showing 1–50 of 54 results for author: Hernandez, S

PDPO: Parametric Density Path Optimization

Authors: Sebastian Gutierrez Hernandez, Peng Chen, Haomin Zhou

Abstract: We introduce Parametric Density Path Optimization (PDPO), a novel method for computing action-minimizing paths between probability densities. The core idea is to represent the target probability path as the pushforward of a reference density through a parametric map, transforming the original infinite-dimensional optimization over densities to a finite-dimensional one over the parameters of the ma… ▽ More We introduce Parametric Density Path Optimization (PDPO), a novel method for computing action-minimizing paths between probability densities. The core idea is to represent the target probability path as the pushforward of a reference density through a parametric map, transforming the original infinite-dimensional optimization over densities to a finite-dimensional one over the parameters of the map. We derive a static formulation of the dynamic problem of action minimization and propose cubic spline interpolation of the path in parameter space to solve the static problem. Theoretically, we establish an error bound of the action under proper assumptions on the regularity of the parameter path. Empirically, we find that using 3-5 control points of the spline interpolation suffices to accurately resolve both multimodal and high-dimensional problems. We demonstrate that PDPO can flexibly accommodate a wide range of potential terms, including those modeling obstacles, mean-field interactions, stochastic control, and higher-order dynamics. Our method outperforms existing state-of-the-art approaches in benchmark tasks, demonstrating superior computational efficiency and solution quality. The source code will be publically available after the revision process. △ Less

Submitted 26 May, 2025; v1 submitted 23 May, 2025; originally announced May 2025.

Comments: Under review. 24 pages, 15 figures

A characterization of closed subfunctors through $3\times 3$-lemma property in extriangulated categories

Authors: Juan C. Cala, Shaira R. Hernández

Abstract: Given an extriangulated category $(\mathcal{C},\mathbb{E},\mathfrak{s})$, we introduce the $3 \times 3$-lemma property for subfunctors of $\mathbb{E}$ and prove that an additive subfunctor $\mathbb{F}$ of $\mathbb{E}$ is closed if, and only if, it satisfies this condition. This characterization extends a well known result by A. Buan (for abelian categories) to extriangulated categories. As an appl… ▽ More Given an extriangulated category $(\mathcal{C},\mathbb{E},\mathfrak{s})$, we introduce the $3 \times 3$-lemma property for subfunctors of $\mathbb{E}$ and prove that an additive subfunctor $\mathbb{F}$ of $\mathbb{E}$ is closed if, and only if, it satisfies this condition. This characterization extends a well known result by A. Buan (for abelian categories) to extriangulated categories. As an application of this result, we get a new equivalent condition to describe saturated proper classes $ξ$ in $\mathcal{C}$. △ Less

Submitted 22 April, 2025; originally announced April 2025.

Comments: 10 pages

MSC Class: 18G80; 18G10; 18G25

Extension of continuous functions on product spaces, Bohr Compactification and Almost Periodic Functions

Authors: Salvador Hernández

Abstract: The Bohr compactification is a well known construction for (topological) groups and semigroups. Recently, this notion has been investigated for arbitrary structures in \cite{har_kun:bohr_discrete} where the Bohr compactification is defined, using a set-theoretical approach, as the maximal compactification which is compatible with the structure involved. Here, we give a characterization of the cont… ▽ More The Bohr compactification is a well known construction for (topological) groups and semigroups. Recently, this notion has been investigated for arbitrary structures in \cite{har_kun:bohr_discrete} where the Bohr compactification is defined, using a set-theoretical approach, as the maximal compactification which is compatible with the structure involved. Here, we give a characterization of the continuous functions defined on a product space that can be extended continuously to certain compactifications of the product space. As a consequence, the Bohr compactification of an arbitrary topological structure is obtained as the Gelfand space of the commutative Banach algebra of all almost periodic functions. Previously, almost periodic functions $f$ are defined in terms of translates of $f$ with no reference to any compactification of the underlying structure. An application is given to the representation of isometries defined between spaces of almost periodic functions. △ Less

Submitted 11 March, 2025; originally announced March 2025.

MSC Class: 46E25; 05C38; 15A15; 05A15; 15A18 05A15; 15A18

Journal ref: Topology Proceedings (2004)

Group homomorphisms induced by isometries

Authors: Salvador Hernández

Abstract: Let $G$ and $H$ be locally compact groups and consider their associate spaces of almost periodic functions $AP(G)$ and $AP(H)$. We investigate the continuous group homomorphisms induced by isometries of $AP(G)$ into $AP(H)$. Among others, the following results are proved: {\bf Theorem} Let $G$ and $H$ be $σ$-compact maximally almost periodic locally compact groups. Suppose that $T$ is a non-vani… ▽ More Let $G$ and $H$ be locally compact groups and consider their associate spaces of almost periodic functions $AP(G)$ and $AP(H)$. We investigate the continuous group homomorphisms induced by isometries of $AP(G)$ into $AP(H)$. Among others, the following results are proved: {\bf Theorem} Let $G$ and $H$ be $σ$-compact maximally almost periodic locally compact groups. Suppose that $T$ is a non-vanishing linear isometry of $AP(G)$ into $AP(H)$ that respects finite dimensional unitary representations. Then there is a closed subgroup $H_0\subseteq H$, a continuous group homomorphism $t$ of $H_0$ onto $G$ and an character $γ\in \widehat{H}$ such that $(Tf)(h)=γ(h)~f(t(h))$ for all $h\in H_0$ and for all $f\in C(G)$. {\bf Theorem} Let $G$ and $H$ be $LC$ Abelian groups and $H$ is connected. Suppose that $T$ is a non-vanishing linear isometry of $AP(G)$ into $AP(H)$ that preserves trigonometric polynomials. Then there is a closed subgroup $H_0\subseteq H$, a continuous group homomorphism $t$ of $H_0$ onto $G$, an element $h_0\in H_0$, a character $α\in \widehat{H}$ and an unimodular complex number $a$ such that $(Tf)(h)=a\cdot α(h)~\cdot f(t(h-h_0))\text{ for all }h\in H_0\text{ and for all }f\in C(G)\text{.}$ △ Less

Submitted 23 February, 2025; originally announced February 2025.

MSC Class: 22D35; 43A60; 46E15; 54C40; 43A40

Journal ref: Topology Proceedings (2003)

Finest decomposition coarsening of reaction networks of biochemical systems

Authors: Bryan S. Hernandez, Juan Paolo C. Santos, Patrick Vincent N. Lubenia, Eduardo R. Mendoza

Abstract: Biochemical reaction networks are typically modeled by $\dfrac{dx}{dt}=N\cdot K(x)=Y\cdot I_a\cdot K(x)$, with $x$ and $K(x)$ as the concentration and rate vectors, respectively, and $N$, $Y$, and $I_a$ as the stoichiometric, molecularity, and incidence matrices, respectively. Steady states, which describe their long-term behaviors, are determined by solving $N\cdot K(x)=0$, while complex balanced… ▽ More Biochemical reaction networks are typically modeled by $\dfrac{dx}{dt}=N\cdot K(x)=Y\cdot I_a\cdot K(x)$, with $x$ and $K(x)$ as the concentration and rate vectors, respectively, and $N$, $Y$, and $I_a$ as the stoichiometric, molecularity, and incidence matrices, respectively. Steady states, which describe their long-term behaviors, are determined by solving $N\cdot K(x)=0$, while complex balanced steady states are found by solving $I_a \cdot K(x)=0$. To investigate these complex networks, decomposition techniques are important, in particular, for computing steady states. Previously, we identified a widespread property across many networks: the existence of independent and incidence-independent decompositions, characterized by the ability to directly sum the stoichiometric and incidence matrices of the subnetworks, respectively, to match those of the entire network. Here, we discover the ubiquitous property that we call the Finest Decomposition Coarsening (FDC), where the finest independent decomposition (FID) is a coarsening of the finest incidence-independent decomposition (FIID). To support the analysis of this property, we introduce a MATLAB package designed to compute both these decompositions. We then characterize the FDC property and its relationship to structural factors such as the invertibility of the molecularity matrix. We also introduce and characterize the Finest Decompositions Equality (FDE) property, where FIID equals FID. Notably, we show that all deficiency zero networks exhibit the FDE property. Furthermore, we establish important relationships of the FID and FIID with decomposition of the network into its connected components. Our results highlight the prevalence of the coarsening property in reaction networks and deepens the understanding of the algebraic structure and dynamics of biochemical networks. △ Less

Submitted 4 December, 2024; originally announced December 2024.

Bohr compactification and Chu duality of non-abelian locally compact groups

Authors: María V. Ferrer, S. Hernández

Abstract: The \emph{Bohr compactification} of an arbitrary topological group $G$ is defined as the group compactification $(bG,b)$ with the following universal property: for every continuous homomorphism $h$ from $G$ into a compact group $K$ there is a continuous homomorphism $h^{b}$ from $bG$ into $K$ extending $h$ in the sense that $h=h^b \circ b$. The Bohr compactification $(bG,b)$ is the unique (up to e… ▽ More The \emph{Bohr compactification} of an arbitrary topological group $G$ is defined as the group compactification $(bG,b)$ with the following universal property: for every continuous homomorphism $h$ from $G$ into a compact group $K$ there is a continuous homomorphism $h^{b}$ from $bG$ into $K$ extending $h$ in the sense that $h=h^b \circ b$. The Bohr compactification $(bG,b)$ is the unique (up to equivalence) largest compactification of $G$. Although, for locally compact Abelian groups, the Bohr compactification is a big monster, for non-Abelian groups the situation is much more interesting and it can be said that all options are possible. Here we are interested in locally compact groups whose Bohr compactification is \emph{small}. Among other results, we characterize when the Bohr the Bohr compactification of a locally compact group is topologically isomorphic to its Chu or unitary quasi-dual. Our results fixe some incorrect statements appeared in the literature. △ Less

Submitted 23 February, 2025; v1 submitted 4 May, 2024; originally announced May 2024.

The Baire property and precompact duality

Authors: M. Ferrer, S. Hernández, I. Sepúlveda, F. J. Trigos-Arrieta

Abstract: We prove that if $G$ is a totally bounded abelian group \st\ its dual group $\widehat{G}_p$ equipped with the finite-open topology is a Baire group, then every compact subset of $G$ must be finite. This solves an open question by Chasco, Domínguez and Tkachenko. {Among other consequences, we obtain an example of a group that is $g$-dense in its completion but is not $g$-barrelled. This solves a qu… ▽ More We prove that if $G$ is a totally bounded abelian group \st\ its dual group $\widehat{G}_p$ equipped with the finite-open topology is a Baire group, then every compact subset of $G$ must be finite. This solves an open question by Chasco, Domínguez and Tkachenko. {Among other consequences, we obtain an example of a group that is $g$-dense in its completion but is not $g$-barrelled. This solves a question proposed by Au$β$enhofer and Dikranjan.} △ Less

Submitted 4 May, 2024; originally announced May 2024.

Embedding-based comparison of reaction networks of Wnt signaling

Authors: Bryan S. Hernandez, Patrick Vincent N. Lubenia, Eduardo R. Mendoza

Abstract: This work introduces a new method for comparing two reaction networks of the same or closely related systems through their embedded networks in terms of the shared set of species. Hence, we call this method the Common Species Embedded Networks (CSEN) analysis. Using this approach, we conduct a comparison of existing reaction networks associated with Wnt signaling models (Lee, Schmitz, MacLean, and… ▽ More This work introduces a new method for comparing two reaction networks of the same or closely related systems through their embedded networks in terms of the shared set of species. Hence, we call this method the Common Species Embedded Networks (CSEN) analysis. Using this approach, we conduct a comparison of existing reaction networks associated with Wnt signaling models (Lee, Schmitz, MacLean, and Feinberg) that we have identified. The analysis yields three important results for these Wnt models. First, the CSEN analysis of the Lee (mono-stationary) and Feinberg (multi-stationary) shows a strong similarity, justifying the study of the Feinberg model, which was a modified Lee model constructed to study an important network property called "concordance". It also challenge the absoluteness of discrimination of the models into mono-stationarity versus multi-stationarity, which is a main result of Maclean et al. (PNAS USA 2015). Second, the CSEN analysis provides evidence supporting a strong similarity between the Schmitz and MacLean models, as indicated by the "proximate equivalence" that we have identified. Third, the analysis underscores the absence of a comparable relationship between the Feinberg and MacLean models, highlighting distinctive differences between the two. Thus, our approach could be a useful tool to compare mathematical models of the same or closely related systems. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Positive steady states of a class of power law systems with independent decompositions

Authors: Al Jay Lan J. Alamin, Bryan S. Hernandez

Abstract: Power law systems have been studied extensively due to their wide-ranging applications, particularly in chemistry. In this work, we focus on power law systems that can be decomposed into stoichiometrically independent subsystems. We show that for such systems where the ranks of the augmented matrices containing the kinetic order vectors of the underlying subnetworks sum up to the rank of the augme… ▽ More Power law systems have been studied extensively due to their wide-ranging applications, particularly in chemistry. In this work, we focus on power law systems that can be decomposed into stoichiometrically independent subsystems. We show that for such systems where the ranks of the augmented matrices containing the kinetic order vectors of the underlying subnetworks sum up to the rank of the augmented matrix containing the kinetic order vectors of the entire network, then the existence of the positive steady states of each stoichiometrically independent subsystem is a necessary and sufficient condition for the existence of the positive steady states of the given power law system. We demonstrate the result through illustrative examples. One of which is a network of a carbon cycle model that satisfies the assumption, while the other network fails to meet the assumption. Finally, using the aforementioned result, we present a systematic method for deriving positive steady state parametrizations for the mentioned subclass of power law systems, which is a generalization of our recent method for mass action systems. △ Less

Submitted 21 April, 2024; v1 submitted 1 April, 2024; originally announced April 2024.

Equilibria decomposition-based comparison of reaction networks of Wnt signaling

Authors: Bryan S. Hernandez, Patrick Vincent N. Lubenia, Eduardo R. Mendoza

Abstract: The Wnt signaling pathway plays a critical role in various biochemical processes, including embryonic development, tissue homeostasis, and cancer progression. In this paper, we conduct a comparative analysis of $β$-catenin-dependent Wnt signaling reaction networks, which we refer to as the Feinberg, Schmitz, and MacLean models, based on the previous study by MacLean et al. (PNAS USA 2015). Our ana… ▽ More The Wnt signaling pathway plays a critical role in various biochemical processes, including embryonic development, tissue homeostasis, and cancer progression. In this paper, we conduct a comparative analysis of $β$-catenin-dependent Wnt signaling reaction networks, which we refer to as the Feinberg, Schmitz, and MacLean models, based on the previous study by MacLean et al. (PNAS USA 2015). Our analysis is based on the (unique) finest independent decomposition (FID) of each reaction network and our comparative techniques include equilibria parametrizations (EP) and the newly developed methods of Common Reactions Equilibria (CORE) analysis and Concordance Profile (CP) analysis. Our investigation yields three interesting results concerning the equilibria sets of these models. Firstly, we explore the concept of absolute concentration robustness (ACR), wherein a system exhibits ACR in a specific species if the equilibrium value for that species is the same for any positive equilibrium. Through ACR analysis employing FID and EP, we observe that both the Schmitz and MacLean models lack ACR, whereas the Feinberg model demonstrates ACR in a single species. Second, our analyses using FID and CORE reveal important relationships within the equilibria sets of the augmented Schmitz and MacLean models. Furthermore, FID and CORE identify the lack of a substantial relationship between the equilibria sets of the Feinberg and MacLean models. Hence, these methods detect subtle differences between the Feinberg and MacLean models and also between the Schmitz and MacLean models, which are not evident in the standard reaction network analysis. Finally, based on the concordance levels, CP analysis indicates that the MacLean and Schmitz models are more similar than the MacLean and Feinberg models. △ Less

Submitted 27 March, 2024; v1 submitted 29 October, 2023; originally announced October 2023.

Tensor products of topological abelian groups and Pontryagin duality

Authors: María V. Ferrer, Julio Hernández-Arzusa, Salvador Hernández

Abstract: Let $G$ be the group of all $\ZZ$-valued homomorphisms of the Baer-Specker group $\ZZ^\NN$. The group $G$ is algebraically isomorphic to $\ZZ^{(\NN)}$, the infinite direct sum of the group of integers, and equipped with the topology of pointwise convergence on $\ZZ^\NN$, becomes a non reflexive prodiscrete group. It was an open question to find its dual group $\hat{G}$. Here, we answer this questi… ▽ More Let $G$ be the group of all $\ZZ$-valued homomorphisms of the Baer-Specker group $\ZZ^\NN$. The group $G$ is algebraically isomorphic to $\ZZ^{(\NN)}$, the infinite direct sum of the group of integers, and equipped with the topology of pointwise convergence on $\ZZ^\NN$, becomes a non reflexive prodiscrete group. It was an open question to find its dual group $\hat{G}$. Here, we answer this question by proving that $\hat{G}$ is topologically isomorphic to $\ZZ^\NN\otimes_\mathcal{Q}\TT$, the (locally quasi-convex) tensor product of $\ZZ^\NN$ and $\TT$. Furthermore, we investigate the reflexivity properties of the groups of $C_p(X,\ZZ)$, the group of all $\ZZ$-valued continuous functions on $X$ equipped with the pointwise convergence topology, and $A_p(X)$, the free abelian group on a $0$-dimensional space $X$ equipped with the topology $t_p(C(X,\ZZ))$ of pointwise convergence topology on $C(X,\ZZ)$. In particular, we prove that $\hat{A_p(X)}\simeq C_p(X,\ZZ)\otimes_\mathcal{Q}\TT$ and we establish the existence of $0$-dimensional spaces $X$ such that $C_p(X,\ZZ)$ is Pontryagin reflexive. △ Less

Submitted 1 February, 2024; v1 submitted 3 September, 2023; originally announced September 2023.

MSC Class: 22A05 (22A25 22E99 20C15 20K20 54H11

A decomposition-based approach for deriving positive steady states of a class of chemical reaction networks with non-mass-action kinetics

Authors: Bryan S. Hernandez, Patrick Vincent N. Lubenia

Abstract: Steady states are frequently used to investigate the long-term behaviors of (bio)-chemical systems. Recently, there has been a growing interest in network-based approaches due to their efficiency in deriving parametrizations of positive steady states in systems with mass-action kinetics. In this study, we extend this approach to derive positive steady states in networks under non-mass-action kinet… ▽ More Steady states are frequently used to investigate the long-term behaviors of (bio)-chemical systems. Recently, there has been a growing interest in network-based approaches due to their efficiency in deriving parametrizations of positive steady states in systems with mass-action kinetics. In this study, we extend this approach to derive positive steady states in networks under non-mass-action kinetics, specifically mixed kinetics. In a system with mixed kinetics, some reactions {may follow} mass-action kinetics, while others in the same network follow different rate laws, such as quotient rate laws. An example of such complexity is evident in a mathematical model of the insulin signaling pathway in type 2 diabetes. To compute its positive {steady states}, we adapt our existing network decomposition approach, originally designed for mass-action kinetics, to handle networks with non-mass-action kinetics. This approach involves breaking down a given network into smaller, independent subnetworks to derive the positive steady states of each subnetwork separately. These individual steady states are then combined to obtain the positive steady states of the entire network. This strategy makes computations more manageable for complex and large networks. More importantly, this method could separate reactions with purely mass-action kinetics into certain subnetworks from those that follow different rate laws. We also present an illustrative example that provides insights into methods for transforming networks with mixed kinetics into their associated mass-action systems. △ Less

Submitted 1 April, 2024; v1 submitted 23 April, 2023; originally announced April 2023.

Computational translation framework identifies biochemical reaction networks with special topologies and their long-term dynamics

Authors: Hyukpyo Hong, Bryan S. Hernandez, Jinsu Kim, Jae Kyoung Kim

Abstract: Long-term behaviors of biochemical systems are described by steady states in deterministic models and stationary distributions in stochastic models. Obtaining their analytic solutions can be done for limited cases, such as linear or finite-state systems, as it generally requires solving many coupled equations. Interestingly, analytic solutions can be easily obtained when underlying networks have s… ▽ More Long-term behaviors of biochemical systems are described by steady states in deterministic models and stationary distributions in stochastic models. Obtaining their analytic solutions can be done for limited cases, such as linear or finite-state systems, as it generally requires solving many coupled equations. Interestingly, analytic solutions can be easily obtained when underlying networks have special topologies, called weak reversibility (WR) and zero deficiency (ZD), and the kinetic law follows a generalized form of mass-action kinetics. However, such desired topological conditions do not hold for the majority of cases. Thus, translating networks to have WR and ZD while preserving the original dynamics was proposed. Yet, this approach is limited because manually obtaining the desired network translation among the large number of candidates is challenging. Here, we prove necessary conditions for having WR and ZD after translation, and based on these conditions, we develop a user-friendly computational package, TOWARDZ, that automatically and efficiently identifies translated networks with WR and ZD. This allows us to quantitatively examine how likely it is to obtain WR and ZD after translation depending on the number of species and reactions. Importantly, we also describe how our package can be used to analytically derive steady states of deterministic models and stationary distributions of stochastic models. TOWARDZ provides an effective tool to analyze biochemical systems. △ Less

Submitted 2 December, 2022; originally announced December 2022.

Comments: 24 pages, 7 figures

MSC Class: 92B05; 92C42; 34A34; 60J27; 60J28; 60G10

A Two Stage Stochastic Optimization Model for Port Infrastructure Planning

Authors: Sanjeev Bhurtyal, Sarah Hernandez, Sandra Eksioglu, Manzi Yves

Abstract: This paper investigates inland port infrastructure investment planning under uncertain commodity demand conditions. A two-stage stochastic optimization is developed to model the impact of demand uncertainty on infrastructure planning and transportation decisions. The two-stage stochastic model minimizes the total expected costs, including the capacity expansion investment costs associated with han… ▽ More This paper investigates inland port infrastructure investment planning under uncertain commodity demand conditions. A two-stage stochastic optimization is developed to model the impact of demand uncertainty on infrastructure planning and transportation decisions. The two-stage stochastic model minimizes the total expected costs, including the capacity expansion investment costs associated with handling equipment and storage, and the expected transportation costs. To solve the problem, an accelerated Benders decomposition algorithm is implemented. The Arkansas section of the McCllean-Kerr Arkansas River Navigation System (MKARNS) is used as a testing ground for the model. Results show that commodity volume and, as expected, the percent of that volume that moves via waterways (in ton-miles) increases with increasing investment in port infrastructure. The model is able to identify a cluster of ports that should receive investment in port capacity under any investment scenario. The use of a stochastic approach is justified by calculating the value of the stochastic solution (VSS). △ Less

Submitted 10 August, 2022; originally announced August 2022.

Comments: 29 pages, 8 tables, 6 figures

MSC Class: 90B06

On closed subgroups of precompact groups

Authors: Salvador Hernández, Dieter Remus, F. Javier Trigos-Arrieta

Abstract: It is a Theorem of W.~ W. Comfort and K.~ A. Ross that if $G$ is a subgroup of a compact Abelian group, and $S$ denotes those continuous homomorphisms from $G$ to the one-dimensional torus, then the topology on $G$ is the initial topology given by $S$. {Assume that $H$ is a subgroup of $G$. We study how} the choice of $S$ affects the topological placement and properties of $H$ in $G$. Among other… ▽ More It is a Theorem of W.~ W. Comfort and K.~ A. Ross that if $G$ is a subgroup of a compact Abelian group, and $S$ denotes those continuous homomorphisms from $G$ to the one-dimensional torus, then the topology on $G$ is the initial topology given by $S$. {Assume that $H$ is a subgroup of $G$. We study how} the choice of $S$ affects the topological placement and properties of $H$ in $G$. Among other results, we have {made significant} progress toward the solution of the following specific questions: How many totally bounded group topologies does $G$ admit such that $H$ is a closed (dense) subgroup? If $C_S$ denotes the poset of all subgroups of $G$ that are $S$-closed, ordered by inclusion, does $C_S$ has a greatest (resp. smallest) element? We say that a totally bounded (topological, resp.) group is an \textit{SC-group} (\textit{topologically simple}, resp.) if all its subgroups are closed (if $G$ and $\{e\}$ are its only possible closed normal subgroups, resp.) {In addition, we investigate the following questions.} How many SC-(topologically simple totally bounded, resp.) group topologies does an arbitrary Abelian group $G$ admit? △ Less

Submitted 16 May, 2022; v1 submitted 1 March, 2022; originally announced March 2022.

Homomorphic encoders of profinite abelian groups II

Authors: María V. Ferrer, Salvador Hernández

Abstract: Let $\{G_i :i\in\N\}$ be a family of finite Abelian groups. We say that a subgroup $G\leq \prod\limits_{i\in \N}G_i$ is \emph{order controllable} if for every $i\in \mathbb{N}$ there is $n_i\in \mathbb{N}$ such that for each $c\in G$, there exists $c_1\in G$ satisfying that $c_{1|[1,i]}=c_{|[1,i]}$, $supp (c_1)\subseteq [1,n_i]$, and order$(c_1)$ divides order$(c_{|[1,n_i]})$. In this paper we inv… ▽ More Let $\{G_i :i\in\N\}$ be a family of finite Abelian groups. We say that a subgroup $G\leq \prod\limits_{i\in \N}G_i$ is \emph{order controllable} if for every $i\in \mathbb{N}$ there is $n_i\in \mathbb{N}$ such that for each $c\in G$, there exists $c_1\in G$ satisfying that $c_{1|[1,i]}=c_{|[1,i]}$, $supp (c_1)\subseteq [1,n_i]$, and order$(c_1)$ divides order$(c_{|[1,n_i]})$. In this paper we investigate the structure of order controllable group codes. It is proved that if $G$ is an order controllable, shift invariant, group code over a finite abelian group $H$, then $G$ possesses a finite canonical generating set. Furthermore, our construction also yields that $G$ is algebraically conjugate to a full group shift. △ Less

Submitted 30 November, 2021; originally announced November 2021.

Comments: Portions of this work previously appeared as arXiv:2103.13135, which has been split

Positive equilibria of power law kinetics on networks with independent linkage classes

Authors: Bryan S. Hernandez, Eduardo R. Mendoza

Abstract: Studies about the set of positive equilibria ($E_+$) of kinetic systems have been focused on mass action, and not that much on power law kinetic (PLK) systems, even for PL-RDK systems (PLK systems where two reactions with identical reactant complexes have the same kinetic order vectors). For mass action, reactions with different reactants have different kinetic order rows. A PL-RDK system satisfyi… ▽ More Studies about the set of positive equilibria ($E_+$) of kinetic systems have been focused on mass action, and not that much on power law kinetic (PLK) systems, even for PL-RDK systems (PLK systems where two reactions with identical reactant complexes have the same kinetic order vectors). For mass action, reactions with different reactants have different kinetic order rows. A PL-RDK system satisfying this property is called factor span surjective (PL-FSK). In this work, we show that a cycle terminal PL-FSK system with $E_+\ne \varnothing$ and has independent linkage classes (ILC) is a poly-PLP system, i.e., $E_+$ is the disjoint union of log-parametrized sets. The key insight for the extension is that factor span surjectivity induces an isomorphic digraph structure on the kinetic complexes. The result also completes, for ILC networks, the structural analysis of the original complex balanced generalized mass action systems (GMAS) by Müller and Regensburger. We also identify a large set of PL-RDK systems where non-emptiness of $E_+$ is a necessary and sufficient condition for non-emptiness of each set of positive equilibria for each linkage class. These results extend those of Boros on mass action systems with ILC. We conclude this paper with two applications of our results. Firstly, we consider absolute complex balancing (ACB), i.e., the property that each positive equilibrium is complex balanced, in poly-PLP systems. Finally, we use the new results to study absolute concentration robustness (ACR) in these systems. In particular, we obtain a species hyperplane containment criterion to determine ACR in the system species. △ Less

Submitted 5 April, 2022; v1 submitted 13 November, 2021; originally announced November 2021.

MSC Class: 92C45; 80A30; 92C42

Independent, Incidence Independent and Weakly Reversible Decompositions of Chemical Reaction Networks

Authors: Bryan S. Hernandez, Deza A. Amistas, Ralph John L. De la Cruz, Lauro L. Fontanil, Aurelio A. de los Reyes V, Eduardo R. Mendoza

Abstract: Chemical reaction networks (CRNs) are directed graphs with reactant or product complexes as vertices, and reactions as arcs. A CRN is weakly reversible if each of its connected components is strongly connected. Weakly reversible networks can be considered as the most important class of reaction networks. Now, the stoichiometric subspace of a network is the linear span of the reaction vectors (i.e.… ▽ More Chemical reaction networks (CRNs) are directed graphs with reactant or product complexes as vertices, and reactions as arcs. A CRN is weakly reversible if each of its connected components is strongly connected. Weakly reversible networks can be considered as the most important class of reaction networks. Now, the stoichiometric subspace of a network is the linear span of the reaction vectors (i.e., difference between the product and the reactant complexes). A decomposition of a CRN is independent (incidence independent) if the direct sum of the stoichiometric subspaces (incidence maps) of the subnetworks equals the stoichiometric subspace (incidence map) of the whole network. Decompositions can be used to study relationships between steady states of the whole system (induced from partitioning the reaction set of the underlying network) and those of its subsystems. In this work, we revisit our novel method of finding independent decomposition, and use it to expand applicability on (vector) components of steady states. We also explore CRNs with embedded deficiency zero independent subnetworks. In addition, we establish a method for finding incidence independent decomposition of a CRN. We determine all the forms of independent and incidence independent decompositions of a network, and provide the number of such decompositions. Lastly, for weakly reversible networks, we determine that incidence independence is a sufficient condition for weak reversibility of a decomposition, and we identify subclasses of weakly reversible networks where any independent decomposition is weakly reversible. △ Less

Submitted 23 August, 2021; v1 submitted 12 August, 2021; originally announced August 2021.

Independent Decompositions of Chemical Reaction Networks

Authors: Bryan S. Hernandez, Ralph John L. De la Cruz

Abstract: A chemical reaction network (CRN) is composed of reactions that can be seen as interactions among entities called species, which exist within the system. Endowed with kinetics, CRN has a corresponding set of ordinary differential equations (ODEs). In Chemical Reaction Network Theory, we are interested with connections between the structure of the CRN and qualitative properties of the corresponding… ▽ More A chemical reaction network (CRN) is composed of reactions that can be seen as interactions among entities called species, which exist within the system. Endowed with kinetics, CRN has a corresponding set of ordinary differential equations (ODEs). In Chemical Reaction Network Theory, we are interested with connections between the structure of the CRN and qualitative properties of the corresponding ODEs. One of the results in Decomposition Theory of CRNs is that the intersection of the sets of positive steady states of the subsystems is equal to the set of positive steady states of the whole system, if the decomposition is independent. Hence, computational approach using independent decompositions can be used as an efficient tool in studying large systems. In this work, we provide a necessary and sufficient condition for the existence of a nontrivial independent decomposition of a CRN, which leads to a novel step-by-step method to obtain such decomposition, if it exists. We also illustrate these results using real-life examples. In particular, we show that a CRN of a popular model of anaerobic yeast fermentation pathway has a nontrivial independent decomposition, while a particular biological system, which is a metabolic network with one positive feedforward and a negative feedback has none. Finally, we analyze properties of steady states of reaction networks of specific influenza virus models. △ Less

Submitted 19 April, 2021; originally announced April 2021.

Weakly Reversible CF-Decompositions of Chemical Kinetic Systems

Authors: Bryan S. Hernandez, Eduardo R. Mendoza

Abstract: This paper studies chemical kinetic systems which decompose into weakly reversible complex factorizable (CF) systems. Among power law kinetic systems, CF systems (denoted as PL-RDK systems) are those where branching reactions of a reactant complex have identical rows in the kinetic order matrix. Mass action and generalized mass action systems (GMAS) are well-known examples. Schmitz's global carbon… ▽ More This paper studies chemical kinetic systems which decompose into weakly reversible complex factorizable (CF) systems. Among power law kinetic systems, CF systems (denoted as PL-RDK systems) are those where branching reactions of a reactant complex have identical rows in the kinetic order matrix. Mass action and generalized mass action systems (GMAS) are well-known examples. Schmitz's global carbon cycle model is a previously studied non-complex factorizable (NF) power law system (denoted as PL-NDK). We derive novel conditions for the existence of weakly reversible CF-decompositions and present an algorithm for verifying these conditions. We discuss methods for identifying independent decompositions, i.e., those where the stoichiometric subspaces of the subnetworks form a direct sum, as such decompositions relate positive equilibria sets of the subnetworks to that of the whole network. We then use the results to determine the positive equilibria sets of PL-NDK systems which admit an independent weakly reversible decomposition into PL-RDK systems of PLP type, i.e., the positive equilibria are log-parametrized, which is a broad generalization of a Deficiency Zero Theorem of Fortun et al. (2019). △ Less

Submitted 5 March, 2022; v1 submitted 16 April, 2021; originally announced April 2021.

Homomorphic encoders of profinite abelian groups I

Authors: María V. Ferrer, Salvador Hernández

Abstract: Let $\{G_i :i\in\N\}$ be a family of finite Abelian groups. We say that a subgroup $G\leq \prod\limits_{i\in \N}G_i$ is \emph{order controllable} if for every $i\in \mathbb{N}$ there is $n_i\in \mathbb{N}$ such that for each $c\in G$, there exists $c_1\in G$ satisfying that $c_{1|[1,i]}=c_{|[1,i]}$, $supp (c_1)\subseteq [1,n_i]$, and order$(c_1)$ divides order$(c_{|[1,n_i]})$. In this paper we inv… ▽ More Let $\{G_i :i\in\N\}$ be a family of finite Abelian groups. We say that a subgroup $G\leq \prod\limits_{i\in \N}G_i$ is \emph{order controllable} if for every $i\in \mathbb{N}$ there is $n_i\in \mathbb{N}$ such that for each $c\in G$, there exists $c_1\in G$ satisfying that $c_{1|[1,i]}=c_{|[1,i]}$, $supp (c_1)\subseteq [1,n_i]$, and order$(c_1)$ divides order$(c_{|[1,n_i]})$. In this paper we investigate the structure of order controllable subgroups. It is proved that every order controllable, profinite, abelian group contains a subset $\{g_n : n\in\N\}$ that topologically generates the group and whose elements $g_n$ all have finite support. As a consequence, sufficient conditions are obtained that allow us to encode, by means of a topological group isomorphism, order controllable profinite abelian groups. Some applications of these results to group codes will appear subsequently \cite{FH:2021}. △ Less

Submitted 1 December, 2021; v1 submitted 24 March, 2021; originally announced March 2021.

MSC Class: Primary 20K25. Secondary 22C05; 20K45; 54H11; 68P30; 37B10

The weak compactification of locally compact groups

Authors: María V. Ferrer, Salvador Hernández

Abstract: We further investigate the weak topology generated by the irreducible unitary representations of a group $G$. A deep result due to Ernest \cite{Ernest1971} and Hughes \cite{Hughes1973} asserts that every weakly compact subset of a locally compact (LC) group $G$ is compact in the LC-topology, generalizing thereby a previous result of Glicksberg \cite{glicks1962} for abelian locally compact (LCA) gr… ▽ More We further investigate the weak topology generated by the irreducible unitary representations of a group $G$. A deep result due to Ernest \cite{Ernest1971} and Hughes \cite{Hughes1973} asserts that every weakly compact subset of a locally compact (LC) group $G$ is compact in the LC-topology, generalizing thereby a previous result of Glicksberg \cite{glicks1962} for abelian locally compact (LCA) groups. Here, we first survey some recent findings on the weak topology and establish some new results about the preservation of several compact-like properties when going from the weak topology to the original topology of LC groups. Among others, we deal with the preservation of countably compactness, pseudocompactness and functional boundedness. △ Less

Submitted 24 March, 2021; v1 submitted 24 February, 2021; originally announced February 2021.

Comments: arXiv admin note: text overlap with arXiv:1704.03438

MSC Class: Locally compact group; Weak topology; Weak compactification; Bohr compactification

Positive Equilibria of Hill-Type Kinetic Systems

Authors: Bryan S. Hernandez, Eduardo R. Mendoza

Abstract: This work introduces a novel approach to study properties of positive equilibria of a chemical reaction network $\mathscr{N}$ endowed with Hill-type kinetics $K$, called a Hill-type kinetic (HTK) system $\left(\mathscr{N},K\right)$, including their multiplicity and concentration robustness in a species. We associate a unique positive linear combination of power-law kinetic systems called poly-PL k… ▽ More This work introduces a novel approach to study properties of positive equilibria of a chemical reaction network $\mathscr{N}$ endowed with Hill-type kinetics $K$, called a Hill-type kinetic (HTK) system $\left(\mathscr{N},K\right)$, including their multiplicity and concentration robustness in a species. We associate a unique positive linear combination of power-law kinetic systems called poly-PL kinetic (PYK) system $\left( {\mathscr{N},{K_\text{PY}}} \right)$ to the given HTK system. The associated system has the key property that its equilibria sets coincide with those of the Hill-type system, i.e., ${E_ + }\left( {\mathscr{N},K} \right) = {E_ + }\left( {\mathscr{N},{K_\text{PY}}} \right)$ and ${Z_ + }\left( {\mathscr{N},K} \right) = {Z_ + }\left( {\mathscr{N},{K_\text{PY}}} \right)$. This allows us to identify two novel subsets of the Hill-type kinetics, called PL-equilibrated and PL-complex balanced kinetics, to which recent results on absolute concentration robustness (ACR) of species and complex balancing at positive equilibria of power-law (PL) kinetic systems can be applied. Our main results also include the Shinar-Feinberg ACR Theorem for PL-equilibrated HT-RDK systems (i.e., subset of complex factorizable HTK systems), which establishes a foundation for the analysis of ACR in HTK systems, and the extension of the results of Müller and Regensburger on generalized mass action systems to PL-complex balanced HT-RDK systems. In addition, we derive the theory of balanced concentration robustness (BCR) in an analogous manner to ACR for PL-equilibrated systems. Finally, we provide further extensions of our results to a more general class of kinetics, which includes quotients of poly-PL functions. △ Less

Submitted 5 September, 2020; originally announced September 2020.

A Computational Approach to Multistationarity in Poly-PL Kinetic Systems

Authors: Daryl M. Magpantay, Bryan S. Hernandez, Aurelio A. de los Reyes V, Eduardo R. Mendoza, Ederlina G. Nocon

Abstract: One important question that interests those who work in chemical reaction network theory (CRNT) is this: Does the system obtained from a reaction network admit a positive equilibrium and if it does, can there be more than one within a stoichiometric class? The higher deficiency algorithm (HDA) of Ji and Feinberg provided a method of determining the multistationarity capacity of a CRN with mass act… ▽ More One important question that interests those who work in chemical reaction network theory (CRNT) is this: Does the system obtained from a reaction network admit a positive equilibrium and if it does, can there be more than one within a stoichiometric class? The higher deficiency algorithm (HDA) of Ji and Feinberg provided a method of determining the multistationarity capacity of a CRN with mass action kinetics (MAK). An extension of this, called Multistationarity Algorithm (MSA), recently came into the scene tackling CRNs with power law kinetics (PLK), a kinetic system which is more general (having MAK systems as a special case). For this paper, we provide a computational approach to study the multistationarity feature of reaction networks endowed with kinetics which are non-negative linear combinations of power law functions called poly-PL kinetics (PYK). The idea is to use MSA and combine it with a transformation called STAR-MSC (i.e., $S$-invariant Termwise Addition of Reactions via Maximal Stoichiometric Coefficients) producing PLKs that are dynamically equivalent to PYKs. This leads us to being able to determinine the multistationarity capacity of a much larger class of kinetic systems. We show that if the transformed dynamically equivalent PLK system is multistationary for a stoichiometric class for a set of particular rate constants, then so is its original corresponding PYK system. Moreover, the monostationarity property of the transformed PLK system also implies the monostationarity property of the original PYK system. △ Less

Submitted 19 August, 2020; v1 submitted 12 July, 2020; originally announced July 2020.

On the Independence of Fundamental Decompositions of Power-Law Kinetic Systems

Authors: Bryan S. Hernandez

Abstract: The fundamental decomposition of a chemical reaction network (CRN) is induced by partitioning the reaction set into "fundamental classes". It was the basis of the Higher Deficiency Algorithm for mass action systems of Ji and Feinberg, and the Multistationarity Algorithm for power-law kinetic systems of Hernandez et al. In addition to our previous work, we provide important properties of the indepe… ▽ More The fundamental decomposition of a chemical reaction network (CRN) is induced by partitioning the reaction set into "fundamental classes". It was the basis of the Higher Deficiency Algorithm for mass action systems of Ji and Feinberg, and the Multistationarity Algorithm for power-law kinetic systems of Hernandez et al. In addition to our previous work, we provide important properties of the independence (i.e., the network's stoichiometric subspace is the direct sum of the subnetworks' stoichiometric subspaces) and the incidence-independence (i.e., the image of the network's incidence map is the direct sum of the incidence maps' images of the subnetworks) of these decompositions. Feinberg established the essential relationship between independent decompositions and the set of positive equilibria of a network, which we call the Feinberg Decomposition Theorem (FDT). Moreover, Farinas et al. recently documented its version for incidence-independence. Fundamental decomposition divides the network into subnetworks of deficiency either 0 or 1 only. Hence, available results for lower deficiency networks, such as the Deficiency Zero Theorem (DZT), can be used. These justify the study of independent fundamental decompositions. A MATLAB program which (i) computes the subnetworks of a CRN under the fundamental decomposition and (ii) is useful for determining whether the decomposition is independent and incidence-independent is also created. Finally, we provide the following solution for determining multistationarity of CRNs with the following steps: (1) the use of the program, (2) the application of available results for CRNs with deficiency 0 or 1 (e.g., DZT), and (3) the use of FDT. We illustrate the solution by showing that the generalization of a subnetwork of Schmitz's carbon cycle model by Hernandez et al., endowed with mass action kinetics, has no capacity for multistationarity. △ Less

Submitted 16 February, 2020; v1 submitted 14 January, 2020; originally announced January 2020.

Comments: arXiv admin note: substantial text overlap with arXiv:1908.04593

Journal ref: MATCH Commun. Math. Comput. Chem. 84(1) (2020) 57-84

Fundamental Decompositions and Multistationarity of Power-Law Kinetic Systems

Authors: Bryan S. Hernandez, Eduardo R. Mendoza, Aurelio A. de los Reyes V

Abstract: The fundamental decomposition of a chemical reaction network (also called its "$\mathscr{F}$-decomposition") is the set of subnetworks generated by the partition of its set of reactions into the "fundamental classes" introduced by Ji and Feinberg in 2011 as the basis of their "higher deficiency algorithm" for mass action systems. The first part of this paper studies the properties of the… ▽ More The fundamental decomposition of a chemical reaction network (also called its "$\mathscr{F}$-decomposition") is the set of subnetworks generated by the partition of its set of reactions into the "fundamental classes" introduced by Ji and Feinberg in 2011 as the basis of their "higher deficiency algorithm" for mass action systems. The first part of this paper studies the properties of the $\mathscr{F}$-decomposition, in particular, its independence (i.e., the network's stoichiometric subspace is the direct sum of the subnetworks' stoichiometric subspaces) and its incidence-independence (i.e., the image of the network's incidence map is the direct sum of the incidence maps' images of the subnetworks). We derive necessary and sufficient conditions for these properties and identify network classes where the $\mathscr{F}$-decomposition coincides with other known decompositions. The second part of the paper applies the above-mentioned results to improve the Multistationarity Algorithm for power-law kinetic systems (MSA), a general computational approach that we introduced in previous work. We show that for systems with non-reactant determined interactions but with an independent $\mathscr{F}$-decomposition, the transformation to a dynamically equivalent system with reactant-determined interactions -- required in the original MSA -- is not necessary. We illustrate this improvement with the subnetwork of Schmitz's carbon cycle model recently analyzed by Fortun et al. △ Less

Submitted 18 February, 2020; v1 submitted 13 August, 2019; originally announced August 2019.

Journal ref: MATCH Commun. Math. Comput. Chem. 83(2) (2020) 403-434

On convergent sequences in dual groups

Authors: M. V. Ferrer, S. Hernández, M. Tkachenko

Abstract: We provide some characterizations of precompact abelian groups $G$ whose dual group $G_p^\wedge$ endowed with the pointwise convergence topology on elements of $G$ contains a nontrivial convergent sequence. In the special case of precompact abelian \emph{torsion} groups $G$, we characterize the existence of a nontrivial convergent sequence in $G_p^\wedge$ by the following property of $G$: \emph{No… ▽ More We provide some characterizations of precompact abelian groups $G$ whose dual group $G_p^\wedge$ endowed with the pointwise convergence topology on elements of $G$ contains a nontrivial convergent sequence. In the special case of precompact abelian \emph{torsion} groups $G$, we characterize the existence of a nontrivial convergent sequence in $G_p^\wedge$ by the following property of $G$: \emph{No infinite quotient group of $G$ is countable.} Finally, we present an example of a dense subgroup $G$ of the compact metrizable group $\mathbb{Z}(2)^ω$ such that $G$ is of the first category in itself, has measure zero, but the dual group $G_p^\wedge$ does not contain infinite compact subsets. This complements Theorem 1.6 in [J.E.~Hart and K.~Kunen, Limits in function spaces and compact groups, \textit{Topol. Appl.} \textbf{151} (2005), 157--168]. As a consequence, we obtain an example of a precompact reflexive abelian group which is of the first Baire category. △ Less

Submitted 10 October, 2019; v1 submitted 9 August, 2019; originally announced August 2019.

MSC Class: 43A40; 22D35; 22C05; 54E52; 54C10

A Computational Approach to Multistationarity of Power-Law Kinetic Systems

Authors: Bryan S. Hernandez, Eduardo R. Mendoza, Aurelio A. de los Reyes V

Abstract: This paper presents a computational solution to determine if a chemical reaction network endowed with power-law kinetics (PLK system) has the capacity for multistationarity, i.e., whether there exist positive rate constants such that the corresponding differential equations admit multiple positive steady states within a stoichiometric class. The approach, which is called the "Multistationarity Alg… ▽ More This paper presents a computational solution to determine if a chemical reaction network endowed with power-law kinetics (PLK system) has the capacity for multistationarity, i.e., whether there exist positive rate constants such that the corresponding differential equations admit multiple positive steady states within a stoichiometric class. The approach, which is called the "Multistationarity Algorithm for PLK systems" (MSA), combines (i) the extension of the "higher deficiency algorithm" of Ji and Feinberg for mass action to PLK systems with reactant-determined interactions, and (ii) a method that transforms any PLK system to a dynamically equivalent one with reactant-determined interactions. Using this algorithm, we obtain two new results: the monostationarity of a popular model of anaerobic yeast fermentation pathway, and the multistationarity of a global carbon cycle model with climate engineering, both in the generalized mass action format of biochemical systems theory. We also provide examples of the broader scope of our approach for deficiency one PLK systems in comparison to the extension of Feinberg's "deficiency one algorithm" to such systems. △ Less

Submitted 18 February, 2020; v1 submitted 6 February, 2019; originally announced February 2019.

Journal ref: J Math Chem 58 (2020) 56-87

Representation of Group Isomorphisms I

Authors: Marita Ferrer, Margarita Gary, Salvador Hernández

Abstract: Let $G$ be a metric group and let $\sA ut(G)$ denote the automorphism group of $G$. If $\sA$ and $\sB$ are groups of $G$-valued maps defined on the sets $X$ and $Y$, respectively, we say that $\sA$ and $\sB$ are \emph{equivalent} if there is a group isomorphism $H\colon\sA\to\sB$ such that there is a bijective map $h\colon Y\to X$ and a map $w\colon Y\to \sA ut (G)$ satisfying… ▽ More Let $G$ be a metric group and let $\sA ut(G)$ denote the automorphism group of $G$. If $\sA$ and $\sB$ are groups of $G$-valued maps defined on the sets $X$ and $Y$, respectively, we say that $\sA$ and $\sB$ are \emph{equivalent} if there is a group isomorphism $H\colon\sA\to\sB$ such that there is a bijective map $h\colon Y\to X$ and a map $w\colon Y\to \sA ut (G)$ satisfying $Hf(y)=w[y](f(h(y)))$ for all $y\in Y$ and $f\in \sA$. In this case, we say that $H$ is represented as a \emph{weighted composition operator}. A group isomorphism $H$ defined between $\sA$ and $\sB$ is called \emph{separating} when for each pair of maps $f,g\in \sA$ satisfying that $f^{-1}(e_G)\cup g^{-1}(e_G)=X$, it holds that $(Hf)^{-1}(e_G)\cup (Hg)^{-1}(e_G)=Y$. Our main result establishes that under some mild conditions, every separating group isomorphism can be represented as a weighted composition operator. As a consequence we establish the equivalence of two function groups if there is a biseparating isomorphism defined between them. △ Less

Submitted 27 November, 2018; originally announced November 2018.

On the structure of abelian profinite groups

Authors: María V. Ferrer, Salvador Hernández

Abstract: A subgroup $G$ of a product $\prod\limits_{i\in\mathbb{N}}G_i$ is \emph{rectangular} if there are subgroups $H_i$ of $G_i$ such that $G=\prod\limits_{i\in\mathbb{N}}H_i$. We say that $G$ is \emph{weakly rectangular} if there are finite subsets $F_i\subseteq \mathbb{N}$ and subgroups $H_i$ of $\bigoplus\limits_{j\in F_i} G_j$ that satisfy $G=\prod\limits_{i\in\mathbb{N}}H_i$. %We say that $G$ is a… ▽ More A subgroup $G$ of a product $\prod\limits_{i\in\mathbb{N}}G_i$ is \emph{rectangular} if there are subgroups $H_i$ of $G_i$ such that $G=\prod\limits_{i\in\mathbb{N}}H_i$. We say that $G$ is \emph{weakly rectangular} if there are finite subsets $F_i\subseteq \mathbb{N}$ and subgroups $H_i$ of $\bigoplus\limits_{j\in F_i} G_j$ that satisfy $G=\prod\limits_{i\in\mathbb{N}}H_i$. %We say that $G$ is a \emph{subdirect product} of the family $\{G_i\}_{i\in I}$ if $G$ is weakly rectangular and %$G\cap\bigoplus\limits_{i\in I} G_i=\bigoplus\limits_{i\in\mathbb{N}}H_i$. In this paper we discuss when a closed subgroup of a product is weakly rectangular. Some possible applications to the theory of group codes are also highlighted. △ Less

Submitted 20 November, 2018; originally announced November 2018.

When a totally bounded group topology is the Bohr Topology of a LCA group

Authors: Salvador Hernández, F. Javier Trigos-Arrieta

Abstract: We look at the Bohr topology of maximally almost periodic groups (MAP, for short). Among other results, we investigate when a totally bounded abelian group $(G,w)$ is the Bohr reflection of a locally compact abelian group. Necessary and sufficient conditions are established in terms of the inner properties of $w$. As an application, an example of a MAP group $(G,t)$ is given such that every closed… ▽ More We look at the Bohr topology of maximally almost periodic groups (MAP, for short). Among other results, we investigate when a totally bounded abelian group $(G,w)$ is the Bohr reflection of a locally compact abelian group. Necessary and sufficient conditions are established in terms of the inner properties of $w$. As an application, an example of a MAP group $(G,t)$ is given such that every closed, metrizable subgroup $N$ of $bG$ with $N \cap G = \{0\}$ preserves compactness but $(G,t)$ does not strongly respects compactness. Thereby, we respond to Questions 4.1 and 4.3 in [comftrigwu]. △ Less

Submitted 20 September, 2018; v1 submitted 17 October, 2017; originally announced October 2017.

Interpolation sets in spaces of continuous metric-valued functions

Authors: María V. Ferrer, Salvador Hernández, Luis Tárrega

Abstract: Let $X$ and $M$ be a topological space and metric space, respectively. If $C(X,M)$ denotes the set of all continuous functions from X to M, we say that a subset $Y$ of $X$ is an \emph{$M$-interpolation set} if given any function $g\in M^Y$ with relatively compact range in $M$, there exists a map $f\in C(X,M)$ such that $f_{|Y}=g$. In this paper, motivated by a result of Bourgain in \cite{Bourgain1… ▽ More Let $X$ and $M$ be a topological space and metric space, respectively. If $C(X,M)$ denotes the set of all continuous functions from X to M, we say that a subset $Y$ of $X$ is an \emph{$M$-interpolation set} if given any function $g\in M^Y$ with relatively compact range in $M$, there exists a map $f\in C(X,M)$ such that $f_{|Y}=g$. In this paper, motivated by a result of Bourgain in \cite{Bourgain1977}, we introduce a property, stronger than the mere \emph{non equicontinuity} of a family of continuous functions, that isolates a crucial fact for the existence of interpolation sets in fairly general settings. As a consequence, we establish the existence of $I_0$ sets in every nonprecompact subset of a abelian locally $k_ω$-groups. This implies that abelian locally $k_ω$-groups strongly respects compactness. △ Less

Submitted 1 April, 2018; v1 submitted 20 July, 2017; originally announced July 2017.

General Algorithmic Search

Authors: Sergio Hernández, Guillem Duran, José M. Amigó

Abstract: In this paper we present a metaheuristic for global optimization called General Algorithmic Search (GAS). Specifically, GAS is a stochastic, single-objective method that evolves a swarm of agents in search of a global extremum. Numerical simulations with a sample of 31 test functions show that GAS outperforms Basin Hopping, Cuckoo Search, and Differential Evolution, especially in concurrent optimi… ▽ More In this paper we present a metaheuristic for global optimization called General Algorithmic Search (GAS). Specifically, GAS is a stochastic, single-objective method that evolves a swarm of agents in search of a global extremum. Numerical simulations with a sample of 31 test functions show that GAS outperforms Basin Hopping, Cuckoo Search, and Differential Evolution, especially in concurrent optimization, i.e., when several runs with different initial settings are executed and the first best wins. Python codes of all algorithms and complementary information are available online. △ Less

Submitted 24 May, 2017; originally announced May 2017.

Comments: 12 pages, 2 figures

MSC Class: 90C26

A dichotomy property for locally compact groups

Authors: Marita Ferrer, Salvador Hernández, Luis Tárrega

Abstract: We extend to metrizable locally compact groups Rosenthal's theorem describing those Banach spaces containing no copy of $l_1$. For that purpose, we transfer to general locally compact groups the notion of interpolation ($I_0$) set, which was defined by Hartman and Ryll-Nardzewsky [25] for locally compact abelian groups. Thus we prove that for every sequence $\lbrace g_n \rbrace_{n<ω}$ in a locally… ▽ More We extend to metrizable locally compact groups Rosenthal's theorem describing those Banach spaces containing no copy of $l_1$. For that purpose, we transfer to general locally compact groups the notion of interpolation ($I_0$) set, which was defined by Hartman and Ryll-Nardzewsky [25] for locally compact abelian groups. Thus we prove that for every sequence $\lbrace g_n \rbrace_{n<ω}$ in a locally compact group $G$, then either $\lbrace g_n \rbrace_{n<ω}$ has a weak Cauchy subsequence or contains a subsequence that is an $I_0$ set. This result is subsequently applied to obtain sufficient conditions for the existence of Sidon sets in a locally compact group $G$, an old question that remains open since 1974 (see [32] and [20]). Finally, we show that every locally compact group strongly respects compactness extending thereby a result by Comfort, Trigos-Arrieta, and Wu [13], who established this property for abelian locally compact groups. △ Less

Submitted 1 April, 2018; v1 submitted 11 April, 2017; originally announced April 2017.

Comments: To appear in J. of Functional Analysis

Epireflections in topological algebraic structures

Authors: Julio Hernández-Arzusa, Salvador Hernández

Abstract: Let $\sR$ be an epireflective category of $\topo$ and let $F_\sR$\, be the epireflective functor associated with $\sR$. If $\sA$ denotes a (semi)topological algebraic subcategory of $\topo$, we study when $F_\sR\,(A)$ is an epireflective subcategory of $\sA$. We prove that this is always the case for semi-topological structures and we find some sufficient conditions for topological algebraic struc… ▽ More Let $\sR$ be an epireflective category of $\topo$ and let $F_\sR$\, be the epireflective functor associated with $\sR$. If $\sA$ denotes a (semi)topological algebraic subcategory of $\topo$, we study when $F_\sR\,(A)$ is an epireflective subcategory of $\sA$. We prove that this is always the case for semi-topological structures and we find some sufficient conditions for topological algebraic structures. We also study when the epireflective functor preserves products, subspaces and other properties. In particular, we solve an open question about the coincidence of epireflections proposed by Echi and Lazar in \cite[Question 1.6]{Echi:MPRIA} and repeated in \cite[Question 1.9]{Echi:TP}. Finally, we apply our results in different specific topological algebraic structures. △ Less

Submitted 20 November, 2018; v1 submitted 4 April, 2017; originally announced April 2017.

A classification of the cofinal structures of precompacta

Authors: Aviv Eshed, M. Vincenta Ferrer, Salvador Hernández, Piotr Szewczak, Boaz Tsaban

Abstract: We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we classify the cofinal structure of local bases in the groups $\C(X,\bbR)$ of continuous real-valued functions on complete metric spaces $X$, with respect to the compact… ▽ More We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we classify the cofinal structure of local bases in the groups $\C(X,\bbR)$ of continuous real-valued functions on complete metric spaces $X$, with respect to the compact-open topology. △ Less

Submitted 2 January, 2017; v1 submitted 26 July, 2016; originally announced July 2016.

Comments: Major revision. Streamlined proofs. Final version, submitted for publication

A countable free closed non-reflexive subgroup of Z^c

Authors: Maria Vincenta Ferrer, Salvador Hernández, Dmitri Shakhmatov

Abstract: We prove that the group G=Hom(P,Z) of all homomorphisms from the Baer-Specker group P to the group Z of integer numbers endowed with the topology of pointwise convergence contains no infinite compact subsets. We deduce from this fact that the second Pontryagin dual of G is discrete. As G is non-discrete, it is not reflexive. Since G can be viewed as a closed subgroup of the Tychonoff product of co… ▽ More We prove that the group G=Hom(P,Z) of all homomorphisms from the Baer-Specker group P to the group Z of integer numbers endowed with the topology of pointwise convergence contains no infinite compact subsets. We deduce from this fact that the second Pontryagin dual of G is discrete. As G is non-discrete, it is not reflexive. Since G can be viewed as a closed subgroup of the Tychonoff product of continuum many copies of the integers Z, this provides an example of a group described in the title, thereby answering Problem 11 from [J.Galindo, L.Recorder-Núñez, M.Tkachenko, Reflexivity of prodiscrete topological groups, J. Math. Anal. Appl. 384 (2011), 320--330.] It follows that an inverse limit of finitely generated (torsion-)free discrete abelian groups need not be reflexive. △ Less

Submitted 30 December, 2015; originally announced December 2015.

MSC Class: Primary: 22A25; Secondary: 20C15; 20K30; 22A05; 54B10; 54D30; 54H11

Journal ref: Proceedings of the American Mathematical Society, 145 (2017), 3599-3605

Equicontinuity criteria for metric-valued sets of continuous functions

Authors: Marita Ferrer, Salvador Hernandez, Luis Tarrega

Abstract: Combining ideas of Troallic and Cascales, Namioka, and Vera, we prove several characterizations of \textit{almost equicontinuity} and \textit{hereditary almost equicontinuity} for subsets of metric-valued continuous functions when they are defined on a Čech-complete space. We also obtain some applications of these results to topological groups and dynamical systems. Combining ideas of Troallic and Cascales, Namioka, and Vera, we prove several characterizations of \textit{almost equicontinuity} and \textit{hereditary almost equicontinuity} for subsets of metric-valued continuous functions when they are defined on a Čech-complete space. We also obtain some applications of these results to topological groups and dynamical systems. △ Less

Submitted 31 May, 2016; v1 submitted 16 November, 2015; originally announced November 2015.

Comments: 27 pages

MSC Class: Primary: 46A50; 54C35; Secondary: 22A05; 37B05; 54H11; 54H20

Weight-preserving isomorphisms between spaces of continuous functions: The scalar case

Authors: Marita Ferrer, Margarita Gary, Salvador Hernandez

Abstract: Let $\mathbb F$ be a finite field and let $\mathcal A$ and $\mathcal B$ be vector spaces of $\mathbb F$-valued continuous functions defined on locally compact spaces $X$ and $Y$, respectively. We look at the representation of linear bijections $H:\mathcal A\longrightarrow \mathcal B$ by continuous functions $h:Y\longrightarrow X$ as weighted composition operators. In order to do it, we extend the… ▽ More Let $\mathbb F$ be a finite field and let $\mathcal A$ and $\mathcal B$ be vector spaces of $\mathbb F$-valued continuous functions defined on locally compact spaces $X$ and $Y$, respectively. We look at the representation of linear bijections $H:\mathcal A\longrightarrow \mathcal B$ by continuous functions $h:Y\longrightarrow X$ as weighted composition operators. In order to do it, we extend the notion of Hamming metric to infinite spaces. Our main result establishes that under some mild conditions, every Hamming isometry can be represented as a weighted composition operator. Connections to coding theory are also highlighted. △ Less

Submitted 9 February, 2015; originally announced February 2015.

MSC Class: Primary 46E10. Secondary 54C35; 47B38; 93B05; 94B10

Representation of group isomorphisms. The compact case

Authors: María V. Ferrer, Margarita Gary, Salvador Hernández

Abstract: Let $G$ be a discrete group and let $\mathcal A$ and $\mathcal B$ be two subgroups of $G$-valued continuous functions defined on two $0$-dimensional compact spaces $X$ and $Y$. A group isomorphism $H$ defined between $\mathcal A$ and $\mathcal B$ is called \textit{separating} when for each pair of maps $f,g\in \mathcal A$ satisfying that $f^{-1}(e_G)\cup g^{-1}(e_G)=X$, it holds that… ▽ More Let $G$ be a discrete group and let $\mathcal A$ and $\mathcal B$ be two subgroups of $G$-valued continuous functions defined on two $0$-dimensional compact spaces $X$ and $Y$. A group isomorphism $H$ defined between $\mathcal A$ and $\mathcal B$ is called \textit{separating} when for each pair of maps $f,g\in \mathcal A$ satisfying that $f^{-1}(e_G)\cup g^{-1}(e_G)=X$, it holds that $Hf^{-1}(e_G)\cup Hg^{-1}(e_G)=Y$. We prove that under some mild conditions every separating isomorphism $H:\mathcal A\longrightarrow \mathcal B$ can be represented by means of a continuous function $h: Y\longrightarrow X$ as a weighted composition operator. As a consequence we establish the equivalence of two subgroups of continuous functions if there is a biseparating isomorphism defined between them. △ Less

Submitted 18 December, 2014; v1 submitted 6 November, 2014; originally announced November 2014.

MSC Class: Primary 43A40; Secondary 22A25; 22C05; 22D35; 43A35; 43A65; 54H11

Nonmeasurable subgroups of compact groups

Authors: Salvador Hernández, Karl H. Hofmann, Sidney A. Morris

Abstract: In 1985 S.~Saeki and K.~Stromberg published the following question: {\it Does every infinite compact group have a subgroup which is not Haar measurable?} An affirmative answer is given for all compact groups with the exception of some metric profinite groups known as strongly complete. In this spirit it is also shown that every compact group contains a non-Borel subgroup. In 1985 S.~Saeki and K.~Stromberg published the following question: {\it Does every infinite compact group have a subgroup which is not Haar measurable?} An affirmative answer is given for all compact groups with the exception of some metric profinite groups known as strongly complete. In this spirit it is also shown that every compact group contains a non-Borel subgroup. △ Less

Submitted 26 June, 2014; originally announced June 2014.

Morita equivalence and Morita invariant properties. Applications in the context of Leavitt path algebras

Authors: Mercedes Siles Molina, Jose Felix Solanilla Hernandez

Abstract: In this paper we prove that two idempotent rings are Morita equivalent if every corner of one of them is isomorphic to a corner of a matrix ring of the other one. We establish the converse (which is not true in general) for $σ$-unital rings having a $σ$-unit consisting of von Neumann regular elements. The following aim is to show that a property is Morita invariant if it is invariant under taking… ▽ More In this paper we prove that two idempotent rings are Morita equivalent if every corner of one of them is isomorphic to a corner of a matrix ring of the other one. We establish the converse (which is not true in general) for $σ$-unital rings having a $σ$-unit consisting of von Neumann regular elements. The following aim is to show that a property is Morita invariant if it is invariant under taking corners and under taking matrices. The previous results are used to check the Morita invariance of certain ring properties (being locally left/right artinian/noetherian, being categorically left/right artinian, being an $I_0$-ring and being properly purely infinite) and certain graph properties in the context of Leavitt path algebras (Condition (L), Condition (K) and cofinality). A different proof of the fact that a graph with an infinite emitter does not admit any desingularization is also given. △ Less

Submitted 29 September, 2013; originally announced September 2013.

Comments: 16 pages

MSC Class: 16D90

Extreme cycles. The center of a Leavitt path algebra

Authors: Maria Guadalupe Corrales Garcia, Dolores Martin Barquero, Candido Martin Gonzalez, Mercedes Siles Molina, Jos Felix Solanilla Hernandez

Abstract: In this paper we introduce new techniques in order to deepen into the structure of a Leavitt path algebra with the aim of giving a description of the center. Extreme cycles appear for the first time; they concentrate the purely infinite part of a Leavitt path algebra and, jointly with the line points and vertices in cycles without exits, are the key ingredients in order to determine the center of… ▽ More In this paper we introduce new techniques in order to deepen into the structure of a Leavitt path algebra with the aim of giving a description of the center. Extreme cycles appear for the first time; they concentrate the purely infinite part of a Leavitt path algebra and, jointly with the line points and vertices in cycles without exits, are the key ingredients in order to determine the center of a Leavitt path algebra. Our work will rely on our previous approach to the center of a prime Leavitt path algebra \cite{CMMSS1}. We will go further into the structure itself of the Leavitt path algebra. For example, the ideal $I(P_{ec} \cup P_{c} \cup P_l)$ generated by vertices in extreme cycles ($P_{ec}$), by vertices in cycles without exits ($P_c$) and by line points ($P_l$) will be a dense ideal in some cases, for instance in the finite one or, more generally, if every vertex connects to $P_l \cup P_c\cup P_{ec}$. Hence its structure will contain much of the information about the Leavitt path algebra. In the row-finite case, we will need to add a new hereditary set: the set of vertices whose tree has infinite bifurcations ($P_{b^\infty}$). △ Less

Submitted 19 July, 2013; originally announced July 2013.

MSC Class: 16D70

Subgroups of direct products closely approximated by direct sums

Authors: Maria V. Ferrer, Salvador Hernandez, Dmitri Shakhmatov

Abstract: Let $I$ be an infinite set, $\{G_i:i\in I\}$ be a family of (topological) groups and $G=\prod_{i\in I} G_i$ be its direct product. For $J\subseteq I$, $p_{J}: G\to \prod_{j\in J} G_j$ denotes the projection. We say that a subgroup $H$ of $G$ is: (i) \emph{uniformly controllable} in $G$ provided that for every finite set $J\subseteq I$ there exists a finite set $K\subseteq I$ such that… ▽ More Let $I$ be an infinite set, $\{G_i:i\in I\}$ be a family of (topological) groups and $G=\prod_{i\in I} G_i$ be its direct product. For $J\subseteq I$, $p_{J}: G\to \prod_{j\in J} G_j$ denotes the projection. We say that a subgroup $H$ of $G$ is: (i) \emph{uniformly controllable} in $G$ provided that for every finite set $J\subseteq I$ there exists a finite set $K\subseteq I$ such that $p_{J}(H)=p_{J}(H\cap\bigoplus_{i\in K} G_i)$; (ii) \emph{controllable} in $G$ provided that $p_{J}(H)=p_{J}(H\cap\bigoplus_{i\in I} G_i)$ for every finite set $J\subseteq I$; (iii) \emph{weakly controllable} in $G$ if $H\cap \bigoplus_{i\in I} G_i$ is dense in $H$, when $G$ is equipped with the Tychonoff product topology. One easily proves that (i)$\to$(ii)$\to$(iii). We thoroughly investigate the question as to when these two arrows can be reversed. We prove that the first arrow can be reversed when $H$ is compact, but the second arrow cannot be reversed even when $H$ is compact. Both arrows can be reversed if all groups $G_i$ are finite. When $G_i=A$ for all $i\in I$, where $A$ is an abelian group, we show that the first arrow can be reversed for {\em all} subgroups $H$ of $G$ if and only if $A$ is finitely generated. Connections with coding theory are highlighted. △ Less

Submitted 17 June, 2013; originally announced June 2013.

MSC Class: Primary: 22C05; Secondary: 22D35; 54D30; 54D65; 54E35

Journal ref: Forum Math. 29 (5), 2017, 1125--1144

The dual space of precompact groups

Authors: M. Ferrer, S. Hernández, V. Uspenskij

Abstract: For any topological group $G$ the dual object $\hat G$ is defined as the set of equivalence classes of irreducible unitary representations of $G$ equipped with the Fell topology. If $G$ is compact, $\hat G$ is discrete. In an earlier paper we proved that $\hat G$ is discrete for every metrizable precompact group, i.e. a dense subgroup of a compact metrizable group. We generalize this result to the… ▽ More For any topological group $G$ the dual object $\hat G$ is defined as the set of equivalence classes of irreducible unitary representations of $G$ equipped with the Fell topology. If $G$ is compact, $\hat G$ is discrete. In an earlier paper we proved that $\hat G$ is discrete for every metrizable precompact group, i.e. a dense subgroup of a compact metrizable group. We generalize this result to the case when $G$ is an almost metrizable precompact group. △ Less

Submitted 22 December, 2012; originally announced December 2012.

Comments: 8 pages. arXiv admin note: substantial text overlap with arXiv:1112.1350

MSC Class: Primary 43A40. Secondary 22A25; 22C05; 22D35; 43A35; 43A65; 54H11

Journal ref: Comment. Math. Univ. Carolinae 54 (2013), No. 2, 239--244

Centers of path algebras, Cohn and Leavitt path algebras

Authors: María Guadalupe Corrales García, Dolores Martín Barquero, Cándido Martín González, Mercedes Siles Molina, José Felix Solanilla Hernández

Abstract: We study the center of several types of path algebras. We start with the path algebra $KE$ and prove that if the number of vertices is infinite then the center is zero. Otherwise, it coincides with the field $K$ except when the graph $E$ is a cycle in which case the center is $K[x]$, the polynomial algebra in one indeterminate. Then we compute the centers of prime Cohn and Leavitt path algebras. A… ▽ More We study the center of several types of path algebras. We start with the path algebra $KE$ and prove that if the number of vertices is infinite then the center is zero. Otherwise, it coincides with the field $K$ except when the graph $E$ is a cycle in which case the center is $K[x]$, the polynomial algebra in one indeterminate. Then we compute the centers of prime Cohn and Leavitt path algebras. A lower and an upper bound for the center of a Leavitt path algebra are given by introducing the graded Baer radical for graded algebras. △ Less

Submitted 5 December, 2013; v1 submitted 19 September, 2012; originally announced September 2012.

MSC Class: 16D70

Explicit Spectral Decimation for a Class of Self--Similar Fractals

Authors: Sergio A. Hernandez, Federico Menendez-Conde

Abstract: The method of spectral decimation is applied to an infinite collection of self--similar fractals. The sets considered belong to the class of nested fractals, and are thus very symmetric. An explicit construction is given to obtain formulas for the eigenvalues of the Laplace operator acting on these fractals. The method of spectral decimation is applied to an infinite collection of self--similar fractals. The sets considered belong to the class of nested fractals, and are thus very symmetric. An explicit construction is given to obtain formulas for the eigenvalues of the Laplace operator acting on these fractals. △ Less

Submitted 14 January, 2013; v1 submitted 7 September, 2012; originally announced September 2012.

MSC Class: 31c25

The weights of closed subgroups of a locally compact group

Authors: Salvador Hernández, Karl H. Hofmann, Sidney A. Morris

Abstract: Let $G$ be an infinite locally compact group and $\aleph$ a cardinal satisfying $\aleph_0\le\aleph\le w(G)$ for the weight $w(G)$ of $G$. It is shown that there is a closed subgroup $N$ of $G$ with $w(N)=\aleph$. Sample consequences are: (1) Every infinite compact group contains an infinite closed metric subgroup. (2) For a locally compact group $G$ and $\aleph$ a cardinal satisfying… ▽ More Let $G$ be an infinite locally compact group and $\aleph$ a cardinal satisfying $\aleph_0\le\aleph\le w(G)$ for the weight $w(G)$ of $G$. It is shown that there is a closed subgroup $N$ of $G$ with $w(N)=\aleph$. Sample consequences are: (1) Every infinite compact group contains an infinite closed metric subgroup. (2) For a locally compact group $G$ and $\aleph$ a cardinal satisfying $\aleph_0\le\aleph\le \lw(G)$, where $\lw(G)$ is the local weight of $G$, there are either no infinite compact subgroups at all or there is a compact subgroup $N$ of $G$ with $w(N)=\aleph$. (3) For an infinite abelian group $G$ there exists a properly ascending family of locally quasiconvex group topologies on $G$, say, $(τ_\aleph)_{\aleph_0\le \aleph\le \card(G)}$, such that $(G,τ_\aleph)\hat{\phantom{m}}\cong\hat G$. Items (2) and (3) are shown in Section 5. △ Less

Submitted 18 January, 2012; originally announced January 2012.

MSC Class: 22C05; 22D05; 22D35

Precompact groups and property (T)

Authors: M. Ferrer, S. Hernández, V. Uspenskij

Abstract: For any topological group $G$ the dual object $\hat G$ is defined as the set of equivalence classes of irreducible unitary representations of $G$ equipped with the Fell topology. If $G$ is compact, $\hat G$ is discrete, and we investigate to what extent this remains true for precompact groups, i.e. for dense subgroups of compact groups. We find that: (a) if $G$ is a metrizable precompact group, th… ▽ More For any topological group $G$ the dual object $\hat G$ is defined as the set of equivalence classes of irreducible unitary representations of $G$ equipped with the Fell topology. If $G$ is compact, $\hat G$ is discrete, and we investigate to what extent this remains true for precompact groups, i.e. for dense subgroups of compact groups. We find that: (a) if $G$ is a metrizable precompact group, then $\hat G$ is discrete; (b) if $G$ is a countable non-metrizable precompact group, then $\hat G$ is not discrete; (c) every non-metrizable compact group contains a dense subgroup $G$ for which $\hat G$ is not discrete. This generalizes to the non-Abelian case what was known for Abelian groups. Kazhdan's property (T) can be defined in similar terms, but we must consider representations without non-zero invariant vectors rather than irreducible representations. If $G$ is any countable Abelian precompact group, then $G$ does not have property (T), although $\hat G$ is discrete if $G$ is metrizable. △ Less

Submitted 22 December, 2012; v1 submitted 6 December, 2011; originally announced December 2011.

Comments: 19 pages

MSC Class: 43A40 (Primary) 22A25; 22C05; 22D35; 43A35; 43A65; 54H11 (Secondary)

Journal ref: Journal of Mathematical Analysis and Applications 404 (2013), 221--230

Dual topologies on non-abelian groups

Authors: María V. Ferrer, Salvador Hernández

Abstract: The notion of locally quasi-convex abelian group, introduce by Vilenkin, is extended to maximally almost-periodic non-necessarily abelian groups. For that purpose, we look at certain bornologies that can be defined on the set $\hbox{rep}(G)$ of all finite dimensional continuous representations on a topological group $G$ in order to associate well behaved group topologies (dual topologies) to them.… ▽ More The notion of locally quasi-convex abelian group, introduce by Vilenkin, is extended to maximally almost-periodic non-necessarily abelian groups. For that purpose, we look at certain bornologies that can be defined on the set $\hbox{rep}(G)$ of all finite dimensional continuous representations on a topological group $G$ in order to associate well behaved group topologies (dual topologies) to them. As a consequence, the lattice of all Hausdorff totally bounded group topologies on a group $G$ is shown to be isomorphic to the lattice of certain special subsets of $\hbox{rep}(G_d)$. Moreover, generalizing some ideas of Namioka, we relate the structural properties of the dual topological groups to topological properties of the bounded subsets belonging to the associate bornology. In like manner, certain type of bornologies that can be defined on a group $G$ allow one to define canonically associate uniformities on the dual object $\hat G$. As an application, we prove that if for every dense subgroup $H$ of a compact group $G$ we have that $\hat H$ and $\hat G$ are uniformly isomorphic, then $G$ is metrizable. Thereby, we extend to non-abelian groups some results previously considered for abelian topological groups. △ Less

Submitted 22 December, 2010; v1 submitted 15 November, 2010; originally announced November 2010.

MSC Class: Primary 22C05; 22D35; 22A05; 43A40; Secondary 43A65; 54H11