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

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

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

- We prove that if $\mathbb{F}$ is an algebraically closed field of zero characteristic which has infinite transcendence degree over $\mathbb{Q}$, then there exists a field automorphism $\varphi$ of ${\rm SL}_n(\mathbb{F})$ and ${\rm GL}_n(\mathbb{F})$ such that $R(\varphi)=1$. This fact implies that ${\rm SL}_n(\mathbb{F})$ and ${\rm GL}_n(\mathbb{F})$ do not possess the $R_{\infty}$-property. However, if the transcendece degree of $\mathbb{F}$ over $\mathbb{Q}$ is finite, then ${\rm SL}_n(\mathbb{F})$ and ${\rm GL}_n(\mathbb{F})$ are known to possess the $R_{\infty}$-property.
- We prove that if a group generated by a bireversible Mealy automaton contains an element of infinite order, its growth blows up and is necessarily exponential. As a direct consequence, Z cannot be generated by a bireversible Mealy automaton.
- We introduce some natural families of distributions on rooted binary ranked plane trees with a view toward unifying ideas from various fields, including macroevolution, epidemiology, computational group theory, search algorithms and other fields. In the process we introduce the notions of split-exchangeability and plane-invariance of a general Markov splitting model in order to readily obtain probabilities over various equivalence classes of trees that arise in statistics, phylogenetics, epidemiology and group theory.

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