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

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

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

- Dec 12 2017 math.GR arXiv:1712.03923v1Whiston proved that the maximum size of an irredundant generating sequence in the symmetric group $S_n$ is $n-1$, and Cameron and Cara characterized all irredundant generating sets of $S_n$ that achieve this size. Our goal is to extend their results. Using properties of transitive subgroups of the symmetric group, we are able to classify all irredundant generating sets with sizes $n-2$ in both $A_n$ and $S_n$. Next, based on this classification, we derive other interesting properties for the alternating group $A_n$. Finally, using Whiston's lemma, we will derive some formulas for calculating dimension-like invariants of some specific classes of wreath products.
- Let $G$ be a simple algebraic group over an algebraically closed field $K$ of characteristic $p > 0$. We consider connected reductive subgroups $X$ of $G$ that contain a given distinguished unipotent element $u$ of $G$. A result of Testerman and Zalesski (Proc. Amer. Math. Soc., 2013) shows that if $u$ is a regular unipotent element, then $X$ cannot be contained in a proper parabolic subgroup of $G$. We generalize their result and show that if $u$ has order $p$, then except for two known examples which occur in the case $(G, p) = (C_2, 2)$, the subgroup $X$ cannot be contained in a proper parabolic subgroup of $G$. In the case where $u$ has order $> p$, we also present further examples arising from indecomposable tilting modules with quasi-minuscule highest weight.
- Let $G$ be a permutation group on a set $\Omega$. A subset of $\Omega$ is a base for $G$ if its pointwise stabiliser in $G$ is trivial. In this paper we introduce and study an associated graph $\Sigma(G)$, which we call the Saxl graph of $G$. The vertices of $\Sigma(G)$ are the points of $\Omega$, and two vertices are adjacent if they form a base for $G$. This graph encodes some interesting properties of the permutation group. We investigate the connectivity of $\Sigma(G)$ for a finite transitive group $G$, as well as its diameter, Hamiltonicity, clique and independence numbers, and we present several open problems. For instance, we conjecture that if $G$ is a primitive group with a base of size $2$, then the diameter of $\Sigma(G)$ is at most $2$. Using a probabilistic approach, we establish the conjecture for some families of almost simple groups. For example, the conjecture holds when $G=S_n$ or $A_n$ (with $n>12$) and the point stabiliser of $G$ is a primitive subgroup. In contrast, we can construct imprimitive groups whose Saxl graph is disconnected with arbitrarily many connected components, or connected with arbitrarily large diameter.
- We prove that a circle bundle over a closed negatively curved manifold admits a self-map of absolute degree greater than one if and only if it is the trivial bundle. This generalizes in every dimension the case of circle bundles over hyperbolic surfaces, for which the result was known by the work of Brooks and Goldman on the Seifert volume. As a consequence, we verify the following strong version of a problem of Hopf for the above class of manifolds: Every self-map of non-zero degree of a circle bundle over a closed negatively curved manifold is either a homotopy equivalence or homotopic to a non-trivial covering and the bundle is trivial.
- Dec 12 2017 math.GR arXiv:1712.03406v1Any virtually free group $H$ containing no non-trivial finite normal subgroup (e.g., the infinite dihedral group) is a retract of any finitely generated group containing $H$ as a verbally closed subgroup.

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.