事实认定 5. 考虑了所有口头和书面证据后,法庭根据可能性权衡得出以下事实认定。这些书面认定并非旨在涵盖给出的所有证据。这些认定是法庭得出结论的主要认定的摘要。 6. 如果法庭听取了对其未作出认定或未作出与所提供证据同等详细程度的认定的事项的证据,则反映了法庭认为特定事项有助于确定问题的程度。法庭的一些认定也在其结论中列出,以避免不必要的重复,一些结论在事实认定中列出。 7. 原告自 2019 年 4 月起受雇于被告。她被聘为第 5 级护理人员。当原告开始受雇于被告时,她是一名新合格护理人员 (NQP),需要完成为期两年的课程。成功完成该计划后,NQP 将成为第 6 级的完全合格护理人员。NQP 计划 (471) 指出:“目标是支持 NQP 提供他们作为护理人员的历程证据,从新注册者成长为自信和有能力的专业人士。这一历程的证据将包括使用持续学习、反思和自我审核……” 8. 申请人被诊断出患有中性粒细胞减少症,这意味着她的白细胞低于正常水平,并且免疫系统受到损害。 9. 2021 年 4 月 8 日,申请人的等级更改为第 6 级。Jonathan Milnes 表示,过渡到第 6 级是考虑到申请人因健康问题而承受的巨大压力。他当时没有签署她的 NQP 作品集,并表示可以在申请人身体健康恢复执行任务后再签署。 10. 2021 年 5 月 20 日,一份职业健康报告 (198) 表明该状况可能是暂时的,也可能是长期的,索赔人不应从事任何面对面的患者工作。
为了使量子计算尽可能高效地完成,优化底层量子电路中使用的门数量非常重要。在本文中,我们发现许多近似通用量子电路的门优化问题都是 NP 难的。具体来说,我们通过将问题简化为布尔可满足性,证明了优化 Clifford+T 电路中的 T 计数或 T 深度(它们是执行容错量子计算的计算成本的重要指标)是 NP 难的。通过类似的论证,我们证明了优化 Clifford+T 电路中的 CNOT 门或 Hadamard 门的数量也是 NP 难的。同样改变相同的论证,我们还确定了优化可逆经典电路中 Toffoli 门数量的难度。我们找到了 NP NQP 的 T 计数和 Toffoli 计数问题的上限。最后,我们还证明,对于任何非 Clifford 门 G,在 Clifford+ G 门集上优化 G 计数是 NP 难题,其中我们只需要在运算符范数中的某个小距离内匹配目标单元。
2. 参与者询问他们是否可以暂停今年的预定延期。可以这样做吗?NQP 延期选举通常必须在收入获得之前进行,并且一旦收入期开始就不可撤销。在这些情况下,参与者可以选择不延期未来几年,但不能在当前年度暂停延期。一个可能的例外是基于绩效的薪酬 (PBC)。如果延期符合第 409A 条规则下的 PBC 资格,则只要在绩效期剩余至少六个月时发生变更,就可以更改或取消延期选举。但是,如果在绩效期的前 90 天之后调整绩效指标,则奖金可能不再符合 PBC 延期选举规则。赞助商应与律师讨论绩效指标的任何潜在变化,以确定它们是否会影响奖金是否仍符合 PBC 资格。如果参与者遇到不可预见的紧急情况,他们可以要求暂停当前年度的延期。第 409A 条下的不可预见的紧急规定将在本文后面更详细地讨论。