-
A complex node of the cosmic web associated with the massive galaxy cluster MACS J0600.1-2008
Authors:
Lukas J. Furtak,
Adi Zitrin,
Johan P. Richard,
Dominique Eckert,
Jack Sayers,
Harald Ebeling,
Seiji Fujimoto,
Nicolas Laporte,
David Lagattuta,
Marceau Limousin,
Guillaume Mahler,
Ashish K. Meena,
Felipe Andrade-Santos,
Brenda L. Frye,
Anton M. Koekemoer,
Kotaro Kohno,
Daniel Espada,
Harry Lu,
Richard Massey,
Anna Niemiec
Abstract:
MACS J0600.1-2008 (MACS0600) is an X-ray luminous, massive galaxy cluster at $z_{\mathrm{d}}=0.43$, studied previously as part of the REionization LensIng Cluster Survey (RELICS) and ALMA Lensing Cluster Survey (ALCS) projects which revealed a complex, bimodal mass distribution and an intriguing high-redshift object behind it. Here, we report on the results of an extended strong-lensing (SL) analy…
▽ More
MACS J0600.1-2008 (MACS0600) is an X-ray luminous, massive galaxy cluster at $z_{\mathrm{d}}=0.43$, studied previously as part of the REionization LensIng Cluster Survey (RELICS) and ALMA Lensing Cluster Survey (ALCS) projects which revealed a complex, bimodal mass distribution and an intriguing high-redshift object behind it. Here, we report on the results of an extended strong-lensing (SL) analysis of this system. Using new JWST and ground-based Gemini-N and Keck data, we obtain 13 new spectroscopic redshifts of multiply imaged galaxies and identify 12 new photometric multiple-image systems and candidates, including two multiply imaged $z\sim7$ objects. Taking advantage of the larger areal coverage, our analysis reveals a new bimodal, massive SL structure adjacent to the cluster which we measure spectroscopically to lie at the same redshift and whose existence was implied by previous SL-modeling analyses. While based in part on photometric systems identified in ground-based imaging requiring further verification, our extended SL model suggests that the cluster may have the second-largest critical area and effective Einstein radius observed to date, $A_{\mathrm{crit}}\simeq2.16\,\mathrm{arcmin}^2$ and $θ_{\mathrm{E}}=49.7''\pm5.0''$ for a source at $z_{\mathrm{s}}=2$, enclosing a total mass of $M(<θ_{\mathrm{E}})=(4.7\pm0.7)\times10^{14}\,\mathrm{M}_{\odot}$. Yet another, probably related massive cluster structure, discovered in X-rays $5'$ (1.7 Mpc) further north, suggests that MACS0600 is in fact part of an even larger filamentary structure. This discovery adds to several recent detections of massive structures around SL galaxy clusters and establishes MACS0600 as a prime target for future high-redshift surveys with JWST.
△ Less
Submitted 7 April, 2024; v1 submitted 4 April, 2024;
originally announced April 2024.
-
Globally Solving a Class of Bilevel Programs with Spatial Price Equilibrium Constraints
Authors:
Akshit Goyal,
Jean-Philippe P. Richard
Abstract:
Bilevel programs with spatial price equilibrium constraints are strategic models that consider a price competition at the lower level. These models find application in facility location-price models, optimal bidding in power networks, and integration of renewable energy sources in distribution networks. In this paper, for the case where the equilibrium at the lower level can be formulated as an op…
▽ More
Bilevel programs with spatial price equilibrium constraints are strategic models that consider a price competition at the lower level. These models find application in facility location-price models, optimal bidding in power networks, and integration of renewable energy sources in distribution networks. In this paper, for the case where the equilibrium at the lower level can be formulated as an optimization problem, we introduce an enhanced single-level formulation based on duality and show that its relaxation is stronger than the single-level formulation obtained using KKT conditions. Compared to the literature [1, 2], this new formulation (i) is computationally friendly to global solution strategies using branch-and-bound, and (ii) can tackle instances of larger size. Further, we develop a heuristic procedure to find feasible solutions inside of the branch-and-bound tree that is effective on instances of large size and produces solutions whose objective values are close to the relaxation bound. We demonstrate the benefits of this formulation and heuristic through an extensive numerical study on synthetic instances of Equilibrium Facility Location [3] and on standard IEEE bus networks for planning renewable generation capacity under uncertainty.
△ Less
Submitted 23 June, 2024; v1 submitted 23 September, 2023;
originally announced September 2023.
-
Solving sparse separable bilinear programs using lifted bilinear cover inequalities
Authors:
Xiaoyi Gu,
Santanu S. Dey,
Jean-Philippe P. Richard
Abstract:
Recently, we proposed a class of inequalities called lifted bilinear cover inequalities, which are second-order cone representable convex inequalities, and are valid for a set described by a separable bilinear constraint together with bounds on variables. In this paper, we study the computational potential of these inequalities for separable bilinear optimization problems. We first prove that the…
▽ More
Recently, we proposed a class of inequalities called lifted bilinear cover inequalities, which are second-order cone representable convex inequalities, and are valid for a set described by a separable bilinear constraint together with bounds on variables. In this paper, we study the computational potential of these inequalities for separable bilinear optimization problems. We first prove that the semi-definite programming relaxation provides no benefit over the McCormick relaxation for such problems. We then design a simple randomized separation heuristic for lifted bilinear cover inequalities. In our computational experiments, we separate many rounds of these inequalities starting from McCormick's relaxation of instances where each constraint is a separable bilinear constraint set. We demonstrate that there is a significant improvement in the performance of a state-of-the-art global solver in terms of gap closed, when these inequalities are added at the root node compared to when they are not.
△ Less
Submitted 30 July, 2022;
originally announced August 2022.
-
Lifting convex inequalities for bipartite bilinear programs
Authors:
Xiaoyi Gu,
Santanu S. Dey,
Jean-Philippe P. Richard
Abstract:
The goal of this paper is to derive new classes of valid convex inequalities for quadratically constrained quadratic programs (QCQPs) through the technique of lifting. Our first main result shows that, for sets described by one bipartite bilinear constraint together with bounds, it is always possible to sequentially lift a seed inequality that is valid for a restriction obtained by fixing variable…
▽ More
The goal of this paper is to derive new classes of valid convex inequalities for quadratically constrained quadratic programs (QCQPs) through the technique of lifting. Our first main result shows that, for sets described by one bipartite bilinear constraint together with bounds, it is always possible to sequentially lift a seed inequality that is valid for a restriction obtained by fixing variables to their bounds, when the lifting is accomplished using affine functions of the fixed variables. In this setting, sequential lifting involves solving a non-convex nonlinear optimization problem each time a variable is lifted, just as in Mixed Integer Linear Programming. To reduce the computational burden associated with this procedure, we develop a framework based on subadditive approximations of lifting functions that permits sequence-independent lifting of seed inequalities for separable bipartite bilinear sets. In particular, this framework permits the derivation of closed-form valid inequalities. We then study a separable bipartite bilinear set where the coefficients form a minimal cover with respect to the right-hand-side. For this set, we introduce a bilinear cover inequality, which is second-order cone representable. We argue that this bilinear cover inequality is strong by showing that it yields a constant-factor approximation of the convex hull of the original set. We study its lifting function and construct a two-slope subadditive upper bound. Using this subadditive approximation, we lift fixed variable pairs in closed-form, thus deriving a lifted bilinear cover inequality that is valid for general separable bipartite bilinear sets with box constraints.
△ Less
Submitted 23 June, 2021;
originally announced June 2021.
-
Convexification of Permutation-Invariant Sets and an Application to Sparse PCA
Authors:
**hak Kim,
Mohit Tawarmalani,
Jean-Philippe P. Richard
Abstract:
We develop techniques to convexify a set that is invariant under permutation and/or change of sign of variables and discuss applications of these results. First, we convexify the intersection of the unit ball of a permutation and sign-invariant norm with a cardinality constraint. This gives a nonlinear formulation for the feasible set of sparse principal component analysis (sparse PCA) and an alte…
▽ More
We develop techniques to convexify a set that is invariant under permutation and/or change of sign of variables and discuss applications of these results. First, we convexify the intersection of the unit ball of a permutation and sign-invariant norm with a cardinality constraint. This gives a nonlinear formulation for the feasible set of sparse principal component analysis (sparse PCA) and an alternative proof of the $K$-support norm. Second, we characterize the convex hull of sets of matrices defined by constraining their singular values. As a consequence, we generalize an earlier result that characterizes the convex hull of rank-constrained matrices whose spectral norm is below a given threshold. Third, we derive convex and concave envelopes of various permutation-invariant nonlinear functions and their level-sets over hypercubes, with congruent bounds on all variables. Finally, we develop new relaxations for the exterior product of sparse vectors. Using these relaxations for sparse PCA, we show that our relaxation closes $98\%$ of the gap left by a classical SDP relaxation for instances where the covariance matrices are of dimension up to $50\times 50$.
△ Less
Submitted 6 August, 2021; v1 submitted 6 October, 2019;
originally announced October 2019.
