BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Chicago
X-LIC-LOCATION:America/Chicago
BEGIN:DAYLIGHT
TZOFFSETFROM:-0600
TZOFFSETTO:-0500
TZNAME:CDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0500
TZOFFSETTO:-0600
TZNAME:CST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20230124T171520Z
LOCATION:C140-142
DTSTART;TZID=America/Chicago:20221113T094000
DTEND;TZID=America/Chicago:20221113T100000
UID:submissions.supercomputing.org_SC22_sess423_ws_qcs110@linklings.com
SUMMARY:Exploring Non-Linear Programming Formulations in QuantumCircuitOpt
  for Optimal Circuit Design
DESCRIPTION:Workshop\n\nExploring Non-Linear Programming Formulations in Q
 uantumCircuitOpt for Optimal Circuit Design\n\nHenderson, Nagarajan, Coffr
 in\n\nThe theoretical gains promised by quantum computing remain unrealize
 d across practical applications given the limitations of current hardware.
   But the gap between theory and hardware is closing, assisted by developm
 ents in quantum algorithmic modeling.  One such recent development is Quan
 tumCircuitOpt (QCOpt), an open-source software framework that leverages co
 mmercial optimization-based solvers to find provably optimal compact circu
 it decompositions, which are exact up to global phase and machine precisio
 n. While such circuit design problems can be posed using non-linear, non-c
 onvex constraints, QCOpt implements a Mixed-Integer Linear Programming mod
 el, where non-linear constraints are reformulated using well-known lineari
 zation techniques. In this work, we instead explore whether the QCOpt mode
 l could be effective with continuous Non-Linear Programming (NLP) formulat
 ions. We are able to present not only multiple potential enhancements to Q
 COpt's run times, but also opportunities for more generally exploring the 
 behavior of gradient-based NLP solvers.\n\nSession Format: Recorded\n\nTag
 : Quantum Computing\n\nRegistration Category: Workshop Reg Pass
END:VEVENT
END:VCALENDAR