-
Evaluating the Alignment of a Data Analysis between Analyst and Audience
Authors:
Lucy D'Agostino McGowan,
Roger D. Peng,
Stephanie C. Hicks
Abstract:
A challenge that data analysts face is building a data analysis that is useful for a given consumer. Previously, we defined a set of principles for describing data analyses that can be used to create a data analysis and to characterize the variation between analyses. Here, we introduce a concept that we call the alignment of a data analysis between the data analyst and a consumer. We define a succ…
▽ More
A challenge that data analysts face is building a data analysis that is useful for a given consumer. Previously, we defined a set of principles for describing data analyses that can be used to create a data analysis and to characterize the variation between analyses. Here, we introduce a concept that we call the alignment of a data analysis between the data analyst and a consumer. We define a successfully aligned data analysis as the matching of principles between the analyst and the consumer for whom the analysis is developed. In this paper, we propose a statistical model for evaluating the alignment of a data analysis and describe some of its properties. We argue that this framework provides a language for characterizing alignment and can be used as a guide for practicing data scientists and students in data science courses for how to build better data analyses.
△ Less
Submitted 11 December, 2023;
originally announced December 2023.
-
The Lattice of Group Topologies on a Group
Authors:
Dekui Peng
Abstract:
For an infinite group $G$, the set of group topologies, $\mathcal{L}_G$, forms a complete lattice. It is known that $\mathcal{L}_G$ is modular if $G$ is abelian but the same result does not hold for nilpotent groups. We prove that the lattice $\mathcal{L}_G$ is semi-modular if and only if $\mathcal{L}_{G/Z}$ is semi-modular, where $Z$ is the centre. As a corollary, for every nilpotent group $G$, t…
▽ More
For an infinite group $G$, the set of group topologies, $\mathcal{L}_G$, forms a complete lattice. It is known that $\mathcal{L}_G$ is modular if $G$ is abelian but the same result does not hold for nilpotent groups. We prove that the lattice $\mathcal{L}_G$ is semi-modular if and only if $\mathcal{L}_{G/Z}$ is semi-modular, where $Z$ is the centre. As a corollary, for every nilpotent group $G$, the lattice $\mathcal{L}_G$ is semi-modular.
Moreover, in the famous Kourovka Notebook, several questions about $\mathcal{L}_G$ were formalized by Arnautov. We answer two of them in this note.
△ Less
Submitted 12 October, 2023;
originally announced October 2023.
-
Minimality of the inner automorphism group
Authors:
Dekui Peng,
Menachem Shlossberg
Abstract:
By [6], a minimal group $G$ is called $z$-minimal if $G/Z(G)$ is minimal. In this paper, we present the $z$-Minimality Criterion for dense subgroups with some applications to topological matrix groups. For a locally compact group $G$, let $\operatorname{Inn}(G)$ be the group of all inner automorphisms of $G,$ endowed with the Birkhoff topology. Using a theorem by Goto [14], we obtain our main resu…
▽ More
By [6], a minimal group $G$ is called $z$-minimal if $G/Z(G)$ is minimal. In this paper, we present the $z$-Minimality Criterion for dense subgroups with some applications to topological matrix groups. For a locally compact group $G$, let $\operatorname{Inn}(G)$ be the group of all inner automorphisms of $G,$ endowed with the Birkhoff topology. Using a theorem by Goto [14], we obtain our main result which asserts that if $G$ is a connected Lie group and $H\in\{G/Z(G), \operatorname{Inn}(G)\},$ then $H$ is minimal if and only if it is centre-free and topologically isomorphic to $\operatorname{Inn}(G/Z(G)).$ In particular, if $G$ is a connected Lie group with discrete centre, then $\operatorname{Inn}(G)$ is minimal. We prove that a connected locally compact nilpotent group is $z$-minimal if and only if it is compact abelian. In contrast, we show that there exists a connected metabelian $z$-minimal Lie group that is neither compact nor abelian.
△ Less
Submitted 28 June, 2024; v1 submitted 29 September, 2023;
originally announced September 2023.
-
More on Rainbow Cliques in Edge-Colored Graphs
Authors:
Xiao-Chuan Liu,
Danni Peng,
Xu Yang
Abstract:
In an edge-colored graph $G$, a rainbow clique $K_k$ is a $k$-complete subgraph in which all the edges have distinct colors. Let $e(G)$ and $c(G)$ be the number of edges and colors in $G$, respectively. In this paper, we show that for any $\varepsilon>0$, if $e(G)+c(G) \geq (1+\frac{k-3}{k-2}+2\varepsilon) {n\choose 2}$ and $k\geq 3$, then for sufficiently large $n$, the number of rainbow cliques…
▽ More
In an edge-colored graph $G$, a rainbow clique $K_k$ is a $k$-complete subgraph in which all the edges have distinct colors. Let $e(G)$ and $c(G)$ be the number of edges and colors in $G$, respectively. In this paper, we show that for any $\varepsilon>0$, if $e(G)+c(G) \geq (1+\frac{k-3}{k-2}+2\varepsilon) {n\choose 2}$ and $k\geq 3$, then for sufficiently large $n$, the number of rainbow cliques $K_k$ in $G$ is $Ω(n^k)$.
We also characterize the extremal graphs $G$ without a rainbow clique $K_k$, for $k=4,5$, when $e(G)+c(G)$ is maximum.
Our results not only address existing questions but also complete the findings of Ehard and Mohr (Ehard and Mohr, Rainbow triangles and cliques in edge-colored graphs. {\it European Journal of Combinatorics, 84:103037,2020}).
△ Less
Submitted 14 August, 2023;
originally announced August 2023.
-
Revisiting $L_q(0\leq q<1)$ Norm Regularized Optimization
Authors:
Shenglong Zhou,
Xianchao Xiu,
Yingnan Wang,
Dingtao Peng
Abstract:
Sparse optimization has seen its advances in recent decades. For scenarios where the true sparsity is unknown, regularization turns out to be a promising solution. Two popular non-convex regularizations are the so-called $L_0$ norm and $L_q$ norm with $q\in(0,1)$, giving rise to extensive research on their induced optimization. However, the majority of these work centered around the main function…
▽ More
Sparse optimization has seen its advances in recent decades. For scenarios where the true sparsity is unknown, regularization turns out to be a promising solution. Two popular non-convex regularizations are the so-called $L_0$ norm and $L_q$ norm with $q\in(0,1)$, giving rise to extensive research on their induced optimization. However, the majority of these work centered around the main function that is twice continuously differentiable and the best convergence rate for an algorithm solving the optimization with $q\in(0,1)$ is superlinear. This paper explores the $L_q$ norm regularized optimization in a unified way for any $q\in[0,1)$, where the main function has a semismooth gradient. In particular, we establish the first-order and the second-order optimality conditions under mild assumptions and then integrate the proximal operator and semismooth Newton method to develop a proximal semismooth Newton pursuit algorithm. Under the second sufficient condition, the whole sequence generated by the algorithm converges to a unique local minimizer. Moreover, the convergence is superlinear and quadratic if the gradient of the main function is semismooth and strongly semismooth at the local minimizer, respectively. Hence, this paper accomplishes the quadratic rate for an algorithm designed to solve the $L_q$ norm regularization problem for any $q\in(0,1)$. Finally, some numerical experiments have showcased its nice performance when compared with several existing solvers.
△ Less
Submitted 5 July, 2024; v1 submitted 25 June, 2023;
originally announced June 2023.
-
Is a Compact Group with All Dense Subgroups Separable Metrizable?
Authors:
Dekui Peng
Abstract:
A compact group with {\bf all dense subspaces} separable is metrizable. Inspired by this, we conjecture that a compact group with {\bf all dense subgroups} separable is metrizable. Positive answers are given here for two elementary cases, say, when the compact group is additionally assumed to be abelian or connected. However, a locally compact abelian group, even when it has an open compact subgro…
▽ More
A compact group with {\bf all dense subspaces} separable is metrizable. Inspired by this, we conjecture that a compact group with {\bf all dense subgroups} separable is metrizable. Positive answers are given here for two elementary cases, say, when the compact group is additionally assumed to be abelian or connected. However, a locally compact abelian group, even when it has an open compact subgroup, with all dense subgroups separable, may not be metrizable. At the end of this note, it is shown that a locally compact group with {\bf all subgroups} separable is metrizable. Our arguments are formalized in a more general form, namely, not restricted to the countable case.
△ Less
Submitted 11 March, 2023;
originally announced March 2023.
-
Densities and Weights of Quotients of Precompact Abelian Groups
Authors:
Dekui Peng
Abstract:
The topological group version of the celebrated Banach-Mazur problem asks wether every infinite topological group has a non-trivial separable quotient group. It is known that compact groups have infinite separable metrizable quotient groups. However, as dense subgroups of compact groups, precompact groups may admit no non-trivial metrizable quotient groups, so also no non-trivial separable quotien…
▽ More
The topological group version of the celebrated Banach-Mazur problem asks wether every infinite topological group has a non-trivial separable quotient group. It is known that compact groups have infinite separable metrizable quotient groups. However, as dense subgroups of compact groups, precompact groups may admit no non-trivial metrizable quotient groups, so also no non-trivial separable quotient groups. In this paper, we study the least cardinal $\mathfrak{m}$ (resp. $\mathfrak{n}$) such that every infinite precompact abelian group admits a quotient group with density character $\leq \mathfrak{m}$ (resp. with weight $\leq \mathfrak{n}$). It is shown that if $2^{<\mathfrak{c}}=\mathfrak{c}$, then $\mathfrak{m}=\mathfrak{c}$ and $\mathfrak{n}=2^\mathfrak{c}$.
A more general problem is to describe the set $QW(G)$ of all possible weights of infinite proper quotient groups of a precompact abelian group $G$. We prove that for every subset $E$ of the interval $[ω, \mathfrak{c}]$, there exists a precompact abelian group $G$ with $QW(G)=E$. If $ω\in E$, then $G$ can be chosen to be pseudocompact.
In an appendix, we give an example to show that a non-totally disconnected locally compact group may admit no separable quotient groups. This answers an open problem posed in \cite{LMT}.
△ Less
Submitted 20 July, 2023; v1 submitted 13 November, 2022;
originally announced November 2022.
-
Turán Number of Subdivisions of Multipartite Graphs
Authors:
Xiao-Chuan Liu,
Danni Peng,
Xu Yang
Abstract:
In this paper, we initiate the study of the extremal exponent for the $1$-subdivisions of non-bipartite non-complete graphs. Let $K_{C_k,1}$ be the graph by connecting an additional vertex to every vertex of the cycle $C_k$, $k\geq 4$. We show that for the $1$-subdivision of the tripartite graph $K_{C_k,1}^{\text{sub}}$, its Turán number is $Θ(n^{4/3})$. Then we obtain the upper bound for the extr…
▽ More
In this paper, we initiate the study of the extremal exponent for the $1$-subdivisions of non-bipartite non-complete graphs. Let $K_{C_k,1}$ be the graph by connecting an additional vertex to every vertex of the cycle $C_k$, $k\geq 4$. We show that for the $1$-subdivision of the tripartite graph $K_{C_k,1}^{\text{sub}}$, its Turán number is $Θ(n^{4/3})$. Then we obtain the upper bound for the extremal number of a family of graphs consisting of (possibly degenerate) $1$-subdivisions of certain tripartite graphs. We also obtain the same upper bound for the 1-subdivision of $(K_{s+1,t}^+)^{sub}$, where $K_{s+1,t}^+$ is a graph obtained by joining $K_{s,t}$ with one new vertex $r$ by means of connecting $r$ with one vertex in the $s$-part and all the vertices in the $t$-part.
△ Less
Submitted 11 March, 2023; v1 submitted 24 December, 2021;
originally announced December 2021.
-
Optimal spinor selectivity for quaternion Bass orders
Authors:
Deke Peng,
Jiangwei Xue
Abstract:
Let $A$ be a quaternion algebra over a number field $F$, and $\mathcal{O}$ be an $O_F$-order of full rank in $A$. Let $K$ be a quadratic field extension of $F$ that embeds into $A$, and $B$ be an $O_F$-order in $K$. Suppose that $\mathcal{O}$ is a Bass order that is well-behaved at all the dyadic primes of $F$. We provide a necessary and sufficient condition for $B$ to be optimally spinor selectiv…
▽ More
Let $A$ be a quaternion algebra over a number field $F$, and $\mathcal{O}$ be an $O_F$-order of full rank in $A$. Let $K$ be a quadratic field extension of $F$ that embeds into $A$, and $B$ be an $O_F$-order in $K$. Suppose that $\mathcal{O}$ is a Bass order that is well-behaved at all the dyadic primes of $F$. We provide a necessary and sufficient condition for $B$ to be optimally spinor selective for the genus of $\mathcal{O}$. This partially generalizes previous results on optimal (spinor) selectivity by C. Maclachlan [Optimal embeddings in quaternion algebras. J. Number Theory, 128(10):2852-2860, 2008] for Eichler orders of square-free levels, and independently by M. Arenas et al. [On optimal embeddings and trees. J. Number Theory, 193:91-117, 2018] and by J. Voight [Chapter 31, Quaternion algebras, volume 288 of Graduate Texts in Mathematics. Springer-Verlag, 2021] for Eichler orders of arbitrary levels.
△ Less
Submitted 18 February, 2021; v1 submitted 2 December, 2020;
originally announced December 2020.
-
Countably infinite bounded abelian groups admit no non-discrete locally minimal group topologies
Authors:
Dekui Peng
Abstract:
In this note we show that if $G$ is a countably infinite abelian group such that $nG=0$ for some integer $n$, then the only locally minimal group topology on $G$ is the discrete one.
In this note we show that if $G$ is a countably infinite abelian group such that $nG=0$ for some integer $n$, then the only locally minimal group topology on $G$ is the discrete one.
△ Less
Submitted 29 December, 2019;
originally announced December 2019.
-
Multiobjective Test Problems with Degenerate Pareto Fronts
Authors:
Liangli Zhen,
Miqing Li,
Ran Cheng,
Dezhong Peng,
Xin Yao
Abstract:
In multiobjective optimisation, a set of scalable test problems with a variety of features allow researchers to investigate and evaluate the abilities of different optimisation algorithms, and thus can help them to design and develop more effective and efficient approaches. Existing test problem suites mainly focus on situations where all the objectives are fully conflicting with each other. In su…
▽ More
In multiobjective optimisation, a set of scalable test problems with a variety of features allow researchers to investigate and evaluate the abilities of different optimisation algorithms, and thus can help them to design and develop more effective and efficient approaches. Existing test problem suites mainly focus on situations where all the objectives are fully conflicting with each other. In such cases, an m-objective optimisation problem has an (m-1)-dimensional Pareto front in the objective space. However, in some optimisation problems, there may be unexpected characteristics among objectives, e.g., redundancy. The redundancy of some objectives can lead to the multiobjective problem having a degenerate Pareto front, i.e., the dimension of the Pareto front of the $m$-objective problem be less than (m-1). In this paper, we systematically study degenerate multiobjective problems. We abstract three general characteristics of degenerate problems, which are not formulated and systematically investigated in the literature. Based on these characteristics, we present a set of test problems to support the investigation of multiobjective optimisation algorithms under situations with redundant objectives. To the best of our knowledge, this work is the first one that explicitly formulates these three characteristics of degenerate problems, thus allowing the resulting test problems to be featured by their generality, in contrast to existing test problems designed for specific purposes (e.g., visualisation).
△ Less
Submitted 23 August, 2022; v1 submitted 7 June, 2018;
originally announced June 2018.