Research articles

Quotients of the mapping class group by power subgroups

April 27, 2018

Mathematics

Geometric Topology

We study the quotient of the mapping class group

\operatorname{Mod}_g^n

of a surface of genus

g

with

n

punctures, by the subgroup

\operatorname{Mod}_g^n[p]

generated by the

p

-th powers of Dehn twists. Our first main result is that...

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)

April 27, 2018

| |

Computer Science

Logic in Computer Science

We present a KE-tableau-based procedure for the main TBox and ABox reasoning tasks for the description logic

\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})

, in short

\mathcal{DL}_{\mathbf{D}}^{4,\!\times}

. The logic $...

A connection between tests for absolute convergence of infinite series, or how to be fair

April 24, 2018

Mathematics

History and Overview

The Ratio Test and the Root Test for absolute convergence/divergence of series of numbers

\sum_{n=0}^{\infty}a_n

are frequently discussed and proved independently in Calculus courses. The Root Test is stronger (verifies convergence for ...

Quantum B\"uchi Automata

April 24, 2018

Computer Science

Physics

Logic in Computer Science

Formal Languages and Automata Theory

Quantum Physics

Quantum finite automata (QFAs) have been extensively studied in the literature. In this paper, we define and systematically study quantum B\"uchi automata (QBAs) over infinite words to model the long-term behavior of quantum systems, which ...

$\leq_{SP}$ Can Have Infinitely Many Classes

April 23, 2018

Mathematics

Logic

Building off of recent results on Keisler's order, we show that consistently,

\leq_{SP}

has infinitely many classes. In particular, we define the property of

\leq k

-type amalgamation for simple theories, for each

2 \leq k < \omega

. If...

On Asymptotic Formula for the First Moment of the Riemann Zeta-Function on the Critical Line

April 20, 2018

Mathematics

Number Theory

In the present paper the asymptotic formulae for the first moment of the Riemann zeta-function on the critical line is proven under assumption of the Riemann Hypothesis....

On the non-inner automorphism conjecture of finite $p$ -groups

April 20, 2018

| |

Mathematics

Group Theory

A long-standing conjecture asserts that every finite non-abelian

p

-group has a non-inner automorphism of order

p

. In this paper, we settle the conjecture for a finite

p

-group (

p >2

) of nilpotency class

n

with certain conditions....

Quantum Lov\'asz Local Lemma: Shearer's Bound is Tight

April 19, 2018

| | |

Computer Science

Physics

Computational Complexity

Quantum Physics

The Lov\'asz Local Lemma (LLL) is a very powerful tool in combinatorics and probability theory to show the possibility of avoiding all bad events under some weakly dependent conditions. In a seminal paper, Ambainis, Kempe, and Sattath (JACM...

The Jordan lattice completion and a note on injective envelopes and von Neumann algebras

April 16, 2018

Mathematics

Operator Algebras

Functional Analysis

The article associates two fundamental lattice constructions with each regular unital real ordered Banach space (function system). These are used to establish certain results in the theory of operator algebras, specifically relating the inj...

Generalized permutohedra in the kinematic space

April 15, 2018

Mathematics

Physics

Combinatorics

High Energy Physics - Theory

In this note, we study the permutohedral geometry of the poles of a certain differential form introduced in recent work of Arkani-Hamed, Bai, He and Yan. There it was observed that the poles of the form determine a family of polyhedra which...

Quotients of the mapping class group by power subgroups

April 27, 2018

Mathematics

Geometric Topology

We study the quotient of the mapping class group

\operatorname{Mod}_g^n

of a surface of genus

g

with

n

punctures, by the subgroup

\operatorname{Mod}_g^n[p]

generated by the

p

-th powers of Dehn twists. Our first main result is that...

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)

April 27, 2018

| |

Computer Science

Logic in Computer Science

We present a KE-tableau-based procedure for the main TBox and ABox reasoning tasks for the description logic

\mathcal{DL}\langle \mathsf{4LQS^{R,\!\times}}\rangle(\mathbf{D})

, in short

\mathcal{DL}_{\mathbf{D}}^{4,\!\times}

. The logic $...

A connection between tests for absolute convergence of infinite series, or how to be fair

April 24, 2018

Mathematics

History and Overview

The Ratio Test and the Root Test for absolute convergence/divergence of series of numbers

\sum_{n=0}^{\infty}a_n

are frequently discussed and proved independently in Calculus courses. The Root Test is stronger (verifies convergence for ...

Quantum B\"uchi Automata

April 24, 2018

Computer Science

Physics

Logic in Computer Science

Formal Languages and Automata Theory

Quantum Physics

$\leq_{SP}$ Can Have Infinitely Many Classes

April 23, 2018

Mathematics

Logic

Building off of recent results on Keisler's order, we show that consistently,

\leq_{SP}

has infinitely many classes. In particular, we define the property of

\leq k

-type amalgamation for simple theories, for each

2 \leq k < \omega

. If...

On Asymptotic Formula for the First Moment of the Riemann Zeta-Function on the Critical Line

April 20, 2018

Mathematics

Number Theory

In the present paper the asymptotic formulae for the first moment of the Riemann zeta-function on the critical line is proven under assumption of the Riemann Hypothesis....

On the non-inner automorphism conjecture of finite $p$ -groups

April 20, 2018

| |

Mathematics

Group Theory

A long-standing conjecture asserts that every finite non-abelian

p

-group has a non-inner automorphism of order

p

. In this paper, we settle the conjecture for a finite

p

-group (

p >2

) of nilpotency class

n

with certain conditions....

Quantum Lov\'asz Local Lemma: Shearer's Bound is Tight

April 19, 2018

| | |

Computer Science

Physics

Computational Complexity

Quantum Physics

The Jordan lattice completion and a note on injective envelopes and von Neumann algebras

April 16, 2018

Mathematics

Operator Algebras

Functional Analysis

Generalized permutohedra in the kinematic space

April 15, 2018

Mathematics

Physics

Combinatorics

High Energy Physics - Theory

Quotients of the mapping class group by power subgroups

An optimized KE-tableau-based system for reasoning in the description logic DLD4, ⁣×\mathcal{DL}_{\mathbf{D}}^{4,\!\times}DLD4,×​ (Extended Version)

A connection between tests for absolute convergence of infinite series, or how to be fair

Quantum B\"uchi Automata

≤SP\leq_{SP}≤SP​ Can Have Infinitely Many Classes

On Asymptotic Formula for the First Moment of the Riemann Zeta-Function on the Critical Line

On the non-inner automorphism conjecture of finite ppp-groups

Quantum Lov\'asz Local Lemma: Shearer's Bound is Tight

The Jordan lattice completion and a note on injective envelopes and von Neumann algebras

Generalized permutohedra in the kinematic space

Quotients of the mapping class group by power subgroups

An optimized KE-tableau-based system for reasoning in the description logic DLD4, ⁣×\mathcal{DL}_{\mathbf{D}}^{4,\!\times}DLD4,×​ (Extended Version)

A connection between tests for absolute convergence of infinite series, or how to be fair

Quantum B\"uchi Automata

≤SP\leq_{SP}≤SP​ Can Have Infinitely Many Classes

On Asymptotic Formula for the First Moment of the Riemann Zeta-Function on the Critical Line

On the non-inner automorphism conjecture of finite ppp-groups

Quantum Lov\'asz Local Lemma: Shearer's Bound is Tight

The Jordan lattice completion and a note on injective envelopes and von Neumann algebras

Generalized permutohedra in the kinematic space

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)

$\leq_{SP}$ Can Have Infinitely Many Classes

On the non-inner automorphism conjecture of finite $p$ -groups

An optimized KE-tableau-based system for reasoning in the description logic $\mathcal{DL}_{\mathbf{D}}^{4,\!\times}$ (Extended Version)

$\leq_{SP}$ Can Have Infinitely Many Classes

On the non-inner automorphism conjecture of finite $p$ -groups