-
Exterior stability of Minkowski spacetime with borderline decay
Authors:
Dawei Shen
Abstract:
In 1993, the global stability of Minkowski spacetime has been proven in the celebrated work of Christodoulou and Klainerman \cite{Ch-Kl}. In 2003, Klainerman and Nicolò \cite{Kl-Ni} revisited Minkowski stability in the exterior of an outgoing null cone. In \cite{Shen23}, the author extended the results of \cite{Ch-Kl} to minimal decay assumptions. In this paper, we prove that the exterior stabilit…
▽ More
In 1993, the global stability of Minkowski spacetime has been proven in the celebrated work of Christodoulou and Klainerman \cite{Ch-Kl}. In 2003, Klainerman and Nicolò \cite{Kl-Ni} revisited Minkowski stability in the exterior of an outgoing null cone. In \cite{Shen23}, the author extended the results of \cite{Ch-Kl} to minimal decay assumptions. In this paper, we prove that the exterior stability of Minkowski holds with decay which is borderline compared to the minimal decay considered in \cite{Shen23}.
△ Less
Submitted 29 April, 2024;
originally announced May 2024.
-
Angular Momentum Memory Effect
Authors:
Xinliang An,
Taoran He,
Dawei Shen
Abstract:
Utilizing recent mathematical advances in proving stability of Minkowski spacetime with minimal decay rates and nonlinear stability of Kerr black holes with small angular momentum, we investigate the detailed asymptotic behaviors of gravitational waves generated in these spacetimes. Here we report and propose a new angular momentum memory effect along future null infinity. This accompanies Christo…
▽ More
Utilizing recent mathematical advances in proving stability of Minkowski spacetime with minimal decay rates and nonlinear stability of Kerr black holes with small angular momentum, we investigate the detailed asymptotic behaviors of gravitational waves generated in these spacetimes. Here we report and propose a new angular momentum memory effect along future null infinity. This accompanies Christodoulou's nonlinear displacement memory effect and the spin memory effect. The connections and differences to these effects are also addressed.
△ Less
Submitted 10 April, 2024; v1 submitted 17 March, 2024;
originally announced March 2024.
-
Global stability of Minkowski spacetime with minimal decay
Authors:
Dawei Shen
Abstract:
The global stability of Minkowski spacetime, a milestone in the field, has been proven in the celebrated work of Christodoulou and Klainerman \cite{Ch-Kl} in 1993. In 2007, Bieri \cite{Bieri} has extended the result of \cite{Ch-Kl} under lower decay and regularity assumptions on the initial data. In this paper, we extend the result of \cite{Bieri} to minimal decay assumptions. Also, concerning the…
▽ More
The global stability of Minkowski spacetime, a milestone in the field, has been proven in the celebrated work of Christodoulou and Klainerman \cite{Ch-Kl} in 1993. In 2007, Bieri \cite{Bieri} has extended the result of \cite{Ch-Kl} under lower decay and regularity assumptions on the initial data. In this paper, we extend the result of \cite{Bieri} to minimal decay assumptions. Also, concerning the treatment of curvature estimates, we replace the vectorfield method used in \cite{Ch-Kl,Bieri} by the $r^p$--weighted estimates of Dafermos and Rodnianski \cite{Da-Ro}.
△ Less
Submitted 11 October, 2023;
originally announced October 2023.
-
Algebraic and Statistical Properties of the Ordinary Least Squares Interpolator
Authors:
Dennis Shen,
Dogyoon Song,
Peng Ding,
Jasjeet S. Sekhon
Abstract:
Deep learning research has uncovered the phenomenon of benign overfitting for overparameterized statistical models, which has drawn significant theoretical interest in recent years. Given its simplicity and practicality, the ordinary least squares (OLS) interpolator has become essential to gain foundational insights into this phenomenon. While properties of OLS are well established in classical, u…
▽ More
Deep learning research has uncovered the phenomenon of benign overfitting for overparameterized statistical models, which has drawn significant theoretical interest in recent years. Given its simplicity and practicality, the ordinary least squares (OLS) interpolator has become essential to gain foundational insights into this phenomenon. While properties of OLS are well established in classical, underparameterized settings, its behavior in high-dimensional, overparameterized regimes is less explored (unlike for ridge or lasso regression) though significant progress has been made of late. We contribute to this growing literature by providing fundamental algebraic and statistical results for the minimum $\ell_2$-norm OLS interpolator. In particular, we provide algebraic equivalents of (i) the leave-$k$-out residual formula, (ii) Cochran's formula, and (iii) the Frisch-Waugh-Lovell theorem in the overparameterized regime. These results aid in understanding the OLS interpolator's ability to generalize and have substantive implications for causal inference. Under the Gauss-Markov model, we present statistical results such as an extension of the Gauss-Markov theorem and an analysis of variance estimation under homoskedastic errors for the overparameterized regime. To substantiate our theoretical contributions, we conduct simulations that further explore the stochastic properties of the OLS interpolator.
△ Less
Submitted 30 May, 2024; v1 submitted 27 September, 2023;
originally announced September 2023.
-
%-Immanants and Temperley-Lieb Immanants
Authors:
Frank Lu,
Kevin Ren,
Dawei Shen,
Siki Wang
Abstract:
In this paper, we investigate the relationship between Temperley-Lieb immanants, which were introduced by Rhoades and Skandera, and %-immanants, an immanant based on a concept introduced by Chepuri and Sherman-Bennett. Our main result is a classification of when a Temperley-Lieb immanant can be written as a linear combination of %-immanants. This result uses a formula by Rhoades and Skandera to co…
▽ More
In this paper, we investigate the relationship between Temperley-Lieb immanants, which were introduced by Rhoades and Skandera, and %-immanants, an immanant based on a concept introduced by Chepuri and Sherman-Bennett. Our main result is a classification of when a Temperley-Lieb immanant can be written as a linear combination of %-immanants. This result uses a formula by Rhoades and Skandera to compute Temperley-Lieb immanants in terms of complementary minors. Using this formula, we also derive an explicit expression for the coefficients of a Temperley-Lieb immanant coming from a $321$-, $1324$-avoiding permutation $w$ containing the pattern $2143,$ which we use to derive our main result.
△ Less
Submitted 29 March, 2023;
originally announced March 2023.
-
Kerr stability in external regions
Authors:
Dawei Shen
Abstract:
In 2003, Klainerman and Nicolò \cite{Kl-Ni} proved the stability of Minkowski in the case of the exterior of an outgoing null cone. Relying on the method used in \cite{Kl-Ni}, Caciotta and Nicolò \cite{Ca-Ni} proved the stability of Kerr spacetime in external regions, i.e. outside an outgoing null cone far away from the Kerr event horizon. In this paper, we give a new proof of \cite{Ca-Ni}. Compar…
▽ More
In 2003, Klainerman and Nicolò \cite{Kl-Ni} proved the stability of Minkowski in the case of the exterior of an outgoing null cone. Relying on the method used in \cite{Kl-Ni}, Caciotta and Nicolò \cite{Ca-Ni} proved the stability of Kerr spacetime in external regions, i.e. outside an outgoing null cone far away from the Kerr event horizon. In this paper, we give a new proof of \cite{Ca-Ni}. Compared to \cite{Ca-Ni}, we reduce the number of derivatives needed in the proof, simplify the treatment of the last slice, and provide a unified treatment of the decay of initial data which contains in particular the initial data considered by Klainerman and Szeftel in \cite{KS:main}. Also, concerning the treatment of curvature estimates, similar to \cite{ShenMink}, we replace the vectorfield method used in \cite{Kl-Ni,Ca-Ni} by $r^p$-weighted estimates introduced by Dafermos and Rodnianski in \cite{Da-Ro}.
△ Less
Submitted 15 April, 2024; v1 submitted 22 March, 2023;
originally announced March 2023.
-
The magnitude for Nakayama algebras
Authors:
Dawei Shen,
Yaru Wu
Abstract:
The magnitude for algebras is a generalization of the Euler characteristic. We investigate the magnitude for Nakayama algebras. Using Ringel's resolution quiver, the existence and the value of rational magnitude is given. As a result, we show that the finite global dimension criteria for Nakayama algebras of Madsen and the first author are equivalent.
The magnitude for algebras is a generalization of the Euler characteristic. We investigate the magnitude for Nakayama algebras. Using Ringel's resolution quiver, the existence and the value of rational magnitude is given. As a result, we show that the finite global dimension criteria for Nakayama algebras of Madsen and the first author are equivalent.
△ Less
Submitted 11 March, 2023;
originally announced March 2023.
-
N-recollements and Virtually Gorenstein Algebras
Authors:
Dawei Shen,
Hao Su
Abstract:
The relation between the $n$-recollements of stable categories of Gorenstein projective modules and the virtual Gorensteinness of algebras are investigated. Let $A,B$, and $C$ be finite dimensional algebras. We prove that if the stable category of Gorenstein projective $A$-modules admits a $n$-recollement relative to that of $B$ and $C$ with $n\geq 2$, then $A$ is virtually Gorenstein if and only…
▽ More
The relation between the $n$-recollements of stable categories of Gorenstein projective modules and the virtual Gorensteinness of algebras are investigated. Let $A,B$, and $C$ be finite dimensional algebras. We prove that if the stable category of Gorenstein projective $A$-modules admits a $n$-recollement relative to that of $B$ and $C$ with $n\geq 2$, then $A$ is virtually Gorenstein if and only if so are $B$ and $C$.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
Stability of Minkowski spacetime in exterior regions
Authors:
Dawei Shen
Abstract:
In 1993, the global stability of Minkowski spacetime has been proven in the celebrated work of Christodoulou and Klainerman \cite{Ch-Kl} in a maximal foliation. In 2003, Klainerman and Nicòlo \cite{Kl-Ni} gave a second proof of the stability of Minkowski in the case of the exterior of an outgoing null cone. In this paper, we give a new proof of \cite{Kl-Ni}. Compared to \cite{Kl-Ni}, we reduce the…
▽ More
In 1993, the global stability of Minkowski spacetime has been proven in the celebrated work of Christodoulou and Klainerman \cite{Ch-Kl} in a maximal foliation. In 2003, Klainerman and Nicòlo \cite{Kl-Ni} gave a second proof of the stability of Minkowski in the case of the exterior of an outgoing null cone. In this paper, we give a new proof of \cite{Kl-Ni}. Compared to \cite{Kl-Ni}, we reduce the number of derivatives needed in the proof, simplify the treatment of the last slice, and provide a unified treatment of the decay of initial data. Also, concerning the treatment of curvature estimates, we replace the vectorfield method used in \cite{Kl-Ni} by the $r^p$--weighted estimates of Dafermos and Rodnianski \cite{Da-Ro}.
△ Less
Submitted 26 August, 2023; v1 submitted 28 November, 2022;
originally announced November 2022.
-
Construction of GCM hypersurfaces in perturbations of Kerr
Authors:
Dawei Shen
Abstract:
This is a follow-up of \cite{KS:Kerr1} on the general covariant modulated (GCM) procedure in perturbations of Kerr. In this paper, we construct GCM hypersurfaces, which play a central role in extending GCM admissible spacetimes in \cite{KS:main} where decay estimates are derived in the context of nonlinear stability of Kerr family for $|a|\ll m$. As in \cite{KS}, the central idea of the constructi…
▽ More
This is a follow-up of \cite{KS:Kerr1} on the general covariant modulated (GCM) procedure in perturbations of Kerr. In this paper, we construct GCM hypersurfaces, which play a central role in extending GCM admissible spacetimes in \cite{KS:main} where decay estimates are derived in the context of nonlinear stability of Kerr family for $|a|\ll m$. As in \cite{KS}, the central idea of the construction of GCM hypersurfaces is to concatenate a $1$--parameter family of GCM spheres of \cite{KS:Kerr1} by solving an ODE system. The goal of this paper is to get rid of the symmetry restrictions in the GCM procedure introduced in \cite{KS} and thus remove an essential obstruction in extending the results to a full stability proof of the Kerr family.
△ Less
Submitted 7 May, 2023; v1 submitted 20 May, 2022;
originally announced May 2022.
-
Kähler cone-manifolds arising from a projective arrangement
Authors:
Dali Shen
Abstract:
Given a hyperplane arrangement of some type in a projective space, the Dunkl system, developed by Couwenberg, Heckman and Looijenga, is used to study the geometric structures on its complement, and as a consequence it leads to the discovery of new ball quotients when the Schwarz conditions are imposed. In this paper, we study how the space, investigated in this system, looks like when there is no…
▽ More
Given a hyperplane arrangement of some type in a projective space, the Dunkl system, developed by Couwenberg, Heckman and Looijenga, is used to study the geometric structures on its complement, and as a consequence it leads to the discovery of new ball quotients when the Schwarz conditions are imposed. In this paper, we study how the space, investigated in this system, looks like when there is no Schwarz conditions imposed. As a result, we show that the space in question is still of a particular type of structure, namely, the structure of a cone-manifold. With this point of view, Thurston's work on moduli of cone metrics on the sphere appears as a special case in this set-up.
△ Less
Submitted 25 November, 2021;
originally announced November 2021.
-
Causal Matrix Completion
Authors:
Anish Agarwal,
Munther Dahleh,
Devavrat Shah,
Dennis Shen
Abstract:
Matrix completion is the study of recovering an underlying matrix from a sparse subset of noisy observations. Traditionally, it is assumed that the entries of the matrix are "missing completely at random" (MCAR), i.e., each entry is revealed at random, independent of everything else, with uniform probability. This is likely unrealistic due to the presence of "latent confounders", i.e., unobserved…
▽ More
Matrix completion is the study of recovering an underlying matrix from a sparse subset of noisy observations. Traditionally, it is assumed that the entries of the matrix are "missing completely at random" (MCAR), i.e., each entry is revealed at random, independent of everything else, with uniform probability. This is likely unrealistic due to the presence of "latent confounders", i.e., unobserved factors that determine both the entries of the underlying matrix and the missingness pattern in the observed matrix. For example, in the context of movie recommender systems -- a canonical application for matrix completion -- a user who vehemently dislikes horror films is unlikely to ever watch horror films. In general, these confounders yield "missing not at random" (MNAR) data, which can severely impact any inference procedure that does not correct for this bias. We develop a formal causal model for matrix completion through the language of potential outcomes, and provide novel identification arguments for a variety of causal estimands of interest. We design a procedure, which we call "synthetic nearest neighbors" (SNN), to estimate these causal estimands. We prove finite-sample consistency and asymptotic normality of our estimator. Our analysis also leads to new theoretical results for the matrix completion literature. In particular, we establish entry-wise, i.e., max-norm, finite-sample consistency and asymptotic normality results for matrix completion with MNAR data. As a special case, this also provides entry-wise bounds for matrix completion with MCAR data. Across simulated and real data, we demonstrate the efficacy of our proposed estimator.
△ Less
Submitted 30 September, 2021;
originally announced September 2021.
-
Topology of augmented Bergman complexes
Authors:
Elisabeth Bullock,
Aidan Kelley,
Victor Reiner,
Kevin Ren,
Gahl Shemy,
Dawei Shen,
Brian Sun,
Amy Tao,
Zhichun Joy Zhang
Abstract:
The augmented Bergman complex of a matroid is a simplicial complex introduced recently in work of Braden, Huh, Matherne, Proudfoot and Wang. It may be viewed as a hybrid of two well-studied pure shellable simplicial complexes associated to matroids: the independent set complex and Bergman complex.
It is shown here that the augmented Bergman complex is also shellable, via two different families o…
▽ More
The augmented Bergman complex of a matroid is a simplicial complex introduced recently in work of Braden, Huh, Matherne, Proudfoot and Wang. It may be viewed as a hybrid of two well-studied pure shellable simplicial complexes associated to matroids: the independent set complex and Bergman complex.
It is shown here that the augmented Bergman complex is also shellable, via two different families of shelling orders. Furthermore, comparing the description of its homotopy type induced from the two shellings re-interprets a known convolution formula counting bases of the matroid. The representation of the automorphism group of the matroid on the homology of the augmented Bergman complex turns out to have a surprisingly simple description. This last fact is generalized to closures beyond those coming from a matroid.
△ Less
Submitted 16 September, 2021; v1 submitted 30 August, 2021;
originally announced August 2021.
-
An index theorem on asymptotically static spacetimes with compact Cauchy surface
Authors:
Dawei Shen,
Michał Wrochna
Abstract:
We consider the Dirac operator on asymptotically static Lorentzian manifolds with an odd-dimensional compact Cauchy surface. We prove that if Atiyah-Patodi-Singer boundary conditions are imposed at infinite times then the Dirac operator is Fredholm. This generalizes a theorem due to Bär-Strohmaier in the case of finite times, and we also show that the corresponding index formula extends to the inf…
▽ More
We consider the Dirac operator on asymptotically static Lorentzian manifolds with an odd-dimensional compact Cauchy surface. We prove that if Atiyah-Patodi-Singer boundary conditions are imposed at infinite times then the Dirac operator is Fredholm. This generalizes a theorem due to Bär-Strohmaier in the case of finite times, and we also show that the corresponding index formula extends to the infinite setting. Furthermore, we demonstrate the existence of a Fredholm inverse which is at the same time a Feynman parametrix in the sense of Duistermaat-Hörmander. The proof combines methods from time-dependent scattering theory with a variant of Egorov's theorem for pseudo-differential hyperbolic systems.
△ Less
Submitted 24 March, 2022; v1 submitted 6 April, 2021;
originally announced April 2021.
-
The Prime Graphs of Some Classes of Finite Groups
Authors:
Chris Florez,
Jonathan Higgins,
Kyle Huang,
Thomas Michael Keller,
Dawei Shen,
Yong Yang
Abstract:
In this paper we study prime graphs of finite groups. The prime graph of a finite group $G$, also known as the Gruenberg-Kegel graph, is the graph with vertex set {primes dividing $|G|$} and an edge $p$-$q$ if and only if there exists an element of order $pq$ in $G$. In finite group theory, studying the prime graph of a group has been an important topic for the past almost half century. Only recen…
▽ More
In this paper we study prime graphs of finite groups. The prime graph of a finite group $G$, also known as the Gruenberg-Kegel graph, is the graph with vertex set {primes dividing $|G|$} and an edge $p$-$q$ if and only if there exists an element of order $pq$ in $G$. In finite group theory, studying the prime graph of a group has been an important topic for the past almost half century. Only recently prime graphs of solvable groups have been characterized in graph theoretical terms only. In this paper, we continue this line of research and give complete characterizations of several classes of groups, including groups of square-free order, metanilpotent groups, groups of cube-free order, and, for any $n\in \mathbb{N}$, solvable groups of $n^\text{th}$-power-free order. We also explore the prime graphs of groups whose composition factors are cyclic or $A_5$ and draw connections to a conjecture of Maslova. We then propose an algorithm that recovers the prime graph from a dual prime graph.
△ Less
Submitted 2 January, 2022; v1 submitted 1 January, 2021;
originally announced January 2021.
-
Condition numbers of the mixed least squares-total least squares problem: revisited
Authors:
Qiaohua Liu,
Qian Zhang,
Dongmei Shen
Abstract:
A new closed formula for the first order perturbation estimate of the mixed least squares-total least squares (MTLS) solution is presented. It is mathematically equivalent to the one by Zheng and Yang(Numer. Linear Algebra Appl. 2019; 26(4):e2239). With this formula, general and structured normwise, mixed and componentwise condition numbers of the MTLS problem are derived. Perturbation bounds base…
▽ More
A new closed formula for the first order perturbation estimate of the mixed least squares-total least squares (MTLS) solution is presented. It is mathematically equivalent to the one by Zheng and Yang(Numer. Linear Algebra Appl. 2019; 26(4):e2239). With this formula, general and structured normwise, mixed and componentwise condition numbers of the MTLS problem are derived. Perturbation bounds based on the normwise condition number, and compact forms for the upper bounds of mixed and componentwise condition numbers are also given in order for economic storage and efficient computation. It is shown that the condition numbers and perturbation bound of the TLS problem are unified in the ones of the MTLS problem.
△ Less
Submitted 2 December, 2020;
originally announced December 2020.
-
Minimal Prime Graphs of Solvable Groups
Authors:
Chris Florez,
Jonathan Higgins,
Kyle Huang,
Thomas Michael Keller,
Dawei Shen
Abstract:
We explore graph theoretical properties of minimal prime graphs of finite solvable groups. In finite group theory studying the prime graph of a group has been an important topic for the past almost half century. Recently prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs with methods from graph theory only. Minimal pri…
▽ More
We explore graph theoretical properties of minimal prime graphs of finite solvable groups. In finite group theory studying the prime graph of a group has been an important topic for the past almost half century. Recently prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs with methods from graph theory only. Minimal prime graphs turn out to be of particular interest, and in this paper we pursue this further by exploring, among other things, diameters, Hamiltonian cycles and the property of being self-complementary for minimal prime graphs. We also study a new, but closely related notion of minimality for prime graphs and look into counting minimal prime graphs.
△ Less
Submitted 20 November, 2020;
originally announced November 2020.
-
The Adjacency Spectra of Some Families of Minimally Connected Prime Graphs
Authors:
Chris Florez,
Jonathan Higgins,
Kyle Huang,
Thomas Michael Keller,
Dawei Shen
Abstract:
In finite group theory, studying the prime graph of a group has been an important topic for almost the past half-century. Recently, prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs without any knowledge of the group theoretical background. In this paper we study prime graphs from a linear algebra angle and focus on t…
▽ More
In finite group theory, studying the prime graph of a group has been an important topic for almost the past half-century. Recently, prime graphs of solvable groups have been characterized in graph theoretical terms only. This now allows the study of these graphs without any knowledge of the group theoretical background. In this paper we study prime graphs from a linear algebra angle and focus on the class of minimally connected prime graphs introduced in earlier work on the subject. As our main results, we determine the determinants of the adjacency matrices and the spectra of some important families of these graphs.
△ Less
Submitted 17 November, 2020;
originally announced November 2020.
-
On Model Identification and Out-of-Sample Prediction of Principal Component Regression: Applications to Synthetic Controls
Authors:
Anish Agarwal,
Devavrat Shah,
Dennis Shen
Abstract:
We analyze principal component regression (PCR) in a high-dimensional error-in-variables setting with fixed design. Under suitable conditions, we show that PCR consistently identifies the unique model with minimum $\ell_2$-norm. These results enable us to establish non-asymptotic out-of-sample prediction guarantees that improve upon the best known rates. In the course of our analysis, we introduce…
▽ More
We analyze principal component regression (PCR) in a high-dimensional error-in-variables setting with fixed design. Under suitable conditions, we show that PCR consistently identifies the unique model with minimum $\ell_2$-norm. These results enable us to establish non-asymptotic out-of-sample prediction guarantees that improve upon the best known rates. In the course of our analysis, we introduce a natural linear algebraic condition between the in- and out-of-sample covariates, which allows us to avoid distributional assumptions for out-of-sample predictions. Our simulations illustrate the importance of this condition for generalization, even under covariate shifts. Accordingly, we construct a hypothesis test to check when this conditions holds in practice. As a byproduct, our results also lead to novel results for the synthetic controls literature, a leading approach for policy evaluation. To the best of our knowledge, our prediction guarantees for the fixed design setting have been elusive in both the high-dimensional error-in-variables and synthetic controls literatures.
△ Less
Submitted 25 August, 2023; v1 submitted 27 October, 2020;
originally announced October 2020.
-
The moduli space of the tropicalizations of Riemann surfaces
Authors:
Dali Shen
Abstract:
In this paper we study the moduli space of the tropicalizations of Riemann surfaces. We first tropicalize a smooth pointed Riemann surface by a graph defined by its (hyperbolic) pair of pants decomposition. Then we can construct the moduli space of tropicalizations based on a fixed regular tropicalization, and compactify it by adding strata parametrizing weighted contractions. We show that this co…
▽ More
In this paper we study the moduli space of the tropicalizations of Riemann surfaces. We first tropicalize a smooth pointed Riemann surface by a graph defined by its (hyperbolic) pair of pants decomposition. Then we can construct the moduli space of tropicalizations based on a fixed regular tropicalization, and compactify it by adding strata parametrizing weighted contractions. We show that this compact moduli space is also Hausdorff. In the end, we compare this moduli space with the moduli space of Riemann surfaces, establishing a partial order-preserving correspondence between the stratifications of these two moduli spaces.
△ Less
Submitted 29 July, 2020;
originally announced July 2020.
-
A note on singular equivalences and idempotents
Authors:
Dawei Shen
Abstract:
Let $Λ$ be an Artin algebra and let $e$ be an idempotent in $Λ$. We study certain functors which preserve the singularity categories. Suppose $\mathrm{pd}Λe_{eΛe}<\infty$ and $\mathrm{id}_Λ\tfrac{Λ/\langle e\rangle}{\mathrm{rad}Λ/\langle e\rangle} < \infty$, we show that there is a singular equivalence between $eΛe$ and $Λ$.
Let $Λ$ be an Artin algebra and let $e$ be an idempotent in $Λ$. We study certain functors which preserve the singularity categories. Suppose $\mathrm{pd}Λe_{eΛe}<\infty$ and $\mathrm{id}_Λ\tfrac{Λ/\langle e\rangle}{\mathrm{rad}Λ/\langle e\rangle} < \infty$, we show that there is a singular equivalence between $eΛe$ and $Λ$.
△ Less
Submitted 13 January, 2020;
originally announced January 2020.
-
A Heuristic Algorithm for the Fabric Spreading and Cutting Problem in Apparel Factories
Authors:
Xiuqin Shang,
Dayong Shen,
Fei-Yue Wang,
Timo R. Nyberg
Abstract:
We study the fabric spreading and cutting problem in apparel factories. For the sake of saving the material costs, the cutting requirement should be met exactly without producing additional garment components. For reducing the production costs, the number of lays that corresponds to the frequency of using the cutting beds should be minimized. We propose an iterated greedy algorithm for solving the…
▽ More
We study the fabric spreading and cutting problem in apparel factories. For the sake of saving the material costs, the cutting requirement should be met exactly without producing additional garment components. For reducing the production costs, the number of lays that corresponds to the frequency of using the cutting beds should be minimized. We propose an iterated greedy algorithm for solving the fabric spreading and cutting problem. This algorithm contains a constructive procedure and an improving loop. Firstly the constructive procedure creates a set of lays in sequence, and then the improving loop tries to pick each lay from the lay set and rearrange the remaining lays into a smaller lay set. The improving loop will run until it cannot obtain any small lay set or the time limit is due. The experiment results on 500 cases shows that the proposed algorithm is effective and efficient.
△ Less
Submitted 13 March, 2019;
originally announced March 2019.
-
Frobenius algebras and root systems: the trigonometric case
Authors:
Dali Shen
Abstract:
We construct Frobenius structures on the $\mathbb{C}^{\times}$-bundle of the complement of a toric arrangement associated with a root system, by making use of a one-parameter family of torsion free and flat connections on it. This gives rise to a trigonometric version of Frobenius algebras in terms of root systems and a new class of Frobenius manifolds. We also determine their potential functions.
We construct Frobenius structures on the $\mathbb{C}^{\times}$-bundle of the complement of a toric arrangement associated with a root system, by making use of a one-parameter family of torsion free and flat connections on it. This gives rise to a trigonometric version of Frobenius algebras in terms of root systems and a new class of Frobenius manifolds. We also determine their potential functions.
△ Less
Submitted 25 January, 2019;
originally announced January 2019.
-
Geometric structures on the complement of a toric mirror arrangement
Authors:
Dali Shen
Abstract:
We study geometric structures on the complement of a toric mirror arrangement associated with a root system. Inspired by those special hypergeometric functions found by Heckman-Opdam, as well as the work of Couwenberg-Heckman-Looijenga on geometric structures on projective arrangement complements, we consider a family of connections on a total space, namely, a $\mathbb{C}^{\times}$-bundle on the c…
▽ More
We study geometric structures on the complement of a toric mirror arrangement associated with a root system. Inspired by those special hypergeometric functions found by Heckman-Opdam, as well as the work of Couwenberg-Heckman-Looijenga on geometric structures on projective arrangement complements, we consider a family of connections on a total space, namely, a $\mathbb{C}^{\times}$-bundle on the complement of a toric mirror arrangement (=finite union of hypertori, determined by a root system). We prove that these connections are torsion free and flat, and hence define a family of affine structures on the total space, which is equivalent to a family of projective structures on the toric arrangement complement. We then determine a parameter region for which the projective structure admits a locally complex hyperbolic metric. In the end, we find a finite subset of this region for which the orbifold in question can be biholomorphically mapped onto a Heegner divisor complement of a ball quotient.
△ Less
Submitted 30 August, 2018;
originally announced August 2018.
-
Differential projective modules over algebras with radical square zero
Authors:
Dawei Shen
Abstract:
Let $Q$ be a finite quiver and $Λ$ be the radical square zero algebra of $Q$ over a field. We give a full and dense functor from the category of reduced differential projective modules over $Λ$ to the category of representations of the opposite of $Q$. If moreover $Q$ has oriented cycles and $Q$ is not a basic cycle, we prove that the algebra of dual numbers over $Λ$ is not virtually Gorenstein.
Let $Q$ be a finite quiver and $Λ$ be the radical square zero algebra of $Q$ over a field. We give a full and dense functor from the category of reduced differential projective modules over $Λ$ to the category of representations of the opposite of $Q$. If moreover $Q$ has oriented cycles and $Q$ is not a basic cycle, we prove that the algebra of dual numbers over $Λ$ is not virtually Gorenstein.
△ Less
Submitted 31 March, 2018;
originally announced April 2018.
-
Single- and Multiple-Shell Uniform Sampling Schemes for Diffusion MRI Using Spherical Codes
Authors:
Jian Cheng,
Dinggang Shen,
Pew-Thian Yap,
Peter J. Basser
Abstract:
In diffusion MRI (dMRI), a good sampling scheme is important for efficient acquisition and robust reconstruction. Diffusion weighted signal is normally acquired on single or multiple shells in q-space. Signal samples are typically distributed uniformly on different shells to make them invariant to the orientation of structures within tissue, or the laboratory coordinate frame. The Electrostatic En…
▽ More
In diffusion MRI (dMRI), a good sampling scheme is important for efficient acquisition and robust reconstruction. Diffusion weighted signal is normally acquired on single or multiple shells in q-space. Signal samples are typically distributed uniformly on different shells to make them invariant to the orientation of structures within tissue, or the laboratory coordinate frame. The Electrostatic Energy Minimization (EEM) method, originally proposed for single shell sampling scheme in dMRI, was recently generalized to multi-shell schemes, called Generalized EEM (GEEM). GEEM has been successfully used in the Human Connectome Project (HCP). However, EEM does not directly address the goal of optimal sampling, i.e., achieving large angular separation between sampling points. In this paper, we propose a more natural formulation, called Spherical Code (SC), to directly maximize the minimal angle between different samples in single or multiple shells. We consider not only continuous problems to design single or multiple shell sampling schemes, but also discrete problems to uniformly extract sub-sampled schemes from an existing single or multiple shell scheme, and to order samples in an existing scheme. We propose five algorithms to solve the above problems, including an incremental SC (ISC), a sophisticated greedy algorithm called Iterative Maximum Overlap Construction (IMOC), an 1-Opt greedy method, a Mixed Integer Linear Programming (MILP) method, and a Constrained Non-Linear Optimization (CNLO) method. To our knowledge, this is the first work to use the SC formulation for single or multiple shell sampling schemes in dMRI. Experimental results indicate that SC methods obtain larger angular separation and better rotational invariance than the state-of-the-art EEM and GEEM. The related codes and a tutorial have been released in DMRITool.
△ Less
Submitted 23 September, 2017; v1 submitted 20 June, 2017;
originally announced June 2017.
-
A note on homological properties of Nakayama algebras
Authors:
Dawei Shen
Abstract:
Using the resolution quiver for a connected Nakayama algebra, a fast algorithm is given to decide whether its global dimension is finite or not and whether it is Gorenstein or not. The latter strengthens a result of Ringel.
Using the resolution quiver for a connected Nakayama algebra, a fast algorithm is given to decide whether its global dimension is finite or not and whether it is Gorenstein or not. The latter strengthens a result of Ringel.
△ Less
Submitted 8 October, 2016;
originally announced October 2016.
-
A description of Gorenstein projective modules over the tensor products of algebras
Authors:
Dawei Shen
Abstract:
Let $A$ be a coherent algebra and $B$ be a finite-dimensional Gorenstein algebra over a field $k$. We describe finitely presented Gorenstein projective $A\otimes_k B$-modules in terms of their underlying onesided modules. Moreover, if the global dimension of $B$ is finite, we give a more precise description of finitely presented Gorenstein projective $A\otimes_k B$-modules.
Let $A$ be a coherent algebra and $B$ be a finite-dimensional Gorenstein algebra over a field $k$. We describe finitely presented Gorenstein projective $A\otimes_k B$-modules in terms of their underlying onesided modules. Moreover, if the global dimension of $B$ is finite, we give a more precise description of finitely presented Gorenstein projective $A\otimes_k B$-modules.
△ Less
Submitted 30 January, 2016;
originally announced February 2016.
-
The Gorenstein-projective modules over a monomial algebra
Authors:
Xiao-Wu Chen,
Dawei Shen,
Guodong Zhou
Abstract:
We classify indecomposable non-projective Gorenstein-projective modules over a monomial algebra via the notion of perfect paths. We apply this classification to a quadratic monomial algebra and describe explicitly the stable category of its Gorenstein-projective modules.
We classify indecomposable non-projective Gorenstein-projective modules over a monomial algebra via the notion of perfect paths. We apply this classification to a quadratic monomial algebra and describe explicitly the stable category of its Gorenstein-projective modules.
△ Less
Submitted 13 January, 2015;
originally announced January 2015.
-
The singularity category of a Nakayama algebra
Authors:
Dawei Shen
Abstract:
Let $A$ be a Nakayama algebra. We give a description of the singularity category of $A$ inside its stable module category. We prove that there is a duality between the singularity category of $A$ and the singularity category of its opposite algebra. As a consequence, the resolution quiver of $A$ and the resolution quiver of its opposite algebra have the same number of cycles and the same number of…
▽ More
Let $A$ be a Nakayama algebra. We give a description of the singularity category of $A$ inside its stable module category. We prove that there is a duality between the singularity category of $A$ and the singularity category of its opposite algebra. As a consequence, the resolution quiver of $A$ and the resolution quiver of its opposite algebra have the same number of cycles and the same number of cyclic vertices.
△ Less
Submitted 9 April, 2014;
originally announced April 2014.
-
Surprising Asymptotic Conical Structure in Critical Sample Eigen-Directions
Authors:
Dan Shen,
Haipeng Shen,
Hongtu Zhu,
J. S. Marron
Abstract:
The aim of this paper is to establish several deep theoretical properties of principal component analysis for multiple-component spike covariance models. Our new results reveal a surprising asymptotic conical structure in critical sample eigendirections under the spike models with distinguishable (or indistinguishable) eigenvalues, when the sample size and/or the number of variables (or dimension)…
▽ More
The aim of this paper is to establish several deep theoretical properties of principal component analysis for multiple-component spike covariance models. Our new results reveal a surprising asymptotic conical structure in critical sample eigendirections under the spike models with distinguishable (or indistinguishable) eigenvalues, when the sample size and/or the number of variables (or dimension) tend to infinity. The consistency of the sample eigenvectors relative to their population counterparts is determined by the ratio between the dimension and the product of the sample size with the spike size. When this ratio converges to a nonzero constant, the sample eigenvector converges to a cone, with a certain angle to its corresponding population eigenvector.In the High Dimension, Low Sample Size case, the angle between the sample eigenvector and its population counterpart converges to a limiting distribution.Several generalizations of the multi-spike covariance models are also explored, and additional theoretical results are presented.
△ Less
Submitted 25 March, 2013;
originally announced March 2013.
-
Ball Packings with Periodic Constraints
Authors:
Robert Connelly,
Jeffrey D. Shen,
Alexander D. Smith
Abstract:
We call a periodic ball packing in d-dimensional Euclidean space periodically (strictly) jammed with respect to a period lattice if there are no nontrivial motions of the balls that preserve the period (that maintain some period with smaller or equal volume). In particular, we call a packing consistently periodically (strictly) jammed if it is periodically (strictly) jammed on every one of its per…
▽ More
We call a periodic ball packing in d-dimensional Euclidean space periodically (strictly) jammed with respect to a period lattice if there are no nontrivial motions of the balls that preserve the period (that maintain some period with smaller or equal volume). In particular, we call a packing consistently periodically (strictly) jammed if it is periodically (strictly) jammed on every one of its periods. After extending a well-known bar framework and stress condition to strict jamming, we prove that a packing with period Lambda is consistently strictly jammed if and only if it is strictly jammed with respect to Lambda and consistently periodically jammed. We next extend a result about rigid unit mode spectra in crystallography to characterize periodic jamming on sublattices. After that, we prove that there are finitely many strictly jammed packings of m unit balls and other similar results. An interesting example shows that the size of the first sublattice on which a packing is first periodically unjammed is not bounded. Finally, we find an example of a consistently periodically jammed packing of low density δ= \frac{4 π}{6 \sqrt{3} + 11} + ε~ 0.59, where εis an arbitrarily small positive number. Throughout the paper, the statements for the closely related notions of periodic infinitesimal rigidity and affine infinitesimal rigidity for tensegrity frameworks are also given.
△ Less
Submitted 3 January, 2013;
originally announced January 2013.
-
A note on resolution quivers
Authors:
Dawei Shen
Abstract:
Recently, Ringel introduced the resolution quiver for a connected Nakayama algebra. It is known that each connected component of the resolution quiver has a unique cycle. We prove that all cycles in the resolution quiver are of the same size. We introduce the notion of weight for a cycle in the resolution quiver. It turns out that all cycles have the same weight.
Recently, Ringel introduced the resolution quiver for a connected Nakayama algebra. It is known that each connected component of the resolution quiver has a unique cycle. We prove that all cycles in the resolution quiver are of the same size. We introduce the notion of weight for a cycle in the resolution quiver. It turns out that all cycles have the same weight.
△ Less
Submitted 25 November, 2012;
originally announced November 2012.
-
A General Framework For Consistency of Principal Component Analysis
Authors:
Dan Shen,
Haipeng Shen,
J. S. Marron
Abstract:
A general asymptotic framework is developed for studying consis- tency properties of principal component analysis (PCA). Our frame- work includes several previously studied domains of asymptotics as special cases and allows one to investigate interesting connections and transitions among the various domains. More importantly, it enables us to investigate asymptotic scenarios that have not been con…
▽ More
A general asymptotic framework is developed for studying consis- tency properties of principal component analysis (PCA). Our frame- work includes several previously studied domains of asymptotics as special cases and allows one to investigate interesting connections and transitions among the various domains. More importantly, it enables us to investigate asymptotic scenarios that have not been considered before, and gain new insights into the consistency, subspace consistency and strong inconsistency regions of PCA and the boundaries among them. We also establish the corresponding convergence rate within each region. Under general spike covariance models, the dimension (or the number of variables) discourages the consistency of PCA, while the sample size and spike information (the relative size of the population eigenvalues) encourages PCA consistency. Our framework nicely illustrates the relationship among these three types of information in terms of dimension, sample size and spike size, and rigorously characterizes how their relationships affect PCA consistency.
△ Less
Submitted 13 November, 2013; v1 submitted 12 November, 2012;
originally announced November 2012.
-
Evaluating probability forecasts
Authors:
Tze Leung Lai,
Shulamith T. Gross,
David Bo Shen
Abstract:
Probability forecasts of events are routinely used in climate predictions, in forecasting default probabilities on bank loans or in estimating the probability of a patient's positive response to treatment. Scoring rules have long been used to assess the efficacy of the forecast probabilities after observing the occurrence, or nonoccurrence, of the predicted events. We develop herein a statistical…
▽ More
Probability forecasts of events are routinely used in climate predictions, in forecasting default probabilities on bank loans or in estimating the probability of a patient's positive response to treatment. Scoring rules have long been used to assess the efficacy of the forecast probabilities after observing the occurrence, or nonoccurrence, of the predicted events. We develop herein a statistical theory for scoring rules and propose an alternative approach to the evaluation of probability forecasts. This approach uses loss functions relating the predicted to the actual probabilities of the events and applies martingale theory to exploit the temporal structure between the forecast and the subsequent occurrence or nonoccurrence of the event.
△ Less
Submitted 23 February, 2012;
originally announced February 2012.
-
Nearest Neighbor Distances on a Circle: Multidimensional Case
Authors:
Pavel M. Bleher,
Youkow Homma,
Lyndon L. Ji,
Roland K. W. Roeder,
Jeffrey D. Shen
Abstract:
We study the distances, called spacings, between pairs of neighboring energy levels for the quantum harmonic oscillator. Specifically, we consider all energy levels falling between E and E+1, and study how the spacings between these levels change for various choices of E, particularly when E goes to infinity. Primarily, we study the case in which the spring constant is a badly approximable vector.…
▽ More
We study the distances, called spacings, between pairs of neighboring energy levels for the quantum harmonic oscillator. Specifically, we consider all energy levels falling between E and E+1, and study how the spacings between these levels change for various choices of E, particularly when E goes to infinity. Primarily, we study the case in which the spring constant is a badly approximable vector. We first give the proof by Boshernitzan-Dyson that the number of distinct spacings has a uniform bound independent of E. Then, if the spring constant has components forming a basis of an algebraic number field, we show that, when normalized up to a unit, the spacings are from a finite set. Moreover, in the specific case that the field has one fundamental unit, the probability distribution of these spacings behaves quasiperiodically in log E. We conclude by studying the spacings in the case that the spring constant is not badly approximable, providing examples for which the number of distinct spacings is unbounded.
△ Less
Submitted 20 September, 2011; v1 submitted 20 July, 2011;
originally announced July 2011.
-
Consistency of Sparse PCA in High Dimension, Low Sample Size Contexts
Authors:
Dan Shen,
Haipeng Shen,
J. S. Marron
Abstract:
Sparse Principal Component Analysis (PCA) methods are efficient tools to reduce the dimension (or the number of variables) of complex data. Sparse principal components (PCs) are easier to interpret than conventional PCs, because most loadings are zero. We study the asymptotic properties of these sparse PC directions for scenarios with fixed sample size and increasing dimension (i.e. High Dimension…
▽ More
Sparse Principal Component Analysis (PCA) methods are efficient tools to reduce the dimension (or the number of variables) of complex data. Sparse principal components (PCs) are easier to interpret than conventional PCs, because most loadings are zero. We study the asymptotic properties of these sparse PC directions for scenarios with fixed sample size and increasing dimension (i.e. High Dimension, Low Sample Size (HDLSS)). Under the previously studied spike covariance assumption, we show that Sparse PCA remains consistent under the same large spike condition that was previously established for conventional PCA. Under a broad range of small spike conditions, we find a large set of sparsity assumptions where Sparse PCA is consistent, but PCA is strongly inconsistent. The boundaries of the consistent region are clarified using an oracle result.
△ Less
Submitted 21 April, 2011;
originally announced April 2011.