Research Science: Quipper brings high-level programming to quantum computing
“It does all the nice features of a modern classical programming language, adapted to quantum computing,” says Bob Coecke of the University of Oxford, who was not involved in the work. “It’s a tour de force.”
An important feature of a quantum computer is that its bits – known as qubits – can take the values 0 and 1 at the same time. This allows the computer to perform two or more computations simultaneously. But designing computer algorithms that make use of this quantum parallelism is tough.
So quantum programming has so far been mostly low-level, concerned with instructing the quantum logic gates that control the qubits.
Now Peter Selinger of Dalhousie University in Halifax, Canada, and colleagues have brought the field up to speed by creating Quipper, the first high-level quantum programming language. Quipper is designed to express instructions in terms of bigger concepts, and to make it easy to bring together multiple algorithms in a modular way. High-level languages for classical computers such as Java do most of the heavy lifting in modern computation.
Quipper is based on a classical programming language called Haskell, which is particularly suited to programming for physics applications. What Selinger’s team has done is to customise it to deal with qubits.
They have also produced a library of Quipper code to carry out seven existing quantum algorithms, including an algorithm for estimating the ground-state energy of molecules. They hope that others will add to the library by writing more algorithms, creating a resource that will allow quantum programmers to build software by sticking modules together, as classical programmers do with Java.
“Having a well-designed programming language helps structure your thinking and informs the way you think about a problem,” says Selinger. “It may become a useful tool in the design of new quantum algorithms.”
Thorsten Altenkirch of the University of Nottingham, UK, who was not involved in the work, agrees. “People can use languages like Quipper as a test bed for ideas and understanding for how to write quantum software,” he says.
Selinger’s team released their outline of the language, together with their preliminary library, at the Programming Language Design and Implementation conference in Seattle, Washington, last month.
It may seem strange to create a language for a quantum computer, given that the hardware is still rudimentary. But developing the software – which is tested by simulating a quantum computer on a classical one – could influence the design of future quantum computers.
Quipper’s creation was funded by IARPA, the US Intelligence Advanced Research Projects Agency, in order to pin down how many bits a quantum computer would need in order to outperform a classical one on certain tasks. Writing programs in Quipper makes the hardware requirements of an algorithm clearer and that has already led to some surprises. “It will take a lot more resources than people had thought,” says Selinger, who can’t talk about specific results.
He expects that with advances in engineering, such as reducing noise, the number of qubits necessary for a practical quantum computer will decrease over time.
The team made their estimates based on various existing forms of quantum hardware, including devices that use ion traps and photons.However, they did not include the only quantum computer in the market today, the D-wave computer. It uses a novel approach called adiabatic quantum computing and so is not currently compatible with Quipper.
References: arxiv.org/abs/1304.5485 and arxiv.org/abs/1304.3390
Syndicated content: Sophie Hebden, New Scientist
Welcome to SUV System Ltd!
SUV System Ltd is ISO 90012008 Certified electronics distributor with 10 years of experiences.
We have built up long term business relationship with about many companies which are stockers and authorized agents. we have a steady and reliable supply to meet customer's demands to the greatest extent .Confidently, we are able to lower your cost and support your business with our years of professional service.
SUV System Ltd is Electronic Components Distributor Supplies,Find Quality Electronic Components Supplies Products IC(Integrated Circuits),Connectors,Capacitor,Resistors,Diodes,Transistors,LED at Suvsystem.com. Sourcing Other Energy, Environment, Excess Inventory Products from Manufacturers and Suppliers at Suvsystem.com
Electronic Components distributor:http://www.suvsystem.com
Connectors Distributor:http://www.suvsystem.com/l/Connectors-1.html
IC Distributor:http://www.suvsystem.com/l/IC(Integrated-Circuits)-1.html
LED Distributor:http://www.suvsystem.com/l/LED-1.html
Capacitor Distributor:http://www.suvsystem.com/l/Capacitor-1.html
Transistor Distributor:http://www.suvsystem.com/l/Transistors-1.html
Resistor Distributor:http://www.suvsystem.com/l/Resistors-1.html
Diode Distributor:http://www.suvsystem.com/l/Diodes-1.html
SUV System Ltd insists on the managing faith ofsincereness,speciality,foresight, win-win,so we build up stable-relationship customers located all over the world, including the States, Europe, Argentina, UAE, Malaysia, Australia,and India etc
we are focus on the following fields,and hope we can help you.
10-88-1545 10-88-1541 10-88-1525 10-88-1521 10-88-1505 10-88-1501 10-88-1485 10-88-1481 10-88-1465 10-88-1461 10-88-1445 10-88-1425 10-88-1421 10-88-1405 10-88-1401 10-88-1385 10-88-1381 10-88-1365 10-88-1361 10-88-1345 10-88-1341 10-88-1325 10-88-1321 10-88-1305 10-88-1301 10-88-3101 10-88-3081 10-88-3061 10-88-3041 108-823K 10-88-1805 10-88-1801 10-88-1785 10-88-1781 10-88-1765 10-88-1761 10-88-1745 10-88-1741 10-88-1725 10-88-1721
http://www.suvsystem.com/a/3877.aspx
没有评论:
发表评论