10,962 research outputs found
Entanglement and quantum combinatorial designs
We introduce several classes of quantum combinatorial designs, namely quantum
Latin squares, cubes, hypercubes and a notion of orthogonality between them. A
further introduced notion, quantum orthogonal arrays, generalizes all previous
classes of designs. We show that mutually orthogonal quantum Latin arrangements
can be entangled in the same way than quantum states are entangled.
Furthermore, we show that such designs naturally define a remarkable class of
genuinely multipartite highly entangled states called -uniform, i.e.
multipartite pure states such that every reduction to parties is maximally
mixed. We derive infinitely many classes of mutually orthogonal quantum Latin
arrangements and quantum orthogonal arrays having an arbitrary large number of
columns. The corresponding multipartite -uniform states exhibit a high
persistency of entanglement, which makes them ideal candidates to develop
multipartite quantum information protocols.Comment: 14 pages, 3 figures. Comments are very welcome
Flag arrangements and triangulations of products of simplices
We investigate the line arrangement that results from intersecting d complete
flags in C^n. We give a combinatorial description of the matroid T_{n,d} that
keeps track of the linear dependence relations among these lines. We prove that
the bases of the matroid T_{n,3} characterize the triangles with holes which
can be tiled with unit rhombi. More generally, we provide evidence for a
conjectural connection between the matroid T_{n,d}, the triangulations of the
product of simplices Delta_{n-1} x \Delta_{d-1}, and the arrangements of d
tropical hyperplanes in tropical (n-1)-space. Our work provides a simple and
effective criterion to ensure the vanishing of many Schubert structure
constants in the flag manifold, and a new perspective on Billey and Vakil's
method for computing the non-vanishing ones.Comment: 39 pages, 12 figures, best viewed in colo
Hirzebruch-Milnor classes and Steenbrink spectra of certain projective hypersurfaces
We show that the Hirzebruch-Milnor class of a projective hypersurface, which
gives the difference between the Hirzebruch class and the virtual one, can be
calculated by using the Steenbrink spectra of local defining functions of the
hypersurface if certain good conditions are satisfied, e.g. in the case of
projective hyperplane arrangements, where we can give a more explicit formula.
This is a natural continuation of our previous paper on the Hirzebruch-Milnor
classes of complete intersections.Comment: 15 pages, Introduction is modifie
Formalized proof, computation, and the construction problem in algebraic geometry
An informal discussion of how the construction problem in algebraic geometry
motivates the search for formal proof methods. Also includes a brief discussion
of my own progress up to now, which concerns the formalization of category
theory within a ZFC-like environment
- …