arXiv subjects

Daniel Sanchez

Publications and source records attributed to Daniel Sanchez.

17 recordsLinked to original sources

arXiv2024

Motives meet SymPy: studying $\lambda$-ring expressions in Python

We present a new Python package called "motives", a symbolic manipulation package based on SymPy capable of handling and simplifying motivic expressions in the Grothendieck ring of Chow motives and other types of $\lambda$-rings. The package is able to manipulate and compare arbitrary expressions in $\lambda$-rings and, in particular, it contains explicit tools for manipulating motives of several types of commonly used moduli schemes and moduli stacks of decorated bundles on curves. We have applied this new tool to advance in the verification of Mozgovoy's conjectural formula for the motive of the moduli space of twisted Higgs bundles, proving that it holds in rank 2 and 3 for any curve of genus up to 18 and any twisting bundle of small degree.

math.AG↗

arXiv2023

Implementation Guidance for Wood Harvesting and Storage

This implementation guidance focuses on carbon removal and sequestration via wood harvesting and storage (WHS), a process where woody biomass, with the embedded carbon, is stored for long timescales in shallow geologic storage. The engineering structure designed to ensure such durable storage by preventing biomass decomposition is called a Wood Vault. This guidance contains the requirements for a basic Wood Vault project, and is intended to aid project developers, verifiers, and registries in this space. It describes a set of requirements that govern the end-to-end process of carbon removal and sequestration. This includes carbon accounting, wood sourcing via wood residual (WR) utilization, Wood Vault construction and maintenance, as well as processes for monitoring, verification, and credit issuance. Carbon accounting requirements include baseline, or counterfactual specification, and full life cycle analysis (LCA) within a specified process boundary. For the vault itself, the guidance describes a buried vault with the burial chamber covered by a layer of low permeability material to create anoxic condition. Other types of vaults can also be used to adjust to local environmental, transport, and economic constraints. Monitoring and verification requirements include in-situ sensors, gas sampling, sample excavations, and site maintenance. This guidance also contemplates land ownership and legal assurances, as well as environmental and societal impact assessments. The implementation guidance concludes with recommendations regarding auditing, certification and carbon credit issuance.

physics.soc-ph↗

arXiv2022

Technology and Consciousness

We report on a series of eight workshops held in the summer of 2017 on the topic "technology and consciousness." The workshops covered many subjects but the overall goal was to assess the possibility of machine consciousness, and its potential implications. In the body of the report, we summarize most of the basic themes that were discussed: the structure and function of the brain, theories of consciousness, explicit attempts to construct conscious machines, detection and measurement of consciousness, possible emergence of a conscious technology, methods for control of such a technology and ethical considerations that might be owed to it. An appendix outlines the topics of each workshop and provides abstracts of the talks delivered. Update: Although this report was published in 2018 and the workshops it is based on were held in 2017, recent events suggest that it is worth bringing forward. In particular, in the Spring of 2022, a Google engineer claimed that LaMDA, one of their "large language models" is sentient or even conscious. This provoked a flurry of commentary in both the scientific and popular press, some of it interesting and insightful, but almost all of it ignorant of the prior consideration given to these topics and the history of research into machine consciousness. Thus, we are making a lightly refreshed version of this report available in the hope that it will provide useful background to the current debate and will enable more informed commentary. Although this material is five years old, its technical points remain valid and up to date, but we have "refreshed" it by adding a few footnotes highlighting recent developments.

q-bio.NC↗

arXiv2021

F1: A Fast and Programmable Accelerator for Fully Homomorphic Encryption (Extended Version)

Fully Homomorphic Encryption (FHE) allows computing on encrypted data, enabling secure offloading of computation to untrusted serves. Though it provides ideal security, FHE is expensive when executed in software, 4 to 5 orders of magnitude slower than computing on unencrypted data. These overheads are a major barrier to FHE's widespread adoption. We present F1, the first FHE accelerator that is programmable, i.e., capable of executing full FHE programs. F1 builds on an in-depth architectural analysis of the characteristics of FHE computations that reveals acceleration opportunities. F1 is a wide-vector processor with novel functional units deeply specialized to FHE primitives, such as modular arithmetic, number-theoretic transforms, and structured permutations. This organization provides so much compute throughput that data movement becomes the bottleneck. Thus, F1 is primarily designed to minimize data movement. The F1 hardware provides an explicitly managed memory hierarchy and mechanisms to decouple data movement from execution. A novel compiler leverages these mechanisms to maximize reuse and schedule off-chip and on-chip data movement. We evaluate F1 using cycle-accurate simulations and RTL synthesis. F1 is the first system to accelerate complete FHE programs and outperforms state-of-the-art software implementations by gmean 5400x and by up to 17000x. These speedups counter most of FHE's overheads and enable new applications, like real-time private deep learning in the cloud.

cs.CR↗

arXiv2021

Market Potential for CO$_2$ Removal and Sequestration from Renewable Natural Gas Production in California

Bioenergy with Carbon Capture and Sequestration (BECCS) is critical for stringent climate change mitigation, but is commercially and technologically immature and resource-intensive. In California, state and federal fuel and climate policies can drive first-markets for BECCS. We develop a spatially explicit optimization model to assess niche markets for renewable natural gas (RNG) production with carbon capture and sequestration (CCS) from waste biomass in California. Existing biomass residues produce biogas and RNG and enable low-cost CCS through the upgrading process and CO$_2$ truck transport. Under current state and federal policy incentives, we could capture and sequester 2.9 million MT CO$_2$/year (0.7% of California's 2018 CO$_2$ emissions) and produce 93 PJ RNG/year (4% of California's 2018 natural gas demand) with a profit maximizing objective. Existing federal and state policies produce profits of \$11/GJ. Distributed RNG production with CCS potentially catalyzes markets and technologies for CO$_2$ capture, transport, and storage in California.

eess.SY↗

arXiv2020

Four-Arm Collaboration: Two Dual-Arm Robots Work Together to Maneuver Tethered Tools

In this paper, we present a planner for a master dual-arm robot to manipulate tethered tools with an assistant dual-arm robot's help. The assistant robot provides assistance to the master robot by manipulating the tool cable and avoiding collisions. The provided assistance allows the master robot to perform tool placements on the robot workspace table to regrasp the tool, which would typically fail since the tool cable tension may change the tool positions. It also allows the master robot to perform tool handovers, which would normally cause entanglements or collisions with the cable and the environment without the assistance. Simulations and real-world experiments are performed to validate the proposed planner.

cs.RO↗

arXiv2019

Tethered Tool Manipulation Planning with Cable Maneuvering

In this paper, we present a planner for manipulating tethered tools using dual-armed robots. The planner generates robot motion sequences to maneuver a tool and its cable while avoiding robot-cable entanglements. Firstly, the planner generates an Object Manipulation Motion Sequence (OMMS) to handle the tool and place it in desired poses. Secondly, the planner examines the tool movement associated with the OMMS and computes candidate positions for a cable slider, to maneuver the tool cable and avoid collisions. Finally, the planner determines the optimal slider positions to avoid entanglements and generates a Cable Manipulation Motion Sequence (CMMS) to place the slider in these positions. The robot executes both the OMMS and CMMS to handle the tool and its cable to avoid entanglements and excess cable bending. Simulations and real-world experiments help validate the proposed method.

cs.RO↗

arXiv2019

Table-top high-energy 7 um OPCPA and 260 mJ Ho:YLF pump laser

We present the state of the art of a compact high-energy mid-infrared laser system for TW-level 8-cycle pulses at 7 um. This system consists of an Er:Tm:Ho:fiber MOPA which serves as the seeder for a ZGP-based OPCPA chain in addition to a Ho:YLF amplifier which is Tm:fiber pumped. Featuring all-optical synchronization, the system delivers 260-mJ pump energy at 2052 nm, 16-ps duration at 100 Hz with a stability of 0.8 % rms over 20 min. We show that chirp inversion in the OPCPA chain leads to excellent energy extraction and aids in compression of the 7-um pulses to 8 optical cycles (188 fs) in bulk BaF2 with 93.5 % efficiency. Using 21.7 mJ of the available pump energy, we generate 0.75-mJ-energy pulses at 7 um due to increased efficiency with a chirp-inversion scheme. The pulse quality of the system's output is shown by generating high harmonics in ZnSe which span up to harmonic order 13 with excellent contrast. The combination of the passive carrier-envelope phase stable mid-infrared seed pulses and the high-energy 2052 nm picosecond pulses makes this compact system a key enabling tool for the next generation of studies on extreme photonics, strong field physics and table-top coherent X-ray science.

physics.optics↗

arXiv2018

Arm Manipulation Planning of Tethered Tools with the Help of a Tool Balancer

Robotic manipulation of tethered tools is widely seen in robotic work cells. They may cause excess strain on the tool's cable or undesired entanglements with the robot's arms. This paper presents a manipulation planner with cable orientation constraints for tethered tools suspended by tool balancers. The planner uses orientation constraints to limit the bending of the balancer's cable while the robot manipulates a tool and places it in a desired pose. The constraints reduce entanglements and decrease the torque induced by the cable on the robot joints. Simulation and real-world experiments show that the constrained planner can successfully plan robot motions for the manipulation of suspended tethered tools preventing the robot from damaging the cable or getting its arms entangled, potentially avoiding accidents. The planner is expected to play promising roles in manufacturing cells.

cs.RO↗

arXiv2018

Regrasp Planning Considering Bipedal Stability Constraints

This paper presents a Center of Mass (CoM) based manipulation and regrasp planner that implements stability constraints to preserve the robot balance. The planner provides a graph of IK-feasible, collision-free and stable motion sequences, constructed using an energy based motion planning algorithm. It assures that the assembly motions are stable and prevent the robot from falling while performing dexterous tasks in different situations. Furthermore, the constraints are also used to perform an RRT-inspired task-related stability estimation in several simulations. The estimation can be used to select between single-arm and dual-arm regrasping configurations to achieve more stability and robustness for a given manipulation task. To validate the planner and the task-related stability estimations, several tests are performed in simulations and real-world experiments involving the HRP5P humanoid robot, the 5th generation of the HRP robot family. The experiment results suggest that the planner and the task-related stability estimation provide robust behavior for the humanoid robot while performing regrasp tasks.

cs.RO↗

arXiv2018

Effect of device design on charge offset drift in Si/SiO$_2$ single electron devices

We have measured the low-frequency time instability known as charge offset drift of Si/SiO$_2$ single electron devices (SEDs) with and without an overall poly-Si top gate. We find that SEDs with a poly-Si top gate have significantly less charge offset drift, exhibiting fewer isolated jumps and a factor of two reduction in fluctuations about a stable mean value. The observed reduction can be accounted for by the electrostatic reduction in the mutual capacitance $C_m$ between defects and the quantum dot, and increase in the total defect capacitance $C_d$ due to the top gate. These results depart from the accepted understanding that the level of charge offset drift in SEDs is determined by the intrinsic material properties, forcing consideration of the device design as well. We expect these results to be of importance in developing SEDs for applications from quantum information to metrology or wherever charge noise or integrability of devices is a challenge.

physics.app-ph↗

arXiv2017

A novel artificial condensed matter lattice and a new platform for one-dimensional topological phases

Engineered lattices in condensed matter physics, such as cold atom optical lattices or photonic crystals, can have fundamentally different properties from naturally-occurring electronic crystals. Here, we report a novel type of artificial quantum matter lattice. Our lattice is a multilayer heterostructure built from alternating thin films of topological and trivial insulators. Each interface within the heterostructure hosts a set of topologically-protected interface states, and by making the layers sufficiently thin, we demonstrate for the first time a hybridization of interface states across layers. In this way, our heterostructure forms an emergent atomic chain, where the interfaces act as lattice sites and the interface states act as atomic orbitals, as seen from our measurements by angle-resolved photoemission spectroscopy (ARPES). By changing the composition of the heterostructure, we can directly control hopping between lattice sites. We realize a topological and a trivial phase in our superlattice band structure. We argue that the superlattice may be characterized in a significant way by a one-dimensional topological invariant, closely related to the invariant of the Su-Schrieffer-Heeger model. Our topological insulator heterostructure demonstrates a novel experimental platform where we can engineer band structures by directly controlling how electrons hop between lattice sites.

cond-mat.mtrl-sci↗

arXiv2016

Validating Simplified Processor Models in Architectural Studies

Cycle-accurate software simulation of multicores with complex microarchitectures is often excruciatingly slow. People use simplified core models to gain simulation speed. However, a persistent question is to what extent the results derived from a simplified core model can be used to characterize the behavior of a real machine. We propose a new methodology of validating simplified simulation models, which focuses on the trends of metric values across benchmarks and architectures, instead of errors of absolute metric values. To illustrate this methodology, we conduct a case study using an FPGA-accelerated cycle-accurate full system simulator. We evaluated three cache replacement polices on a 10-stage in-order core model, and then re-conducted all the experiments by substituting a 1-IPC core model for the 10-stage core model. We found that the 1-IPC core model generally produces qualitatively the same results as the accurate core model except for a few mismatches. We argue that most observed mismatches were either indistinguishable from experimental noise or corresponded to the cases where the policy differences even in the accurate model showed inconclusive results. We think it is fair to use simplified core models to study a feature once the influence of the simplification is understood. Additional studies on branch predictors and scaling properties of multithread benchmarks reinforce our argument. However, the validation of a simplified model requires a detailed cycle-accurate model!

cs.AR↗

arXiv2016

Discovery of Lorentz-violating Weyl fermion semimetal state in LaAlGe materials

We report theoretical and experimental discovery of Lorentz-violating Weyl fermion semimetal type-II state in the LaAlGe class of materials. Previously type-II Weyl state was predicted in WTe2 materials which remains unrealized in surface experiments. We show theoretically and experimentally that LaAlGe class of materials are the robust platforms for the study of type-II Weyl physics.

cond-mat.mes-hall↗

arXiv2016

Criteria for directly detecting topological Fermi arcs in Weyl semimetals

The recent discovery of the first Weyl semimetal in TaAs provides the first observation of a Weyl fermion in nature and demonstrates a novel type of anomalous surface state, the Fermi arc. Like topological insulators, the bulk topological invariants of a Weyl semimetal are uniquely fixed by the surface states of a bulk sample. Here, we present a set of distinct conditions, accessible by angle-resolved photoemission spectroscopy (ARPES), each of which demonstrates topological Fermi arcs in a surface state band structure, with minimal reliance on calculation. We apply these results to TaAs and NbP. For the first time, we rigorously demonstrate a non-zero Chern number in TaAs by counting chiral edge modes on a closed loop. We further show that it is unreasonable to directly observe Fermi arcs in NbP by ARPES within available experimental resolution and spectral linewidth. Our results are general and apply to any new material to demonstrate a Weyl semimetal.

cond-mat.mes-hall↗

arXiv2015

Observation of surface states derived from topological Fermi arcs in the Weyl semimetal NbP

The recent experimental discovery of a Weyl semimetal in TaAs provides the first observation of a Weyl fermion in nature and demonstrates a novel type of anomalous surface state band structure, consisting of Fermi arcs. So far, work has focused on Weyl semimetals with strong spin-orbit coupling (SOC). However, Weyl semimetals with weak SOC may allow tunable spin-splitting for device applications and may exhibit a crossover to a spinless topological phase, such as a Dirac line semimetal in the case of spinless TaAs. NbP, isostructural to TaAs, may realize the first Weyl semimetal in the limit of weak SOC. Here we study the surface states of NbP by angle-resolved photoemission spectroscopy (ARPES) and we find that we $\textit{cannot}$ show Fermi arcs based on our experimental data alone. We present an $\textit{ab initio}$ calculation of the surface states of NbP and we find that the Weyl points are too close and the Fermi level is too low to show Fermi arcs either by (1) directly measuring an arc or (2) counting chiralities of edge modes on a closed path. Nonetheless, the excellent agreement between our experimental data and numerical calculations suggests that NbP is a Weyl semimetal, consistent with TaAs, and that we observe trivial surface states which evolve continuously from the topological Fermi arcs above the Fermi level. Based on these results, we propose a slightly different criterion for a Fermi arc which, unlike (1) and (2) above, does not require us to resolve Weyl points or the spin splitting of surface states. We propose that raising the Fermi level by $> 20$ meV would make it possible to observe a Fermi arc using this criterion in NbP. Our work offers insight into Weyl semimetals with weak spin-orbit coupling, as well as the crossover from the spinful topological Weyl semimetal to the spinless topological Dirac line semimetal.

cond-mat.mes-hall↗

arXiv2015

A new type of Weyl semimetal with quadratic double Weyl fermions in SrSi2

We identify a Weyl semimetal state in an inversion breaking, stoichiometric compound strontium silicide, SrSi$_2$, with many new and novel properties that are distinct from the TaAs family. We theoretically show that SrSi$_2$ is a Weyl semimetal even without spin-orbit coupling and that, after the inclusion of spin-orbit coupling, two Weyl fermions stick together forming an exotic double Weyl fermion with quadratic dispersions and a higher chiral topological charge of 2. Moreover, we find that the Weyl nodes with opposite charges are located at different energies due to the absence of mirror symmetry in SrSi$_2$, leading to a unique topological quantum response that an external magnetic field can induce a dissipationless current. Our systematic results not only identify a much-needed robust Weyl semimetal candidate but also open the door to new topological Weyl physics that is not possible in the TaAs family of materials.

cond-mat.mes-hall↗