-
Isomorphism of relative holomorphs and matrix similarity
Authors:
Volker Gebhardt,
Alberto J. Hernandez Alvarado,
Fernando Szechtman
Abstract:
Let $V$ be a finite-dimensional vector space over the field with $p$ elements, where $p$ is a prime number. Given arbitrary $α,β\in \mathrm{GL}(V)$, we consider the semidirect products $V\rtimes\langle α\rangle$ and $V\rtimes\langle β\rangle$, and show that if $V\rtimes\langle α\rangle$ and $V\rtimes\langle β\rangle$ are isomorphic, then $α$ must be similar to a power of $β$ that generates the sam…
▽ More
Let $V$ be a finite-dimensional vector space over the field with $p$ elements, where $p$ is a prime number. Given arbitrary $α,β\in \mathrm{GL}(V)$, we consider the semidirect products $V\rtimes\langle α\rangle$ and $V\rtimes\langle β\rangle$, and show that if $V\rtimes\langle α\rangle$ and $V\rtimes\langle β\rangle$ are isomorphic, then $α$ must be similar to a power of $β$ that generates the same subgroup as $β$; that is, if $H$ and $K$ are cyclic subgroups of $\mathrm{GL}(V)$ such that $V\rtimes H\cong V\rtimes K$, then $H$ and $K$ must be conjugate subgroups of $\mathrm{GL}(V)$. If we remove the cyclic condition, there exist examples of non-isomorphic, let alone non-conjugate, subgroups $H$ and $K$ of $\mathrm{GL}(V)$ such that $V\rtimes H\cong V\rtimes K$. Even if we require that non-cyclic subgroups $H$ and $K$ of $\mathrm{GL}(V)$ be abelian, we may still have $V\rtimes H\cong V\rtimes K$ with $H$ and $K$ non-conjugate in $\mathrm{GL}(V)$, but in this case, $H$ and $K$ must at least be isomorphic. If we replace $V$ by a free module $U$ over ${\mathbf Z}/p^m{\mathbf Z}$ of finite rank, with $m>1$, it may happen that $U\rtimes H\cong U\rtimes K$ for non-conjugate cyclic subgroups of $\mathrm{GL}(U)$. If we completely abandon our requirements on $V$, a sufficient criterion is given for a finite group $G$ to admit non-conjugate cyclic subgroups $H$ and $K$ of $\mathrm{Aut}(G)$ such that $G\rtimes H\cong G\rtimes K$. This criterion is satisfied by many groups.
△ Less
Submitted 27 June, 2024; v1 submitted 16 May, 2024;
originally announced May 2024.
-
Families of degenerating Poincaré-Einstein metrics on $\mathbb{R}^4$
Authors:
Carlos A. Alvarado,
Tristan Ozuch,
Daniel A. Santiago
Abstract:
We provide the first example of continuous families of Poincaré-Einstein metrics developing cusps on the trivial topology $\mathbb{R}^4$. We also exhibit families of metrics with unexpected degenerations in their conformal infinity only. These are obtained from the Riemannian version of an ansatz of Debever and Plebański-Demiański. We additionally indicate how to construct similar examples on more…
▽ More
We provide the first example of continuous families of Poincaré-Einstein metrics developing cusps on the trivial topology $\mathbb{R}^4$. We also exhibit families of metrics with unexpected degenerations in their conformal infinity only. These are obtained from the Riemannian version of an ansatz of Debever and Plebański-Demiański. We additionally indicate how to construct similar examples on more complicated topologies.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
Minimum depth of double cross product extensions
Authors:
Alberto Hernández Alvarado
Abstract:
In this paper we explore minimum odd and minimum even depth sub algebra pairs in the context of double cross products of finite dimensional Hopf algebras. We start by defining factorization algebras and outline how subring depth in this context relates with the module depth of the regular left module representation of the given subalgebra. Next we study minimum odd depth for double cross product H…
▽ More
In this paper we explore minimum odd and minimum even depth sub algebra pairs in the context of double cross products of finite dimensional Hopf algebras. We start by defining factorization algebras and outline how subring depth in this context relates with the module depth of the regular left module representation of the given subalgebra. Next we study minimum odd depth for double cross product Hopf subalgebras and determine their value in terms of their related module depth, we conclude that minimum odd depth of Drinfeld double Hopf subalgebras is 3. Finaly we produce a necessary and sufficient condition for depth 2 in double cross product Hopf subalgebra extensions. This sufficient condition is then used to prove results regarding minimum depth 2 in Drinfeld double Hopf subalgebras, particularly in the case of finite Group Hopf algebras. Lastly we provide formulas for the centralizer of a normal Hopf subalgebra in a double cross product scenario.
△ Less
Submitted 2 May, 2020;
originally announced May 2020.
-
A robust implementation for solving the $S$-unit equation and several applications
Authors:
Alejandra Alvarado,
Angelos Koutsianas,
Beth Malmskog,
Christopher Rasmussen,
Christelle Vincent,
Mckenzie West
Abstract:
Let $K$ be a number field, and $S$ a finite set of places in $K$ containing all infinite places. We present an implementation for solving the $S$-unit equation $x + y = 1$, $x,y \in\mathscr{O}_{K,S}^\times$ in the computer algebra package SageMath. This paper outlines the mathematical basis for the implementation. We discuss and reference the results of extensive computations, including exponent b…
▽ More
Let $K$ be a number field, and $S$ a finite set of places in $K$ containing all infinite places. We present an implementation for solving the $S$-unit equation $x + y = 1$, $x,y \in\mathscr{O}_{K,S}^\times$ in the computer algebra package SageMath. This paper outlines the mathematical basis for the implementation. We discuss and reference the results of extensive computations, including exponent bounds for solutions in many fields of small degree for small sets $S$. As an application, we prove an asymptotic version of Fermat's Last Theorem for totally real cubic number fields with bounded discriminant where 2 is totally ramified. In addition, we use the implementation to find all solutions to some cubic Ramanujan-Nagell equations.
△ Less
Submitted 8 July, 2020; v1 submitted 3 March, 2019;
originally announced March 2019.
-
Computing B-Stationary Points of Nonsmooth DC Programs
Authors:
Jong-Shi Pang,
Meisam Razaviyayn,
Alberth Alvarado
Abstract:
Motivated by a class of applied problems arising from physical layer based security in a digital communication system, in particular, by a secrecy sum-rate maximization problem, this paper studies a nonsmooth, difference-of-convex (dc) minimization problem. The contributions of this paper are: (i) clarify several kinds of stationary solutions and their relations; (ii) develop and establish the con…
▽ More
Motivated by a class of applied problems arising from physical layer based security in a digital communication system, in particular, by a secrecy sum-rate maximization problem, this paper studies a nonsmooth, difference-of-convex (dc) minimization problem. The contributions of this paper are: (i) clarify several kinds of stationary solutions and their relations; (ii) develop and establish the convergence of a novel algorithm for computing a d-stationary solution of a problem with a convex feasible set that is arguably the sharpest kind among the various stationary solutions; (iii) extend the algorithm in several directions including: a randomized choice of the subproblems that could help the practical convergence of the algorithm, a distributed penalty approach for problems whose objective functions are sums of dc functions, and problems with a specially structured (nonconvex) dc constraint. For the latter class of problems, a pointwise Slater constraint qualification is introduced that facilitates the verification and computation of a B(ouligand)-stationary point.
△ Less
Submitted 5 November, 2015;
originally announced November 2015.
-
A New Distributed DC-Programming Method and its Applications
Authors:
Alberth Alvarado,
Gesualdo Scutari,
Jong-Shi Pang
Abstract:
We propose a novel decomposition framework for the distributed optimization of Difference Convex (DC)-type nonseparable sum-utility functions subject to coupling convex constraints. A major contribution of the paper is to develop for the first time a class of (inexact) best-response-like algorithms with provable convergence, where a suitably convexified version of the original DC program is iterat…
▽ More
We propose a novel decomposition framework for the distributed optimization of Difference Convex (DC)-type nonseparable sum-utility functions subject to coupling convex constraints. A major contribution of the paper is to develop for the first time a class of (inexact) best-response-like algorithms with provable convergence, where a suitably convexified version of the original DC program is iteratively solved. The main feature of the proposed successive convex approximation method is its decomposability structure across the users, which leads naturally to distributed algorithms in the primal and/or dual domain. The proposed framework is applicable to a variety of multiuser DC problems in different areas, ranging from signal processing, to communications and networking. As a case study, in the second part of the paper we focus on two examples, namely: i) a novel resource allocation problem in the emerging area of cooperative physical layer security; ii) and the renowned sum-rate maximization of MIMO Cognitive Radio networks. Our contribution in this context is to devise a class of easy-to-implement distributed algorithms with provable convergence to stationary solution of such problems. Numerical results show that the proposed distributed schemes reach performance close to (and sometimes better than) that of centralized methods.
△ Less
Submitted 20 September, 2013; v1 submitted 15 August, 2013;
originally announced August 2013.
-
Arithmetic Progressions on Conic Sections
Authors:
Alejandra Alvarado,
Edray Herber Goins
Abstract:
The set ${1, 25, 49}$ is a 3-term collection of integers which forms an arithmetic progression of perfect squares. We view the set ${(1,1), (5,25), (7,49)}$ as a 3-term collection of rational points on the parabola $y=x^2$ whose $y$-coordinates form an arithmetic progression. In this exposition, we provide a generalization to 3-term arithmetic progressions on arbitrary conic sections $\mathcal C$…
▽ More
The set ${1, 25, 49}$ is a 3-term collection of integers which forms an arithmetic progression of perfect squares. We view the set ${(1,1), (5,25), (7,49)}$ as a 3-term collection of rational points on the parabola $y=x^2$ whose $y$-coordinates form an arithmetic progression. In this exposition, we provide a generalization to 3-term arithmetic progressions on arbitrary conic sections $\mathcal C$ with respect to a linear rational map $\ell: \mathcal C \to \mathbb P^1$. We explain how this construction is related to rational points on the universal elliptic curve $Y^2 + 4XY + 4kY = X^3 + kX^2$ classifying those curves possessing a rational 4-torsion point.
△ Less
Submitted 24 October, 2012;
originally announced October 2012.
-
Approximate reconstruction of bandlimited functions for the integrate and fire sampler
Authors:
Hans G. Feichtinger,
José C. Príncipe,
José Luis Romero,
Alexander Singh Alvarado,
Gino Angelo Velasco
Abstract:
In this paper we study the reconstruction of a bandlimited signal from samples generated by the integrate and fire model. This sampler allows us to trade complexity in the reconstruction algorithms for simple hardware implementations, and is specially convenient in situations where the sampling device is limited in terms of power, area and bandwidth.
Although perfect reconstruction for this sa…
▽ More
In this paper we study the reconstruction of a bandlimited signal from samples generated by the integrate and fire model. This sampler allows us to trade complexity in the reconstruction algorithms for simple hardware implementations, and is specially convenient in situations where the sampling device is limited in terms of power, area and bandwidth.
Although perfect reconstruction for this sampler is impossible, we give a general approximate reconstruction procedure and bound the corresponding error. We also show the performance of the proposed algorithm through numerical simulations.
△ Less
Submitted 3 December, 2009;
originally announced December 2009.
