-
A splitting-based KPIK method for eddy current optimal control problems in an all-at-once approach
Authors:
Min-Li Zeng,
Martin Stoll
Abstract:
In this paper, we focus on efficient methods to solve discretized linear systems obtained from eddy current optimal control problems in an all-at-once approach. We construct a new low-rank matrix equation method based on a special splitting of the coefficient matrix and the Krylov-plus-inverted-Krylov (KPIK) algorithm. Firstly, we rewrite the resulting discretized linear system in a matrix-equatio…
▽ More
In this paper, we focus on efficient methods to solve discretized linear systems obtained from eddy current optimal control problems in an all-at-once approach. We construct a new low-rank matrix equation method based on a special splitting of the coefficient matrix and the Krylov-plus-inverted-Krylov (KPIK) algorithm. Firstly, we rewrite the resulting discretized linear system in a matrix-equation form. Then using the KPIK algorithm, we can obtain the low-rank approximation solution. The new method is named the splitting-based Krylov-plus-inverted-Krylov (SKPIK) method. The SKPIK method can not only solve the large and sparse discretized systems fast but also overcomes the storage problem. Theoretical results about the existence of the low-rank solutions are given. Numerical experiments are used to illustrate the performance of the new low-rank matrix equation method by compared with some existing classical efficient methods.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Transchromatic phenomena in the equivariant slice spectral sequence
Authors:
Lennart Meier,
XiaoLin Danny Shi,
Mingcong Zeng
Abstract:
In this paper, we prove a transchromatic phenomenon for Hill--Hopkins--Ravenel and Lubin--Tate theories. This establishes a direct relationship between the equivariant slice spectral sequences of height-$h$ and height-$(h/2)$ theories. As applications of this transchromatic phenomenon, we prove periodicity and vanishing line results for these theories.
In this paper, we prove a transchromatic phenomenon for Hill--Hopkins--Ravenel and Lubin--Tate theories. This establishes a direct relationship between the equivariant slice spectral sequences of height-$h$ and height-$(h/2)$ theories. As applications of this transchromatic phenomenon, we prove periodicity and vanishing line results for these theories.
△ Less
Submitted 1 March, 2024;
originally announced March 2024.
-
A stratification of the equivariant slice filtration
Authors:
Lennart Meier,
XiaoLin Danny Shi,
Mingcong Zeng
Abstract:
In this paper, we construct a stratification tower for the equivariant slice filtration. This tower stratifies the slice spectral sequence of a $G$-spectrum $X$ into distinct regions. Within each of these regions, the differentials are determined by the localized slice spectral sequences, which compute the geometric fixed points along with their associated residue group actions. Consequently, the…
▽ More
In this paper, we construct a stratification tower for the equivariant slice filtration. This tower stratifies the slice spectral sequence of a $G$-spectrum $X$ into distinct regions. Within each of these regions, the differentials are determined by the localized slice spectral sequences, which compute the geometric fixed points along with their associated residue group actions. Consequently, the stratification tower offers an inductive method of understanding the entirety of the equivariant slice spectral sequence of $X$ by examining each of its distinct stratification regions.
△ Less
Submitted 9 March, 2024; v1 submitted 18 October, 2023;
originally announced October 2023.
-
An ML approach to resolution of singularities
Authors:
Gergely Bérczi,
Honglu Fan,
Mingcong Zeng
Abstract:
The solution set of a system of polynomial equations typically contains ill-behaved, singular points. Resolution is a fundamental process in geometry in which we replace singular points with smooth points, while kee** the rest of the solution set unchanged. Resolutions are not unique: the usual way to describe them involves repeatedly performing a fundamental operation known as "blowing-up", and…
▽ More
The solution set of a system of polynomial equations typically contains ill-behaved, singular points. Resolution is a fundamental process in geometry in which we replace singular points with smooth points, while kee** the rest of the solution set unchanged. Resolutions are not unique: the usual way to describe them involves repeatedly performing a fundamental operation known as "blowing-up", and the complexity of the resolution highly depends on certain choices. The process can be translated into various versions of a 2-player game, the so-called Hironaka game, and a winning strategy for the first player provides a solution to the resolution problem. In this paper we introduce a new approach to the Hironaka game that uses reinforcement learning agents to find optimal resolutions of singularities. In certain domains, the trained model outperforms state-of-the-art selection heuristics in total number of polynomial additions performed, which provides a proof-of-concept that recent developments in machine learning have the potential to improve performance of algorithms in symbolic computation.
△ Less
Submitted 22 August, 2023; v1 submitted 1 July, 2023;
originally announced July 2023.
-
On the slice spectral sequence for quotients of norms of Real bordism
Authors:
Agnès Beaudry,
Michael A. Hill,
Tyler Lawson,
XiaoLin Danny Shi,
Mingcong Zeng
Abstract:
In this paper, we investigate equivariant quotients of the Real bordism spectrum's multiplicative norm $MU^{((C_{2^n}))}$ by permutation summands. These quotients are of interest because of their close relationship with higher real $K$-theories. We introduce new techniques for computing the equivariant homotopy groups of such quotients.
As a new example, we examine the theories…
▽ More
In this paper, we investigate equivariant quotients of the Real bordism spectrum's multiplicative norm $MU^{((C_{2^n}))}$ by permutation summands. These quotients are of interest because of their close relationship with higher real $K$-theories. We introduce new techniques for computing the equivariant homotopy groups of such quotients.
As a new example, we examine the theories $BP^{((C_{2^n}))}\langle m,m\rangle$. These spectra serve as natural equivariant generalizations of connective integral Morava $K$-theories. We provide a complete computation of the $a_σ$-localized slice spectral sequence of $i^*_{C_{2^{n-1}}}BP^{((C_{2^n}))}\langle m,m\rangle$, where $σ$ is the real sign representation of $C_{2^{n-1}}$. To achieve this computation, we establish a correspondence between this localized slice spectral sequence and the $H\mathbb{F}_2$-based Adams spectral sequence in the category of $H\mathbb{F}_2 \wedge H\mathbb{F}_2$-modules. Furthermore, we provide a full computation of the $a_λ$-localized slice spectral sequence of the height-4 theory $BP^{((C_{4}))}\langle 2,2\rangle$. The $C_4$-slice spectral sequence can be entirely recovered from this computation.
△ Less
Submitted 3 January, 2024; v1 submitted 8 April, 2022;
originally announced April 2022.
-
Quotient rings of $H\mathbb{F}_2 \wedge H\mathbb{F}_2$
Authors:
Agnes Beaudry,
Michael A. Hill,
Tyler Lawson,
XiaoLin Danny Shi,
Mingcong Zeng
Abstract:
We study modules over the commutative ring spectrum $H\mathbb F_2\wedge H\mathbb F_2$, whose coefficient groups are quotients of the dual Steenrod algebra by collections of the Milnor generators. We show that very few of these quotients admit algebra structures, but those that do can be constructed simply: killing a generator $ξ_k$ in the category of associative algebras freely kills the higher ge…
▽ More
We study modules over the commutative ring spectrum $H\mathbb F_2\wedge H\mathbb F_2$, whose coefficient groups are quotients of the dual Steenrod algebra by collections of the Milnor generators. We show that very few of these quotients admit algebra structures, but those that do can be constructed simply: killing a generator $ξ_k$ in the category of associative algebras freely kills the higher generators $ξ_{k+n}$. Using new information about the conjugation operation in the dual Steenrod algebra, we also consider quotients by families of Milnor generators and their conjugates. This allows us to produce a family of associative $H\mathbb F_2\wedge H\mathbb F_2$-algebras whose coefficient rings are finite-dimensional and exhibit unexpected duality features. We then use these algebras to give detailed computations of the homotopy groups of several modules over this ring spectrum.
△ Less
Submitted 26 March, 2021;
originally announced March 2021.
-
The localized slice spectral sequence, norms of Real bordism, and the Segal conjecture
Authors:
Lennart Meier,
XiaoLin Danny Shi,
Mingcong Zeng
Abstract:
In this paper, we introduce the localized slice spectral sequence, a variant of the equivariant slice spectral sequence that computes geometric fixed points equipped with residue group actions. We prove convergence and recovery theorems for the localized slice spectral sequence and use it to analyze the norms of the Real bordism spectrum. As a consequence, we relate the Real bordism spectrum and i…
▽ More
In this paper, we introduce the localized slice spectral sequence, a variant of the equivariant slice spectral sequence that computes geometric fixed points equipped with residue group actions. We prove convergence and recovery theorems for the localized slice spectral sequence and use it to analyze the norms of the Real bordism spectrum. As a consequence, we relate the Real bordism spectrum and its norms to a form of the $C_2$-Segal conjecture. We compute the localized slice spectral sequence of the $C_4$-norm of $BP_\mathbb{R}$ in a range and show that the Hill--Hopkins--Ravenel slice differentials is in one-to-one correspondence with a family of Tate differentials for $N_1^2 H{\mathbb{F}}_2$.
△ Less
Submitted 10 January, 2023; v1 submitted 11 August, 2020;
originally announced August 2020.
-
The maximal tree with respect to the exponential of the second Zagreb index
Authors:
Mingyao Zeng,
Hanyuan Deng
Abstract:
The second Zagreb index is $M_2(G)=\sum_{uv\in E(G)}d_{G}(u)d_{G}(v)$. It was found to occur in certain approximate expressions of the total $π$-electron energy of alternant hydrocarbons and used by various researchers in their QSPR and QSAR studies. Recently the exponential of a vertex-degree-based topological index was introduced. It is known that among all trees with $n$ vertices, the exponenti…
▽ More
The second Zagreb index is $M_2(G)=\sum_{uv\in E(G)}d_{G}(u)d_{G}(v)$. It was found to occur in certain approximate expressions of the total $π$-electron energy of alternant hydrocarbons and used by various researchers in their QSPR and QSAR studies. Recently the exponential of a vertex-degree-based topological index was introduced. It is known that among all trees with $n$ vertices, the exponential of the second Zagreb index $e^{M_2}$ attains its minimum value in the path $P_n$. In this paper, we show that $e^{M_2}$ attains its maximum value in the balanced double star with $n$ vertices and solve an open problem proposed by Cruz and Rada [R. Cruz, J. Rada, The path and the star as extremal values of vertex-degree-based topological indices among trees, MATCH Commun. Math. Comput. Chem. 82 (3) (2019) 715-732].
△ Less
Submitted 15 June, 2020;
originally announced June 2020.
-
Transchromatic extensions in motivic and Real bordism
Authors:
Agnes Beaudry,
Michael A. Hill,
XiaoLin Danny Shi,
Mingcong Zeng
Abstract:
We show a number of Toda brackets in the homotopy of the motivic bordism spectrum $MGL$ and of the Real bordism spectrum $MU_{\mathbb R}$. These brackets are "red-shifting" in the sense that while the terms in the bracket will be of some chromatic height $n$, the bracket itself will be of chromatic height $(n+1)$. Using these, we deduce a family of exotic multiplications in the…
▽ More
We show a number of Toda brackets in the homotopy of the motivic bordism spectrum $MGL$ and of the Real bordism spectrum $MU_{\mathbb R}$. These brackets are "red-shifting" in the sense that while the terms in the bracket will be of some chromatic height $n$, the bracket itself will be of chromatic height $(n+1)$. Using these, we deduce a family of exotic multiplications in the $π_{(\ast,\ast)}MGL$-module structure of the motivic Morava $K$-theories, including non-trivial multiplications by $2$. These in turn imply the analogous family of exotic multiplications in the $π_{\star}MU_\mathbb R$-module structure on the Real Morava $K$-theories.
△ Less
Submitted 14 September, 2021; v1 submitted 21 May, 2020;
originally announced May 2020.
-
Vintage Factor Analysis with Varimax Performs Statistical Inference
Authors:
Karl Rohe,
Muzhe Zeng
Abstract:
Psychologists developed Multiple Factor Analysis to decompose multivariate data into a small number of interpretable factors without any a priori knowledge about those factors. In this form of factor analysis, the Varimax "factor rotation" is a key step to make the factors interpretable. Charles Spearman and many others objected to factor rotations because the factors seem to be rotationally invar…
▽ More
Psychologists developed Multiple Factor Analysis to decompose multivariate data into a small number of interpretable factors without any a priori knowledge about those factors. In this form of factor analysis, the Varimax "factor rotation" is a key step to make the factors interpretable. Charles Spearman and many others objected to factor rotations because the factors seem to be rotationally invariant. These objections are still reported in all contemporary multivariate statistics textbooks. This is an engima because this vintage form of factor analysis has survived and is widely popular because, empirically, the factor rotation often makes the factors easier to interpret. We argue that the rotation makes the factors easier to interpret because, in fact, the Varimax factor rotation performs statistical inference. We show that Principal Components Analysis (PCA) with the Varimax rotation provides a unified spectral estimation strategy for a broad class of modern factor models, including the Stochastic Blockmodel and a natural variation of Latent Dirichlet Allocation (i.e., "topic modeling"). In addition, we show that Thurstone's widely employed sparsity diagnostics implicitly assess a key "leptokurtic" condition that makes the rotation statistically identifiable in these models. Taken together, this shows that the know-how of Vintage Factor Analysis performs statistical inference, reversing nearly a century of statistical thinking on the topic. With a sparse eigensolver, PCA with Varimax is both fast and stable. Combined with Thurstone's straightforward diagnostics, this vintage approach is suitable for a wide array of modern applications.
△ Less
Submitted 20 April, 2020; v1 submitted 11 April, 2020;
originally announced April 2020.
-
Models of Lubin-Tate spectra via Real bordism theory
Authors:
Agnes Beaudry,
Michael A. Hill,
XiaoLin Danny Shi,
Mingcong Zeng
Abstract:
We study certain formal group laws equipped with an action of the cyclic group of order a power of $2$. We construct $C_{2^n}$-equivariant Real oriented models of Lubin-Tate spectra $E_h$ at heights $h=2^{n-1}m$ and give explicit formulas of the $C_{2^n}$-action on their coefficient rings. Our construction utilizes equivariant formal group laws associated with the norms of the Real bordism theory…
▽ More
We study certain formal group laws equipped with an action of the cyclic group of order a power of $2$. We construct $C_{2^n}$-equivariant Real oriented models of Lubin-Tate spectra $E_h$ at heights $h=2^{n-1}m$ and give explicit formulas of the $C_{2^n}$-action on their coefficient rings. Our construction utilizes equivariant formal group laws associated with the norms of the Real bordism theory $MU_{\mathbb{R}}$, and our work examines the height of the formal group laws of the Hill-Hopkins-Ravenel norms of $MU_{\mathbb{R}}$.
△ Less
Submitted 25 November, 2021; v1 submitted 22 January, 2020;
originally announced January 2020.
-
Constrained Optimal Stop**, Liquidity and Effort
Authors:
David Hobson,
Matthew Zeng
Abstract:
In a classical optimal stop** problem in continuous time, the agent can choose any stop** time without constraint. Dupuis and Wang (Optimal stop** with random intervention times, Advances in Applied Probability, 34, 141--157, 2002) introduced a constraint on the class of admissible stop** times which was that they had to take values in the set of event times of an exogenous, time-homogeneo…
▽ More
In a classical optimal stop** problem in continuous time, the agent can choose any stop** time without constraint. Dupuis and Wang (Optimal stop** with random intervention times, Advances in Applied Probability, 34, 141--157, 2002) introduced a constraint on the class of admissible stop** times which was that they had to take values in the set of event times of an exogenous, time-homogeneous Poisson process. This can be thought of as a model of finite liquidity. In this article we extend the analysis of Dupuis and Wang to allow the agent to choose the rate of the Poisson process. Choosing a higher rate leads to a higher cost. Even for a simple model for the stopped process and a simple call-style payoff, the problem leads to a rich range of optimal behaviours which depend on the form of the cost function. Often the agent accepts the first offer --- if they are not going to accept an offer then there is no point in putting in effort to generate offers, and thus there may be no offers to accept or decline --- but for some set-ups this is not the case.
△ Less
Submitted 22 January, 2019;
originally announced January 2019.
-
The $\mathbb Z$-homotopy fixed points of $C_{n}$ spectra with applications to norms of $MU_{\mathbb R}$
Authors:
Michael A. Hill,
Mingcong Zeng
Abstract:
We introduce a computationally tractable way to describe the $\mathbb Z$-homotopy fixed points of a $C_{n}$-spectrum $E$, producing a genuine $C_{n}$ spectrum $E^{hn\mathbb Z}$ whose fixed and homotopy fixed points agree and are the $\mathbb Z$-homotopy fixed points of $E$. These form a piece of a contravariant functor from the divisor poset of $n$ to genuine $C_{n}$-spectra, and when $E$ is an…
▽ More
We introduce a computationally tractable way to describe the $\mathbb Z$-homotopy fixed points of a $C_{n}$-spectrum $E$, producing a genuine $C_{n}$ spectrum $E^{hn\mathbb Z}$ whose fixed and homotopy fixed points agree and are the $\mathbb Z$-homotopy fixed points of $E$. These form a piece of a contravariant functor from the divisor poset of $n$ to genuine $C_{n}$-spectra, and when $E$ is an $N_{\infty}$-ring spectrum, this functor lifts to a functor of $N_{\infty}$-ring spectra.
For spectra like the Real Johnson--Wilson theories or the norms of Real bordism, the slice spectral sequence provides a way to easily compute the $RO(G)$-graded homotopy groups of the spectrum $E^{hn\mathbb Z}$, giving the homotopy groups of the $\mathbb Z$-homotopy fixed points. For the more general spectra in the contravariant functor, the slice spectral sequences interpolate between the one for the norm of Real bordism and the especially simple $\mathbb Z$-homotopy fixed point case, giving us a family of new tools to simplify slice computations.
△ Less
Submitted 30 August, 2018;
originally announced August 2018.
-
Equivariant Eilenberg-Mac Lane spectra in cyclic $p$-groups
Authors:
Mingcong Zeng
Abstract:
In this paper we compute $RO(G)$-graded homotopy Mackey functors of $H\underline{\mathbb{Z}}$, the Eilenberg-Mac Lane spectrum of the constant Mackey functor of integers for cyclic p-groups and give a complete computation for $G = C_{p^2}$ . We also discuss homological algebra of $\underline{\mathbb{Z}}$-modules for cyclic $p$-groups, and interactions between these two. The goal of this paper is t…
▽ More
In this paper we compute $RO(G)$-graded homotopy Mackey functors of $H\underline{\mathbb{Z}}$, the Eilenberg-Mac Lane spectrum of the constant Mackey functor of integers for cyclic p-groups and give a complete computation for $G = C_{p^2}$ . We also discuss homological algebra of $\underline{\mathbb{Z}}$-modules for cyclic $p$-groups, and interactions between these two. The goal of this paper is to understand various slice spectral sequences as $RO(G)$-graded spectral sequences of Mackey functors.
△ Less
Submitted 17 July, 2018; v1 submitted 4 October, 2017;
originally announced October 2017.
-
Optimal Stop** and the Sufficiency of Randomized Threshold Strategies
Authors:
Vicky Henderson,
David Hobson,
Matthew Zeng
Abstract:
In a classical optimal stop** problem the aim is to maximize the expected value of a functional of a diffusion evaluated at a stop** time. This note considers optimal stop** problems beyond this paradigm. We study problems in which the value associated to a stop** rule depends on the law of the stopped process. If this value is quasi-convex on the space of attainable laws then it is a well…
▽ More
In a classical optimal stop** problem the aim is to maximize the expected value of a functional of a diffusion evaluated at a stop** time. This note considers optimal stop** problems beyond this paradigm. We study problems in which the value associated to a stop** rule depends on the law of the stopped process. If this value is quasi-convex on the space of attainable laws then it is a well known result that it is sufficient to restrict attention to the class of threshold strategies. However, if the objective function is not quasi-convex, this may not be the case. We show that, nonetheless, it is sufficient to restrict attention to mixtures of threshold strategies.
△ Less
Submitted 3 August, 2017;
originally announced August 2017.
-
Composition-Diamond Lemma for Non-associative Algebras over a Commutative Algebra
Authors:
Yuqun Chen,
**g Li,
Mingjun Zeng
Abstract:
We establish the Composition-Diamond lemma for non-associative algebras over a free commutative algebra. As an application, we prove that every countably generated non-associative algebra over an arbitrary commutative algebra $K$ can be embedded into a two-generated non-associative algebra over $K$.
We establish the Composition-Diamond lemma for non-associative algebras over a free commutative algebra. As an application, we prove that every countably generated non-associative algebra over an arbitrary commutative algebra $K$ can be embedded into a two-generated non-associative algebra over $K$.
△ Less
Submitted 1 September, 2010;
originally announced September 2010.
-
On the equations defining curves in a polynomial algebra
Authors:
Ze Min Zeng
Abstract:
Let $A$ be a commutative Noetherian ring of dimension $n$ ($n \ge 3$). Let $I$ be a local complete intersection ideal in $A[T]$ of height $n$. Suppose $I/{I^2}$ is free ${A[T]}/I$-module of rank $n$ and $({A[T]}/I)$ is torsion in $K_0(A[T])$. It is proved in this paper that $I$ is a set theoretic complete intersection ideal in $A[T]$ if one of the following conditions holds: (1) $n$ $\ge 5$, odd…
▽ More
Let $A$ be a commutative Noetherian ring of dimension $n$ ($n \ge 3$). Let $I$ be a local complete intersection ideal in $A[T]$ of height $n$. Suppose $I/{I^2}$ is free ${A[T]}/I$-module of rank $n$ and $({A[T]}/I)$ is torsion in $K_0(A[T])$. It is proved in this paper that $I$ is a set theoretic complete intersection ideal in $A[T]$ if one of the following conditions holds: (1) $n$ $\ge 5$, odd; (2) $n$ is even, and $A$ contains the field of rational numbers; (3) $n = 3$, and $A$ contains the field of rational numbers.
△ Less
Submitted 16 August, 2005;
originally announced August 2005.
-
Set theoretic complete intersection for curves in a smooth affine algebra
Authors:
Ze Min Zeng
Abstract:
It is proved in this paper that a locally complete intersection curve in a smooth affine C-algebra with trival conormal bundle is a set theoretic complete intersection if its corresponding class in the Grothendieck Group is torsion.
It is proved in this paper that a locally complete intersection curve in a smooth affine C-algebra with trival conormal bundle is a set theoretic complete intersection if its corresponding class in the Grothendieck Group is torsion.
△ Less
Submitted 12 August, 2005;
originally announced August 2005.