<?xml version="1.0" encoding="UTF-8"?>

<HSTProposal
   Phase1ID="6128"
   Phase2ID="18151"
   Phase="Phase I"
   AptVersion="Version 2025.7.1  JWST PRD: PRDAPTSOC-072-002, Roman PRD: RPRDDEVSOC-021">
   <!--**********************************************************************************************************************-->
   <!--This file is automatically generated and should not be edited by hand. Editing this file directly is at your own risk.-->
   <!--**********************************************************************************************************************-->
   <!--APT Output Product-->
   <!---->
   <!--APT Version: Version 2025.7.1  JWST PRD: PRDAPTSOC-072-002, Roman PRD: RPRDDEVSOC-021-->
   <!--Date: Fri Dec 12 14:24:34 GMT 2025-->
   
   <ToolData>
      
      <ToolDataItem
         Key="SubmissionData">
         
         <SubmissionData
            AptVersion="Version 2025.1  "
            SubmissionMode=""
            SubmissionCounter="7"
            SubmissionSuccessCounter="6"
            HasErrors="false"
            Cycle="33"
            IncludeSysInfo="false"
            NotificationAddress=""
            AssignedID="6128">
            
            <SystemInformation
               java.version="not given"
               linux.distribution="not given"
               linux.version="not given"
               os.arch="not given"
               os.name="not given"
               os.version="not given"
               screens="not given" />
            
            <ErrorText />
            
            <SubmissionComments />
            
            <SubmissionCommentsCheckSum>0</SubmissionCommentsCheckSum>
            
            <SubmissionLog>Assigned ID: 6128

----- Attempting Submission 1 (Mon Apr 07 13:31:03 GMT 2025) -----
HST Phase I Proposal 6128  successfully submitted.
Receipt: # 6128-1

----- Attempting Submission 2 (Thu Apr 10 23:53:08 GMT 2025) -----
HST Phase I Proposal 6128  successfully submitted.
Receipt: # 6128-2

----- Attempting Submission 3 (Thu Apr 10 23:58:07 GMT 2025) -----
HST Phase I Proposal 6128  successfully submitted.
Receipt: # 6128-3

----- Attempting Submission 4 (Fri Apr 11 00:03:06 GMT 2025) -----
HST Phase I Proposal 6128  successfully submitted.
Receipt: # 6128-4

----- Attempting Submission 5 (Fri Apr 11 00:11:57 GMT 2025) -----
HST Phase I Proposal 6128  successfully submitted.
Receipt: # 6128-5

----- Attempting Submission 6 (Fri Apr 11 01:37:53 GMT 2025) -----
HST Phase I Proposal 6128  successfully submitted.
Receipt: # 6128-6

----- Attempting Submission 7 (Fri Apr 11 02:10:14 GMT 2025) -----</SubmissionLog>
            
            <DiagnosticJustification />
         </SubmissionData>
      </ToolDataItem>
   </ToolData>
   
   <ProposalInformation
      Category="AR"
      SnapPriority="Normal Priority"
      PureParallelProposal="false"
      Cycle="33"
      STScIEditNumber="1">
      
      <Title>Finding Low Halo Mass Strong Lenses in HST Archive</Title>
      
      <Abstract>The nature of dark matter (DM) is critical to cosmology, yet cold dark matter (CDM) remains largely untested at halo masses below 10^13 M_Sun. This proposal outlines a novel approach to probe CDM predictions down to halo masses of ~10^11 M_Sun through archival analysis of high-resolution Hubble Space Telescope (HST) images. We aim to systematically discover gravitational lenses with small Einstein radii (0.03" &lt;~ theta_E &lt; 0.5"), using advanced machine learning methods to identify previously overlooked lenses. The proposed research specifically targets low halo mass (LHM) lenses, encompassing "deci-" and "centilensing," as a direct test of CDM predictions. Using a custom ResNet and a ResNet+U-Net pipeline, preliminary forecasts indicate we can detect a large number of lenses with nearly 100% purity, even in the unexplored centilensing regime. The discovery of these lenses will populate a critical gap--the "strong lensing desert"--in current catalogs of strong lenses. Additionally, unlike the discovery claims of "dark" (sub)halos, these systems can be unambiguously confirmed spectroscopically. Furthermore, we will perform lens modeling for confirmed systems, providing a rigorous statistical framework for testing CDM at unprecedentedly small scales (not counting the "dark" (sub)halo discovery claims). The results will significantly enhance future lensing studies with JWST and Roman, ultimately contributing insights into the fundamental properties of dark matter.</Abstract>
      
      <PrincipalInvestigator
         Honorific="Prof."
         FirstName="Xiaosheng"
         LastName="Huang"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="13203"
         Institution="University of San Francisco"
         Country="USA"
         State="CA"
         Contact="true" />
      
      <CoInvestigator
         Honorific="Dr."
         FirstName="David"
         MiddleInitial="J."
         LastName="Schlegel"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="7928"
         Institution="Lawrence Berkeley National Laboratory"
         Country="USA"
         State="CA"
         Contact="false"
         AdminUSPI="false" />
      
      <CoInvestigator
         Honorific="Dr."
         FirstName="Adam"
         MiddleInitial="S."
         LastName="Bolton"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="7373"
         Institution="Stanford University"
         Country="USA"
         State="CA"
         Contact="false"
         AdminUSPI="false" />
      
      <CoInvestigator
         FirstName="Ethan"
         LastName="Silver"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="43408"
         Institution="University of California - Berkeley"
         Country="USA"
         State="CA"
         Contact="false"
         AdminUSPI="false" />
      
      <CoInvestigator
         Honorific="Mr."
         FirstName="Christopher"
         LastName="Storfer"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="26839"
         Institution="University of Hawaii"
         Country="USA"
         State="HI"
         Contact="false"
         AdminUSPI="false" />
      
      <CoInvestigator
         Honorific="Mr."
         FirstName="Richard"
         LastName="Wang"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="50813"
         Institution="University of California - Berkeley"
         Country="USA"
         State="CA"
         Contact="false"
         AdminUSPI="false" />
      
      <CoInvestigator
         Honorific="Mr."
         FirstName="Harsh"
         LastName="Ambardekar"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="54498"
         Institution="University of California - Berkeley"
         Country="USA"
         State="CA"
         Contact="false"
         AdminUSPI="false" />
      
      <CoInvestigator
         Honorific="Mr."
         FirstName="Yuan-Ming"
         LastName="Hsu"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="54468"
         Institution="National Taiwan University, Dept. of Physics"
         Country="TWN"
         Contact="false"
         AdminUSPI="false" />
      
      <CoInvestigator
         Honorific="Mr."
         FirstName="Jose"
         MiddleInitial="Carlos"
         LastName="Inchausti Reyes"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="54451"
         Institution="University of San Francisco"
         Country="USA"
         State="CA"
         Contact="false"
         AdminUSPI="false" />
      
      <CoInvestigator
         Honorific="Prof."
         FirstName="Saul"
         LastName="Perlmutter"
         ESAMember="false"
         CSAMember="false"
         Retired="false"
         UniqueID="7953"
         Institution="University of California - Berkeley"
         Country="USA"
         State="CA"
         Contact="false"
         AdminUSPI="false" />
      
      <Questions>
         
         <Phase2Questions />
      </Questions>
      
      <TeamExpertise>PI Dr. Xiaosheng Huang is an expert in discovering strong lenses in imaging surveys and in strong lens modeling. He led several lens searches in ground-based imaging surveys using ML/AI techniques (e.g., Huang+ 2021, ApJ, 909, 27; Inchausti, Storfer, Huang+ 2025, in prep). He is the co-developer of the GIGA-Lens modeling code (Gu, Huang+ 2022 ApJ, 935, 49) and applied it to a strong lens with HST observations (Huang+2025, arxiv:2502.03455).

Mr. Ethan Silver is an expert in using machine learning to find strong lenses of different sizes under different observational conditions with high purity (Silver, Wang, Huang, Bolton+ 2025, submitted).

Mr. Richard Wang is an expert in applying segmentation to strong lensing systems and locating the smallest Einstein radius lenses with machine learning techniques.

Dr. Adam Bolton has successfully conducted several previous spectroscopic lens surveys combining SDSS and HST observations. He is an expert in galaxy-scale strong gravitational lensing and in spectroscopic data analysis.

Mr. Christopher Storfer is an expert in discovering strong lenses in imaging surveys and in DESI, Keck, and Gemini spectroscopy (Storfer+ 2025, in prep).

Mr. Yuan-Ming Hsu has expertise in identifying low-mass lenses in imaging data and spectroscopy (Hsu+ 2025, in prep).

Mr. Jose Inchausti has expertise in finding strong lenses using neural networks (Inchausti+ 2025, in prep).

Mr. Harsh Ambardekar has expertise in lens modeling using GIGA-Lens for both ground- and space-based imaging.

Dr. David Schlegel is co-Project Scientist of the DESI project.

All Co-Is are members of the DESI collaboration, however this proposal only relies on DESI data that have already been publicly released.</TeamExpertise>
      
      <TargetOfOpportunityActivations />
      
      <Phase1ProposalInformation
         Attachment="/Users/xiaoshenghuang/Downloads/HST_Cycle33_Strong_Lens_AR (2).pdf">
         
         <ScientificCategory>Galaxies</ScientificCategory>
         
         <ScientificKeyword1
            Keyword="Dark matter distribution" />
         
         <ScientificKeyword2
            Keyword="Dwarf galaxies" />
         
         <ScientificKeyword3
            Keyword="Galaxy clusters" />
         
         <ScientificKeyword4
            Keyword="Galaxy dark matter halos" />
         
         <ScientificKeyword5
            Keyword="Gravitational lensing" />
         
         <ProprietaryPeriod
            Default="true">0</ProprietaryPeriod>
         
         <CalibProp>false</CalibProp>
         
         <UvInit>false</UvInit>
         
         <Legacy>false</Legacy>
         
         <Theory>false</Theory>
         
         <CloudComputing>false</CloudComputing>
         
         <DataScience>true</DataScience>
         
         <RomanPreparatoryScience>true</RomanPreparatoryScience>
      </Phase1ProposalInformation>
      
      <Phase2ProposalInformation
         PCFlag="true">
         
         <Availability>SUPPORTED</Availability>
      </Phase2ProposalInformation>
   </ProposalInformation>
   
   <Patterns />
   
   <Visits />
   
   <Cycles>
      
      <CycleInfo
         CycleNumber="0"
         CycleStart="1990.114 00:00:00"
         CycleEnd="1991.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="1"
         CycleStart="1991.182 00:00:00"
         CycleEnd="1992.183 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="2"
         CycleStart="1992.183 00:00:00"
         CycleEnd="1993.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="3"
         CycleStart="1993.182 00:00:00"
         CycleEnd="1993.337 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="4"
         CycleStart="1993.337 00:00:00"
         CycleEnd="1995.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="5"
         CycleStart="1995.182 00:00:00"
         CycleEnd="1996.183 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="6"
         CycleStart="1996.183 00:00:00"
         CycleEnd="1997.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="7"
         CycleStart="1997.182 00:00:00"
         CycleEnd="1999.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="8"
         CycleStart="1999.182 00:00:00"
         CycleEnd="2000.183 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="9"
         CycleStart="2000.183 00:00:00"
         CycleEnd="2001.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="10"
         CycleStart="2001.182 00:00:00"
         CycleEnd="2002.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="11"
         CycleStart="2002.182 00:00:00"
         CycleEnd="2003.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="12"
         CycleStart="2003.182 00:00:00"
         CycleEnd="2004.183 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="13"
         CycleStart="2004.183 00:00:00"
         CycleEnd="2005.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="14"
         CycleStart="2005.182 00:00:00"
         CycleEnd="2006.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="15"
         CycleStart="2006.182 00:00:00"
         CycleEnd="2007.182 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="16"
         CycleStart="2007.182 00:00:00"
         CycleEnd="2009.131 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="17"
         CycleStart="2009.131 00:00:00"
         CycleEnd="2010.244 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="18"
         CycleStart="2010.244 00:00:00"
         CycleEnd="2011.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="19"
         CycleStart="2011.274 00:00:00"
         CycleEnd="2012.275 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="20"
         CycleStart="2012.275 00:00:00"
         CycleEnd="2013.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="21"
         CycleStart="2013.274 00:00:00"
         CycleEnd="2014.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="22"
         CycleStart="2014.274 00:00:00"
         CycleEnd="2015.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="23"
         CycleStart="2015.274 00:00:00"
         CycleEnd="2016.275 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="24"
         CycleStart="2016.275 00:00:00"
         CycleEnd="2017.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="25"
         CycleStart="2017.274 00:00:00"
         CycleEnd="2018.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="26"
         CycleStart="2018.274 00:00:00"
         CycleEnd="2019.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="27"
         CycleStart="2019.274 00:00:00"
         CycleEnd="2020.275 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="28"
         CycleStart="2020.275 00:00:00"
         CycleEnd="2021.274 00:00:00"
         IsActive="false" />
      
      <CycleInfo
         CycleNumber="29"
         CycleStart="2021.274 00:00:00"
         CycleEnd="2022.274 00:00:00"
         IsActive="true" />
      
      <CycleInfo
         CycleNumber="30"
         CycleStart="2022.274 00:00:00"
         CycleEnd="2023.334 00:00:00"
         IsActive="true" />
      
      <CycleInfo
         CycleNumber="31"
         CycleStart="2023.334 00:00:00"
         CycleEnd="2024.320 00:00:00"
         IsActive="true" />
      
      <CycleInfo
         CycleNumber="32"
         CycleStart="2024.320 00:00:00"
         CycleEnd="2025.304 00:00:00"
         IsActive="true" />
      
      <CycleInfo
         CycleNumber="33"
         CycleStart="2025.305 00:00:00"
         CycleEnd="2026.304 00:00:00"
         IsActive="true" />
      
      <CycleInfo
         CycleNumber="34"
         CycleStart="2026.305 00:00:00"
         CycleEnd="2027.304 00:00:00"
         IsActive="true" />
   </Cycles>
</HSTProposal>
