- arXiv.org
- Biological Physics
- History and Philosophy of Physics
- Applied Physics
- General Physics
- Optics
- Fluid Dynamics
- Physics and Society
- Data Analysis, Statistics and Probability
- Plasma Physics
- Atomic Physics
- Atomic and Molecular Clusters
- Popular Physics
- Medical Physics
- Space Physics
- Accelerator Physics
- Chemical Physics
- Geophysics
- Classical Physics
- Physics Education
- Computational Physics
- Instrumentation and Detectors
- Atmospheric and Oceanic Physics

- Statistics Theory
- Information Theory
- General Mathematics
- History and Overview
- Analysis of PDEs
- Number Theory
- Mathematical Physics
- Symplectic Geometry
- Probability
- Complex Variables
- Combinatorics
- Representation Theory
- Operator Algebras
- Algebraic Geometry
- Group Theory
- Optimization and Control
- Numerical Analysis
- Geometric Topology
- Dynamical Systems
- Metric Geometry
- Logic
- Differential Geometry
- Quantum Algebra
- General Topology
- Spectral Theory
- Algebraic Topology
- K-Theory and Homology
- Functional Analysis
- Category Theory
- Rings and Algebras
- Classical Analysis and ODEs
- Commutative Algebra

- Information Theory
- Symbolic Computation
- General Literature
- Neural and Evolutionary Computing
- Other Computer Science
- Hardware Architecture
- Learning
- Information Retrieval
- Computer Vision and Pattern Recognition
- Programming Languages
- Software Engineering
- Multiagent Systems
- Operating Systems
- Sound
- Databases
- Social and Information Networks
- Formal Languages and Automata Theory
- Artificial Intelligence
- Numerical Analysis
- Cryptography and Security
- Computer Science and Game Theory
- Distributed, Parallel, and Cluster Computing
- Human-Computer Interaction
- Computational Complexity
- Discrete Mathematics
- Systems and Control
- Computation and Language
- Logic in Computer Science
- Data Structures and Algorithms
- Robotics
- Computers and Society
- Computational Geometry
- Networking and Internet Architecture
- Performance
- Computational Engineering, Finance, and Science
- Graphics
- Digital Libraries
- Multimedia
- Emerging Technologies
- Mathematical Software

- In this paper, we give a complete characterization on which finitely generated subgroups of finitely generated $3$-manifold groups are separable. Our characterization generalizes Liu's spirality character on $\pi_1$-injective immersed surface subgroups of closed $3$-manifold groups. A consequence of our characterization is that, for any compact, orientable, irreducible and $\partial$-irreducible $3$-manifold $M$ with nontrivial torus decomposition, $\pi_1(M)$ is LERF if and only if for any two adjacent pieces in the torus decomposition of $M$, at least one of them has a boundary component with genus at least $2$.
- We construct a cross ratio on the Roller boundary of any (possibly infinite dimensional) CAT(0) cube complex. For complete cube complexes with no free faces, we show that every cross ratio preserving bijection of boundaries admits a unique extension to an isomorphism of cube complexes. As a first application, given any Gromov hyperbolic group $G$, we identify classes of cubulations of $G$ with integer-valued cross ratios on the Gromov boundary $\partial_{\infty}G$.
- Let E be a number field and X be a smooth geometrically connected variety defined over a finite field of characteristic p. Given an n-dimensional pure E-compatible system \rho_\lambda of semisimple \lambda-adic representations of the étale fundamental group \pi_1(X) with connected algebraic monodromy groups G_\lambda, Chin [Ch04] has proven that the tautological representations i_\lambda: G_\lambda -> GL_n,E_\lambda are independent of \lambda, in the sense that after extensions they admit a common split F-form, for some finite extension F of E. We generalize Chin's result in the absolutely irreducible case by constructing a common E-form i:G -> GL_m,D of all i_\lambda together with a G-valued adelic representation \rho_A^G:\pi_1(X) -> G(A_E^(p)) such that i composed with \rho_\A^G is isomorphic to the direct product of \rho_\lambda for all \lambda. Moreover, if X is a curve and the outer automorphism group of the derived group of G(C) is trivial, the \lambda-components \rho_\lambda^G of \rho_A^G form an E-compatible system of G-representations. In general, we only construct a common E-form G of the groups G_\lambda for all \lambda. Let K be a number field. Analogous rationality results (predicted by the Mumford-Tate conjecture) for Q-compatible system of semisimple l-adic representations \rho_l of K are obtained under some conditions. These conditions are known, for example if \rho_l is the l-adic representation for an abelian variety with endomorphism ring Z after extension to C and for some prime l', each simple factor of G_l'(C) is of type A_r for some r>1.
- May 23 2018 math.GR arXiv:1805.08369v1We show every locally solvable subgroup of PLo(I) is countable. A corollary is that an uncountable wreath product of copies of $\mathbb{Z}$ with itself does not embed into PLo(I).

The set of quantum correlations is not closed

Jalex Stark Apr 06 2017 22:46 UTCLaura Mančinska Mar 28 2017 13:09 UTC

Great result!

For those familiar with I_3322, William here gives an example of a nonlocal game exhibiting a behaviour that many of us suspected (but couldn't prove) to be possessed by I_3322.

Robert Raussendorf Jan 24 2017 22:29 UTC

...(continued)Regarding Mark's above comment on the role of the stabilizer states: Yes, all previous works on the subject have used the stabilizer states and Clifford gates as the classical backbone. This is due to the Gottesman-Knill theorem and related results. But is it a given that the free sector in quantum

Planat Jan 24 2017 13:09 UTC

Are you sure? Since we do not propose a conjecture, there is nothing wrong. A class of strange states underlie the pentagons in question. The motivation is to put the magic of computation in the permutation frame, one needs more work to check its relevance.

Mark Howard Jan 24 2017 09:59 UTC

...(continued)It seems interesting at first sight, but after reading it the motivation is very muddled. It boils down to finding pentagons (which enable KCBS-style proofs of contextuality) within sets of projectors, some of which are stabilizer states and some of which are non-stabilizer states (called magic stat

- Supported by Silverpond.