Abstract: A computer-implemented method is presented for performing matrix sketching by employing an analog crossbar architecture. The method includes low rank updating a first matrix for a first period of time, copying the first matrix into a dynamic correction computing device, switching to a second matrix to low rank update the second matrix for a second period of time, as the second matrix is low rank updated, feeding the first matrix with first stochastic pulses to reset the first matrix back to a first matrix symmetry point, copying the second matrix into the dynamic correction computing device, switching back to the first matrix to low rank update the first matrix for a third period of time, and as the first matrix is low rank updated, feeding the second matrix with second stochastic pulses to reset the second matrix back to a second matrix symmetry point.

Abstract: Techniques and a system for quantum circuit decomposition by integer programming are provided. In one example, a system includes a quantum circuit decomposition component and a simulation component. The quantum circuit decomposition component generates graphical data for a quantum circuit that is indicative of a graphical representation of the quantum circuit. The graphical representation is formatted as a hypergraph. The simulation component simulates the quantum circuit based on the graphical data associated with the hypergraph.

Abstract: A processor may include a set of primitive operators, receive a set of data-driven operators, at least one of the set of data-driven operators including a machine learning model, and receive an input-output data pair set. Based on a grammar specifying rules for linking the set of primitive operators and the set of data-driven operators, the processor may search among the set of primitive operators and the set of data-driven operators to find a symbolic model that fits the input-output data set.

Abstract: Described herein is a simulation of an input quantum circuit, comprising a machine-readable specification of a quantum circuit. Aspects include partitioning the input quantum circuit into a group of sub-circuits based on at least two groups of qubits identified for tensor slicing, wherein the resulting sub-circuits have associated sets of qubits to be used for tensor slicing. The simulating can occur in stages, one stage per sub-circuit. A set of qubits associated with a sub-circuit can be used to partition the simulated quantum state tensor for the input quantum state circuit into quantum state tensor slices, and the quantum gates in that sub-circuit can used to update the quantum state tensor slices into updated quantum state tensor slices. The updated quantum state tensor slices are stored to secondary storage as micro slices.

Abstract: A dimensionality analysis method, system, and computer program product, include conducting a search that determines which valid expressions in a data set satisfies a defined free-form grammar that describes the data set.

Abstract: Hybrid classical-quantum decision maker training includes receiving a training data set, and selecting, by a first processor, a sampling of objects from the training set, each object represented by at least one vector. A quantum processor applies a quantum feature map to the selected objects to produce one or more output vectors. The first processor determines one or more distance measures between pairs of the output vectors, and determines at least one portion of the quantum feature map to modify the classical feature map. The first processor adds an implementation of the at least one portion of the quantum feature map to the classical feature map to generate an updated classical feature map.

Abstract: A method for optimal design of experiments for joint model selection and parametrization determination of a symbolic mathematical model includes: determining a prediction value for a given inquiry data point, functional form and parameterization for conducting an experiment relating to a system under investigation; assuming a set of input-output data pairs as a starting point in a model discovery process relating to the system under investigation; performing discovery of symbolic models minimizing complexity for a bounded misfit, or minimizing a misfit measure, subject to bounded complexity; determining a new data point through optimal experimental design that informs best as for the underlying symbolic models; and updating a posterior distribution, given results of the experiment relating to the system under investigation for the determined new data point to enable informed assessment among a plurality of functional forms and parameterizations. An apparatus configured to perform the method is also provided.

Abstract: The exemplary embodiments disclose an apparatus, a system and method, and a computer program product for removing dental plaque. The exemplary embodiments may include emitting light, detecting reflections of the light, analyzing the reflected light, and determining an amount or location of dental plaque based on the reflected light.

Abstract: Techniques and a system to facilitate quantum computation of Monte Carlo minimization are provided. In one example, a system includes a quantum processor and a classical processor. The quantum processor can perform an Nth order moment expectation computation process to compute an expected value of a quantum state associated with a quantum circuit description. The classical processor can execute computer executable components stored in a memory, where the computer executable components comprise a variational optimization component. The variational optimization component can perform an optimization process associated with a Monte Carlo minimization process to iteratively determine a variational parameterization for an Nth expectation value and associated trial state based on samples of the Nth order moment expectation computation process.

Abstract: An illustrative embodiment includes a method for solving a dynamical system. The method comprises: obtaining multidimensional snapshots representing respective discrete solutions of the dynamical system; storing the multidimensional snapshots within a snapshot tensor having an order of at least three; generating a basis for at least a subspace of a state space of the dynamical system at least in part by performing a decomposition of the snapshot tensor; deriving a reduced order model at least in part by using the basis to project the dynamical system from the state space onto the subspace; and solving the reduced order model of the dynamical system.

Abstract: Devices, systems, computer-implemented methods, and computer program products that can facilitate estimating orientation and/or identity of an entity that touches a touch screen device are provided. According to an embodiment, a device can comprise a pixelated touch screen that provides a two-dimensional capacitance map in response to detection of one or more entities touching the pixelated touch screen. Capacitance data of the two-dimensional capacitance map is inversely proportional to a distance between fingers of the one or more entities and the pixelated touch screen. The device can further comprise a processor that applies an analytic method to the two-dimensional capacitance map to estimate orientation or identity of the one or more entities.

Abstract: A method, system and computer program product are disclosed for integrating plural modalities of information to obtain values for a specified attribute of a given system. In one embodiment, the method comprises acquiring data of a first modality, conveying a first source of data of a first type of the system; configuring simulator with settings of physical sensors; acquiring data of a second modality from the system, conveying a second source of data of a second type of the system. The method further comprises converting the data of the second modality to data of the first type, while configuring a virtual set of sensors to enable acquisition of the converted data of the second modality; and configuring adjoints equipped simulator with settings of the virtual sensors, to mimic collection of data of the first type, while configured to measure data of second type.

Abstract: Low-cost techniques for sensing ambient temperatures in a container or package using phase change materials are provided. In one aspect, a temperature sensor is provided. The temperature sensor includes: at least one phase change material configured to transition from an amorphous state to a crystalline state upon exposure to temperatures above a predetermined threshold temperature for a given duration. A method of monitoring temperature exposure of a consumer good using the temperature sensor is also provided.

Abstract: Described herein is a simulation of an input quantum circuit, comprising a machine-readable specification of a quantum circuit. Aspects include partitioning the input quantum circuit into a group of sub-circuits based on at least two groups of qubits identified for tensor slicing, wherein the resulting sub-circuits have associated sets of qubits to be used for tensor slicing. The simulating can occur in stages, one stage per sub-circuit. A set of qubits associated with a sub-circuit can be used to partition the simulated quantum state tensor for the input quantum state circuit into quantum state tensor slices, and the quantum gates in that sub-circuit can used to update the quantum state tensor slices into updated quantum state tensor slices. The updated quantum state tensor slices are stored to secondary storage as micro slices.

Abstract: Systems, computer-implemented methods, and computer program products that can facilitate quantum topological classification are described. According to an embodiment, a system can comprise a memory that stores computer executable components and a processor that executes the computer executable components stored in the memory. The computer executable components can comprise a topological component that employs one or more quantum computing operations to identify one or more persistent homology features of a topological simplicial structure. The computer executable components can further comprise a topological classifier component that employs one or more machine learning models to classify the topological simplicial structure based on the one or more persistent homology features.

Abstract: Techniques and a system for quantum circuit decomposition by integer programming are provided. In one example, a system includes a quantum circuit decomposition component and a simulation component. The quantum circuit decomposition component generates graphical data for a quantum circuit that is indicative of a graphical representation of the quantum circuit. The graphical representation is formatted as a hypergraph. The simulation component simulates the quantum circuit based on the graphical data associated with the hypergraph.

Abstract: A method includes receiving, by a controller, a set of data. The set of data includes data of at least one explanatory variable and data of at least one response variable. The method also includes receiving, by the controller, an input that identifies a relevant explanatory variable. The method also includes generating, by the controller, an output data that corresponds to a symbolic expression that represents a relationship between the at least one explanatory variable and the at least one response variable. The symbolic expression is responsive to the identified relevant explanatory variable, and the symbolic expression includes a mathematically stable expression.

Abstract: Free-form discovery of differential equations for modeling a physical system or process under investigation that includes defining a formal language sentence grammar that describes admissible relationships between quantities, and incorporating the use of such grammar for free-(functional) form, automatic discovery of differential equations. The method requires minimum knowledge of the desired differential equation and is universally applicable to ordinary and partial differential equations.

Abstract: Methods and systems for cleaning an optic include cleaning an optic with ultrasonic vibrations. The locations of nodes in a standing wave of the ultrasonic vibrations are changed by changing a frequency of vibration during cleaning.

Abstract: An illustrative embodiment includes a method for analyzing unstructured multidimensional data with a neural network. The method includes designing the neural network at least in part by defining differential operators conforming with dimensions of the data. The method also includes performing forward propagation at a given convolution layer of the neural network at least in part by: obtaining one or more convolved values at least in part by performing convolution over an object within the data, processing respective convolved values to obtain output, and updating the object based at least in part on the output.