Research articles

Meixner $d$ -Orthogonal Polynomials Arising from $\mathfrak{su}(1,1)$

April 30, 2018

Mathematics

Classical Analysis and ODEs

In this study, we present a novel family of Meixner-type

d

-orthogonal polynomials, which are distinguished as a particular subset of multiple orthogonal polynomials. We demonstrate their connection to the Lie algebra

\mathfrak{su}(1,1)

...

Exoplanet Populations and their Dependence on Host Star Properties

April 30, 2018

Physics

Solar and Stellar Astrophysics

Earth and Planetary Astrophysics

Exoplanets around different types of stars provide a window into the diverse environments in which planets form. This chapter describes the observed relations between exoplanet populations and stellar properties and how they connect to plan...

Fully Extended Quasi-Metric Gravity

April 30, 2018

Physics

General Relativity and Quantum Cosmology

The original theory of quasi-metric gravity, admitting only a partial coupling between space-time geometry and the active stress-energy tensor, is too restricted to allow the existence of gravitational waves in vacuum. Therefore, said theor...

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...

Quelques remarques sur les vari{\'e}t{\'e}s, fonctions de Green et formule de Stokes

April 20, 2018

Mathematics

General Mathematics

We give some remarks on some manifolds K3 surfaces, Complex projective spaces, real projective space and Torus and the classification of two dimensional Riemannian surfaces, Green functions and the Stokes formula. We also, talk about traces...

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....

Meixner $d$ -Orthogonal Polynomials Arising from $\mathfrak{su}(1,1)$

April 30, 2018

Mathematics

Classical Analysis and ODEs

In this study, we present a novel family of Meixner-type

d

-orthogonal polynomials, which are distinguished as a particular subset of multiple orthogonal polynomials. We demonstrate their connection to the Lie algebra

\mathfrak{su}(1,1)

...

Exoplanet Populations and their Dependence on Host Star Properties

April 30, 2018

Physics

Solar and Stellar Astrophysics

Earth and Planetary Astrophysics

Fully Extended Quasi-Metric Gravity

April 30, 2018

Physics

General Relativity and Quantum Cosmology

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...

Quelques remarques sur les vari{\'e}t{\'e}s, fonctions de Green et formule de Stokes

April 20, 2018

Mathematics

General Mathematics

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....

Meixner ddd-Orthogonal Polynomials Arising from su(1,1)\mathfrak{su}(1,1)su(1,1)

Exoplanet Populations and their Dependence on Host Star Properties

Fully Extended Quasi-Metric Gravity

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

Quelques remarques sur les vari{\'e}t{\'e}s, fonctions de Green et formule de Stokes

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

Meixner ddd-Orthogonal Polynomials Arising from su(1,1)\mathfrak{su}(1,1)su(1,1)

Exoplanet Populations and their Dependence on Host Star Properties

Fully Extended Quasi-Metric Gravity

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

Quelques remarques sur les vari{\'e}t{\'e}s, fonctions de Green et formule de Stokes

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

Meixner $d$ -Orthogonal Polynomials Arising from $\mathfrak{su}(1,1)$

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

Meixner $d$ -Orthogonal Polynomials Arising from $\mathfrak{su}(1,1)$

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