-
Sequence entropy and independence in free and minimal actions
Authors:
Jaime Gómez,
Irma León-Torres,
Víctor Muñoz-López
Abstract:
For every countable infinite group that admits $\mathbb{Z}$ as a homomorphic image, we show that for each $m\in\mathbb{N}$, there exists a minimal action whose topological sequence entropy is $\log(m)$. Furthermore, for every countable infinite group $G$ that contains a finite index normal subgroup $G'$ isomorphic to $\mathbb{Z}^r$, and for every $m\in \mathbb{N}$, we found a free minimal action w…
▽ More
For every countable infinite group that admits $\mathbb{Z}$ as a homomorphic image, we show that for each $m\in\mathbb{N}$, there exists a minimal action whose topological sequence entropy is $\log(m)$. Furthermore, for every countable infinite group $G$ that contains a finite index normal subgroup $G'$ isomorphic to $\mathbb{Z}^r$, and for every $m\in \mathbb{N}$, we found a free minimal action with topological sequence entropy $\log(n)$, where $m\leq n\leq m^{2^r[G:G']}$. In both cases, we also show that the aforementioned minimal actions admit non-trivial independence tuples of size $n$ but do not admit non-trivial independence tuples of size $n+1$ for some $n\geq m$.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Multisoliton solutions and blow up for the $L^2$-critical Hartree equation
Authors:
Jaime Gómez,
Tobias Schmid,
Yutong Wu
Abstract:
We construct multisoliton solutions for the $L^2$-critical Hartree equation with trajectories asymptotically obeying a many-body law for an inverse square potential. Precisely, we consider the $m$-body hyperbolic and parabolic non-trapped dynamics. The pseudo-conformal symmetry then implies finite-time collision blow up in the latter case and a solution blowing up at $m$ distinct points in the for…
▽ More
We construct multisoliton solutions for the $L^2$-critical Hartree equation with trajectories asymptotically obeying a many-body law for an inverse square potential. Precisely, we consider the $m$-body hyperbolic and parabolic non-trapped dynamics. The pseudo-conformal symmetry then implies finite-time collision blow up in the latter case and a solution blowing up at $m$ distinct points in the former case. The approach we take is based on the ideas of [Krieger-Martel-Raphaël, 2009] and the third author's recent extension. The approximation scheme requires new aspects in order to deal with a certain degeneracy for generalized root space elements.
△ Less
Submitted 30 January, 2025;
originally announced January 2025.
-
Fiberwise building and stratification in tensor triangular geometry
Authors:
Juan Omar Gómez
Abstract:
We give conditions on a family of coproduct-preserving tt-functors $f_i\colon \mathcal{T}\to \mathcal{T}_i$ between tt-categories with small coproducts, ensuring that the localizing tensor-ideal generated by an object $x$ in $\mathcal{T}$ is built from those objects whose image under $f_i$ lies in the localizing tensor-ideal generated by $f_i(x)$ for all $i$. This allows us to provide a criterion…
▽ More
We give conditions on a family of coproduct-preserving tt-functors $f_i\colon \mathcal{T}\to \mathcal{T}_i$ between tt-categories with small coproducts, ensuring that the localizing tensor-ideal generated by an object $x$ in $\mathcal{T}$ is built from those objects whose image under $f_i$ lies in the localizing tensor-ideal generated by $f_i(x)$ for all $i$. This allows us to provide a criterion for stratification on a fiberwise level when restricted to big tt-categories. As an application, we show that the big derived category of permutation modules for a finite group over an arbitrary Noetherian base is indeed stratified. Furthermore, our approach extends to the category of representations of a finite group scheme over a Noetherian base, thereby recovering a recent result from the literature.
△ Less
Submitted 22 January, 2025;
originally announced January 2025.
-
Uniform stability of concentration inequalities and applications
Authors:
Jaime Gómez,
David Kalaj,
Petar Melentijević,
João P. G. Ramos
Abstract:
We prove a sharp quantitative version of recent Faber-Krahn inequalities for the continuous Wavelet transforms associated to a certain family of Cauchy wavelet windows . Our results are uniform on the parameters of the family of Cauchy wavelets, and asymptotically sharp in both directions.
As a corollary of our results, we are able to recover not only the original result for the short-time Fouri…
▽ More
We prove a sharp quantitative version of recent Faber-Krahn inequalities for the continuous Wavelet transforms associated to a certain family of Cauchy wavelet windows . Our results are uniform on the parameters of the family of Cauchy wavelets, and asymptotically sharp in both directions.
As a corollary of our results, we are able to recover not only the original result for the short-time Fourier transform as a limiting procedure, but also a new concentration result for functions in Hardy spaces. This is a completely novel result about optimal concentration of Poisson extensions, and our proof automatically comes with a sharp stability version of that inequality.
Our techniques highlight the intertwining of geometric and complex-analytic arguments involved in the context of concentration inequalities. In particular, in the process of deriving uniform results, we obtain a refinement over the proof of a previous result by the first and fourth authors together with A. Guerra and P. Tilli, further improving the current understanding of the geometry of near extremals in all contexts under consideration.
△ Less
Submitted 24 November, 2024;
originally announced November 2024.
-
On the K-theory of magnetic algebras: Iwatsuka case
Authors:
Giuseppe De Nittis,
Jaime Gomez,
Danilo Polo Ojito
Abstract:
In the tight-binding approximation, an Iwatsuka magnetic field is modeled by a function on $\mathbb{Z}^2$ with constant, but distinct values in the two parts of the lattice separated by a straight line of slope $α\in [-\infty,\infty]$. In this paper, the $K$-theory of the magnetic $C^*$-algebras generated by an Iwatsuka magnetic field for any possible $α$ is computed. One interesting aspect concer…
▽ More
In the tight-binding approximation, an Iwatsuka magnetic field is modeled by a function on $\mathbb{Z}^2$ with constant, but distinct values in the two parts of the lattice separated by a straight line of slope $α\in [-\infty,\infty]$. In this paper, the $K$-theory of the magnetic $C^*$-algebras generated by an Iwatsuka magnetic field for any possible $α$ is computed. One interesting aspect concerns the analysis of the behavior of the system in the transition from rational to irrational $α$. It turns out that when $α$ is irrational, the magnetic hull associated with the flux operator forms a Cantor set. On the other hand, for rational $α$ this set coincides with the two-point compactification of $\mathbb{Z}$. This characterization, along with the use of the Pimsner-Voiculescu exact sequence, is the main ingredient for the computation of the $K$-theory. Once the $K$-theory is known, with the use of the index theory one can deduce the bulk-interface correspondence for tight-binding Hamiltonians subjected to an Iwatsuka magnetic field. Notably, it occurs that the topological quantization of the interface currents remains independent of the slope $α$.
△ Less
Submitted 6 October, 2024;
originally announced October 2024.
-
Defining Upper and Lower Bounding Functions of $li(x)$ with $\displaystyle O\left(\sqrt{\frac{x}{\log(x)}}\right)$ Error Using Truncated Asymptotic Series
Authors:
Jonatan Gomez
Abstract:
We introduce approximation functions of $li(x)$ for all $x\ge e$: (1) $\displaystyle li_{\underlineω,α}(x) = \frac{x}{\log(x)}\left( α\frac{\underline{m}!}{\log^{\underline{m}}(x)} + \sum_{k=0}^{\underline{m}-1}\frac{k!}{\log^{k}(x)} \right)$, and (2)…
▽ More
We introduce approximation functions of $li(x)$ for all $x\ge e$: (1) $\displaystyle li_{\underlineω,α}(x) = \frac{x}{\log(x)}\left( α\frac{\underline{m}!}{\log^{\underline{m}}(x)} + \sum_{k=0}^{\underline{m}-1}\frac{k!}{\log^{k}(x)} \right)$, and (2) $\displaystyle li_{\overlineω,β}=\frac{x}{\log(x)}\left( β\frac{\overline{m}!}{\log^{\overline{m}}(x)} + \sum_{k=0}^{\overline{m}-1}\frac{k!}{\log^{k}(x)} \right)$ with $0 < ω< 1$ a real number, $α\in \{ 0, \underlineκ\log(x) \}$, $\underline{m} = \lfloor \underlineκ\log(x) \rfloor$, $β\in \{ \overlineκ\log(x), 1 \}$, $\overline{m} = \lfloor \overlineκ\log(x) \rfloor$, and $\underlineκ < \overlineκ$ the solutions of $κ(1-\log(κ)) = ω$. Since the error of approximating $li(x)$ using Stieltjes asymptotic series $\displaystyle li_{*}(x) = \frac{x}{\log(x)}\sum_{k=0}^{n-1}\frac{k!}{\log^{k}(x)} + (\log(x)-n)\frac{xn!}{\log^{n+1}(x)}$, with $\displaystyle n = \lfloor \log(x) \rfloor$ for all $x\ge e$, satisfies $\displaystyle |\varepsilon(x)| = |li(x)-li_{*}(x)| \le 1.265692883422\ldots$, by using Stirling's approximation and some facts about $\log(x)$ and floor functions, we show that $\displaystyle \varepsilon_{0}(x) = li(x) - li_{\underline{1/2},0}(x)$, $\displaystyle \underline{\varepsilon}(x) = li(x) - li_{\underline{1/2},\underlineκ\log(x)}(x)$, $\displaystyle \overline{\varepsilon}(x) = li(x) - li_{\overline{1/2},\overlineκ\log(x)}(x)$, and $\varepsilon_{1}(x) = li_{\overline{1/2},1}(x) - li(x)$ belong to $O\left(\sqrt{\frac{x}{\log(x)}}\right)$. Moreover, we conjecture that $li_{0}(x) \le π(x) \le li_{1}(x)$ and $\underline{li}(x) \le π(x) \le \overline{li}(x)$ for all $x \ge e$, here $π(x)$ is the prime counting function and we show that if one of those conjectures is true then the Riemann Hypothesis is true.
△ Less
Submitted 19 August, 2024;
originally announced August 2024.
-
Attack-Aware Noise Calibration for Differential Privacy
Authors:
Bogdan Kulynych,
Juan Felipe Gomez,
Georgios Kaissis,
Flavio du Pin Calmon,
Carmela Troncoso
Abstract:
Differential privacy (DP) is a widely used approach for mitigating privacy risks when training machine learning models on sensitive data. DP mechanisms add noise during training to limit the risk of information leakage. The scale of the added noise is critical, as it determines the trade-off between privacy and utility. The standard practice is to select the noise scale to satisfy a given privacy…
▽ More
Differential privacy (DP) is a widely used approach for mitigating privacy risks when training machine learning models on sensitive data. DP mechanisms add noise during training to limit the risk of information leakage. The scale of the added noise is critical, as it determines the trade-off between privacy and utility. The standard practice is to select the noise scale to satisfy a given privacy budget $\varepsilon$. This privacy budget is in turn interpreted in terms of operational attack risks, such as accuracy, sensitivity, and specificity of inference attacks aimed to recover information about the training data records. We show that first calibrating the noise scale to a privacy budget $\varepsilon$, and then translating ε to attack risk leads to overly conservative risk assessments and unnecessarily low utility. Instead, we propose methods to directly calibrate the noise scale to a desired attack risk level, bypassing the step of choosing $\varepsilon$. For a given notion of attack risk, our approach significantly decreases noise scale, leading to increased utility at the same level of privacy. We empirically demonstrate that calibrating noise to attack sensitivity/specificity, rather than $\varepsilon$, when training privacy-preserving ML models substantially improves model accuracy for the same risk level. Our work provides a principled and practical way to improve the utility of privacy-preserving ML without compromising on privacy. The code is available at https://github.com/Felipe-Gomez/riskcal
△ Less
Submitted 7 November, 2024; v1 submitted 2 July, 2024;
originally announced July 2024.
-
On the Stieltjes Approximation Error to Logarithmic Integral
Authors:
Jonatan Gomez
Abstract:
This paper studies the error introduced ($\displaystyle \varepsilon(x)$) by the Stieltjes asymptotic approximation series $\displaystyle li_{*}(x) = \frac{x}{\log(x)}\sum_{k=0}^{n-1}\frac{k!}{\log^{k}(x)} + (\log(x)-n)\frac{xn!}{\log^{n+1}(x)}$ to the logarithmic integral function $li(x)$ with $\displaystyle n = \lfloor \log(x) \rfloor$ for all $x\ge e$. For this purpose, this paper uses some rela…
▽ More
This paper studies the error introduced ($\displaystyle \varepsilon(x)$) by the Stieltjes asymptotic approximation series $\displaystyle li_{*}(x) = \frac{x}{\log(x)}\sum_{k=0}^{n-1}\frac{k!}{\log^{k}(x)} + (\log(x)-n)\frac{xn!}{\log^{n+1}(x)}$ to the logarithmic integral function $li(x)$ with $\displaystyle n = \lfloor \log(x) \rfloor$ for all $x\ge e$. For this purpose, this paper uses some relations between term $\displaystyle \frac{n!}{\log^{n}(x)}$ and Stirling's approximation formula. In particular, this paper establishes two non-asymptotic lower and upper bounds for $\varepsilon(e^n)$ with $n \ge 1$ and $1 \le m \le n$:
(i) $\displaystyle \varepsilon(e^m) + \frac{\sqrt{2π}}{8}\sum_{k=m+1}^{n} \frac{1}{k^{\frac{3}{2}}} \le \varepsilon(e^n) \le \varepsilon(e^{m}) + \frac{\sqrt{2π}}{4}\sum_{k=m+1}^{n} \frac{k+2}{k^{\frac{5}{2}}}$
(ii) $\displaystyle L_m - \frac{\sqrt{2π}}{4\sqrt{n+1}} \le \varepsilon_{n} \le R_m - \frac{\sqrt{2π}}{2\sqrt{n}} - \frac{\sqrt{2π}}{3\sqrt{n^3}}$. Here, $\displaystyle L_m = \varepsilon_{m} + \frac{\sqrt{2π}}{4\sqrt{m+1}}$ and $\displaystyle R_m = \varepsilon_{m} + \frac{\sqrt{2π}}{2\sqrt{m}} + \frac{\sqrt{2π}}{3\sqrt{m^3}}$
Moreover, this paper shows that if $\displaystyle |\varepsilon(x)| \le \frac{\sqrt{2π}}{\sqrt{\log(x)}}$ then $li(e^n) \le li_{*}(e^n)$ for all $n \ge 1$. Finally, this paper establishes non-asymptotic lower and upper bounds for $\varepsilon(x)$ with $x \ge e$:
$\displaystyle L_m - \frac{\sqrt{2π}}{4\sqrt{n+1}} -\frac{\sqrt{2π}}{36\sqrt{n^3}} < \varepsilon(x) \le R_m - \frac{\sqrt{2π}}{2\sqrt{n}} - \frac{\sqrt{2π}}{3\sqrt{n^3}}$
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Logic-Based Discrete-Steepest Descent: A Solution Method for Process Synthesis Generalized Disjunctive Programs
Authors:
Daniel Ovalle,
David A. Liñán,
Albert Lee,
Jorge M. Gómez,
Luis Ricardez-Sandoval,
Ignacio E. Grossmann,
David E. Bernal Neira
Abstract:
The optimization of chemical processes is challenging due to the nonlinearities arising from process physics and discrete design decisions. In particular, optimal synthesis and design of chemical processes can be posed as a Generalized Disjunctive Programming (GDP) superstructure problem. Various solution methods are available to address these problems, such as reformulating them as Mixed-Integer…
▽ More
The optimization of chemical processes is challenging due to the nonlinearities arising from process physics and discrete design decisions. In particular, optimal synthesis and design of chemical processes can be posed as a Generalized Disjunctive Programming (GDP) superstructure problem. Various solution methods are available to address these problems, such as reformulating them as Mixed-Integer Nonlinear Programming (MINLP) problems; nevertheless, algorithms explicitly designed to solve the GDP problem and potentially leverage its structure remain scarce. This paper presents the Logic-based Discrete-Steepest Descent Algorithm (LD-SDA) as a solution method for GDP problems involving ordered Boolean variables. The LD-SDA reformulates these ordered Boolean variables into integer decisions called external variables. The LD-SDA solves the reformulated GDP problem using a two-level decomposition approach where the upper-level subproblem determines external variable configurations. Subsequently, the remaining continuous and discrete variables are solved as a subproblem only involving those constraints relevant to the given external variable arrangement, effectively taking advantage of the structure of the GDP problem. The advantages of LD-SDA are illustrated through a batch processing case study, a reactor superstructure, a distillation column, and a catalytic distillation column, and its open-source implementation is available online. The results show convergence efficiency and solution quality improvements compared to conventional GDP and MINLP solvers.
△ Less
Submitted 27 January, 2025; v1 submitted 8 May, 2024;
originally announced May 2024.
-
A stable splitting for spaces of commuting elements in unitary groups
Authors:
Alejandro Adem,
José Manuel Gómez,
Simon Gritschacher
Abstract:
We prove an analogue of Miller's stable splitting of the unitary group $U(m)$ for spaces of commuting elements in $U(m)$. After inverting $m!$, the space $\text{Hom}(\mathbb{Z}^n,U(m))$ splits stably as a wedge of Thom-like spaces of bundles of commuting varieties over certain partial flag manifolds. Using Steenrod operations we prove that our splitting does not hold integrally. Analogous decompos…
▽ More
We prove an analogue of Miller's stable splitting of the unitary group $U(m)$ for spaces of commuting elements in $U(m)$. After inverting $m!$, the space $\text{Hom}(\mathbb{Z}^n,U(m))$ splits stably as a wedge of Thom-like spaces of bundles of commuting varieties over certain partial flag manifolds. Using Steenrod operations we prove that our splitting does not hold integrally. Analogous decompositions for symplectic and orthogonal groups as well as homological results for the one-point compactification of the commuting variety in a Lie algebra are also provided.
△ Less
Submitted 27 January, 2025; v1 submitted 14 April, 2024;
originally announced April 2024.
-
Almost 1-1 extensions of Furstenberg-Weiss type and test for amenability
Authors:
María Isabel Cortez,
Jaime Gómez
Abstract:
Let $G$ be an infinite residually finite group. We show that for every minimal equicontinuous Cantor system $(Z,G)$ with a free orbit, and for every minimal extension $(Y,G)$ of $(Z,G)$, there exist a minimal almost 1-1 extension $(X,G)$ of $(Z,G)$ and a Borel equivariant map $ψ:Y\to X$ that induces an affine bijection $ψ^*$ between $M(Y,G)$ and $M(X,G)$, the spaces of invariant probability measur…
▽ More
Let $G$ be an infinite residually finite group. We show that for every minimal equicontinuous Cantor system $(Z,G)$ with a free orbit, and for every minimal extension $(Y,G)$ of $(Z,G)$, there exist a minimal almost 1-1 extension $(X,G)$ of $(Z,G)$ and a Borel equivariant map $ψ:Y\to X$ that induces an affine bijection $ψ^*$ between $M(Y,G)$ and $M(X,G)$, the spaces of invariant probability measures of $(Y,G)$ and $(X,G)$, respectively. If $Y$ is a Cantor set, then $(Y,G)$ and $(X,G)$ are Borel isomorphic, i.e., $ψ^*$ is also a homeomorphism. As an application, we show that the family of Toeplitz subshifts is a test for amenability for residually finite groups, i.e., a residually finite group $G$ is amenable if and only if every Toeplitz $G$-subshift has invariant probability measures.
△ Less
Submitted 17 August, 2024; v1 submitted 9 January, 2024;
originally announced March 2024.
-
Almost automorphic systems have invariant measures
Authors:
María Isabel Cortez,
Jaime Gómez
Abstract:
Let $G$ be a non-amenable countable group. We show that every almost automorphic $G$-action on a compact Hausdorff space, with a maximal equicontinuous factor whose phase space is a Cantor set, admits invariant probability measures (this partially answers a question posed by Veech). In particular, every Toeplitz $G$-subshift has a non-empty space of invariant measures, meaning that this family of…
▽ More
Let $G$ be a non-amenable countable group. We show that every almost automorphic $G$-action on a compact Hausdorff space, with a maximal equicontinuous factor whose phase space is a Cantor set, admits invariant probability measures (this partially answers a question posed by Veech). In particular, every Toeplitz $G$-subshift has a non-empty space of invariant measures, meaning that this family of subshifts is not a test for amenability for countable groups. We prove that almost one-to-one extensions without measures ensure the existence of symbolic almost one-to-one extensions with equal characteristics. As a consequence, we obtain the most general result of this paper. Finally, as a corollary of our results, we deduce that the class of Toeplitz subshifts is not dense in the space of infinite transitive subshifts of $Σ^G$, unlike $G=\mathbb{Z}$.
△ Less
Submitted 23 December, 2023; v1 submitted 19 December, 2023;
originally announced December 2023.
-
On the commutator length of compact Lie groups
Authors:
Juan Omar Gómez,
Victor Torres-Castillo,
Bernardo Villarreal
Abstract:
In this short note we show that the path-connected component of the identity of the derived subgroup of a compact Lie group consists just of commutators. We also discuss an application of our main result to the homotopy type of the classifying space for commutativity for a compact Lie group whose path-connected component of the identity is abelian.
In this short note we show that the path-connected component of the identity of the derived subgroup of a compact Lie group consists just of commutators. We also discuss an application of our main result to the homotopy type of the classifying space for commutativity for a compact Lie group whose path-connected component of the identity is abelian.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Topo-isomorphisms of irregular Toeplitz subshifts for residually finite groups
Authors:
Jaime Gómez
Abstract:
For each countable residually finite group $G$, we present examples of irregular Toeplitz subshifts in $\{0,1\}^G$ that are topo-isomorphic extensions of its maximal equicontinuous factor. To achieve this, we first establish sufficient conditions for Toeplitz subshifts to have invariant probability measures as limit points of periodic invariant measures of $\{0,1\}^G$. Next, we demonstrate that th…
▽ More
For each countable residually finite group $G$, we present examples of irregular Toeplitz subshifts in $\{0,1\}^G$ that are topo-isomorphic extensions of its maximal equicontinuous factor. To achieve this, we first establish sufficient conditions for Toeplitz subshifts to have invariant probability measures as limit points of periodic invariant measures of $\{0,1\}^G$. Next, we demonstrate that the set of Toeplitz subshifts satisfying these conditions is non-empty. When the acting group $G$ is amenable, this construction provides non-regular extensions of totally disconnected metric compactifications of $G$ that are (Weyl) mean-quicontinuous dynamical systems.
△ Less
Submitted 4 September, 2023;
originally announced September 2023.
-
Stability of the Faber-Krahn inequality for the Short-time Fourier Transform
Authors:
Jaime Gómez,
André Guerra,
João P. G. Ramos,
Paolo Tilli
Abstract:
We prove a sharp quantitative version of the Faber--Krahn inequality for the short-time Fourier transform (STFT). To do so, we consider a deficit $δ(f;Ω)$ which measures by how much the STFT of a function $f\in L^2(\mathbb R)$ fails to be optimally concentrated on an arbitrary set $Ω\subset \mathbb R^2$ of positive, finite measure. We then show that an optimal power of the deficit $δ(f;Ω)$ control…
▽ More
We prove a sharp quantitative version of the Faber--Krahn inequality for the short-time Fourier transform (STFT). To do so, we consider a deficit $δ(f;Ω)$ which measures by how much the STFT of a function $f\in L^2(\mathbb R)$ fails to be optimally concentrated on an arbitrary set $Ω\subset \mathbb R^2$ of positive, finite measure. We then show that an optimal power of the deficit $δ(f;Ω)$ controls both the $L^2$-distance of $f$ to an appropriate class of Gaussians and the distance of $Ω$ to a ball, through the Fraenkel asymmetry of $Ω$. Our proof is completely quantitative and hence all constants are explicit. We also establish suitable generalizations of this result in the higher-dimensional context.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
A family of infinite degree tt-rings
Authors:
Juan Omar Gómez
Abstract:
We construct a family of infinite degree tt-rings, giving a negative answer to an open question by P. Balmer.
We construct a family of infinite degree tt-rings, giving a negative answer to an open question by P. Balmer.
△ Less
Submitted 3 July, 2023;
originally announced July 2023.
-
Invariant measures of Toeplitz subshifts on non-amenable groups
Authors:
Paulina Cecchi Bernales,
María Isabel Cortez,
Jaime Gómez
Abstract:
Let $G$ be a countable residually finite group (for instance $\mathbb{F}_2$) and let $\overleftarrow{G}$ be a totally disconnected metric compactification of $G$ equipped with the action of $G$ by left multiplication. For every $r\geq 1$ we construct a Toeplitz $G$-subshift $(X,σ,G)$, which is an almost one-to-one extension of $\overleftarrow{G}$, having $r$ ergodic measures $ν_1, \cdots,ν_r$ such…
▽ More
Let $G$ be a countable residually finite group (for instance $\mathbb{F}_2$) and let $\overleftarrow{G}$ be a totally disconnected metric compactification of $G$ equipped with the action of $G$ by left multiplication. For every $r\geq 1$ we construct a Toeplitz $G$-subshift $(X,σ,G)$, which is an almost one-to-one extension of $\overleftarrow{G}$, having $r$ ergodic measures $ν_1, \cdots,ν_r$ such that for every $1\leq i\leq r$ the measure-theoretic dynamical system $(X,σ,G,ν_i)$ is isomorphic to $\overleftarrow{G}$ endowed with the Haar measure. The construction we propose is general (for amenable and non-amenable residually finite groups), however, we point out the differences and obstructions that could appear when the acting group is not amenable.
△ Less
Submitted 18 July, 2023; v1 submitted 16 May, 2023;
originally announced May 2023.
-
Quantization for a set of discrete distributions on the set of natural numbers
Authors:
Juan Gomez,
Haily Martinez,
Mrinal K. Roychowdhury,
Alexis Salazar,
Daniel J. Vallez
Abstract:
The quantization scheme in probability theory deals with finding a best approximation of a given probability distribution by a probability distribution that is supported on finitely many points. In this paper, first we state and prove a theorem, and then give a conjecture. We verify the conjecture by a few examples. Assuming that the conjecture is true, for a set of discrete distributions on the s…
▽ More
The quantization scheme in probability theory deals with finding a best approximation of a given probability distribution by a probability distribution that is supported on finitely many points. In this paper, first we state and prove a theorem, and then give a conjecture. We verify the conjecture by a few examples. Assuming that the conjecture is true, for a set of discrete distributions on the set of natural numbers we have calculated the optimal sets of $n$-means and the $n$th quantization errors for all positive integers $n$. In addition, the quantization dimension is also calculated.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
On the Picard group of the stable module category for infinite groups
Authors:
Juan Omar Gómez
Abstract:
We introduce the stable module $\infty$-category for groups of type $Φ$ as an enhancement of the stable category defined by N. Mazza and P. Symonds. For groups of type $Φ$ which act on a tree, we show that the stable module $\infty$-category decomposes in terms of the associated graph of groups. For groups which admit a finite-dimensional cocompact model for the classifying space for proper action…
▽ More
We introduce the stable module $\infty$-category for groups of type $Φ$ as an enhancement of the stable category defined by N. Mazza and P. Symonds. For groups of type $Φ$ which act on a tree, we show that the stable module $\infty$-category decomposes in terms of the associated graph of groups. For groups which admit a finite-dimensional cocompact model for the classifying space for proper actions, we exhibit a decomposition in terms of the stable module $\infty$-categories of their finite subgroups. We use these decompositions to provide methods to compute the Picard group of the stable module category. In particular, we provide a description of the Picard group for countable locally finite $p$-groups.
△ Less
Submitted 23 May, 2024; v1 submitted 14 March, 2023;
originally announced March 2023.
-
The Prime Number Theorem and Primorial Numbers
Authors:
Jonatan Gomez
Abstract:
Counting the number of prime numbers up to a certain natural number and describing the asymptotic behavior of such a counting function has been studied by famous mathematicians like Gauss, Legendre, Dirichlet, and Euler. The prime number theorem determines that such asymptotic behavior is similar to the asymptotic behavior of the number divided by its natural logarithm. In this paper, we take adva…
▽ More
Counting the number of prime numbers up to a certain natural number and describing the asymptotic behavior of such a counting function has been studied by famous mathematicians like Gauss, Legendre, Dirichlet, and Euler. The prime number theorem determines that such asymptotic behavior is similar to the asymptotic behavior of the number divided by its natural logarithm. In this paper, we take advantage of a multiplicative representation of a number and the properties of the logarithm function to express the prime number theorem in terms of primorial numbers, and n-primorial totative numbers. A primorial number is the multiplication of the first n prime numbers while n-primorial totatives are the numbers that are coprime to the n-th primorial number. By doing this we can define several different functions that can be used to approximate the behavior of the prime counting function asymptotically.
△ Less
Submitted 7 January, 2023;
originally announced January 2023.
-
On Primorial Numbers
Authors:
Jonatan Gomez
Abstract:
Prime numbers have attracted the attention of mathematiciansand enthusiasts for millenniums due to their simple definition and remarkable properties. In this paper, we study primorial numbers (the product of the first prime numbers) to define primorial sets, primorial intervals, primorial tables, and primorial totative numbers. We establish relationships between prime numbers and primorial totativ…
▽ More
Prime numbers have attracted the attention of mathematiciansand enthusiasts for millenniums due to their simple definition and remarkable properties. In this paper, we study primorial numbers (the product of the first prime numbers) to define primorial sets, primorial intervals, primorial tables, and primorial totative numbers. We establish relationships between prime numbers and primorial totative numbers and between admissible k-tuples of prime numbers and admissible k-tuples of primorial totative. Finally, we study the Goldbach conjecture and derive four Goldbach conjectures using primordial intervals, twin, cousin, and sexy prime numbers.
△ Less
Submitted 6 January, 2023;
originally announced January 2023.
-
On the cohomological triviality of the center of the Frattini subgroup
Authors:
Jaime Calles,
José Cantarero,
Juan Omar Gómez,
Gustavo Ortega
Abstract:
We improve the existing lower bounds on the order of counterexamples to a conjecture by P. Schmid, determine some properties of the possible counterexamples of minimum order for each prime, and the isomorphism type of the center of the Frattini subgroup for the counterexamples of order 256. We also show that nonabelian metacyclic p-groups, nonabelian groups of maximal nilpotency class and 2-groups…
▽ More
We improve the existing lower bounds on the order of counterexamples to a conjecture by P. Schmid, determine some properties of the possible counterexamples of minimum order for each prime, and the isomorphism type of the center of the Frattini subgroup for the counterexamples of order 256. We also show that nonabelian metacyclic p-groups, nonabelian groups of maximal nilpotency class and 2-groups of coclass two satisfy the conjecture.
△ Less
Submitted 2 November, 2022;
originally announced November 2022.
-
The Saddle-Point Accountant for Differential Privacy
Authors:
Wael Alghamdi,
Shahab Asoodeh,
Flavio P. Calmon,
Juan Felipe Gomez,
Oliver Kosut,
Lalitha Sankar,
Fei Wei
Abstract:
We introduce a new differential privacy (DP) accountant called the saddle-point accountant (SPA). SPA approximates privacy guarantees for the composition of DP mechanisms in an accurate and fast manner. Our approach is inspired by the saddle-point method -- a ubiquitous numerical technique in statistics. We prove rigorous performance guarantees by deriving upper and lower bounds for the approximat…
▽ More
We introduce a new differential privacy (DP) accountant called the saddle-point accountant (SPA). SPA approximates privacy guarantees for the composition of DP mechanisms in an accurate and fast manner. Our approach is inspired by the saddle-point method -- a ubiquitous numerical technique in statistics. We prove rigorous performance guarantees by deriving upper and lower bounds for the approximation error offered by SPA. The crux of SPA is a combination of large-deviation methods with central limit theorems, which we derive via exponentially tilting the privacy loss random variables corresponding to the DP mechanisms. One key advantage of SPA is that it runs in constant time for the $n$-fold composition of a privacy mechanism. Numerical experiments demonstrate that SPA achieves comparable accuracy to state-of-the-art accounting methods with a faster runtime.
△ Less
Submitted 19 August, 2022;
originally announced August 2022.
-
A Butterfly-Accelerated Volume Integral Equation Solver for Broad Permittivity and Large-Scale Electromagnetic Analysis
Authors:
Sadeed B. Sayed,
Yang Liu,
Luis J. Gomez,
Abdulkadir C. Yucel
Abstract:
A butterfly-accelerated volume integral equation (VIE) solver is proposed for fast and accurate electromagnetic (EM) analysis of scattering from heterogeneous objects. The proposed solver leverages the hierarchical off-diagonal butterfly (HOD-BF) scheme to construct the system matrix and obtain its approximate inverse, used as a preconditioner. Complexity analysis and numerical experiments validat…
▽ More
A butterfly-accelerated volume integral equation (VIE) solver is proposed for fast and accurate electromagnetic (EM) analysis of scattering from heterogeneous objects. The proposed solver leverages the hierarchical off-diagonal butterfly (HOD-BF) scheme to construct the system matrix and obtain its approximate inverse, used as a preconditioner. Complexity analysis and numerical experiments validate the $O(N\log^2N)$ construction cost of the HOD-BF-compressed system matrix and $O(N^{1.5}\log N)$ inversion cost for the preconditioner, where $N$ is the number of unknowns in the high-frequency EM scattering problem. For many practical scenarios, the proposed VIE solver requires less memory and computational time to construct the system matrix and obtain its approximate inverse compared to a $\mathcal{H}$ matrix-accelerated VIE solver. The accuracy and efficiency of the proposed solver have been demonstrated via its application to the EM analysis of large-scale canonical and real-world structures comprising of broad permittivity values and involving millions of unknowns.
△ Less
Submitted 2 November, 2021;
originally announced November 2021.
-
Variational principles and finite element Bloch analysis in couple stress elastodynamics
Authors:
Nicolás Guarín-Zapata,
Juan Gomez,
Ali Reza Hadjesfandiari,
Gary F. Dargush
Abstract:
We address the numerical simulation of periodic solids (phononic crystals) within the framework of couple stress elasticity. The additional terms in the elastic potential energy lead to dispersive behavior in shear waves, even in the absence of material periodicity. To study the bulk waves in these materials, we establish an action principle in the frequency domain and present a finite element for…
▽ More
We address the numerical simulation of periodic solids (phononic crystals) within the framework of couple stress elasticity. The additional terms in the elastic potential energy lead to dispersive behavior in shear waves, even in the absence of material periodicity. To study the bulk waves in these materials, we establish an action principle in the frequency domain and present a finite element formulation for the wave propagation problem related to couple stress theory subject to an extended set of Bloch-periodic boundary conditions. A major difference from the traditional finite element formulation for phononic crystals is the appearance of higher-order derivatives. We solve this problem with the use of a Lagrange-multiplier approach. After presenting the variational principle and general finite element treatment, we particularize it to the problem of finding dispersion relations in elastic bodies with periodic material properties. The resulting implementation is used to determine the dispersion curves for homogeneous and porous couple stress solids, in which the latter is found to exhibit an interesting bandgap structure.
△ Less
Submitted 15 June, 2021;
originally announced June 2021.
-
Non-Stationary Stochastic Global Optimization Algorithms
Authors:
Jonatan Gomez,
Carlos Rivera
Abstract:
Gomez proposes a formal and systematic approach for characterizing stochastic global optimization algorithms. Using it, Gomez formalizes algorithms with a fixed next-population stochastic method, i.e., algorithms defined as stationary Markov processes. These are the cases of standard versions of hill-climbing, parallel hill-climbing, generational genetic, steady-state genetic, and differential evo…
▽ More
Gomez proposes a formal and systematic approach for characterizing stochastic global optimization algorithms. Using it, Gomez formalizes algorithms with a fixed next-population stochastic method, i.e., algorithms defined as stationary Markov processes. These are the cases of standard versions of hill-climbing, parallel hill-climbing, generational genetic, steady-state genetic, and differential evolution algorithms. This paper continues such a systematic formal approach. First, we generalize the sufficient conditions convergence lemma from stationary to non-stationary Markov processes. Second, we develop Markov kernels for some selection schemes. Finally, we formalize both simulated-annealing and evolutionary-strategies using the systematic formal approach.
△ Less
Submitted 11 October, 2020;
originally announced October 2020.
-
On the second homotopy group of spaces of commuting elements in Lie groups
Authors:
Alejandro Adem,
José Manuel Gómez,
Simon Gritschacher
Abstract:
Let $G$ be a compact connected Lie group and $n\geqslant 1$ an integer. Consider the space of ordered commuting $n$-tuples in $G$, $Hom(\mathbb{Z}^n,G)$, and its quotient under the adjoint action, $Rep(\mathbb{Z}^n,G):=Hom(\mathbb{Z}^n,G)/G$. In this article we study and in many cases compute the homotopy groups $π_2(Hom(\mathbb{Z}^n,G))$. For $G$ simply--connected and simple we show that…
▽ More
Let $G$ be a compact connected Lie group and $n\geqslant 1$ an integer. Consider the space of ordered commuting $n$-tuples in $G$, $Hom(\mathbb{Z}^n,G)$, and its quotient under the adjoint action, $Rep(\mathbb{Z}^n,G):=Hom(\mathbb{Z}^n,G)/G$. In this article we study and in many cases compute the homotopy groups $π_2(Hom(\mathbb{Z}^n,G))$. For $G$ simply--connected and simple we show that $π_2(Hom(\mathbb{Z}^2,G))\cong \mathbb{Z}$ and $π_2(Rep(\mathbb{Z}^2,G))\cong \mathbb{Z}$, and that on these groups the quotient map $Hom(\mathbb{Z}^2,G)\to Rep(\mathbb{Z}^2,G)$ induces multiplication by the Dynkin index of $G$. More generally we show that if $G$ is simple and $Hom(\mathbb{Z}^2,G)_{1}\subseteq Hom(\mathbb{Z}^2,G)$ is the path--component of the trivial homomorphism, then $H_2(Hom(\mathbb{Z}^2,G)_{1};\mathbb{Z})$ is an extension of the Schur multiplier of $π_1(G)^2$ by $\mathbb{Z}$. We apply our computations to prove that if $B_{com}G_{1}$ is the classifying space for commutativity at the identity component, then $π_4(B_{com}G_{1})\cong \mathbb{Z}\oplus \mathbb{Z}$, and we construct examples of non-trivial transitionally commutative structures on the trivial principal $G$-bundle over the sphere $\mathbb{S}^{4}$.
△ Less
Submitted 8 October, 2021; v1 submitted 18 September, 2020;
originally announced September 2020.
-
Obtaining Basic Algebra Formulas with Genetic Programming and Functional Rewriting
Authors:
Edwin Camilo Cubides,
Jonatan Gomez
Abstract:
In this paper, we develop a set of genetic programming operators and an initialization population process based on concepts of functional programming rewriting for boosting inductive genetic programming. Such genetic operators are used within a hybrid adaptive evolutionary algorithm that evolves operator rates at the same time it evolves the solution. Solutions are represented using recursive func…
▽ More
In this paper, we develop a set of genetic programming operators and an initialization population process based on concepts of functional programming rewriting for boosting inductive genetic programming. Such genetic operators are used within a hybrid adaptive evolutionary algorithm that evolves operator rates at the same time it evolves the solution. Solutions are represented using recursive functions where genome is encoded as an ordered list of trees and phenotype is written in a simple functional programming language that uses rewriting as operational semantic (computational model). The fitness is the number of examples successfully deduced over the cardinal of the set of examples. Parents are selected following a tournament selection mechanism and the next population is obtained following a steady-state strategy. The evolutionary process can use some previous functions (programs) induced as background knowledge. We compare the performance of our technique in a set of hard problems (for classical genetic programming). In particular, we take as test-bed the problem of obtaining equivalent algebraic expressions of some notable products (such as square of a binomial, and cube of a binomial), and the recursive formulas of sum of the first n and squares of the first n natural numbers.
△ Less
Submitted 3 May, 2020;
originally announced May 2020.
-
Hybrid Adaptive Evolutionary Algorithm for Multi-objective Optimization
Authors:
Jeisson Prieto,
Jonatan Gomez
Abstract:
The major difficulty in Multi-objective Optimization Evolutionary Algorithms (MOEAs) is how to find an appropriate solution that is able to converge towards the true Pareto Front with high diversity. Most existing methodologies, which have demonstrated their niche on various practical problems involving two and three objectives, face significant challenges in the dependency of the selection of the…
▽ More
The major difficulty in Multi-objective Optimization Evolutionary Algorithms (MOEAs) is how to find an appropriate solution that is able to converge towards the true Pareto Front with high diversity. Most existing methodologies, which have demonstrated their niche on various practical problems involving two and three objectives, face significant challenges in the dependency of the selection of the EA parameters. Moreover, the process of setting such parameters is considered time-consuming, and several research works have tried to deal with this problem. This paper proposed a new Multi-objective Algorithm as an extension of the Hybrid Adaptive Evolutionary algorithm (HAEA) called MoHAEA. MoHAEA allows dynamic adaptation of the application of operator probabilities (rates) to evolve with the solution of the multi-objective problems combining the dominance- and decomposition-based approaches. MoHAEA is compared with four states of the art MOEAs, namely MOEA/D, pa$λ$-MOEA/D, MOEA/D-AWA, and NSGA-II on ten widely used multi-objective test problems. Experimental results indicate that MoHAEA outperforms the benchmark algorithms in terms of how it is able to find a well-covered and well-distributed set of points on the Pareto Front.
△ Less
Submitted 28 April, 2020;
originally announced April 2020.
-
A Decomposition of Twisted Equivariant $K$-Theory
Authors:
José Manuel Gómez,
Johana Ramírez
Abstract:
For $G$ a finite group, a normalized 2-cocycle $α\in Z^{2}\big(G,{\mathbb S}^{1}\big)$ and $X$ a $G$-space on which a normal subgroup $A$ acts trivially, we show that the $α$-twisted $G$-equivariant $K$-theory of $X$ decomposes as a direct sum of twisted equivariant $K$-theories of $X$ parametrized by the orbits of an action of $G$ on the set of irreducible $α$-projective representations of $A$. T…
▽ More
For $G$ a finite group, a normalized 2-cocycle $α\in Z^{2}\big(G,{\mathbb S}^{1}\big)$ and $X$ a $G$-space on which a normal subgroup $A$ acts trivially, we show that the $α$-twisted $G$-equivariant $K$-theory of $X$ decomposes as a direct sum of twisted equivariant $K$-theories of $X$ parametrized by the orbits of an action of $G$ on the set of irreducible $α$-projective representations of $A$. This generalizes the decomposition obtained in [Gómez J.M., Uribe B., Internat. J. Math. 28 (2017), 1750016, 23 pages, arXiv:1604.01656] for equivariant $K$-theory. We also explore some examples of this decomposition for the particular case of the dihedral groups $D_{2n}$ with $n\ge 2$ an even integer.
△ Less
Submitted 21 April, 2021; v1 submitted 7 January, 2020;
originally announced January 2020.
-
Uniqueness of the Gaussian Orthogonal Ensemble
Authors:
Jose Angel Sanchez Gomez,
Victor Amaya Carvajal
Abstract:
A known result in random matrix theory states the following: Given a random Wigner matrix $X$ which belongs to the Gaussian Orthogonal Ensemble (GOE), then such matrix $X$ has an invariant distribution under orthogonal conjugations. The goal of this work is to prove the converse, that is, if $X$ is a symmetric random matrix such that it is invariant under orthogonal conjugations, then such matrix…
▽ More
A known result in random matrix theory states the following: Given a random Wigner matrix $X$ which belongs to the Gaussian Orthogonal Ensemble (GOE), then such matrix $X$ has an invariant distribution under orthogonal conjugations. The goal of this work is to prove the converse, that is, if $X$ is a symmetric random matrix such that it is invariant under orthogonal conjugations, then such matrix $X$ belongs to the GOE. We will prove this using some elementary properties of the characteristic function of random variables.
△ Less
Submitted 1 October, 2019; v1 submitted 26 January, 2019;
originally announced January 2019.
-
Double Ore extensions versus graded skew PBW extensions
Authors:
James Yair Gómez,
Héctor Suárez
Abstract:
In this paper we present necessary and sufficient conditions for a graded (trimmed) double Ore extension to be a graded (quasi-commutative) skew PBW extension. Using this fact, we prove that a graded skew PBW extension $A = σ(R)\langle x_1,x_2 \rangle$ of an Artin-Schelter regular algebra $R$ is Artin-Schelter regular. As a consequence, every graded skew PBW extension…
▽ More
In this paper we present necessary and sufficient conditions for a graded (trimmed) double Ore extension to be a graded (quasi-commutative) skew PBW extension. Using this fact, we prove that a graded skew PBW extension $A = σ(R)\langle x_1,x_2 \rangle$ of an Artin-Schelter regular algebra $R$ is Artin-Schelter regular. As a consequence, every graded skew PBW extension $A = σ(R)\langle x_1,x_2 \rangle$ of a connected skew Calabi-Yau algebra $R$ of dimension $d$ is skew Calabi-Yau of dimension $d+2$.
△ Less
Submitted 15 October, 2018;
originally announced October 2018.
-
Infinite Games and Ramsey Properties of $F_σ$ Ideals
Authors:
José de Jesús Pelayo Gómez
Abstract:
In this work, we investigate various combinatorial properties of Borel ideals on countable sets. We extend a theorem presented in M. Hrušák, D. Meza-Alcántara, E. Thümmel, and C. Uzcátegui, \emph{Ramsey Type Properties of Ideals}, and identify an $F_σ$ tall ideal in which player II has a winning strategy in the Cut and Choose Game, thereby addressing a question posed by J. Zapletal. Additionally,…
▽ More
In this work, we investigate various combinatorial properties of Borel ideals on countable sets. We extend a theorem presented in M. Hrušák, D. Meza-Alcántara, E. Thümmel, and C. Uzcátegui, \emph{Ramsey Type Properties of Ideals}, and identify an $F_σ$ tall ideal in which player II has a winning strategy in the Cut and Choose Game, thereby addressing a question posed by J. Zapletal. Additionally, we explore the Ramsey properties of ideals, demonstrating that the random graph ideal is critical for the Ramsey property when considering more than two colors. The previously known result for two colors is extended to any finite number of colors. Furthermore, we comment on the Solecki ideal and identify an $F_σ$ tall $K$-uniform ideal that is not equivalent to $\mathcal{ED}_{\text{fin}}$, thereby addressing a question from Michael Hrušák.
△ Less
Submitted 5 February, 2025; v1 submitted 27 August, 2018;
originally announced August 2018.
-
Equivariant complex bundles, fixed points and equivariant unitary bordism
Authors:
Andrés Angel,
José Manuel Gómez,
Bernardo Uribe
Abstract:
We study the fixed points of the universal G-equivariant n-dimensional complex vector bundle and obtain a decomposition formula in terms of twisted equivariant universal complex vector bundles of smaller dimension. We use this decomposition to describe the fixed points of the complex equivariant K-theory spectrum and the equivariant unitary bordism groups for adjacent families of subgroups.
We study the fixed points of the universal G-equivariant n-dimensional complex vector bundle and obtain a decomposition formula in terms of twisted equivariant universal complex vector bundles of smaller dimension. We use this decomposition to describe the fixed points of the complex equivariant K-theory spectrum and the equivariant unitary bordism groups for adjacent families of subgroups.
△ Less
Submitted 6 July, 2018; v1 submitted 2 October, 2017;
originally announced October 2017.
-
The open mapping principle for partial actions of polish groups
Authors:
J Gómez,
H. Pinedo,
C. Uzcátegui
Abstract:
We present a extension of the classical open mapping principle and Effros' theorem for Polish group actions to the context of partial group actions.
We present a extension of the classical open mapping principle and Effros' theorem for Polish group actions to the context of partial group actions.
△ Less
Submitted 6 September, 2017;
originally announced September 2017.
-
Twisted equivariant K-theory of compact Lie group actions with maximal rank isotropy
Authors:
Alejandro Adem,
José Cantarero,
José Manuel Gómez
Abstract:
We consider twisted equivariant K--theory for actions of a compact Lie group $G$ on a space $X$ where all the isotropy subgroups are connected and of maximal rank. We show that the associated rational spectral sequence à la Segal has a simple $E_2$--term expressible as invariants under the Weyl group of $G$. Namely, if $T$ is a maximal torus of $G$, they are invariants of the $π_1(X^T)$-equivarian…
▽ More
We consider twisted equivariant K--theory for actions of a compact Lie group $G$ on a space $X$ where all the isotropy subgroups are connected and of maximal rank. We show that the associated rational spectral sequence à la Segal has a simple $E_2$--term expressible as invariants under the Weyl group of $G$. Namely, if $T$ is a maximal torus of $G$, they are invariants of the $π_1(X^T)$-equivariant Bredon cohomology of the universal cover of $X^T$ with suitable coefficients. In the case of the inertia stack $ΛY$ this term can be expressed using the cohomology of $Y^T$ and algebraic invariants associated to the Lie group and the twisting. A number of calculations are provided. In particular, we recover the rational Verlinde algebra when $Y=\{*\}$.
△ Less
Submitted 21 October, 2018; v1 submitted 4 September, 2017;
originally announced September 2017.
-
On the continuity of partial actions of Hausdorff groups on metric spaces
Authors:
J. Gómez,
H. Pinedo,
C. Uzcátegui
Abstract:
We provide a sufficient condition for a topological partial action of a Hausdorff group on a metric space is continuous, provide that it is separately continuous.
We provide a sufficient condition for a topological partial action of a Hausdorff group on a metric space is continuous, provide that it is separately continuous.
△ Less
Submitted 3 October, 2017; v1 submitted 30 August, 2017;
originally announced August 2017.
-
Stochastic Global Optimization Algorithms: A Systematic Formal Approach
Authors:
Jonatan Gomez
Abstract:
As we know, some global optimization problems cannot be solved using analytic methods, so numeric/algorithmic approaches are used to find near to the optimal solutions for them. A stochastic global optimization algorithm (SGoal) is an iterative algorithm that generates a new population (a set of candidate solutions) from a previous population using stochastic operations. Although some research wor…
▽ More
As we know, some global optimization problems cannot be solved using analytic methods, so numeric/algorithmic approaches are used to find near to the optimal solutions for them. A stochastic global optimization algorithm (SGoal) is an iterative algorithm that generates a new population (a set of candidate solutions) from a previous population using stochastic operations. Although some research works have formalized SGoals using Markov kernels, such formalization is not general and sometimes is blurred. In this paper, we propose a comprehensive and systematic formal approach for studying SGoals. First, we present the required theory of probability (σ-algebras, measurable functions, kernel, markov chain, products, convergence and so on) and prove that some algorithmic functions like swapping and projection can be represented by kernels. Then, we introduce the notion of join-kernel as a way of characterizing the combination of stochastic methods. Next, we define the optimization space, a formal structure (a set with a σ-algebra that contains strict ε-optimal states) for studying SGoals, and we develop kernels, like sort and permutation, on such structure. Finally, we present some popular SGoals in terms of the developed theory, we introduce sufficient conditions for convergence of a SGoal, and we prove convergence of some popular SGoals.
△ Less
Submitted 7 June, 2017;
originally announced June 2017.
-
A decomposition of equivariant K-theory in twisted equivariant K-theories
Authors:
José Manuel Gómez,
Bernardo Uribe
Abstract:
For G a finite group and X a G-space on which a normal subgroup A acts trivially, we show that the G-equivariant K-theory of X decomposes as a direct sum of twisted equivariant K-theories of X parametrized by the orbits of the conjugation action of G on the irreducible representations of A. The twists are group 2-cocycles which encode the obstruction of lifting an irreducible representation of A t…
▽ More
For G a finite group and X a G-space on which a normal subgroup A acts trivially, we show that the G-equivariant K-theory of X decomposes as a direct sum of twisted equivariant K-theories of X parametrized by the orbits of the conjugation action of G on the irreducible representations of A. The twists are group 2-cocycles which encode the obstruction of lifting an irreducible representation of A to the subgroup of G which fixes the isomorphism class of the irreducible representation.
△ Less
Submitted 27 January, 2017; v1 submitted 6 April, 2016;
originally announced April 2016.
-
Empirical central limit theorem for cluster functionals without mixing
Authors:
Paul Doukhan,
José Gregorio Gómez
Abstract:
We prove central limit theorems (CLT) for empirical processes of extreme values cluster functionals as in Drees and Rootzén (2010). We use coupling properties enlightened for Dedecker \& Prieur's $τ-$dependence coefficients in order to improve the conditions of dependence and continue to obtain these CLT. The assumptions are precisely set for particular processes and cluster functionals of interes…
▽ More
We prove central limit theorems (CLT) for empirical processes of extreme values cluster functionals as in Drees and Rootzén (2010). We use coupling properties enlightened for Dedecker \& Prieur's $τ-$dependence coefficients in order to improve the conditions of dependence and continue to obtain these CLT. The assumptions are precisely set for particular processes and cluster functionals of interest. The number of excesses provides a complete example of a cluster functional for a simple non-mixing model (AR(1)-process) for which ours results are definitely needed. We also give the expression explicit the covariance structure of limit Gaussian process.
Also we include in this paper some results of Drees (2011) for the extremal index and some simulations for this index to demonstrate the accuracy of this technique.
△ Less
Submitted 26 February, 2016; v1 submitted 22 July, 2015;
originally announced July 2015.
-
Fast Methods for Eikonal Equations: an Experimental Survey
Authors:
Javier V. Gomez,
David Alvarez,
Santiago Garrido,
Luis Moreno
Abstract:
The Fast Marching Method is a very popular algorithm to compute times-of-arrival maps (distances map measured in time units). Since their proposal in 1995, it has been applied to many different applications such as robotics, medical computer vision, fluid simulation, etc. Many alternatives have been proposed with two main objectives: to reduce its computational time and to improve its accuracy. In…
▽ More
The Fast Marching Method is a very popular algorithm to compute times-of-arrival maps (distances map measured in time units). Since their proposal in 1995, it has been applied to many different applications such as robotics, medical computer vision, fluid simulation, etc. Many alternatives have been proposed with two main objectives: to reduce its computational time and to improve its accuracy. In this paper, we collect the main approaches which improve the computational time of the standard Fast Marching Method, focusing on single-threaded methods and isotropic environments. 9 different methods are studied under a common mathematical framework and experimentally in representative environments: Fast Marching Method with binary heap, Fast Marching Method with Fibonacci Heap, Simplified Fast Marching Method, Untidy Fast Marching Method, Fast Iterative Method, Group Marching Method, Fast Sweeping Method, Lock Sweeping Method and Double Dynamic Queue Method.
△ Less
Submitted 11 June, 2015;
originally announced June 2015.
-
A case study on regularity in cellular network deployment
Authors:
Jean-Sébastien Gomez,
Aurélien Vasseur,
Anaïs Vergne,
Philippe Martins,
Laurent Decreusefond,
Wei Chen
Abstract:
This paper aims to validate the $β$-Ginibre point process as a model for the distribution of base station locations in a cellular network. The $β$-Ginibre is a repulsive point process in which repulsion is controlled by the $β$ parameter. When $β$ tends to zero, the point process converges in law towards a Poisson point process. If $β$ equals to one it becomes a Ginibre point process. Simulations…
▽ More
This paper aims to validate the $β$-Ginibre point process as a model for the distribution of base station locations in a cellular network. The $β$-Ginibre is a repulsive point process in which repulsion is controlled by the $β$ parameter. When $β$ tends to zero, the point process converges in law towards a Poisson point process. If $β$ equals to one it becomes a Ginibre point process. Simulations on real data collected in Paris (France) show that base station locations can be fitted with a $β$-Ginibre point process. Moreover we prove that their superposition tends to a Poisson point process as it can be seen from real data. Qualitative interpretations on deployment strategies are derived from the model fitting of the raw data.
△ Less
Submitted 22 May, 2015;
originally announced May 2015.
-
Infinite loop spaces and nilpotent K-theory
Authors:
Alejandro Adem,
José Manuel Gómez,
John A. Lind,
Ulrike Tillmann
Abstract:
Using a construction derived from the descending central series of the free groups, we produce filtrations by infinite loop spaces of the classical infinite loop spaces $BSU$, $BU$, $BSO$, $BO$, $BSp$, $BGL_{\infty}(R)^{+}$ and $Q_0(\mathbb{S}^{0})$. We show that these infinite loop spaces are the zero spaces of non-unital $E_\infty$-ring spectra. We introduce the notion of $q$-nilpotent K-theory…
▽ More
Using a construction derived from the descending central series of the free groups, we produce filtrations by infinite loop spaces of the classical infinite loop spaces $BSU$, $BU$, $BSO$, $BO$, $BSp$, $BGL_{\infty}(R)^{+}$ and $Q_0(\mathbb{S}^{0})$. We show that these infinite loop spaces are the zero spaces of non-unital $E_\infty$-ring spectra. We introduce the notion of $q$-nilpotent K-theory of a CW-complex $X$ for any $q\ge 2$, which extends the notion of commutative K-theory defined by Adem-Gómez, and show that it is represented by $\mathbb Z\times B(q,U)$, were $B(q,U)$ is the $q$-th term of the aforementioned filtration of $BU$.
For the proof we introduce an alternative way of associating an infinite loop space to a commutative $\mathbb{I}$-monoid and give criteria when it can be identified with the plus construction on the associated limit space. Furthermore, we introduce the notion of a commutative $\mathbb{I}$-rig and show that they give rise to non-unital $E_\infty$-ring spectra.
△ Less
Submitted 30 September, 2016; v1 submitted 9 March, 2015;
originally announced March 2015.
-
$B_{h}[g]$ modular sets from $B_{h}$ modular sets
Authors:
Nidia Y. Caicedo,
Carlos A. Gómez,
Jhonny C. Gómez,
Carlos A. Trujillo
Abstract:
A set of positive integers $A$ is called a $B_{h}[g]$ set if there are at most $g$ different sums of $h$ elements from $A$ with the same result. This definition has a generalization to abelian groups and the main problem related to this kind of sets, is to find $B_{h}[g]$ maximal sets i.e. those with larger cardinality.
We construct $B_{h}[g]$ modular sets from $B_{h}$ modular sets using homomor…
▽ More
A set of positive integers $A$ is called a $B_{h}[g]$ set if there are at most $g$ different sums of $h$ elements from $A$ with the same result. This definition has a generalization to abelian groups and the main problem related to this kind of sets, is to find $B_{h}[g]$ maximal sets i.e. those with larger cardinality.
We construct $B_{h}[g]$ modular sets from $B_{h}$ modular sets using homomorphisms and analyze the constructions of $B_{h}$ sets by Bose and Chowla, Ruzsa, and Gómez and Trujillo look at for the suitable homomorphism that allows us to preserve the cardinal of this types of sets.
△ Less
Submitted 18 December, 2014; v1 submitted 20 November, 2014;
originally announced November 2014.
-
Evaluation of the Spectral Finite Element Method With the Theory of Phononic Crystals
Authors:
Nicolás Guarín-Zapata,
Juan Gomez
Abstract:
We evaluated the performance of the classical and spectral finite element method in the simulation of elastodynamic problems. We used as a quality measure their ability to capture the actual dispersive behavior of the material. Four different materials are studied: a homogeneous non-dispersive material, a bilayer material, and composite materials consisting of an aluminum matrix and brass inclusio…
▽ More
We evaluated the performance of the classical and spectral finite element method in the simulation of elastodynamic problems. We used as a quality measure their ability to capture the actual dispersive behavior of the material. Four different materials are studied: a homogeneous non-dispersive material, a bilayer material, and composite materials consisting of an aluminum matrix and brass inclusions or voids. To obtain the dispersion properties, spatial periodicity is assumed so the analysis is conducted using Floquet-Bloch principles. The effects in the dispersion properties of the lumping process for the mass matrices resulting from the classical finite element method are also investigated, since that is a common practice when the problem is solved with explicit time marching schemes. At high frequencies the predictions with the spectral technique exactly match the analytical dispersion curves, while the classical method does not. This occurs even at the same computational demands. At low frequencies however, the results from both the classical (consistent or mass-lumped) and spectral finite element coincide with the analytically determined curves. Surprisingly, at low frequencies even the results obtained with the artificial diagonal mass matrix from the classical technique exactly match the analytic dispersion curves.
△ Less
Submitted 13 January, 2015; v1 submitted 16 September, 2014;
originally announced September 2014.
-
Seismic Wave Scattering Through a Compressed Hybrid BEM/FEM Method
Authors:
Nicolás Guarín-Zapata,
Juan Gómez,
Juan Jaramillo
Abstract:
Approximated numerical techniques, for the solution of the elastic wave scattering problem over semi-infinite domains are reviewed. The approximations involve the representation of the half-space by a boundary condition described in terms of 2D boundary element discretizations. The classical BEM matrices are initially re-written into the form of a dense dynamic stiffness matrix and later approxima…
▽ More
Approximated numerical techniques, for the solution of the elastic wave scattering problem over semi-infinite domains are reviewed. The approximations involve the representation of the half-space by a boundary condition described in terms of 2D boundary element discretizations. The classical BEM matrices are initially re-written into the form of a dense dynamic stiffness matrix and later approximated to a banded matrix. The resulting final banded matrix is then used like a standard finite element to solve the wave scattering problem at lower memory requirements. The accuracy of the reviewed methods is benchmarked against the classical problems of a semi-circular and a rectangular canyon. Results are presented in the time and frequency domain, as well as in terms of relative errors in the considered approximations. The main goal of the paper is to give the analyst a method that can be used at the practising level where an approximate solution is enough in order to support engineering decisions.
△ Less
Submitted 15 May, 2014;
originally announced May 2014.
-
Dependent Lindeberg CLT - Finite Dimensional for Empirical Processes of Cluster Functionals
Authors:
José Gregorio Gómez
Abstract:
Drees and Rootzén [2010] have proven central limit theorems (CLT) for empirical processes of extreme values cluster functionals built from $β$-mixing processes. The problem with this family of $β$-mixing processes is that it is quite restrictive, as has been shown by Andrews [1984]. We expand this result to a more general dependent processes family, known as weakly dependent processes in the sense…
▽ More
Drees and Rootzén [2010] have proven central limit theorems (CLT) for empirical processes of extreme values cluster functionals built from $β$-mixing processes. The problem with this family of $β$-mixing processes is that it is quite restrictive, as has been shown by Andrews [1984]. We expand this result to a more general dependent processes family, known as weakly dependent processes in the sense of Doukhan and Louhichi [1999], but in finite-dimensional convergence (fidis). We show an example where the application of the CLT-fidis is sufficient in several cases, including a small simulation of the extremogram introduced by Davis and Mikosch [2009] to confirm the efficacy of our result.
△ Less
Submitted 20 November, 2015; v1 submitted 19 April, 2014;
originally announced April 2014.
-
p-filiform Leibniz algebras of maximum length
Authors:
L. M. Camacho,
E. M. Canete,
J. R. Gomez,
B. A. Omirov
Abstract:
The descriptions (up to isomorphism) of naturally graded $p$-filiform Leibniz algebras and $p$-filiform ($p\leq 3$) Leibniz algebras of maximum length are known. In this paper we study the gradation of maximum length for $p$-filiform Leibniz algebras. The present work aims at the classification of complex $p$-filiform ($p \geq 4$) Leibniz algebras of maximum length.
The descriptions (up to isomorphism) of naturally graded $p$-filiform Leibniz algebras and $p$-filiform ($p\leq 3$) Leibniz algebras of maximum length are known. In this paper we study the gradation of maximum length for $p$-filiform Leibniz algebras. The present work aims at the classification of complex $p$-filiform ($p \geq 4$) Leibniz algebras of maximum length.
△ Less
Submitted 21 November, 2013;
originally announced November 2013.
-
3-filiform Leibniz algebras of maximum length
Authors:
L. M. Camacho,
E. M. Cañete,
J. R. Gómez,
B. A. Omirov
Abstract:
This work completes the study of the solvable Leibniz algebras, more precisely, it completes the classification of the $3$-filiform Leibniz algebras of maximum length \cite{3-filiform}. Moreover, due to the good structure of the algebras of maximum length, we also tackle some of their cohomological properties. Our main tools are the previous result of Cabezas and Pastor \cite{Pastor}, the construc…
▽ More
This work completes the study of the solvable Leibniz algebras, more precisely, it completes the classification of the $3$-filiform Leibniz algebras of maximum length \cite{3-filiform}. Moreover, due to the good structure of the algebras of maximum length, we also tackle some of their cohomological properties. Our main tools are the previous result of Cabezas and Pastor \cite{Pastor}, the construction of appropriate homogeneous basis in the considered connected gradation and the computational support provided by the two programs implemented in the software \textit{Mathematica}.
△ Less
Submitted 24 October, 2013;
originally announced October 2013.
-
A classifying space for commutativity in Lie groups
Authors:
Alejandro Adem,
José Manuel Gómez
Abstract:
In this article we consider a space B_{com}G assembled from commuting elements in a Lie group G first defined in [Adem, Cohen, Torres-Giese 2012]. We describe homotopy-theoretic properties of these spaces using homotopy colimits, and their role as a classifying space for transitionally commutative bundles. We prove that ZxB_{com}U is a loop space and define a notion of commutative K-theory for bun…
▽ More
In this article we consider a space B_{com}G assembled from commuting elements in a Lie group G first defined in [Adem, Cohen, Torres-Giese 2012]. We describe homotopy-theoretic properties of these spaces using homotopy colimits, and their role as a classifying space for transitionally commutative bundles. We prove that ZxB_{com}U is a loop space and define a notion of commutative K-theory for bundles over a finite complex X which is isomorphic to [X,ZxB_{com}U]. We compute the rational cohomology of B_{com}G for G equal to any of the classical groups U(n), SU(n) and Sp(n), and exhibit the rational cohomologies of B_{com}U, B_{com}SU and B_{com}Sp as explicit polynomial rings.
△ Less
Submitted 13 July, 2014; v1 submitted 31 August, 2013;
originally announced September 2013.
