Shaded Tangles for the Design and Verification of Quantum Programs (Extended Abstract)

We give a scheme for interpreting shaded tangles as quantum programs, with the property that isotopic tangles yield equivalent programs. We analyze many known quantum programs in this way -- including entanglement manipulation and error correction -- and in each case present a fully-topological formal verification, yielding in several cases substantial new insight into how the program works. We also use our methods to identify several new or generalized procedures.Comment: In Proceedings QPL 2017, arXiv:1802.0973

Advanced engineering - Supporting research and technology

Telemetry simulations, radar equipment and experiments, and related supporting research for Deep Space Networ

Meaning, autonomy, symbolic causality, and free will

As physical entities that translate symbols into physical actions, computers offer insights into the nature of meaning and agency. • Physical symbol systems, generically known as agents, link abstractions to material actions. The meaning of a symbol is defined as the physical actions an agent takes when the symbol is encountered. • An agent has autonomy when it has the power to select actions based on internal decision processes. Autonomy offers a partial escape from constraints imposed by direct physical influences such as gravity and the transfer of momentum. Swimming upstream is an example. • Symbols are names that can designate other entities. It appears difficult to explain the use of names and symbols in terms of more primitive functionality. The ability to use names and symbols, i.e., symbol grounding, may be a fundamental cognitive building block. • The standard understanding of causality—wiggling X results in Y wiggling—applies to both physical causes (e.g., one billiard ball hitting another) and symbolic causes (e.g., a traffic light changing color). Because symbols are abstract, they cannot produce direct physical effects. For a symbol to be a cause requires that the affected entity determine its own response. This is called autonomous causality. • This analysis of meaning and autonomy offers new perspectives on free will

A foundation for machine learning in design

This paper presents a formalism for considering the issues of learning in design. A foundation for machine learning in design (MLinD) is defined so as to provide answers to basic questions on learning in design, such as, "What types of knowledge can be learnt?", "How does learning occur?", and "When does learning occur?". Five main elements of MLinD are presented as the input knowledge, knowledge transformers, output knowledge, goals/reasons for learning, and learning triggers. Using this foundation, published systems in MLinD were reviewed. The systematic review presents a basis for validating the presented foundation. The paper concludes that there is considerable work to be carried out in order to fully formalize the foundation of MLinD