-
A Gap Penalty Reformulation for Mathematical Programming with Complementarity Constraints: Convergence Analysis
Authors:
Kangyu Lin,
Toshiyuki Ohtsuka
Abstract:
Our recent study (Lin and Ohtsuka, 2024) proposed a new penalty method for solving mathematical programming with complementarity constraints (MPCC). This method first reformulates MPCC as a parameterized nonlinear programming called gap penalty reformulation and then solves a sequence of gap penalty reformulations with an increasing penalty parameter. This study examines the convergence behavior o…
▽ More
Our recent study (Lin and Ohtsuka, 2024) proposed a new penalty method for solving mathematical programming with complementarity constraints (MPCC). This method first reformulates MPCC as a parameterized nonlinear programming called gap penalty reformulation and then solves a sequence of gap penalty reformulations with an increasing penalty parameter. This study examines the convergence behavior of the new penalty method. We prove that it converges to a strongly stationary point of MPCC, provided that: (i) The MPCC linear independence constraint qualification holds. (ii) The upper-level strict complementarity condition holds. (iii) The gap penalty reformulation satisfies the second-order necessary conditions in terms of the second-order directional derivative. Because strong stationarity is used to identify the MPCC local minimum, our analysis indicates that the new penalty method can find an MPCC solution.
△ Less
Submitted 15 May, 2025; v1 submitted 7 March, 2025;
originally announced March 2025.
-
Blowup Algebras of $n$--dimensional Ferrers Diagrams
Authors:
Kuei-Nuan Lin,
Yi-Huang Shen
Abstract:
We demonstrate that the direct sum of ideals satisfying the strong $\ell$-exchange property is of fiber type. Furthermore, we provide Gröbner bases of the presentation ideals of multi-Rees algebras and the corresponding special fibers, when they are associated with an $n$-dimensional Ferrers diagram that is standardizable. In particular, we show that these blowup algebras are
Koszul Cohen--Macau…
▽ More
We demonstrate that the direct sum of ideals satisfying the strong $\ell$-exchange property is of fiber type. Furthermore, we provide Gröbner bases of the presentation ideals of multi-Rees algebras and the corresponding special fibers, when they are associated with an $n$-dimensional Ferrers diagram that is standardizable. In particular, we show that these blowup algebras are
Koszul Cohen--Macaulay normal domains and classify their singularities.
△ Less
Submitted 3 February, 2025;
originally announced February 2025.
-
A Booby Trap Game
Authors:
Thomas Lidbetter,
Kyle Lin
Abstract:
This paper presents a booby trap game played between a defender and an attacker on a search space, which may be a compact subset of Euclidean space or a network. The defender has several booby traps and chooses where to plant them. The attacker, aware of the presence of these booby traps but not their locations, chooses a subset of the space and collects a reward equal to the measure of the subset…
▽ More
This paper presents a booby trap game played between a defender and an attacker on a search space, which may be a compact subset of Euclidean space or a network. The defender has several booby traps and chooses where to plant them. The attacker, aware of the presence of these booby traps but not their locations, chooses a subset of the space and collects a reward equal to the measure of the subset. If the attacker does not encounter any booby traps, then the attacker keeps the reward; otherwise, the attacker gets nothing. The attacker's objective is to maximize the expected reward, while the defender's objective is to minimize it. We solve this game in the case that the search space is a compact subset of Euclidean space, and then turn our attention to the case where the search space is a network in which the attacker must choose a connected subset of the network. We solve the game when the network is a circle or a line. For the case of one booby trap, we solve the game for 2-connected networks, and when the network is a tree we present an upper bound and a lower bound for the value of the game whose ratio is at most 27/25. We also present an optimal solution for each player in a few cases where the tree is a star network.
△ Less
Submitted 2 December, 2024;
originally announced December 2024.
-
Dynamical System Approach for Optimal Control Problems with Equilibrium Constraints Using Gap-Constraint-Based Reformulation
Authors:
Kangyu Lin,
Toshiyuki Ohtsuka
Abstract:
Optimal control problems for nonsmooth dynamical systems governed by differential variational inequalities (DVI) are called optimal control problems with equilibrium constraints (OCPEC). It provides a general formalism for nonsmooth optimal control. However, solving OCPEC using the direct method (i.e., first-discretize-then-optimize) is challenging owing to the lack of correct sensitivity and cons…
▽ More
Optimal control problems for nonsmooth dynamical systems governed by differential variational inequalities (DVI) are called optimal control problems with equilibrium constraints (OCPEC). It provides a general formalism for nonsmooth optimal control. However, solving OCPEC using the direct method (i.e., first-discretize-then-optimize) is challenging owing to the lack of correct sensitivity and constraint regularity. This study uses the direct method to solve OCPEC and overcomes the numerical difficulties from two aspects: In the discretization step, we propose a class of novel approaches using gap functions to smooth the DVI, where gap functions are initially proposed for solving variational inequalities. The generated smoothing approximations of discretized OCPEC are called gap-constraint-based reformulations, which have a concise and semismoothly differentiable constraint system; In the optimization step, we propose an efficient dynamical system approach to solve the discretized OCPEC, where a sequence of gap-constraint-based reformulations is solved approximately. This dynamical system approach involves a semismooth Newton flow and achieves local exponential convergence under standard assumptions. The benchmark test shows that the proposed method is computationally tractable and achieves fast local convergence.
△ Less
Submitted 2 December, 2024;
originally announced December 2024.
-
Coherent sheaves, sheared D-modules, and Hochschild cochains
Authors:
Dario Beraldo,
Kevin Lin,
Wyatt Reeves
Abstract:
We show that the category of ind-coherent sheaves on a quasi-smooth scheme is naturally tensored over the category of sheared D-modules on its shifted cotangent bundle, commuting with its natural action of categorified Hoschschild cochains. We prove that it defines a Morita equivalence as such. We then extend these results to quasi-smooth Artin stacks.
As a consequence of our formalism, we are a…
▽ More
We show that the category of ind-coherent sheaves on a quasi-smooth scheme is naturally tensored over the category of sheared D-modules on its shifted cotangent bundle, commuting with its natural action of categorified Hoschschild cochains. We prove that it defines a Morita equivalence as such. We then extend these results to quasi-smooth Artin stacks.
As a consequence of our formalism, we are able to articulate a precise sense in which the space of unramified automorphic functions over a function field localizes over the stack of arithmetic Arthur parameters.
△ Less
Submitted 21 October, 2024; v1 submitted 14 October, 2024;
originally announced October 2024.
-
Examining the Link Between Peroxiredoxin Proteins and Mutually Exclusive Transcription Factor Activation With a Mathematical Model
Authors:
Zachary Schlamowitz,
Andrew L. Paek,
Kevin K. Lin
Abstract:
Oxidative stress is a fundamental stimulus to which eukaryotic cells respond via many channels. Among these channels are both protein systems that process oxidative stress, such as the 2-Cys peroxiredoxin-thioredoxin system (PTRS), as well as changes in transcriptional activity that target outcomes such as growth, damage control and repair, or cell death. Recent work has revealed connections betwe…
▽ More
Oxidative stress is a fundamental stimulus to which eukaryotic cells respond via many channels. Among these channels are both protein systems that process oxidative stress, such as the 2-Cys peroxiredoxin-thioredoxin system (PTRS), as well as changes in transcriptional activity that target outcomes such as growth, damage control and repair, or cell death. Recent work has revealed connections between the PTRS and temporal phases of transcriptional activity involving famous transcription factors like p53 and FOXO1. To examine potential mechanisms for these connections, we implement an existing dynamical systems mathematical model for the PTRS. We hypothesize that dose-dependent hyperoxidation events enact ultrasensitive switches by which the PTRS can categorize stress severity and activate appropriate transcriptional responses. Using numerical simulations of the PTRS in human cells, we provide a proof of principle for staggered, switchlike hyperoxidation of peroxiredoxins (Prx) as well as an underlying mechanism requiring simultaneous signaling by Prx I and II. Then, we use our model to make testable predictions about individual Prx knockouts as well as the affinity for hydrogen peroxide of Prx across oxidation states. This study provides direction for future experimental work and sheds light into the mechanisms underlying oxidative stress response in human cells.
△ Less
Submitted 14 October, 2024;
originally announced October 2024.
-
An Improved Variational Method for Image Denoising
Authors:
Jing-En Huang,
Jia-Wei Liao,
Ku-Te Lin,
Yu-Ju Tsai,
Mei-Heng Yueh
Abstract:
The total variation (TV) method is an image denoising technique that aims to reduce noise by minimizing the total variation of the image, which measures the variation in pixel intensities. The TV method has been widely applied in image processing and computer vision for its ability to preserve edges and enhance image quality. In this paper, we propose an improved TV model for image denoising and t…
▽ More
The total variation (TV) method is an image denoising technique that aims to reduce noise by minimizing the total variation of the image, which measures the variation in pixel intensities. The TV method has been widely applied in image processing and computer vision for its ability to preserve edges and enhance image quality. In this paper, we propose an improved TV model for image denoising and the associated numerical algorithm to carry out the procedure, which is particularly effective in removing several types of noises and their combinations. Our improved model admits a unique solution and the associated numerical algorithm guarantees the convergence. Numerical experiments are demonstrated to show improved effectiveness and denoising quality compared to other TV models. Such encouraging results further enhance the utility of the TV method in image processing.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Deep Learning-Based Prediction of Suspension Dynamics Performance in Multi-Axle Vehicles
Authors:
Kai Chun Lin,
Bo-Yi Lin
Abstract:
This paper presents a deep learning-based framework for predicting the dynamic performance of suspension systems in multi-axle vehicles, emphasizing the integration of machine learning with traditional vehicle dynamics modeling. A Multi-Task Deep Belief Network Deep Neural Network (MTL-DBN-DNN) was developed to capture the relationships between key vehicle parameters and suspension performance met…
▽ More
This paper presents a deep learning-based framework for predicting the dynamic performance of suspension systems in multi-axle vehicles, emphasizing the integration of machine learning with traditional vehicle dynamics modeling. A Multi-Task Deep Belief Network Deep Neural Network (MTL-DBN-DNN) was developed to capture the relationships between key vehicle parameters and suspension performance metrics. The model was trained on data generated from numerical simulations and demonstrated superior prediction accuracy compared to conventional DNN models. A comprehensive sensitivity analysis was conducted to assess the impact of various vehicle and suspension parameters on dynamic suspension performance. Additionally, the Suspension Dynamic Performance Index (SDPI) was introduced as a holistic measure to quantify overall suspension performance, accounting for the combined effects of multiple parameters. The findings highlight the effectiveness of multitask learning in improving predictive models for complex vehicle systems.
△ Less
Submitted 3 October, 2024;
originally announced October 2024.
-
Analysis of Centrifugal Clutches in Two-Speed Automatic Transmissions with Deep Learning-Based Engagement Prediction
Authors:
Bo-Yi Lin,
Kai Chun Lin
Abstract:
This paper presents a comprehensive numerical analysis of centrifugal clutch systems integrated with a two-speed automatic transmission, a key component in automotive torque transfer. Centrifugal clutches enable torque transmission based on rotational speed without external controls. The study systematically examines various clutch configurations effects on transmission dynamics, focusing on torqu…
▽ More
This paper presents a comprehensive numerical analysis of centrifugal clutch systems integrated with a two-speed automatic transmission, a key component in automotive torque transfer. Centrifugal clutches enable torque transmission based on rotational speed without external controls. The study systematically examines various clutch configurations effects on transmission dynamics, focusing on torque transfer, upshifting, and downshifting behaviors under different conditions. A Deep Neural Network (DNN) model predicts clutch engagement using parameters such as spring preload and shoe mass, offering an efficient alternative to complex simulations. The integration of deep learning and numerical modeling provides critical insights for optimizing clutch designs, enhancing transmission performance and efficiency.
△ Less
Submitted 24 September, 2024; v1 submitted 15 September, 2024;
originally announced September 2024.
-
Proof of the geometric Langlands conjecture IV: ambidexterity
Authors:
D. Arinkin,
D. Beraldo,
L. Chen,
J. Faergeman,
D. Gaitsgory,
K. Lin,
S. Raskin,
N. Rozenblyum
Abstract:
This paper performs the following steps toward the proof of GLC in the de Rham setting:
(i) We deduce GLC for G=GL_n;
(ii) We prove that the Langlands functor L_G constructed in [GLC1], when restricted to the cuspidal category, is ambidextrous;
(iii) We reduce GLC to the study of a certain classical vector bundle with connection on the stack of irreducible local systems;
(iv) We prove that…
▽ More
This paper performs the following steps toward the proof of GLC in the de Rham setting:
(i) We deduce GLC for G=GL_n;
(ii) We prove that the Langlands functor L_G constructed in [GLC1], when restricted to the cuspidal category, is ambidextrous;
(iii) We reduce GLC to the study of a certain classical vector bundle with connection on the stack of irreducible local systems;
(iv) We prove that GLC is equivalent to the contractibility of the space of generic oper structures on irreducible local systems;
(v) Using [BKS], we deduce GLC for classical groups.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Proof of the geometric Langlands conjecture III: compatibility with parabolic induction
Authors:
Justin Campbell,
Lin Chen,
Joakim Faergeman,
Dennis Gaitsgory,
Kevin Lin,
Sam Raskin,
Nick Rozenblyum
Abstract:
We establish the compatibility of the Langlands functor with the operations of Eisenstein series constant term, and deduce that the Langlands functor induces an equivalence on Eisenstein-generated subcategories.
We establish the compatibility of the Langlands functor with the operations of Eisenstein series constant term, and deduce that the Langlands functor induces an equivalence on Eisenstein-generated subcategories.
△ Less
Submitted 11 September, 2024;
originally announced September 2024.
-
Sharp critical mass criteria for weak solutions to a degenerate cross-attraction system
Authors:
José Antonio Carrillo,
Ke Lin
Abstract:
The qualitative study of solutions to the coupled parabolic-elliptic chemotaxis system with nonlinear diffusion for two species will be considered in the whole Euclidean space $\mathbb{R}^d$ ($d\geq 3$). It was proven in \cite{CK2021-ANA} that there exist two critical curves that separate the global existence and blow-up of weak solutions to the above problem. We improve this result by providing s…
▽ More
The qualitative study of solutions to the coupled parabolic-elliptic chemotaxis system with nonlinear diffusion for two species will be considered in the whole Euclidean space $\mathbb{R}^d$ ($d\geq 3$). It was proven in \cite{CK2021-ANA} that there exist two critical curves that separate the global existence and blow-up of weak solutions to the above problem. We improve this result by providing sharp criteria for the dicothomy: global existence of weak solution versus blow-up below and at these curves. Besides, there exist sharp critical masses of initial data at the intersection of the two critical lines, which extend the well-known critical mass phenomenon in one-species Keller-Segel system in \cite{BCL09-CVPDE} to two-species case.
△ Less
Submitted 25 August, 2024;
originally announced August 2024.
-
Blowup algebras of ladder or interval determinantal modules
Authors:
Kuei-Nuan Lin,
Yi-Huang Shen
Abstract:
We determine Gröbner bases for the presentation ideals of multi-Rees algebras and their special fiber rings. Specifically, we focus on modules that are direct sums of ideals generated by either maximal minors of a two-sided ladder matrix or unit interval determinantal ideals. Our analysis reveals that the multi-blowup algebras are Koszul Cohen--Macaulay normal domains, possess rational singulariti…
▽ More
We determine Gröbner bases for the presentation ideals of multi-Rees algebras and their special fiber rings. Specifically, we focus on modules that are direct sums of ideals generated by either maximal minors of a two-sided ladder matrix or unit interval determinantal ideals. Our analysis reveals that the multi-blowup algebras are Koszul Cohen--Macaulay normal domains, possess rational singularities in characteristic zero, and are F-rational in positive characteristic.
△ Less
Submitted 3 August, 2024;
originally announced August 2024.
-
A Successive Gap Constraint Linearization Method for Optimal Control Problems with Equilibrium Constraints
Authors:
Kangyu Lin,
Toshiyuki Ohtsuka
Abstract:
In this study, we propose a novel gap-constraint-based reformulation for optimal control problems with equilibrium constraints (OCPECs). We show that the proposed reformulation generates a new constraint system equivalent to the original one but more concise and with favorable differentiability. Moreover, constraint regularity can be recovered by a relaxation strategy. We show that the gap constra…
▽ More
In this study, we propose a novel gap-constraint-based reformulation for optimal control problems with equilibrium constraints (OCPECs). We show that the proposed reformulation generates a new constraint system equivalent to the original one but more concise and with favorable differentiability. Moreover, constraint regularity can be recovered by a relaxation strategy. We show that the gap constraint and its gradient can be evaluated efficiently. We then propose a successive gap constraint linearization method to solve the discretized OCPEC. We also provide an intuitive geometric interpretation of the gap constraint. Numerical experiments validate the effectiveness of the proposed reformulation and solution method.
△ Less
Submitted 5 June, 2024;
originally announced June 2024.
-
Proof of the geometric Langlands conjecture II: Kac-Moody localization and the FLE
Authors:
D. Arinkin,
D. Beraldo,
J. Campbell,
L. Chen,
J. Faergeman,
D. Gaitsgory,
K. Lin,
S. Raskin,
N. Rozenblyum
Abstract:
This paper is the second in a series of five that together prove the geometric Langlands conjecture. Our goals are two-fold:
(1) Formulate and prove the Fundamental Local Equivalence (FLE) at the critical level;
(2) Study the interaction between Kac-Moody localization and the global geometric Langlands functor of ref. [GLC1].
This paper contains an extensive Appendix, whose primary goals are…
▽ More
This paper is the second in a series of five that together prove the geometric Langlands conjecture. Our goals are two-fold:
(1) Formulate and prove the Fundamental Local Equivalence (FLE) at the critical level;
(2) Study the interaction between Kac-Moody localization and the global geometric Langlands functor of ref. [GLC1].
This paper contains an extensive Appendix, whose primary goals are:
(a) Development the theory of ind-coherent sheaves in infinite type;
(b)Development of the formalism of factorization categories.
△ Less
Submitted 11 September, 2024; v1 submitted 6 May, 2024;
originally announced May 2024.
-
Dynamic clustering for heterophilic stochastic block models with time-varying node memberships
Authors:
Kevin Z Lin,
Jing Lei
Abstract:
We consider a time-ordered sequence of networks stemming from stochastic block models where nodes gradually change memberships over time and no network at any single time point contains sufficient signal strength to recover its community structure. To estimate the time-varying community structure, we develop KD-SoS (kernel debiased sum-of-square), a method performing spectral clustering after a de…
▽ More
We consider a time-ordered sequence of networks stemming from stochastic block models where nodes gradually change memberships over time and no network at any single time point contains sufficient signal strength to recover its community structure. To estimate the time-varying community structure, we develop KD-SoS (kernel debiased sum-of-square), a method performing spectral clustering after a debiased sum-of-squared aggregation of adjacency matrices. Our theory demonstrates via a novel bias-variance decomposition that KD-SoS achieves consistent community detection of each network even when heterophilic networks do not require smoothness in the time-varying dynamics of between-community connectivities. We also prove the identifiability of aligning community structures across time based on how rapidly nodes change communities, and develop a data-adaptive bandwidth tuning procedure for KD-SoS. We demonstrate the utility and advantages of KD-SoS through simulations and a novel analysis of the time-varying dynamics in gene coordination in the human developing brain system.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
On Cohen--Macaulay modules over the Weyl algebra
Authors:
Kuei-Nuan Lin,
Jen-Chieh Hsiao
Abstract:
We propose a definition of Cohen--Macaulay modules over the Weyl algebra $D$ and give a sufficient condition for a GKZ $A$-hypergeometric $D$-module to be Cohen--Macaulay.
We propose a definition of Cohen--Macaulay modules over the Weyl algebra $D$ and give a sufficient condition for a GKZ $A$-hypergeometric $D$-module to be Cohen--Macaulay.
△ Less
Submitted 11 September, 2023;
originally announced September 2023.
-
Computing Optimal Strategies for a Search Game in Discrete Locations
Authors:
Jake Clarkson,
Kyle Y Lin
Abstract:
Consider a two-person zero-sum search game between a hider and a searcher. The hider hides among $n$ discrete locations, and the searcher successively visits individual locations until finding the hider. Known to both players, a search at location $i$ takes $t_i$ time units and detects the hider -- if hidden there -- independently with probability $α_i$, for $i=1,\ldots,n$. The hider aims to maxim…
▽ More
Consider a two-person zero-sum search game between a hider and a searcher. The hider hides among $n$ discrete locations, and the searcher successively visits individual locations until finding the hider. Known to both players, a search at location $i$ takes $t_i$ time units and detects the hider -- if hidden there -- independently with probability $α_i$, for $i=1,\ldots,n$. The hider aims to maximize the expected time until detection, while the searcher aims to minimize it. We present an algorithm to compute an optimal strategy for each player. We demonstrate the algorithm's efficiency in a numerical study, in which we also study the characteristics of the optimal hiding strategy.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
Sequential good lattice point sets for computer experiments
Authors:
Xue-Ru Zhang,
Min-Qian Liu,
Dennis K. J. Lin,
Yong-Dao Zhou
Abstract:
Sequential Latin hypercube designs have recently received great attention for computer experiments. Much of the work has been restricted to invariant spaces. The related systematic construction methods are inflexible while algorithmic methods are ineffective for large designs. For such designs in space contraction, systematic construction methods have not been investigated yet. This paper proposes…
▽ More
Sequential Latin hypercube designs have recently received great attention for computer experiments. Much of the work has been restricted to invariant spaces. The related systematic construction methods are inflexible while algorithmic methods are ineffective for large designs. For such designs in space contraction, systematic construction methods have not been investigated yet. This paper proposes a new method for constructing sequential Latin hypercube designs via good lattice point sets in a variety of experimental spaces. These designs are called sequential good lattice point sets. Moreover, we provide fast and efficient approaches for identifying the (nearly) optimal sequential good lattice point sets under a given criterion. Combining with the linear level permutation technique, we obtain a class of asymptotically optimal sequential Latin hypercube designs in invariant spaces where the $L_1$-distance in each stage is either optimal or asymptotically optimal. Numerical results demonstrate that the sequential good lattice point set has a better space-filling property than the existing sequential Latin hypercube designs in the invariant space. It is also shown that the sequential good lattice point sets have less computational complexity and more adaptability.
△ Less
Submitted 16 May, 2023; v1 submitted 11 May, 2023;
originally announced May 2023.
-
Regularities and multiplicities of Veronese type algebras
Authors:
Kuei-Nuan Lin,
Yi-Huang Shen
Abstract:
In this paper, we study the algebra of Veronese type. We show that the presentation ideal of this algebra has an initial ideal whose Alexander dual has linear quotients. As an application, we explicitly obtain the Castelnuovo-Mumford regularity of the Veronese type algebra. Furthermore, we give an effective upper bound on the multiplicity of this algebra.
In this paper, we study the algebra of Veronese type. We show that the presentation ideal of this algebra has an initial ideal whose Alexander dual has linear quotients. As an application, we explicitly obtain the Castelnuovo-Mumford regularity of the Veronese type algebra. Furthermore, we give an effective upper bound on the multiplicity of this algebra.
△ Less
Submitted 2 May, 2023;
originally announced May 2023.
-
Poincare series and miraculous duality
Authors:
Kevin Lin
Abstract:
In the setting of global geometric Langlands, we show that miraculous duality on the stack of principal bundles on a curve intertwines the functor of Poincare series with the dual functor to Whittaker coefficients. We construct, for arbitrary parabolic subgroups, Jacquet functors controlling constant terms of Poincare series and Whittaker coefficients of Eisenstein series in local terms.
In the setting of global geometric Langlands, we show that miraculous duality on the stack of principal bundles on a curve intertwines the functor of Poincare series with the dual functor to Whittaker coefficients. We construct, for arbitrary parabolic subgroups, Jacquet functors controlling constant terms of Poincare series and Whittaker coefficients of Eisenstein series in local terms.
△ Less
Submitted 9 November, 2022;
originally announced November 2022.
-
A Non-Interior-Point Continuation Method for the Optimal Control Problem with Equilibrium Constraints
Authors:
Kangyu Lin,
Toshiyuki Ohtsuka
Abstract:
In this study, we focus on the numerical solution method for the optimal control problem with equilibrium constraints (OCPEC).It is extremely challenging to solve OCPEC owing to the absence of constraint regularity and strictly feasible interior points. To solve OCPEC efficiently, we first relax the discretized OCPEC to recover the constraint regularity and then map its Karush--Kuhn--Tucker (KKT)…
▽ More
In this study, we focus on the numerical solution method for the optimal control problem with equilibrium constraints (OCPEC).It is extremely challenging to solve OCPEC owing to the absence of constraint regularity and strictly feasible interior points. To solve OCPEC efficiently, we first relax the discretized OCPEC to recover the constraint regularity and then map its Karush--Kuhn--Tucker (KKT) conditions into a perturbed system of equations. Subsequently, we propose a novel two-stage solution method, called the non-interior-point continuation method, to solve the perturbed system. In the first stage, a non-interior-point method, which solves the perturbed system using the Newton method and globalizes convergence using a dedicated merit function, is employed. In the second stage, a predictor-corrector continuation method is utilized to track the solution trajectory as a function of the perturbed parameter, starting at the solution obtained in the first stage. The proposed method regularizes the KKT matrix and does not enforce iterates to remain in the feasible interior, which mitigates the numerical difficulties of solving OCPEC. Convergence properties are analyzed under certain assumptions. Numerical experiments demonstrate that the proposed method can accurately track the solution trajectory while demanding significantly less computation time compared to the interior-point method.
△ Less
Submitted 27 May, 2024; v1 submitted 19 October, 2022;
originally announced October 2022.
-
On Faster Convergence of Scaled Sign Gradient Descent
Authors:
Xiuxian Li,
Kuo-Yi Lin,
Li Li,
Yiguang Hong,
Jie Chen
Abstract:
Communication has been seen as a significant bottleneck in industrial applications over large-scale networks. To alleviate the communication burden, sign-based optimization algorithms have gained popularity recently in both industrial and academic communities, which is shown to be closely related to adaptive gradient methods, such as Adam. Along this line, this paper investigates faster convergenc…
▽ More
Communication has been seen as a significant bottleneck in industrial applications over large-scale networks. To alleviate the communication burden, sign-based optimization algorithms have gained popularity recently in both industrial and academic communities, which is shown to be closely related to adaptive gradient methods, such as Adam. Along this line, this paper investigates faster convergence for a variant of sign-based gradient descent, called scaled signGD, in three cases: 1) the objective function is strongly convex; 2) the objective function is nonconvex but satisfies the Polyak-Lojasiewicz (PL) inequality; 3) the gradient is stochastic, called scaled signGD in this case. For the first two cases, it can be shown that the scaled signGD converges at a linear rate. For case 3), the algorithm is shown to converge linearly to a neighborhood of the optimal value when a constant learning rate is employed, and the algorithm converges at a rate of $O(1/k)$ when using a diminishing learning rate, where $k$ is the iteration number. The results are also extended to the distributed setting by majority vote in a parameter-server framework. Finally, numerical experiments on logistic regression are performed to corroborate the theoretical findings.
△ Less
Submitted 4 September, 2021;
originally announced September 2021.
-
Multistationarity of Reaction Networks with One-Dimensional Stoichiometric Subspaces
Authors:
Kexin Lin,
Xiaoxian Tang,
Zhishuo Zhang
Abstract:
We study the multistationarity for the reaction networks with one-dimensional stoichiometric subspaces, and we focus on the networks admitting finitely many positive steady states. We prove that if a network admits multistationarity, then network has an embedded one-species network with arrow diagram (->,<-) and another with arrow diagram (<-,->). The inverse is also true if there exist two reacti…
▽ More
We study the multistationarity for the reaction networks with one-dimensional stoichiometric subspaces, and we focus on the networks admitting finitely many positive steady states. We prove that if a network admits multistationarity, then network has an embedded one-species network with arrow diagram (->,<-) and another with arrow diagram (<-,->). The inverse is also true if there exist two reactions in the network such that the subnetwork consisting of the two reactions admits at least one and finitely many positive steady states. We also prove that if a network admits at least three positive steady states, then it contains at least three bi-arrow diagrams. More than that, we completely characterize the bi-reaction networks that admit at least three positive steady states.
△ Less
Submitted 22 August, 2021;
originally announced August 2021.
-
Toric Ideals of Weighted Oriented Graphs
Authors:
Jennifer Biermann,
Selvi Kara,
Kuei-Nuan Lin,
Augustine O'Keefe
Abstract:
Given a vertex-weighted oriented graph, we can associate to it a set of monomials. We consider the toric ideal whose defining map is given by these monomials. We find a generating set for the toric ideal for certain classes of graphs which depends on the combinatorial structure and weights of the graph. We provide a result which is analogous to the unweighted, unoriented graph case, to show that w…
▽ More
Given a vertex-weighted oriented graph, we can associate to it a set of monomials. We consider the toric ideal whose defining map is given by these monomials. We find a generating set for the toric ideal for certain classes of graphs which depends on the combinatorial structure and weights of the graph. We provide a result which is analogous to the unweighted, unoriented graph case, to show that when the associated simple graph has only trivial even closed walks, the toric ideal is the zero ideal. Moreover, we give necessary and sufficient conditions for the toric ideal of a weighted oriented graph to be generated by a single binomial and we describe the binomial in term of the structure of the graph.
△ Less
Submitted 9 July, 2021;
originally announced July 2021.
-
Blow-up algebras of secant varieties of rational normal scrolls
Authors:
Kuei-Nuan Lin,
Yi-Huang Shen
Abstract:
In this paper, we are mainly concerned with the blow-up algebras of the secant varieties of balanced rational normal scrolls. In the first part, we give implicit defining equations of their associated Rees algebras and fiber cones. Consequently, we can tell that the fiber cones are Cohen--Macaulay normal domains. Meanwhile, these fiber cones have rational singularities in characteristic zero, and…
▽ More
In this paper, we are mainly concerned with the blow-up algebras of the secant varieties of balanced rational normal scrolls. In the first part, we give implicit defining equations of their associated Rees algebras and fiber cones. Consequently, we can tell that the fiber cones are Cohen--Macaulay normal domains. Meanwhile, these fiber cones have rational singularities in characteristic zero, and are $F$-rational in positive characteristic. The Gorensteinness of the fiber cones can also be characterized. In the second part, we compute the Castelnuovo--Mumford regularities and $\mathbf{a}$-invariants of the fiber cones. We also present the reduction numbers of the ideals defined by the secant varieties.
△ Less
Submitted 8 July, 2021;
originally announced July 2021.
-
Mechanism Design for Efficient Nash Equilibrium in Oligopolistic Markets
Authors:
Kaiying Lin,
Beibei Wang,
Pengcheng You
Abstract:
This paper investigates the efficiency loss in social cost caused by strategic bidding behavior of individual participants in a supply-demand balancing market, and proposes a mechanism to fully recover equilibrium social optimum via subsidization and taxation. We characterize the competition among supply-side firms to meet given inelastic demand, with linear supply function bidding and the propose…
▽ More
This paper investigates the efficiency loss in social cost caused by strategic bidding behavior of individual participants in a supply-demand balancing market, and proposes a mechanism to fully recover equilibrium social optimum via subsidization and taxation. We characterize the competition among supply-side firms to meet given inelastic demand, with linear supply function bidding and the proposed efficiency recovery mechanism. We show that the Nash equilibrium of such a game exists under mild conditions, and more importantly, it achieves the underlying efficient supply dispatch and the market clearing price that reflects the truthful system marginal production cost. Further, the mechanism can be tuned to guarantee self-sufficiency, i.e., taxes collected counterbalance subsidies needed. Extensive numerical case studies are run to validate the equilibrium analysis, and we employ individual net profit and a modified version of Lerner index as two metrics to evaluate the impact of the mechanism on market outcomes by varying its tuning parameter and firm heterogeneity.
△ Less
Submitted 21 June, 2021;
originally announced June 2021.
-
Symbolic powers of generalized star configurations of hypersurfaces
Authors:
Kuei-Nuan Lin,
Yi-Huang Shen
Abstract:
We introduce the class of sparse symmetric shifted monomial ideals. These ideals have linear quotients and their Betti numbers are computed. Using this, we prove that the symbolic powers of the generalized star configuration ideal are sequentially Cohen--Macaulay under some mild genericness assumption. With respect to these symbolic powers, we also consider the Harbourne--Huneke containment proble…
▽ More
We introduce the class of sparse symmetric shifted monomial ideals. These ideals have linear quotients and their Betti numbers are computed. Using this, we prove that the symbolic powers of the generalized star configuration ideal are sequentially Cohen--Macaulay under some mild genericness assumption. With respect to these symbolic powers, we also consider the Harbourne--Huneke containment problem and establish the Demailly-like bound.
△ Less
Submitted 5 June, 2021;
originally announced June 2021.
-
A Classical Search Game in Discrete Locations
Authors:
Jake Clarkson,
Kyle Y. Lin,
Kevin D. Glazebrook
Abstract:
Consider a two-person zero-sum search game between a hider and a searcher. The hider hides among $n$ discrete locations, and the searcher successively visits individual locations until finding the hider. Known to both players, a search at location $i$ takes $t_i$ time units and detects the hider -- if hidden there -- independently with probability $q_i$, for $i=1,\ldots,n$. The hider aims to maxim…
▽ More
Consider a two-person zero-sum search game between a hider and a searcher. The hider hides among $n$ discrete locations, and the searcher successively visits individual locations until finding the hider. Known to both players, a search at location $i$ takes $t_i$ time units and detects the hider -- if hidden there -- independently with probability $q_i$, for $i=1,\ldots,n$. The hider aims to maximize the expected time until detection, while the searcher aims to minimize it. We prove the existence of an optimal strategy for each player. In particular, the hider's optimal mixed strategy hides in each location with a nonzero probability, and the searcher's optimal mixed strategy can be constructed with up to $n$ simple search sequences. We develop an algorithm to compute an optimal strategy for each player, and compare the optimal hiding strategy with the simple hiding strategy which gives the searcher no location preference at the beginning of the search.
△ Less
Submitted 8 March, 2021;
originally announced March 2021.
-
Rees algebras of sparse determinantal ideals
Authors:
Ela Celikbas,
Emilie Dufresne,
Louiza Fouli,
Elisa Gorla,
Kuei-Nuan Lin,
Claudia Polini,
Irena Swanson
Abstract:
We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a $2\times n$ sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F…
▽ More
We determine the defining equations of the Rees algebra and of the special fiber ring of the ideal of maximal minors of a $2\times n$ sparse matrix. We prove that their initial algebras are ladder determinantal rings. This allows us to show that the Rees algebra and the special fiber ring are Cohen-Macaulay domains, they are Koszul, they have rational singularities in characteristic zero and are F-rational in positive characteristic.
△ Less
Submitted 8 January, 2021;
originally announced January 2021.
-
Multi-Rees Algebras of Strongly Stable Ideals
Authors:
Selvi Kara,
Kuei-Nuan Lin,
Gabriel Sosa
Abstract:
We prove that the multi-Rees algebra $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ of a collection of strongly stable ideals $I_1, \ldots, I_r$ is of fiber type. In particular, we provide a Gröbner basis for its defining ideal as a union of a Gröbner basis for its special fiber and binomial syzygies. We also study the Koszulness of $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ based on parameters asso…
▽ More
We prove that the multi-Rees algebra $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ of a collection of strongly stable ideals $I_1, \ldots, I_r$ is of fiber type. In particular, we provide a Gröbner basis for its defining ideal as a union of a Gröbner basis for its special fiber and binomial syzygies. We also study the Koszulness of $\mathcal{R}(I_1 \oplus \cdots \oplus I_r)$ based on parameters associated to the collection. Furthermore, we establish a quadratic Gröbner basis of the defining ideal of $\mathcal{R}(I_1 \oplus I_2)$ where each of the strongly stable ideals has two quadric Borel generators. As a consequence, we conclude that this multi-Rees algebra is Koszul.
△ Less
Submitted 8 November, 2022; v1 submitted 30 December, 2020;
originally announced December 2020.
-
Sharp conditions on global existence and blow-up in a degenerate two-species and cross-attraction system
Authors:
J. A. Carrillo,
K. Lin
Abstract:
We consider a degenerate chemotaxis model with two-species and two-stimuli in dimension $d\geq 3$ and find two critical curves intersecting at one same point which separate the global existence and blow up of weak solutions to the problem. More precisely, above these curves (i.e. subcritical case), the problem admits a global weak solution obtained by the limits of strong solutions to an approxima…
▽ More
We consider a degenerate chemotaxis model with two-species and two-stimuli in dimension $d\geq 3$ and find two critical curves intersecting at one same point which separate the global existence and blow up of weak solutions to the problem. More precisely, above these curves (i.e. subcritical case), the problem admits a global weak solution obtained by the limits of strong solutions to an approximated system. Based on the second moment of solutions, initial data are constructed to make sure blow up occurs in finite time below these curves (i.e. critical and supercritical cases). In addition, the existence or non-existence of minimizers of free energy functional is discussed on the critical curves and the solutions exist globally in time if the size of initial data is small. We also investigate the crossing point between the critical lines in which a refined criteria in terms of the masses is given again to distinguish the dichotomy between global existence and blow up. We also show that the blow ups is simultaneous for both species.
△ Less
Submitted 19 December, 2020;
originally announced December 2020.
-
Fiber cones of rational normal scrolls are Cohen-Macaulay
Authors:
Kuei-Nuan Lin,
Yi-Huang Shen
Abstract:
In this short paper, we show that the fiber cones of rational normal scrolls are Cohen-Macaulay. As an application, we compute their Castelnuovo-Mumford regularities and $\mathbf{a}$-invariants, as well as the reduction number of the defining ideals of the rational normal scrolls. We also characterize the Gorensteinness of the fiber cone.
In this short paper, we show that the fiber cones of rational normal scrolls are Cohen-Macaulay. As an application, we compute their Castelnuovo-Mumford regularities and $\mathbf{a}$-invariants, as well as the reduction number of the defining ideals of the rational normal scrolls. We also characterize the Gorensteinness of the fiber cone.
△ Less
Submitted 11 July, 2021; v1 submitted 7 September, 2020;
originally announced September 2020.
-
Rees Algebras of Unit Interval Determinantal Facet Ideals
Authors:
Ayah Almousa,
Kuei-Nuan Lin,
Whitney Liske
Abstract:
Using SAGBI basis techniques, we find Gröbner bases for the presentation ideals of the Rees algebras and special fiber rings of unit interval determinantal facet ideals. In particular, we show that unit interval determinantal facet ideals are of fiber type and that their special fiber rings are Koszul. Moreover, their Rees algebras and special fiber rings are normal Cohen-Macaulay domains and have…
▽ More
Using SAGBI basis techniques, we find Gröbner bases for the presentation ideals of the Rees algebras and special fiber rings of unit interval determinantal facet ideals. In particular, we show that unit interval determinantal facet ideals are of fiber type and that their special fiber rings are Koszul. Moreover, their Rees algebras and special fiber rings are normal Cohen-Macaulay domains and have rational singularities.
△ Less
Submitted 21 June, 2023; v1 submitted 25 August, 2020;
originally announced August 2020.
-
Bias-adjusted spectral clustering in multi-layer stochastic block models
Authors:
Jing Lei,
Kevin Z. Lin
Abstract:
We consider the problem of estimating common community structures in multi-layer stochastic block models, where each single layer may not have sufficient signal strength to recover the full community structure. In order to efficiently aggregate signal across different layers, we argue that the sum-of-squared adjacency matrices contain sufficient signal even when individual layers are very sparse.…
▽ More
We consider the problem of estimating common community structures in multi-layer stochastic block models, where each single layer may not have sufficient signal strength to recover the full community structure. In order to efficiently aggregate signal across different layers, we argue that the sum-of-squared adjacency matrices contain sufficient signal even when individual layers are very sparse. Our method uses a bias-removal step that is necessary when the squared noise matrices may overwhelm the signal in the very sparse regime. The analysis of our method relies on several novel tail probability bounds for matrix linear combinations with matrix-valued coefficients and matrix-valued quadratic forms, which may be of independent interest. The performance of our method and the necessity of bias removal is demonstrated in synthetic data and in microarray analysis about gene co-expression networks.
△ Less
Submitted 5 March, 2022; v1 submitted 18 March, 2020;
originally announced March 2020.
-
Statistical Monitoring of the Covariance Matrix in Multivariate Processes: A Literature Review
Authors:
Mohsen Ebadi,
Shoja'eddin Chenouri,
Dennis K. J. Lin,
Stefan H. Steiner
Abstract:
Monitoring several correlated quality characteristics of a process is common in modern manufacturing and service industries. Although a lot of attention has been paid to monitoring the multivariate process mean, not many control charts are available for monitoring the covariance matrix. This paper presents a comprehensive overview of the literature on control charts for monitoring the covariance m…
▽ More
Monitoring several correlated quality characteristics of a process is common in modern manufacturing and service industries. Although a lot of attention has been paid to monitoring the multivariate process mean, not many control charts are available for monitoring the covariance matrix. This paper presents a comprehensive overview of the literature on control charts for monitoring the covariance matrix in a multivariate statistical process monitoring (MSPM) framework. It classifies the research that has previously appeared in the literature. We highlight the challenging areas for research and provide some directions for future research.
△ Less
Submitted 14 April, 2021; v1 submitted 14 February, 2020;
originally announced February 2020.
-
Symbolic powers and free resolutions of generalized star configurations of hypersurfaces
Authors:
Kuei-Nuan Lin,
Yi-Huang Shen
Abstract:
As a generalization of the ideals of star configurations of hypersurfaces, we consider the $a$-fold product ideal $I_a(f_1^{m_1}\cdots f_s^{m_s})$ when ${f_1,\dots,f_s}$ is a sequence of generic forms and $1\le a\le m_1+\cdots+m_s$. Firstly, we show that this ideal has complete intersection quotients when these forms are of the same degree and essentially linear. Then we study its symbolic powers…
▽ More
As a generalization of the ideals of star configurations of hypersurfaces, we consider the $a$-fold product ideal $I_a(f_1^{m_1}\cdots f_s^{m_s})$ when ${f_1,\dots,f_s}$ is a sequence of generic forms and $1\le a\le m_1+\cdots+m_s$. Firstly, we show that this ideal has complete intersection quotients when these forms are of the same degree and essentially linear. Then we study its symbolic powers while focusing on the uniform case with $m_1=\cdots=m_s$. For large $a$, we describe its resurgence and symbolic defect. And for general $a$, we also investigate the corresponding invariants for meeting-at-the-minimal-components version of symbolic powers.
△ Less
Submitted 9 December, 2019;
originally announced December 2019.
-
Algebraic invariants of weighted oriented graphs
Authors:
Selvi Kara,
Jennifer Biermann,
Kuei-Nuan Lin,
Augustine O'Keefe
Abstract:
Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal in a polynomial ring $R$. We give the formula of Castelnuovo-Mumford regularity of $R/I(\mathcal{D})$ when $\mathcal{D}$ is a weighted oriented path or cycle such that edges of $\mathcal{D}$ are oriented in one direction. Additionally, we compute the projective dimension for this class of graphs.
Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal in a polynomial ring $R$. We give the formula of Castelnuovo-Mumford regularity of $R/I(\mathcal{D})$ when $\mathcal{D}$ is a weighted oriented path or cycle such that edges of $\mathcal{D}$ are oriented in one direction. Additionally, we compute the projective dimension for this class of graphs.
△ Less
Submitted 25 October, 2019;
originally announced October 2019.
-
Projective dimension of Hypergraphs
Authors:
Kuei-Nuan Lin,
Sonja Mapes
Abstract:
Given a square-free monomial ideal $I$, satisfying certain hypotheses, in a polynomial ring $R$ over a field $\mathbb{K}$, we compute the projective dimension of $I$. Specifically, we focus on the cases where the 1-skeleton of an associated hypergraph is either a string or a cycle. We investigate the impact on the projective dimension when higher dimensional edges are removed. We prove that the hi…
▽ More
Given a square-free monomial ideal $I$, satisfying certain hypotheses, in a polynomial ring $R$ over a field $\mathbb{K}$, we compute the projective dimension of $I$. Specifically, we focus on the cases where the 1-skeleton of an associated hypergraph is either a string or a cycle. We investigate the impact on the projective dimension when higher dimensional edges are removed. We prove that the higher dimensional edge either has no effect on the projective dimension or the projective dimension only goes up by one with the extra higher dimensional edge.
△ Less
Submitted 28 February, 2021; v1 submitted 2 October, 2019;
originally announced October 2019.
-
Three Dimensional Sums of Character Gabor Systems
Authors:
Kung-Ching Lin
Abstract:
In deterministic compressive sensing, one constructs sampling matrices that recover sparse signals from highly incomplete measurements. However, the so-called square-root bottleneck limits the usefulness of such matrices, as they are only able to recover exceedingly sparse signals with respect to the matrix dimension. In view of the flat restricted isometry property (flat RIP) proposed by Bourgain…
▽ More
In deterministic compressive sensing, one constructs sampling matrices that recover sparse signals from highly incomplete measurements. However, the so-called square-root bottleneck limits the usefulness of such matrices, as they are only able to recover exceedingly sparse signals with respect to the matrix dimension. In view of the flat restricted isometry property (flat RIP) proposed by Bourgain et al., we provide a partial solution to the bottleneck problem with the Gabor system of Legendre symbols. When summing over consecutive vectors, the estimate gives a nontrivial upper bound required for the bottleneck problem.
△ Less
Submitted 25 September, 2019;
originally announced September 2019.
-
On boundedness, gradient estimate, blow-up and convergence in a two-species and two-stimuli chemotaxis system with/without loop
Authors:
Ke Lin,
Tian Xiang
Abstract:
In this work, we study dynamic properties of classical solutions to a homogenous Neumann initial-boundary value problem (IBVP) for a two-species and two-stimuli chemotaxis model with/without chemical signalling loop in a 2D bounded and smooth domain. We successfully detect the product of two species masses as a feature to determine boundedness, gradient estimates, blow-up and…
▽ More
In this work, we study dynamic properties of classical solutions to a homogenous Neumann initial-boundary value problem (IBVP) for a two-species and two-stimuli chemotaxis model with/without chemical signalling loop in a 2D bounded and smooth domain. We successfully detect the product of two species masses as a feature to determine boundedness, gradient estimates, blow-up and $W^{j,\infty}(1\leq j\leq 3)$-exponential convergence of classical solutions for the corresponding IBVP. More specifically, we first show generally a smallness on the product of both species masses, thus allowing one species mass to be suitably large, is sufficient to guarantee global boundedness, higher order gradient estimates and $W^{j,\infty}$-convergence with rates of convergence to constant equilibria; and then, in a special case, we detect a straight line of masses on which blow-up occurs for large product of masses. Our findings provide new understandings about the underlying model, and thus, improve and extend greatly the existing knowledge relevant to this model.
△ Less
Submitted 7 May, 2020; v1 submitted 10 September, 2019;
originally announced September 2019.
-
Data-driven model reduction, Wiener projections, and the Koopman-Mori-Zwanzig formalism
Authors:
Kevin K. Lin,
Fei Lu
Abstract:
Model reduction methods aim to describe complex dynamic phenomena using only relevant dynamical variables, decreasing computational cost, and potentially highlighting key dynamical mechanisms. In the absence of special dynamical features such as scale separation or symmetries, the time evolution of these variables typically exhibits memory effects. Recent work has found a variety of data-driven mo…
▽ More
Model reduction methods aim to describe complex dynamic phenomena using only relevant dynamical variables, decreasing computational cost, and potentially highlighting key dynamical mechanisms. In the absence of special dynamical features such as scale separation or symmetries, the time evolution of these variables typically exhibits memory effects. Recent work has found a variety of data-driven model reduction methods to be effective for representing such non-Markovian dynamics, but their scope and dynamical underpinning remain incompletely understood. Here, we study data-driven model reduction from a dynamical systems perspective. For both chaotic and randomly-forced systems, we show the problem can be naturally formulated within the framework of Koopman operators and the Mori-Zwanzig projection operator formalism. We give a heuristic derivation of a NARMAX (Nonlinear Auto-Regressive Moving Average with eXogenous input) model from an underlying dynamical model. The derivation is based on a simple construction we call Wiener projection, which links Mori-Zwanzig theory to both NARMAX and to classical Wiener filtering. We apply these ideas to the Kuramoto-Sivashinsky model of spatiotemporal chaos and a viscous Burgers equation with stochastic forcing.
△ Less
Submitted 5 October, 2020; v1 submitted 21 August, 2019;
originally announced August 2019.
-
Statistically and Computationally Efficient Change Point Localization in Regression Settings
Authors:
Daren Wang,
Zifeng Zhao,
Kevin Lin,
Rebecca Willett
Abstract:
Detecting when the underlying distribution changes for the observed time series is a fundamental problem arising in a broad spectrum of applications. In this paper, we study multiple change-point localization in the high-dimensional regression setting, which is particularly challenging as no direct observations of the parameter of interest is available. Specifically, we assume we observe…
▽ More
Detecting when the underlying distribution changes for the observed time series is a fundamental problem arising in a broad spectrum of applications. In this paper, we study multiple change-point localization in the high-dimensional regression setting, which is particularly challenging as no direct observations of the parameter of interest is available. Specifically, we assume we observe $\{ x_t, y_t\}_{t=1}^n$ where $ \{ x_t\}_{t=1}^n $ are $p$-dimensional covariates, $\{y_t\}_{t=1}^n$ are the univariate responses satisfying $\mathbb{E}(y_t) = x_t^\top β_t^* \text{ for } 1\le t \le n $ and $\{β_t^*\}_{t=1}^n $ are the unobserved regression coefficients that change over time in a piecewise constant manner. We propose a novel projection-based algorithm, Variance Projected Wild Binary Segmentation~(VPWBS), which transforms the original (difficult) problem of change-point detection in $p$-dimensional regression to a simpler problem of change-point detection in mean of a one-dimensional time series. VPWBS is shown to achieve sharp localization rate $O_p(1/n)$ up to a log factor, a significant improvement from the best rate $O_p(1/\sqrt{n})$ known in the existing literature for multiple change-point localization in high-dimensional regression. Extensive numerical experiments are conducted to demonstrate the robust and favorable performance of VPWBS over two state-of-the-art algorithms, especially when the size of change in the regression coefficients $\{β_t^*\}_{t=1}^n $ is small.
△ Less
Submitted 9 October, 2021; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Optimal Patrol of a Perimeter
Authors:
Kyle Y Lin
Abstract:
A defender dispatches patrollers to circumambulate a perimeter to guard against potential attacks. The defender decides on the time points to dispatch patrollers and each patroller's direction and speed, as long as the long-run rate patrollers are dispatched is capped at some constant. An attack at any point on the perimeter requires the same amount of time, during which it will be detected by eac…
▽ More
A defender dispatches patrollers to circumambulate a perimeter to guard against potential attacks. The defender decides on the time points to dispatch patrollers and each patroller's direction and speed, as long as the long-run rate patrollers are dispatched is capped at some constant. An attack at any point on the perimeter requires the same amount of time, during which it will be detected by each passing patroller independently with the same probability. The defender wants to maximize the probability of detecting an attack before it completes, while the attacker wants to minimize it. We study two scenarios, depending on whether the patrollers are undercover or wear a uniform. Conventional wisdom would suggest that the attacker gains advantage if he can see the patrollers going by so as to time his attack, but we show that the defender can achieve the same optimal detection probability by carefully spreading out the patrollers probabilistically against a learning attacker.
△ Less
Submitted 9 November, 2020; v1 submitted 6 May, 2019;
originally announced May 2019.
-
A Search Game on a Hypergraph with Booby Traps
Authors:
Thomas Lidbetter,
Kyle Lin
Abstract:
A set of n boxes, located on the vertices of a hypergraph G, contain known but different rewards. A Searcher opens all the boxes in some hyperedge of G with the objective of collecting the maximum possible total reward. Some of the boxes, however, are booby trapped. If the Searcher opens a booby trapped box, the search ends and she loses all her collected rewards. We assume the number k of booby t…
▽ More
A set of n boxes, located on the vertices of a hypergraph G, contain known but different rewards. A Searcher opens all the boxes in some hyperedge of G with the objective of collecting the maximum possible total reward. Some of the boxes, however, are booby trapped. If the Searcher opens a booby trapped box, the search ends and she loses all her collected rewards. We assume the number k of booby traps is known, and we model the problem as a zero-sum game between the maximizing Searcher and a minimizing Hider, where the Hider chooses k boxes to booby trap and the Searcher opens all the boxes in some hyperedge. The payoff is the total reward collected by the Searcher. This model could reflect a military operation in which a drone gathers intelligence from guarded locations, and a booby trapped box being opened corresponds to the drone being destroyed or incapacitated. It could also model a machine scheduling problem, in which rewards are obtained from successfully processing jobs but the machine may crash. We solve the game when G is a 1-uniform hypergraph (the hyperedges are all singletons), so the Searcher can open just 1 box. When G is the complete hypergraph (containing all possible hyperedges), we solve the game in a few cases: (1) same reward in each box, (2) k=1, and (3) n=4 and k=2. The solutions to these few cases indicate that a general simple, closed form solution to the game appears unlikely.
△ Less
Submitted 13 January, 2020; v1 submitted 28 March, 2019;
originally announced March 2019.
-
On the conjecture of Vasconcelos for Artinian almost complete intersection monomial ideals
Authors:
Kuei-Nuan Lin,
Yi-Huang Shen
Abstract:
In this short note, we confirm a conjecture of Vasconcelos which states that the Rees algebra of any Artinian almost complete intersection monomial ideal is almost Cohen-Macaulay.
In this short note, we confirm a conjecture of Vasconcelos which states that the Rees algebra of any Artinian almost complete intersection monomial ideal is almost Cohen-Macaulay.
△ Less
Submitted 16 November, 2019; v1 submitted 8 February, 2019;
originally announced February 2019.
-
Regularity and multiplicity of toric rings of three-dimensional Ferrers diagrams
Authors:
Kuei-Nuan Lin,
Yi-Huang Shen
Abstract:
We investigate the Castelnuovo-Mumford regularity and the multiplicity of the toric ring associated with a three-dimensional Ferrers diagram. In particular, in the rectangular case, we provide direct formulas for these two important invariants. Then, we compare these invariants for an accompanying pair of Ferrers diagrams under some mild conditions and bound the Castelnuovo-Mumford regularity for…
▽ More
We investigate the Castelnuovo-Mumford regularity and the multiplicity of the toric ring associated with a three-dimensional Ferrers diagram. In particular, in the rectangular case, we provide direct formulas for these two important invariants. Then, we compare these invariants for an accompanying pair of Ferrers diagrams under some mild conditions and bound the Castelnuovo-Mumford regularity for more general cases.
△ Less
Submitted 16 July, 2022; v1 submitted 21 September, 2018;
originally announced September 2018.
-
Multi-Rees Algebras and Toric Dynamical Systems
Authors:
David A. Cox,
Kuei-Nuan Lin,
Gabriel Sosa
Abstract:
This paper explores the relation between multi-Rees algebras and ideals that arise in the study of toric dynamical systems from the theory of chemical reaction networks.
This paper explores the relation between multi-Rees algebras and ideals that arise in the study of toric dynamical systems from the theory of chemical reaction networks.
△ Less
Submitted 6 February, 2019; v1 submitted 21 June, 2018;
originally announced June 2018.
-
Design of Order-of-Addition Experiments
Authors:
Jiayu Peng,
Rahul Mukerjee,
Dennis K. J. Lin
Abstract:
In an order-of-addition experiment, each treatment is a permutation of m components. It is often unaffordable to test all the m! treatments, and the design problem arises. We consider a model that incorporates the order of each pair of components and can also account for the distance between the two components in every such pair. Under this model, the optimality of the uniform design measure is es…
▽ More
In an order-of-addition experiment, each treatment is a permutation of m components. It is often unaffordable to test all the m! treatments, and the design problem arises. We consider a model that incorporates the order of each pair of components and can also account for the distance between the two components in every such pair. Under this model, the optimality of the uniform design measure is established, via the approximate theory, for a broad range of criteria. Coupled with an eigen-analysis, this result serves as a benchmark that paves the way for assessing the efficiency and robustness of any exact design. The closed-form construction of a class of robust optimal fractional designs is then explored and illustrated.
△ Less
Submitted 12 May, 2018;
originally announced May 2018.
-
Edge ideals of oriented graphs
Authors:
Huy Tài Hà,
Kuei-Nuan Lin,
Susan Morey,
Enrique Reyes,
Rafael H. Villarreal
Abstract:
Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal. Under a natural condition that the underlying (undirected) graph of $\mathcal{D}$ contains a perfect matching consisting of leaves, we provide several equivalent conditions for the Cohen-Macaulayness of $I(\mathcal{D})$. We also completely characterize the Cohen-Macaulayness of $I(\mathcal{D})$ when the unde…
▽ More
Let $\mathcal{D}$ be a weighted oriented graph and let $I(\mathcal{D})$ be its edge ideal. Under a natural condition that the underlying (undirected) graph of $\mathcal{D}$ contains a perfect matching consisting of leaves, we provide several equivalent conditions for the Cohen-Macaulayness of $I(\mathcal{D})$. We also completely characterize the Cohen-Macaulayness of $I(\mathcal{D})$ when the underlying graph of $\mathcal{D}$ is a bipartite graph. When $I(\mathcal{D})$ fails to be Cohen-Macaulay, we give an instance where $I(\mathcal{D})$ is shown to be sequentially Cohen-Macaulay.
△ Less
Submitted 10 May, 2018;
originally announced May 2018.
