We hypothesize a new and more complete set of anomalies of certain quantum field theories (QFTs) and then give an eclectic proof. First, we propose a set of 't Hooft anomalies of 2d $\mathbb{CP}^{\mathrm{N}-1}$-sigma models at $\theta=\pi$, with N $=2,3,4$ and others, by enlisting all possible 3d cobordism invariants and selecting the matched terms. Second, we propose a set of 't Hooft higher anomalies of 4d time-reversal symmetric SU(N)-Yang-Mills (YM) gauge theory at $\theta=\pi$, via 5d cobordism invariants (higher symmetry-protected topological states) such that compactifying YM theory on a 2-torus matches the constrained 3d cobordism invariants from sigma models. Based on algebraic/geometric topology, QFT analysis, manifold generator dimensional reduction, condensed matter inputs and additional physics criteria, we derive a correspondence between 5d and 3d new invariants, thus broadly prove a more complete anomaly-matching between 4d YM and 2d $\mathbb{CP}^{\mathrm{N}-1}$ models via a twisted 2-torus reduction, done by taking the Poincar\'e dual of specific cohomology class with $\mathbb{Z}_2$ coefficients. We formulate a higher-symmetry analog of "Lieb-Schultz-Mattis theorem" to constrain the low-energy dynamics.

3-D CAD models are an important digital resource in the manufacturing industry. 3-D CAD model retrieval has become a key technology in product lifecycle management enabling the reuse of existing design data. In this paper, we propose a new method to retrieve 3-D CAD models based on 2-D pen-based sketch inputs. Sketching is a common and convenient method for communicating design intent during early stages of product design, e.g., conceptual design. However, converting sketched information into precise 3-D engineering models is cumbersome, and much of this effort can be avoided by reuse of existing data. To achieve this purpose, we present a user-adaptive sketch-based retrieval method in this paper. The contributions of this work are twofold. First, we propose a statistical measure for CAD model retrieval: the measure is based on sketch similarity and accounts for users’ drawing habits. Second, for 3-D CAD models in the database, we propose a sketch generation pipeline that represents each 3-D CAD model by a small yet sufficient set of sketches that are perceptually similar to human drawings. User studies and experiments that demonstrate the effectiveness of the proposed method in the design process are presented.

No abstract uploaded!

No abstract uploaded!

We define a notion of formal quantum field theory and associate a formal quantum field theory to K-theoretical intersection theories on Hilbert schemes of points on algebraic surfaces. This enables us to find an effective way to compute K-theoretical intersection theories on Hilbert schemes via a connection to Macdonald polynomials and vertex operators.