Searcharxiv⌕ Search

arXiv subjects

Jianmin Chen

Publications and source records attributed to Jianmin Chen.

At least 37 records · Page 2Linked to original sources

Majorization-Minimization Dual Stagewise Algorithm for Generalized Lasso

The generalized lasso is a natural generalization of the celebrated lasso approach to handle structural regularization problems. Many important methods and applications fall into this framework, including fused lasso, clustered lasso, and constrained lasso. To elevate its effectiveness in large-scale problems, extensive research has been conducted on the computational strategies of generalized lasso. However, to our knowledge, most studies are under the linear setup, with limited advances in non-Gaussian and non-linear models. We propose a majorization-minimization dual stagewise (MM-DUST) algorithm to efficiently trace out the full solution paths of the generalized lasso problem. The majorization technique is incorporated to handle different convex loss functions through their quadratic majorizers. Utilizing the connection between primal and dual problems and the idea of ``slow-brewing'' from stagewise learning, the minimization step is carried out in the dual space through a sequence of simple coordinate-wise updates on the dual coefficients with a small step size. Consequently, selecting an appropriate step size enables a trade-off between statistical accuracy and computational efficiency. We analyze the computational complexity of MM-DUST and establish the uniform convergence of the approximated solution paths. Extensive simulation studies and applications with regularized logistic regression and Cox model demonstrate the effectiveness of the proposed approach.

stat.ML↗

Braid Group Action and Quantum Queer Superalgebra

In this paper, we present explicit actions of braid group on the universal enveloping superalgebra ${\boldsymbol U}(\mathfrak{q}_n)$ and the quantum queer superalgebra ${\boldsymbol U}_{\!{v}}(\mathfrak{q}_{n})$. Then we provide a new definition of root vectors and some explicit expression for them. With these procedures, we obtain the PBW-type basis containing the product of root vectors.

math.QA↗

Geometric model for vector bundles via infinite marked strips

We present a geometric model for the category of vector bundles over the weighted projective line of type (2,2,n). This model is based on the orbit space of an infinite marked strip under a specific group action. We establish a bijection between indecomposable bundles and orbits of line segments on the strip, which yields geometric interpretations for various aspects, including the Picard group action, vector bundle duality, dimension of extension group, projective cover and injective hull of extension bundle, etc.

math.RT↗

Tree-Guided Rare Feature Selection and Logic Aggregation with Electronic Health Records Data

Statistical learning with a large number of rare binary features is commonly encountered in analyzing electronic health records (EHR) data, especially in the modeling of disease onset with prior medical diagnoses and procedures. Dealing with the resulting highly sparse and large-scale binary feature matrix is notoriously challenging as conventional methods may suffer from a lack of power in testing and inconsistency in model fitting while machine learning methods may suffer from the inability of producing interpretable results or clinically-meaningful risk factors. To improve EHR-based modeling and utilize the natural hierarchical structure of disease classification, we propose a tree-guided feature selection and logic aggregation approach for large-scale regression with rare binary features, in which dimension reduction is achieved through not only a sparsity pursuit but also an aggregation promoter with the logic operator of ``or''. We convert the combinatorial problem into a convex linearly-constrained regularized estimation, which enables scalable computation with theoretical guarantees. In a suicide risk study with EHR data, our approach is able to select and aggregate prior mental health diagnoses as guided by the diagnosis hierarchy of the International Classification of Diseases. By balancing the rarity and specificity of the EHR diagnosis records, our strategy improves both prediction and model interpretation. We identify important higher-level categories and subcategories of mental health conditions and simultaneously determine the level of specificity needed for each of them in predicting suicide risk.

cs.LG↗

Geometric model for weighted projective lines of type $(p,q)$

We give a geometric model for the category of coherent sheaves over the weighted projective line of type $(p,q)$ in terms of an annulus with marked points on its boundary. We establish a bijection between indecomposable sheaves over the weighted projective line and certain homotopy classes of oriented curves in the annulus, and prove that the dimension of extension group between indecomposable sheaves equals to the positive intersection number between the corresponding curves. By using the geometric model, we provide a combinatorial description for the titling graph of tilting bundles, which is composed by quadrilaterals (or degenerated to a line). Moreover, we obtain that the automorphism group of the coherent sheaf category is isomorphic to the mapping class group of the marked annulus, and show the compatibility of their actions on the tilting graph of coherent sheaves and on the triangulation of the geometric model respectively. A geometric description of the perpendicular category with respect to an exceptional sheaf is presented at the end of the paper.

math.RT↗

Clustering US States by Time Series of COVID-19 New Case Counts with Non-negative Matrix Factorization

The spreading pattern of COVID-19 differ a lot across the US states under different quarantine measures and reopening policies. We proposed to cluster the US states into distinct communities based on the daily new confirmed case counts via a nonnegative matrix factorization (NMF) followed by a k-means clustering procedure on the coefficients of the NMF basis. A cross-validation method was employed to select the rank of the NMF. Applying the method to the entire study period from March 22 to July 25, we clustered the 49 continental states (including District of Columbia) into 7 groups, two of which contained a single state. To investigate the dynamics of the clustering results over time, the same method was successively applied to the time periods with increment of one week, starting from the period of March 22 to March 28. The results suggested a change point in the clustering in the week starting on May 30, which might be explained by a combined impact of both quarantine measures and reopening policies.

stat.AP↗

Admissible homomorphisms and equivariant relations between weighted projective lines

The string group acts on the category of coherent sheaves over a weighted projective line by degree-shift actions. We study the equivariant equivalence relations induced by degree-shift actions between weighted projective lines. We prove that such an equivariant equivalence is characterized by an admissible homomorphism between the associated string groups. We classify all these equivariant equivalences for the weighted projective lines of domestic and tubular types.

math.RT↗

The dual actions, equivariant autoequivalences and stable tilting objects

For a finite abelian group action on a linear category, we study the dual action given by the character group acting on the category of equivariant objects. We prove that the groups of equivariant autoequivalences on these two categories are isomorphic. In the triangulated situation, this isomorphism implies that the classifications of stable tilting objects for these two categories are in a natural bijection. We apply these results to stable tilting complexes on weighted projective lines of tubular type.

math.RT↗

Tilting objects on tubular weighted projective lines: a cluster tilting approach

Using cluster tilting theory, we investigate tilting objects in the stable category of vector bundles on a weighted projective line of weight type $(2, 2, 2, 2)$. More precisely, a tilting object consisting of rank-two bundles is constructed via cluster tilting mutation. Moreover, the cluster tilting approach also provides a new method to classify the endomorphism algebras of tilting objects in the category of coherent sheaves and the associated bounded derived category.

math.RT↗

On tubular tilting objects in the stable category of vector bundles

The present paper focuses on the study of the stable category of vector bundles for the weighted projective lines of weight triple. We find some important triangles in this category and use them to construct tilting objects with tubular endomorphism algebras for the case of genus one via cluster tilting theory.

math.RT↗

Revisiting Distributed Synchronous SGD

Distributed training of deep learning models on large-scale training data is typically conducted with asynchronous stochastic optimization to maximize the rate of updates, at the cost of additional noise introduced from asynchrony. In contrast, the synchronous approach is often thought to be impractical due to idle time wasted on waiting for straggling workers. We revisit these conventional beliefs in this paper, and examine the weaknesses of both approaches. We demonstrate that a third approach, synchronous optimization with backup workers, can avoid asynchronous noise while mitigating for the worst stragglers. Our approach is empirically validated and shown to converge faster and to better test accuracies.

cs.LG↗

Revisiting Distributed Synchronous SGD

Distributed training of deep learning models on large-scale training data is typically conducted with asynchronous stochastic optimization to maximize the rate of updates, at the cost of additional noise introduced from asynchrony. In contrast, the synchronous approach is often thought to be impractical due to idle time wasted on waiting for straggling workers. We revisit these conventional beliefs in this paper, and examine the weaknesses of both approaches. We demonstrate that a third approach, synchronous optimization with backup workers, can avoid asynchronous noise while mitigating for the worst stragglers. Our approach is empirically validated and shown to converge faster and to better test accuracies.

cs.DC↗

TensorFlow: A system for large-scale machine learning

TensorFlow is a machine learning system that operates at large scale and in heterogeneous environments. TensorFlow uses dataflow graphs to represent computation, shared state, and the operations that mutate that state. It maps the nodes of a dataflow graph across many machines in a cluster, and within a machine across multiple computational devices, including multicore CPUs, general-purpose GPUs, and custom designed ASICs known as Tensor Processing Units (TPUs). This architecture gives flexibility to the application developer: whereas in previous "parameter server" designs the management of shared state is built into the system, TensorFlow enables developers to experiment with novel optimizations and training algorithms. TensorFlow supports a variety of applications, with particularly strong support for training and inference on deep neural networks. Several Google services use TensorFlow in production, we have released it as an open-source project, and it has become widely used for machine learning research. In this paper, we describe the TensorFlow dataflow model in contrast to existing systems, and demonstrate the compelling performance that TensorFlow achieves for several real-world applications.

cs.DC↗

Prüfer sheaves and generic sheaves over the weighted projective lines and elliptic curves

In the present paper, we introduce the concepts of Prüfer sheaves and adic sheaves over a weighted projective line of genus one or an elliptic curve, show that Prüfer sheaves and adic sheaves can classify the category of coherent sheaves. Moreover, we describe the relationship between Prüfer sheaves and generic sheaves, and provide two methods to construct generic sheaves by using coherent sheaves and Prüfer sheaves.

math.RT↗

Monadicity theorem and weighted projective lines of tubular type

We formulate a version of Beck's monadicity theorem for abelian categories, which is applied to the equivariantization of abelian categories with respect to a finite group action. We prove that the equivariantization is compatible with the construction of quotient abelian categories by Serre subcategories. We prove that the equivariantization of the graded module category over a graded ring is equivalent to the graded module category over the same ring but with a different grading. We deduce from these results two equivalences between the category of (equivariant) coherent sheaves on a weighted projective line of tubular type and that on an elliptic curve, where the acting groups are cyclic and the two equivalences are somehow adjoint to each other.

math.RA↗