Tag: quantum gate synthesis