Showing 1–50 of 55 results for author: Tiwari, S

Fine Boundary Regularity For The Fractional (p,q)-Laplacian

Authors: R. Dhanya, Ritabrata Jana, Uttam Kumar, Sweta Tiwari

Abstract: In this article, we deal with the fine boundary regularity, a weighted Hölder regularity of weak solutions to the problem involving the fractional $(p,q)$-Laplacian denoted by \begin{eqnarray*} \begin{array}{rll} (-Δ)_{p}^{s} u + (-Δ)_{q}^{s} u &= f(x) &\text{ in } Ω u&=0 &\text{ in } \mathbb{R}^N\setminusΩ; \end{array} \end{eqnarray*} where $Ω$ is a $C^{1,1}$ bounded domain and… ▽ More In this article, we deal with the fine boundary regularity, a weighted Hölder regularity of weak solutions to the problem involving the fractional $(p,q)$-Laplacian denoted by \begin{eqnarray*} \begin{array}{rll} (-Δ)_{p}^{s} u + (-Δ)_{q}^{s} u &= f(x) &\text{ in } Ω u&=0 &\text{ in } \mathbb{R}^N\setminusΩ; \end{array} \end{eqnarray*} where $Ω$ is a $C^{1,1}$ bounded domain and $2 \leq p \leq q <\infty.$ For $0<s<1$ and for non-negative data $f\in L^{\infty}(Ω),$ we employ the nonlocal analogue of the boundary Harnack method to establish that $u/{d_Ω^{s}} \in C^α(\BarΩ)$ for some $α\in (0,1),$ where $d_Ω(x)$ is the distance of $x$ from the boundary. A novel barrier construction allows us to analyse the regularity theory even in the absence of the scaling or the homogeneity properties of the operator. Additionally, we extend our idea to sign changing bounded $f$ as well and prove a fine boundary regularity for fractional $(p,q)$ Laplacian for some range of $s.$ △ Less

Submitted 12 June, 2024; originally announced June 2024.

Comments: 1 figure, Any comments/criticisms/suggestions are welcome

MSC Class: 35R11; 35J60; 35D30; 35B65

A primitive normal pair with prescribed prenorm

Authors: K. Chatterjee, S. K. Tiwari

Abstract: For any positive integers $q$, $n$, $m$ with $q$ being a prime power and $n \geq 5$, we establish a condition sufficient to ensure the existence of a primitive normal pair $(ε,f(ε))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such that $\mathrm{PN}_{q^n/q}(ε)=a$, where $a\in\mathbb{F}_{q}$ is prescribed. Here $f={f_{1}}/{f_{2}}\in\mathbb{F}_{q^n}(x)$ is a rational function subject to some minor… ▽ More For any positive integers $q$, $n$, $m$ with $q$ being a prime power and $n \geq 5$, we establish a condition sufficient to ensure the existence of a primitive normal pair $(ε,f(ε))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such that $\mathrm{PN}_{q^n/q}(ε)=a$, where $a\in\mathbb{F}_{q}$ is prescribed. Here $f={f_{1}}/{f_{2}}\in\mathbb{F}_{q^n}(x)$ is a rational function subject to some minor restrictions such that deg($f_{1}$)+deg($f_{2}$)$=m$ and $\mathrm{PN}_{q^n/q}(ε) =\sum_{i=0}^{n-1}\Bigg(\underset{j\neq i}{\underset{0\leq j\leq n-1}{\prod_{}^{}}}ε^{q^j}\Bigg)$. Finally, we conclude that for $m=3$, $n\geq 6$, and $q=7^k$ where $k\in\mathbb{N}$, such a pair will exist certainly for all $(q,n)$ except possibly $10$ choices at most. △ Less

Submitted 26 June, 2024; v1 submitted 5 June, 2024; originally announced June 2024.

Comments: arXiv admin note: substantial text overlap with arXiv:2405.11463

MSC Class: 11T23; 12E20

On $r$-primitive $k$-normal polynomials with two prescribed coefficients

Authors: Avnish K. Sharma, Mamta Rani, Sharwan K. Tiwari, Anupama Panigrahi

Abstract: This article investigates the existence of an $r$-primitive $k$-normal polynomial, defined as the minimal polynomial of an $r$-primitive $k$-normal element in $\mathbb{F}_{q^n}$, with a specified degree $n$ and two given coefficients over the finite field $\mathbb{F}_{q}$. Here, $q$ represents an odd prime power, and $n$ is an integer. The article establishes a sufficient condition to ensure the e… ▽ More This article investigates the existence of an $r$-primitive $k$-normal polynomial, defined as the minimal polynomial of an $r$-primitive $k$-normal element in $\mathbb{F}_{q^n}$, with a specified degree $n$ and two given coefficients over the finite field $\mathbb{F}_{q}$. Here, $q$ represents an odd prime power, and $n$ is an integer. The article establishes a sufficient condition to ensure the existence of such a polynomial. Using this condition, it is demonstrated that a $2$-primitive $2$-normal polynomial of degree $n$ always exists over $\mathbb{F}_{q}$ when both $q\geq 11$ and $n\geq 15$. However, for the range $10\leq n\leq 14$, uncertainty remains regarding the existence of such a polynomial for $71$ specific pairs of $(q,n)$. Moreover, when $q<11$, the number of uncertain pairs reduces to $16$. Furthermore, for the case of $n=9$, extensive computational power is employed using SageMath software, and it is found that the count of such uncertain pairs is reduced to $3988$. △ Less

Submitted 31 May, 2024; originally announced May 2024.

Comments: 27 pages, 3 Tables

MSC Class: 12E20; 11T23

Existence of primitive normal pairs over finite fields with prescribed subtrace

Authors: K. Chatterjee, G. Kapetanakis, S. K. Tiwari, H. Sharma

Abstract: Given positive integers $q,n,m$ and $a\in\mathbb{F}_{q}$, where $q$ is an odd prime power and $n\geq 5$, we investigate the existence of a primitive normal pair $(ε,f(ε))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such that $\mathrm{STr}_{q^n/q}(ε)=a$, where $f(x)=\frac{f_{1}(x)}{f_{2}(x)}\in\mathbb{F}_{q^n}(x)$ is a rational function together with deg$(f_{1})+$deg$(f_{2})=m$ and… ▽ More Given positive integers $q,n,m$ and $a\in\mathbb{F}_{q}$, where $q$ is an odd prime power and $n\geq 5$, we investigate the existence of a primitive normal pair $(ε,f(ε))$ in $\mathbb{F}_{q^{n}}$ over $\mathbb{F}_{q}$ such that $\mathrm{STr}_{q^n/q}(ε)=a$, where $f(x)=\frac{f_{1}(x)}{f_{2}(x)}\in\mathbb{F}_{q^n}(x)$ is a rational function together with deg$(f_{1})+$deg$(f_{2})=m$ and $\mathrm{STr}_{q^n/q}(ε) = \sum_{0\leq i<j\leq n-1}^{}ε^{q^i+q^j}$. Finally, we conclude that for $m=3$, $n\geq 6$ and $q=7^k$; $k\in\mathbb{N}$, such a pair will exist certainly for all $(q,n)$ except at most $14$ choices. △ Less

Submitted 19 May, 2024; originally announced May 2024.

MSC Class: 11T23; 12E20

Arithmetic progression in a finite field with prescribed norms

Authors: Kaustav Chatterjee, Hariom Sharma, Aastha Shukla, Shailesh Kumar Tiwari

Abstract: Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ represents a finite extension of degree $n$ of the finite field ${\mathbb{F}_{q}}$. In this article, we investigate the existence of $m$ elements in arithmetic progression, where every element is primitive and at least one is normal with prescribed norms. Moreover, for $n\geq6,q=3^k,m=2$ we establish that there are only… ▽ More Given a prime power $q$ and a positive integer $n$, let $\mathbb{F}_{q^{n}}$ represents a finite extension of degree $n$ of the finite field ${\mathbb{F}_{q}}$. In this article, we investigate the existence of $m$ elements in arithmetic progression, where every element is primitive and at least one is normal with prescribed norms. Moreover, for $n\geq6,q=3^k,m=2$ we establish that there are only $10$ possible exceptions. △ Less

Submitted 7 January, 2024; v1 submitted 3 January, 2024; originally announced January 2024.

MSC Class: 12E20; 11T23

A Comprehensive Study of Complete Generalized New Mock Theta Functions

Authors: Swayamprabha Tiwari, Sameena Saba

Abstract: The generalization of new mock theta functions of Andrews and Bringmann et al are given. Further we have given the expansion of these bilateral generalized new mock theta functions as 2 phi 1 series by Slaters transformation. After that we have given the continued fraction representation of these generalized mock theta functions. The generalization of new mock theta functions of Andrews and Bringmann et al are given. Further we have given the expansion of these bilateral generalized new mock theta functions as 2 phi 1 series by Slaters transformation. After that we have given the continued fraction representation of these generalized mock theta functions. △ Less

Submitted 12 July, 2023; originally announced August 2023.

Comments: 8 pages

A primitive normal pair in a finite field with prescribed traces and norms

Authors: Kaustav Chatterjee, Hariom Sharma, Shailesh Kumar Tiwari

Abstract: Given ${\mathbb{F}_{p^t}}$, a field with $p^t$ elements, where $p$ is a prime power, $t$ is a positive integer. Let $f(x)$ be a polynomial over $\mathbb{F}_{p^t}$ of degree $m$ with some restrictions. In this paper, we construct a sufficient condition on $(p,t)$ which guarantees the existence of a primitive normal pair $(ε,f(ε))$ such that $Tr_{\mathbb{F}_{p^t}/\mathbb{F}_p}(ε)=a$,… ▽ More Given ${\mathbb{F}_{p^t}}$, a field with $p^t$ elements, where $p$ is a prime power, $t$ is a positive integer. Let $f(x)$ be a polynomial over $\mathbb{F}_{p^t}$ of degree $m$ with some restrictions. In this paper, we construct a sufficient condition on $(p,t)$ which guarantees the existence of a primitive normal pair $(ε,f(ε))$ such that $Tr_{\mathbb{F}_{p^t}/\mathbb{F}_p}(ε)=a$, $Tr_{\mathbb{F}_{p^t}/\mathbb{F}_p}(f(ε))=b$ and $N_{\mathbb{F}_{p^t}/\mathbb{F}_p}(ε)=c$, $N_{\mathbb{F}_{p^t}/\mathbb{F}_p}(f(ε))=d$ where $c,d\in\mathbb{F}_{p}$ are primitive elements and $a,b\in\mathbb{F}_{p}^*$. Furthermore, we demonstrate that, for $p=11^k;$ $k\geq1,$ $m=8$ and $t\geq 15$, there are only $4$ possible exceptions where such pairs may not exist. △ Less

Submitted 5 June, 2024; v1 submitted 5 August, 2023; originally announced August 2023.

Comments: The paper is not much impactful and weak result

MSC Class: 12E20-Finite fields (field-theoretic aspects); 11T23-Exponential sums

Solution of planar elastic stress problems using stress basis functions

Authors: Sankalp Tiwari, Anindya Chatterjee

Abstract: The use of global displacement basis functions to solve boundary-value problems in linear elasticity is well established. No prior work uses a global stress tensor basis for such solutions. We present two such methods for solving stress problems in linear elasticity. In both methods, we split the sought stress $σ$ into two parts, where neither part is required to satisfy strain compatibility. The… ▽ More The use of global displacement basis functions to solve boundary-value problems in linear elasticity is well established. No prior work uses a global stress tensor basis for such solutions. We present two such methods for solving stress problems in linear elasticity. In both methods, we split the sought stress $σ$ into two parts, where neither part is required to satisfy strain compatibility. The first part, $σ_p$, is any stress in equilibrium with the loading. The second part, $σ_h$, is a self-equilibrated stress field on the unloaded body. In both methods, $σ_h$ is expanded using tensor-valued global stress basis functions developed elsewhere. In the first method, the coefficients in the expansion are found by minimizing the strain energy based on the well-known complementary energy principle. For the second method, which is restricted to planar homogeneous isotropic bodies, we show that we merely need to minimize the squared $L^2$ norm of the trace of stress. For demonstration, we solve eight stress problems involving sharp corners, multiple-connectedness, non-zero net force and/or moment on an internal hole, body force, discontinuous surface traction, material inhomogeneity, and anisotropy. The first method presents a new application of a known principle. The second method presents a hitherto unreported principle, to the best of our knowledge. △ Less

Submitted 25 April, 2023; originally announced April 2023.

Positive Solutions for Fractional p- Laplace Semipositone Problem with Superlinear Growth

Authors: R. Dhanya, Ritabrata Jana, Uttam Kumar, Sweta Tiwari

Abstract: We consider a semipositone problem involving the fractional $p$ Laplace operator of the form \begin{equation*} \begin{aligned} (-Δ)_p^s u &=μ( u^{r}-1) \text{ in } Ω,\\ u &>0 \text{ in }Ω,\\ u &=0 \text{ on }Ω^{c}, \end{aligned} \end{equation*} where $Ω$ is a smooth bounded convex domain in $\mathbb{R}^N$, $p-1<r<p^{*}_{s}-1$, where $p_s^{*}:=\frac{Np}{N-ps}$, and $μ$ is a positive parameter. We s… ▽ More We consider a semipositone problem involving the fractional $p$ Laplace operator of the form \begin{equation*} \begin{aligned} (-Δ)_p^s u &=μ( u^{r}-1) \text{ in } Ω,\\ u &>0 \text{ in }Ω,\\ u &=0 \text{ on }Ω^{c}, \end{aligned} \end{equation*} where $Ω$ is a smooth bounded convex domain in $\mathbb{R}^N$, $p-1<r<p^{*}_{s}-1$, where $p_s^{*}:=\frac{Np}{N-ps}$, and $μ$ is a positive parameter. We study the behaviour of the barrier function under the fractional $p$-Laplacian and use this information to prove the existence of a positive solution for small $μ$ using degree theory. Additionally, the paper explores the existence of a ground state positive solution for a multiparameter semipositone problem with critical growth using variational arguments. △ Less

Submitted 21 April, 2023; originally announced April 2023.

Comments: 35 pages, 0 figures

A multistep strategy for polynomial system solving over finite fields and a new algebraic attack on the stream cipher Trivium

Authors: Roberto La Scala, Federico Pintore, Sharwan K. Tiwari, Andrea Visconti

Abstract: In this paper we introduce a multistep generalization of the guess-and-determine or hybrid strategy for solving a system of multivariate polynomial equations over a finite field. In particular, we propose performing the exhaustive evaluation of a subset of variables stepwise, that is, by incrementing the size of such subset each time that an evaluation leads to a polynomial system which is possibl… ▽ More In this paper we introduce a multistep generalization of the guess-and-determine or hybrid strategy for solving a system of multivariate polynomial equations over a finite field. In particular, we propose performing the exhaustive evaluation of a subset of variables stepwise, that is, by incrementing the size of such subset each time that an evaluation leads to a polynomial system which is possibly unfeasible to solve. The decision about which evaluation to extend is based on a preprocessing consisting in computing an incomplete Grobner basis after the current evaluation, which possibly generates linear polynomials that are used to eliminate further variables. If the number of remaining variables in the system is deemed still too high, the evaluation is extended and the preprocessing is iterated. Otherwise, we solve the system by a complete Grobner basis computation. Having in mind cryptanalytic applications, we present an implementation of this strategy in an algorithm called MultiSolve which is designed for polynomial systems having at most one solution. We prove explicit formulas for its complexity which are based on probability distributions that can be easily estimated by performing the proposed preprocessing on a testset of evaluations for different subsets of variables. We prove that an optimal complexity of MultiSolve is achieved by using a full multistep strategy with a maximum number of steps and in turn the standard guess-and-determine strategy, which essentially is a strategy consisting of a single step, is the worst choice. Finally, we extensively study the behaviour of MultiSolve when performing an algebraic attack on the well-known stream cipher Trivium. △ Less

Submitted 5 June, 2024; v1 submitted 16 April, 2023; originally announced April 2023.

Comments: 29 pages. To appear in Finite Fields and Their Applications

F-transforms determined by overlap and grou** maps over a complete lattice

Authors: Abha Tripathi, S. P. Tiwari, Sutapa Mahato

Abstract: This paper is about the study of F-transforms based on overlap and grou** maps, residual and co-residual implicator over complete lattice from both constructive and axiomatic approaches. Further, the duality, basic properties, and the inverse of proposed F-transforms have been studied, and axiomatic characterizations of proposed direct F-transforms are investigated. This paper is about the study of F-transforms based on overlap and grou** maps, residual and co-residual implicator over complete lattice from both constructive and axiomatic approaches. Further, the duality, basic properties, and the inverse of proposed F-transforms have been studied, and axiomatic characterizations of proposed direct F-transforms are investigated. △ Less

Submitted 16 December, 2022; originally announced January 2023.

On categories of spaces with L-fuzzy partitions, L-fuzzy closure system spaces and coalgebras (dialgebras)

Authors: Abha Tripathi, S. P. Tiwari

Abstract: In this contribution, we aim to introduce and study L-fuzzy partition spaces and L-fuzzy closure system spaces in a categorical framework. Further, we present the concepts of coalgebras and dialgebras corresponding to a direct upper F -transform under certain conditions and show the functorial relationship between the category of spaces with L-fuzzy partition and the category of coalgebras (dialge… ▽ More In this contribution, we aim to introduce and study L-fuzzy partition spaces and L-fuzzy closure system spaces in a categorical framework. Further, we present the concepts of coalgebras and dialgebras corresponding to a direct upper F -transform under certain conditions and show the functorial relationship between the category of spaces with L-fuzzy partition and the category of coalgebras (dialgebras). Moreover, we show that the categories of coalgebras and dialgebras are isomorphic and introduce a pair of adjoint functors between the coalgebras and dialgebras. △ Less

Submitted 16 December, 2022; originally announced December 2022.

A mesh-free particle method for continuum modeling of granular flow

Authors: Sudarshan Tiwari, Axel Klar

Abstract: Based on the continuum model for granular media developed in Dunatunga et al. we propose a mesh-free generalized finite difference method for the simulation of granular flows. The model is given by an elasto-viscoplastic model with a yield criterion using the $μ(I)$ rheology from Jop et al. The numerical procedure is based on a mesh-free particle method with a least squares approximation of the de… ▽ More Based on the continuum model for granular media developed in Dunatunga et al. we propose a mesh-free generalized finite difference method for the simulation of granular flows. The model is given by an elasto-viscoplastic model with a yield criterion using the $μ(I)$ rheology from Jop et al. The numerical procedure is based on a mesh-free particle method with a least squares approximation of the derivatives in the balance equations combined with the numerical algorithm developed in Dunatunga et al. to compute the plastic stresses. The method is numerically tested and verified for several numerical experiments including granular column collapse and rigid body motion in granular materials. For comparison a nonlinear microscopic model from Lacaze et al. is implemented and results are compared to the those obtained from the continuum model for granular column collapse and rigid body coupling to granular flow. △ Less

Submitted 7 December, 2022; originally announced December 2022.

Granular F-transform and its application

Authors: Abha Tripathi, S. P. Tiwari, J. Kavikumar

Abstract: This contribution introduces the concept of granular F-transform and investigates its basic properties by using the theory of fuzzy numbers and horizontal membership functions. Further, we present a numerical method based on granular F-transform to solve a fuzzy prey-predator model consisting of two prey and one predator due to its natural variability and investigate the existence of the equilibri… ▽ More This contribution introduces the concept of granular F-transform and investigates its basic properties by using the theory of fuzzy numbers and horizontal membership functions. Further, we present a numerical method based on granular F-transform to solve a fuzzy prey-predator model consisting of two prey and one predator due to its natural variability and investigate the existence of the equilibrium points and their stability △ Less

Submitted 17 November, 2022; originally announced November 2022.

Towards a Geodesic Flow Bundle Formalism of General Relativity: Riemannian case

Authors: Adrian Boitier, Shubhanshu Tiwari

Abstract: Gravity is a phenomenon which arises due to the space-time geometry. The main equations that describe gravity are the Einstein equations. To understand the consequences of these field equations we need to calculate the free particle worldlines to the geometries, which solve these field equations e.g. the Schwarzschild metric solves the Einstein equations and we would need to solve the geodesic equ… ▽ More Gravity is a phenomenon which arises due to the space-time geometry. The main equations that describe gravity are the Einstein equations. To understand the consequences of these field equations we need to calculate the free particle worldlines to the geometries, which solve these field equations e.g. the Schwarzschild metric solves the Einstein equations and we would need to solve the geodesic equations to this metric. If we were to describe the space-time geometry in terms of geodesics instead of the metric, we could skip the step of solving for the metric and solve for the geodesics directly. In this work we have developed a formalism doing that: we use the bundle of the arclength parametrized geodesics (geodesic flow bundle GFB) from all points in the manifold to describe a Riemannian geometry. Our formalism uses infinitesimal spherical triangles as generating elements, to solve geometric problems. We relate the geodesic flow bundle to Gaussian curvature and develop a method to calculate the geodesics geometrically starting from a Gaussian curvature field. The result amounts to a generalization of the cosine- and sine-laws for constant curvature to varying curvature fields. In this work we restrict ourselves to the Riemannian case and positive curvature fields. We expand the triangulation problem in power series and calculate the main result up to second order. The method itself could be extended to treat more generic cases in particular pseudo-Riemannian geometries which relate directly to Einsteins equations. We test our results against the sphere and perform consistency checks for some examples of varying curvature fields. As a by-product we generalize the notion of integration to products and derive a relation analogue to the main theorem of calculus, for product integrals. △ Less

Submitted 29 July, 2023; v1 submitted 19 April, 2022; originally announced April 2022.

Inverses of $r$-primitive $k$-normal elements over finite fields

Authors: Mamta Rani, Avnish K. Sharma, Sharwan K. Tiwari, Anupama Panigrahi

Abstract: Let $r$, $n$ be positive integers, $k$ be a non-negative integer and $q$ be any prime power such that $r\mid q^n-1.$ An element $α$ of the finite field $\mathbb{F}_{q^n}$ is called an {\it $r$-primitive} element, if its multiplicative order is $(q^n-1)/r$, and it is called a {\it $k$-normal} element over $\mathbb{F}_q$, if the greatest common divisor of the polynomials… ▽ More Let $r$, $n$ be positive integers, $k$ be a non-negative integer and $q$ be any prime power such that $r\mid q^n-1.$ An element $α$ of the finite field $\mathbb{F}_{q^n}$ is called an {\it $r$-primitive} element, if its multiplicative order is $(q^n-1)/r$, and it is called a {\it $k$-normal} element over $\mathbb{F}_q$, if the greatest common divisor of the polynomials $m_α(x)=\sum_{i=1}^{n} α^{q^{i-1}}x^{n-i}$ and $x^n-1$ is of degree $k.$ In this article, we define the characteristic function for the set of $k$-normal elements, and with the help of this, we establish a sufficient condition for the existence of an element $α$ in $\mathbb{F}_{q^n}$, such that $α$ and $α^{-1}$ both are simultaneously $r$-primitive and $k$-normal over $\mathbb{F}_q$. Moreover, for $n>6k$, we show that there always exists an $r$-primitive and $k$-normal element $α$ such that $α^{-1}$ is also $r$-primitive and $k$-normal in all but finitely many fields $\mathbb{F}_{q^n}$ over $\mathbb{F}_q$, where $q$ and $n$ are such that $r\mid q^n-1$ and there exists a $k$-degree polynomial $g(x)\mid x^n-1$ over $\mathbb{F}_q$. In particular, we discuss the existence of an element $α$ in $\mathbb{F}_{q^n}$ such that $α$ and $α^{-1}$ both are simultaneously $1$-primitive and $1$-normal over $\mathbb{F}_q$. △ Less

Submitted 27 January, 2022; originally announced January 2022.

Comments: 30 pages

MSC Class: 12E20\sep 11T23

An algebraic attack to the Bluetooth stream cipher E0

Authors: Roberto La Scala, Sergio Polese, Sharwan K. Tiwari, Andrea Visconti

Abstract: In this paper we study the security of the Bluetooth stream cipher E0 from the viewpoint it is a "difference stream cipher", that is, it is defined by a system of explicit difference equations over the finite field GF(2). This approach highlights some issues of the Bluetooth encryption such as the invertibility of its state transition map, a special set of 14 bits of its 132-bit state which when g… ▽ More In this paper we study the security of the Bluetooth stream cipher E0 from the viewpoint it is a "difference stream cipher", that is, it is defined by a system of explicit difference equations over the finite field GF(2). This approach highlights some issues of the Bluetooth encryption such as the invertibility of its state transition map, a special set of 14 bits of its 132-bit state which when guessed implies linear equations among the other bits and finally a small number of spurious keys, with 83 guessed bits, which are compatible with a keystream of about 60 bits. Exploiting these issues, we implement an algebraic attack using Gröbner bases, SAT solvers and Binary Decision Diagrams. Testing activities suggest that the version based on Gröbner bases is the best one and it is able to attack E0 in about 2^79 seconds on an Intel i9 CPU. To the best of our knowledge, this work improves any previous attack based on a short keystream, hence fitting with Bluetooth specifications. △ Less

Submitted 8 August, 2022; v1 submitted 4 January, 2022; originally announced January 2022.

Comments: 24 pages, 1 figure. To appear in Finite Fields and Their Applications

MSC Class: 11T71 (Primary) 12H10; 13P10 (Secondary)

Primitive Normal Values of Rational Functions over Finite Fields

Authors: Avnish K. Sharma, Mamta Rani, Sharwan K. Tiwari

Abstract: In this paper, we consider rational functions $f$ with some minor restrictions over the finite field $\mathbb{F}_{q^n},$ where $q=p^k$ for some prime $p$ and positive integer $k$. We establish a sufficient condition for the existence of a pair $(α,f(α))$ of primitive normal elements in $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}.$ Moreover, for $q=2^k$ and rational functions $f$ with quadratic numerat… ▽ More In this paper, we consider rational functions $f$ with some minor restrictions over the finite field $\mathbb{F}_{q^n},$ where $q=p^k$ for some prime $p$ and positive integer $k$. We establish a sufficient condition for the existence of a pair $(α,f(α))$ of primitive normal elements in $\mathbb{F}_{q^n}$ over $\mathbb{F}_{q}.$ Moreover, for $q=2^k$ and rational functions $f$ with quadratic numerators and denominators, we explicitly find that there are at most $55$ finite fields $\mathbb{F}_{q^n}$ in which such a pair $(α,f(α))$ of primitive normal elements may not exist. △ Less

Submitted 14 December, 2021; originally announced December 2021.

Algebraic Properties of Subquasigroups and Construction of Cryptographically Suitable Finite Quasigroups

Authors: V. A. Artamonov, Sucheta Chakrabarti, Sharwan K. Tiwari, V. T. Markov

Abstract: In this paper, we identify many important properties and develop criteria for the existence of subquasigroups in finite quasigroups. Based on these results, we propose an effective method that concludes the nonexistence of subquasigroup of a finite quasigroup, otherwise finds its all possible proper subquasigroups. This has an important application in checking the cryptographic suitability of a fi… ▽ More In this paper, we identify many important properties and develop criteria for the existence of subquasigroups in finite quasigroups. Based on these results, we propose an effective method that concludes the nonexistence of subquasigroup of a finite quasigroup, otherwise finds its all possible proper subquasigroups. This has an important application in checking the cryptographic suitability of a finite quasigroup. \par Further, we propose a binary operation using arithmetic of finite fields to construct quasigroups of order $p^r$. We develop the criteria under which these quasigroups have desirable cryptographic properties, viz. polynomially completeness and possessing no proper subquasigroups. Then a practical method is given to construct cryptographically suitable quasigroups. We also illustrate these methods by some academic examples and implement all proposed algorithms in the computer algebra system {\sc{Singular}}. △ Less

Submitted 10 December, 2021; originally announced December 2021.

A meshfree arbitrary Lagrangian-Eulerian method for the BGK model of the Boltzmann equation with moving boundaries

Authors: Sudarshan Tiwari, Axel Klar, Giovanni Russo

Abstract: In this paper we present a novel technique for the simulation of moving boundaries and moving rigid bodies immersed in a rarefied gas using an Eulerian-Lagrangian formulation based on least square method. The rarefied gas is simulated by solving the Bhatnagar-Gross-Krook (BGK) model for the Boltzmann equation of rarefied gas dynamics. The BGK model is solved by an Arbitrary Lagrangian-Eulerian (… ▽ More In this paper we present a novel technique for the simulation of moving boundaries and moving rigid bodies immersed in a rarefied gas using an Eulerian-Lagrangian formulation based on least square method. The rarefied gas is simulated by solving the Bhatnagar-Gross-Krook (BGK) model for the Boltzmann equation of rarefied gas dynamics. The BGK model is solved by an Arbitrary Lagrangian-Eulerian (ALE) method, where grid-points/particles are moved with the mean velocity of the gas. The computational domain for the rarefied gas changes with time due to the motion of the boundaries. To allow a simpler handling of the interface motion we have used a meshfree method based on a least-square approximation for the reconstruction procedures required for the scheme. We have considered a one way, as well as a two-way coupling of boundaries/rigid bodies and gas flow. The numerical results are compared with analytical as well as with Direct Simulation Monte Carlo (DSMC) solutions of the Boltzmann equation. Convergence studies are performed for one-dimensional and two-dimensional test-cases. Several further test problems and applications illustrate the versatility of the approach. △ Less

Submitted 13 September, 2021; originally announced September 2021.

MSC Class: 2020: 65C05; 65M99; 70E99; 76P05; 76T20

Modeling and simulations of moving droplet in a Rarefied gas

Authors: S. Tiwari, A. Klar, G. Russo

Abstract: We study a two phase flow with interactions of liquid and rarefied gas inside the gas phase. The gas phase is modeled by the BGK model of the Boltzmann equation. The liquid phase is modeled by the incompressible Navier-Stokes equations. In this paper we have excluded the heat transfer between two phases. The interface boundary conditions for the liquid and gas phases is presented. The BGK model is… ▽ More We study a two phase flow with interactions of liquid and rarefied gas inside the gas phase. The gas phase is modeled by the BGK model of the Boltzmann equation. The liquid phase is modeled by the incompressible Navier-Stokes equations. In this paper we have excluded the heat transfer between two phases. The interface boundary conditions for the liquid and gas phases is presented. The BGK model is solved by a semi-Lagrangian scheme with a meshfree reconstruction since the droplet moves inside the gas phase and its interface deforms with respect to time and space. Therefore, the similar meshfree particle method is also suitable to solve the incompressible Navier-Stokes equations for liquid phase. To validate the coupled solutions of the BGK model and the incompressible Navier-Stokes equations, we have compared the results of the BGK model and the incompressible Navier-Stokes equations, with those of the Boltzmann and the incompressible Navier-Stokes equations, where the Boltzmann equation is solved by a DSMC method. Results in $1D$ and $2D$ physical spaces are presented. △ Less

Submitted 31 August, 2021; originally announced August 2021.

MSC Class: 2020:35J15; 76D05; 76P05; 76T10; 65C05; 65M99

One Representation to Rule Them All: Identifying Out-of-Support Examples in Few-shot Learning with Generic Representations

Authors: Henry Kvinge, Scott Howland, Nico Courts, Lauren A. Phillips, John Buckheit, Zachary New, Elliott Skomski, Jung H. Lee, Sandeep Tiwari, Jessica Hibler, Courtney D. Corley, Nathan O. Hodas

Abstract: The field of few-shot learning has made remarkable strides in develo** powerful models that can operate in the small data regime. Nearly all of these methods assume every unlabeled instance encountered will belong to a handful of known classes for which one has examples. This can be problematic for real-world use cases where one routinely finds 'none-of-the-above' examples. In this paper we desc… ▽ More The field of few-shot learning has made remarkable strides in develo** powerful models that can operate in the small data regime. Nearly all of these methods assume every unlabeled instance encountered will belong to a handful of known classes for which one has examples. This can be problematic for real-world use cases where one routinely finds 'none-of-the-above' examples. In this paper we describe this challenge of identifying what we term 'out-of-support' (OOS) examples. We describe how this problem is subtly different from out-of-distribution detection and describe a new method of identifying OOS examples within the Prototypical Networks framework using a fixed point which we call the generic representation. We show that our method outperforms other existing approaches in the literature as well as other approaches that we propose in this paper. Finally, we investigate how the use of such a generic point affects the geometry of a model's feature space. △ Less

Submitted 2 June, 2021; originally announced June 2021.

Comments: 15 pages

Disease contagion models coupled to crowd motion and mesh-free simulation

Authors: Parveena Samim Abdul Salam, Wolfgang Bock, Axel Klar, Sudarshan Tiwari

Abstract: Modeling and simulation of disease spreading in pedestrian crowds has been recently become a topic of increasing relevance. In this paper, we consider the influence of the crowd motion in a complex dynamical environment on the course of infection of the pedestrians. To model the pedestrian dynamics we consider a kinetic equation for multi-group pedestrian flow based on a social force model coupled… ▽ More Modeling and simulation of disease spreading in pedestrian crowds has been recently become a topic of increasing relevance. In this paper, we consider the influence of the crowd motion in a complex dynamical environment on the course of infection of the pedestrians. To model the pedestrian dynamics we consider a kinetic equation for multi-group pedestrian flow based on a social force model coupled with an Eikonal equation. This model is coupled with a non-local SEIS contagion model for disease spread, where besides the description of local contacts also the influence of contact times has been modelled. Hydrodynamic approximations of the coupled system are derived. Finally, simulations of the hydrodynamic model are carried out using a mesh-free particle method. Different numerical test cases are investigated including uni- and bi-directional flow in a passage with and without obstacles. △ Less

Submitted 5 January, 2021; originally announced January 2021.

MSC Class: 22E46; 53C35; 57S20

On the Integrality Gap of Binary Integer Programs with Gaussian Data

Authors: Sander Borst, Daniel Dadush, Sophie Huiberts, Samarth Tiwari

Abstract: For a binary integer program (IP) ${\rm max} ~ c^\mathsf{T} x, Ax \leq b, x \in \{0,1\}^n$, where $A \in \mathbb{R}^{m \times n}$ and $c \in \mathbb{R}^n$ have independent Gaussian entries and the right-hand side $b \in \mathbb{R}^m$ satisfies that its negative coordinates have $\ell_2$ norm at most $n/10$, we prove that the gap between the value of the linear programming relaxation and the IP is… ▽ More For a binary integer program (IP) ${\rm max} ~ c^\mathsf{T} x, Ax \leq b, x \in \{0,1\}^n$, where $A \in \mathbb{R}^{m \times n}$ and $c \in \mathbb{R}^n$ have independent Gaussian entries and the right-hand side $b \in \mathbb{R}^m$ satisfies that its negative coordinates have $\ell_2$ norm at most $n/10$, we prove that the gap between the value of the linear programming relaxation and the IP is upper bounded by $\operatorname{poly}(m)(\log n)^2 / n$ with probability at least $1-2/n^7-2^{-\operatorname{poly}(m)}$. Our results give a Gaussian analogue of the classical integrality gap result of Dyer and Frieze (Math. of O.R., 1989) in the case of random packing IPs. In constrast to the packing case, our integrality gap depends only polynomially on $m$ instead of exponentially. Building upon recent breakthrough work of Dey, Dubey and Molinaro (SODA, 2021), we show that the integrality gap implies that branch-and-bound requires $n^{\operatorname{poly}(m)}$ time on random Gaussian IPs with good probability, which is polynomial when the number of constraints $m$ is fixed. We derive this result via a novel meta-theorem, which relates the size of branch-and-bound trees and the integrality gap for random logconcave IPs. △ Less

Submitted 2 June, 2021; v1 submitted 15 December, 2020; originally announced December 2020.

Regularity results for Choquard equations involving fractional $p$-Laplacian

Authors: Reshmi Biswas, Sweta Tiwari

Abstract: In this article, first we address the regularity of weak solution for a class of $p$-fractional Choquard equations: \begin{equation*} \;\;\; \left.\begin{array}{rl} (-Δ)_p^su&=\left(\displaystyle\int_Ω\frac{F(y,u)}{|x-y|^μ}dy\right)f(x,u),\hspace{5mm}x\in Ω, u&=0,\hspace{35mm}x\in \mathbb R^N\setminus Ω, \end{array} \right\} \end{equation*} where $Ω\subset\mathbb R^N$ is a smooth b… ▽ More In this article, first we address the regularity of weak solution for a class of $p$-fractional Choquard equations: \begin{equation*} \;\;\; \left.\begin{array}{rl} (-Δ)_p^su&=\left(\displaystyle\int_Ω\frac{F(y,u)}{|x-y|^μ}dy\right)f(x,u),\hspace{5mm}x\in Ω, u&=0,\hspace{35mm}x\in \mathbb R^N\setminus Ω, \end{array} \right\} \end{equation*} where $Ω\subset\mathbb R^N$ is a smooth bounded domain, $1<p<\infty$ and $0<s<1$ such that $sp<N,$ $0<μ<\min\{N,2sp\}$ and $f:Ω\times\mathbb R\to\mathbb R$ is a continuous function with at most critical growth condition (in the sense of Hardy-Littlewood-Sobolev inequality) and $F$ is its primitive. Next, for $p\geq2,$ we discuss the Sobolev versus Hölder minimizers of the energy functional $J$ associated to the above problem, and using that we establish the existence of the local minimizer of $J$ in the fractional Sobolev space $W_0^{s,p}(Ω).$ Moreover, we discuss the aforementioned results by adding a local perturbation term (at most critical in the sense of Sobolev inequality) in the right-hand side in the above equation. △ Less

Submitted 22 July, 2021; v1 submitted 17 August, 2020; originally announced August 2020.

Comments: Incorporated some changes in the previous version

Basis functions for residual stresses

Authors: Sankalp Tiwari, Anindya Chatterjee

Abstract: We consider arbitrary preexisting residual stress states in arbitrarily shaped, unloaded bodies. These stresses must be self-equilibrating and traction free. Common treatments of the topic tend to focus on either the mechanical origins of the stress, or methods of stress measurement at certain locations. Here we take the stress field as given and consider the problem of approximating any such stre… ▽ More We consider arbitrary preexisting residual stress states in arbitrarily shaped, unloaded bodies. These stresses must be self-equilibrating and traction free. Common treatments of the topic tend to focus on either the mechanical origins of the stress, or methods of stress measurement at certain locations. Here we take the stress field as given and consider the problem of approximating any such stress field, in a given body, as a linear combination of predetermined fields which can serve as a basis. We consider planar stress states in detail, and introduce an extremization problem that leads to a linear eigenvalue problem. Eigenfunctions of that problem form an orthonormal basis for all possible residual stress states of sufficient smoothness. In numerical examples, convergence of the approximating stress fields is demonstrated in the $L^2$ norm for continuous stress fields as well as for a stress field with a simple discontinuity. Finally, we outline the extension of our theory to three dimensional bodies and states of stress. Our approach can be used to describe arbitrary preexisting residual stress states in arbitrarily shaped bodies using basis functions that are determined by the body geometry alone. △ Less

Submitted 13 July, 2020; originally announced July 2020.

MSC Class: 46E29; 49R99; 65N25; 65N30; 74G65

Journal ref: Applied Mathematics and Computation 386 (2020): 125468

On the Complexity of Branching Proofs

Authors: Daniel Dadush, Samarth Tiwari

Abstract: We consider the task of proving integer infeasibility of a bounded convex $K$ in $\mathbb{R}^n$ using a general branching proof system. In a general branching proof, one constructs a branching tree by adding an integer disjunction $\mathbf{a} \mathbf{x} \leq b$ or $\mathbf{a} \mathbf{x} \geq b+1$, $\mathbf{a} \in \mathbb{Z}^n$, $b \in \mathbb{Z}$, at each node, such that the leaves of the tree cor… ▽ More We consider the task of proving integer infeasibility of a bounded convex $K$ in $\mathbb{R}^n$ using a general branching proof system. In a general branching proof, one constructs a branching tree by adding an integer disjunction $\mathbf{a} \mathbf{x} \leq b$ or $\mathbf{a} \mathbf{x} \geq b+1$, $\mathbf{a} \in \mathbb{Z}^n$, $b \in \mathbb{Z}$, at each node, such that the leaves of the tree correspond to empty sets (i.e., $K$ together with the inequalities picked up from the root to leaf is empty). Recently, Beame et al (ITCS 2018), asked whether the bit size of the coefficients in a branching proof, which they named stabbing planes (SP) refutations, for the case of polytopes derived from SAT formulas, can be assumed to be polynomial in $n$. We resolve this question by showing that any branching proof can be recompiled so that the integer disjunctions have coefficients of size at most $(n R)^{O(n^2)}$, where $R \in \mathbb{N}$ such that $K \in R \mathbb{B}_1^n$, while increasing the number of nodes in the branching tree by at most a factor $O(n)$. As our second contribution, we show that Tseitin formulas, an important class of infeasible SAT instances, have quasi-polynomial sized cutting plane (CP) refutations, disproving the conjecture that Tseitin formulas are (exponentially) hard for CP. As our final contribution, we give a simple family of polytopes in $[0,1]^n$ requiring branching proofs of length $2^n/n$. △ Less

Submitted 7 June, 2020; originally announced June 2020.

On a class of Kirchhoff-Choquard equations involving variable-order fractional $p(\cdot)-$ Laplacian and without Ambrosetti-Rabinowitz type condition

Authors: Reshmi Biswas, Sweta Tiwari

Abstract: In this article we study the existence of weak solution, existence of ground state solution using Nehari manifold and existence of infinitely many solutions using Fountain theorem and Dual fountain theorem for a class of doubly nonlocal Kirchhoff-Choquard type equations involving the variable-order fractional $p(\cdot)-$ Laplacian operator. Here the nonlinearity does not satisfy the well known Amb… ▽ More In this article we study the existence of weak solution, existence of ground state solution using Nehari manifold and existence of infinitely many solutions using Fountain theorem and Dual fountain theorem for a class of doubly nonlocal Kirchhoff-Choquard type equations involving the variable-order fractional $p(\cdot)-$ Laplacian operator. Here the nonlinearity does not satisfy the well known Ambrosetti-Rabinowitz type condition. △ Less

Submitted 19 May, 2020; originally announced May 2020.

Nehari manifold for fractional p(.)-Laplacian system involving concave-convex nonlinearities

Authors: Reshmi Biswas, Sweta Tiwari

Abstract: In this article using Nehari manifold method we study the multiplicity of solutions of the following nonlocal elliptic system involving variable exponents and concave-convex nonlinearities: \begin{equation*} \;\;\; \begin{array}{rl} (-Δ)_{p(\cdot)}^{s} u&=λ~ a(x)| u|^{q(x)-2}u+\frac{α(x)}{α(x)+β(x)}c(x)| u|^{α(x)-2}u| v| ^{β(x)},\hspace{2mm} x\in Ω; \\ (-Δ)_{p(\cdot)}^{s} v&=μ~ b(x)| v|^{q(x)-2}v+… ▽ More In this article using Nehari manifold method we study the multiplicity of solutions of the following nonlocal elliptic system involving variable exponents and concave-convex nonlinearities: \begin{equation*} \;\;\; \begin{array}{rl} (-Δ)_{p(\cdot)}^{s} u&=λ~ a(x)| u|^{q(x)-2}u+\frac{α(x)}{α(x)+β(x)}c(x)| u|^{α(x)-2}u| v| ^{β(x)},\hspace{2mm} x\in Ω; \\ (-Δ)_{p(\cdot)}^{s} v&=μ~ b(x)| v|^{q(x)-2}v+\frac{α(x)}{α(x)+β(x)}c(x)| v|^{α(x)-2}v| u| ^{β(x)},\hspace{2.5mm} x\in Ω; \\ u=v&=0 ,\hspace{1cm} x\in Ω^c:=\mathbb R^N\setminusΩ, \end{array} \end{equation*} where $Ω\subset\mathbb R^N,~N\geq2$ is a smooth bounded domain, $λ,μ>0$ are the parameters, $s\in(0,1),$ $p\in C(\mathbb R^N\times \mathbb R^N,(1,\infty))$ and $q,α,β\in C(\overlineΩ,(1,\infty))$ are the variable exponents and $a,b,c\in C(\overlineΩ,[0,\infty))$ are the non-negative weight functions. We show that there exists $Λ>0$ such that for all $λ+μ<Λ$, there exist two non-trivial and non-negative solutions of the above problem under some assumptions on $q,α,β$. △ Less

Submitted 20 April, 2020; originally announced April 2020.

Stream/block ciphers, difference equations and algebraic attacks

Authors: Roberto La Scala, Sharwan K. Tiwari

Abstract: In this paper we model a class of stream and block ciphers as systems of (ordinary) explicit difference equations over a finite field. We call this class "difference ciphers" and we show that ciphers of application interest, as for example systems of LFSRs with a combiner, Trivium and Keeloq, belong to the class. By using Difference Algebra, that is, the formal theory of difference equations, we c… ▽ More In this paper we model a class of stream and block ciphers as systems of (ordinary) explicit difference equations over a finite field. We call this class "difference ciphers" and we show that ciphers of application interest, as for example systems of LFSRs with a combiner, Trivium and Keeloq, belong to the class. By using Difference Algebra, that is, the formal theory of difference equations, we can properly define and study important properties of these ciphers, such as their invertibility and periodicity. We describe then general cryptanalytic methods for difference ciphers that follow from these properties and are useful to assess the security. We illustrate such algebraic attacks in practice by means of the ciphers Bivium and Keeloq. △ Less

Submitted 23 August, 2021; v1 submitted 28 March, 2020; originally announced March 2020.

Comments: 26 pages, to appear in Journal of Symbolic Computation

Comments on the "Optimal strategy of deteriorating items with capacity constraints under two-levels of trade credit policy"

Authors: Sunil Tiwari, Masih Fadaki, Anuj Kumar Sharma

Abstract: This technical note rectified the mathematical and conceptual errors present in Liao et al. (2014). Liao et al. (2014) proposed an EOQ model under two-levels trade credit policy considering limited storage capacity whereby the supplier provides a permissible delay period (M) to the retailer, and the retailer also offers a permissible delay period (N) (whereM > N) to its customers. In the current t… ▽ More This technical note rectified the mathematical and conceptual errors present in Liao et al. (2014). Liao et al. (2014) proposed an EOQ model under two-levels trade credit policy considering limited storage capacity whereby the supplier provides a permissible delay period (M) to the retailer, and the retailer also offers a permissible delay period (N) (whereM > N) to its customers. In the current technical note, we point out some defects of their model from the logical viewpoints of mathematics regarding both interest charged and interest earned. Furthermore, as an example, one of the affected numerical results is re-evaluated. △ Less

Submitted 15 October, 2019; v1 submitted 15 October, 2019; originally announced October 2019.

Variable order nonlocal Choquard problem with variable exponents

Authors: Reshmi Biswas, Sweta Tiwari

Abstract: In this article, we study the existence/multiplicity results for the following variable order nonlocal Choquard problem with variable exponents (-Δ)_{p(\cdot)}^{s(\cdot)}u(x)&=λ|u(x)|^{α(x)-2}u(x)+ \left(\DD\int_Ω\frac{F(y,u(y))}{|x-y|^{μ(x,y)}}dy\right)f(x,u(x)), x\in Ω, u(x)&=0, x\in \mathbb R^N\setminusΩ, where $Ω\subset\mathbb R^N$ is a smooth and bounded domain, $N\geq 2$, $p,s,μ$ and $α$ are… ▽ More In this article, we study the existence/multiplicity results for the following variable order nonlocal Choquard problem with variable exponents (-Δ)_{p(\cdot)}^{s(\cdot)}u(x)&=λ|u(x)|^{α(x)-2}u(x)+ \left(\DD\int_Ω\frac{F(y,u(y))}{|x-y|^{μ(x,y)}}dy\right)f(x,u(x)), x\in Ω, u(x)&=0, x\in \mathbb R^N\setminusΩ, where $Ω\subset\mathbb R^N$ is a smooth and bounded domain, $N\geq 2$, $p,s,μ$ and $α$ are continuous functions on $\mathbb R^N\times\mathbb R^N$ and $f(x,t)$ is Carathédory function. Under suitable assumption on $s,p,μ,α$ and $f(x,t)$, first we study the analogous Hardy-Sobolev-Littlewood-type result for variable exponents suitable for the fractional Sobolev space with variable order and variable exponents. Then we give the existence/multiplicity results for the above equation. △ Less

Submitted 5 July, 2019; originally announced July 2019.

Comments: 21 pages

MSC Class: 35J60; 35R11; 46E35

A multiparameter semipositone fractional laplacian problem involving critical exponent

Authors: R. Dhanya, Sweta Tiwari

Abstract: In this paper we prove the existence of at least one positive solution for nonlocal semipositone problem of the type $$ (P_λ^μ)\left\{ \begin{array}{lll} (-Δ)^s u&=& λ(u^{q}-1)+μu^r \mbox{ in } Ω\\ u&>&0 \mbox{ in } Ω\\ u&\equiv &0 \mbox{ on }{\mathbb R^N\setminusΩ}. \end{array}\right. $$ when the positive parameters $λ$ and $μ$ belongs to certain range. Here $Ω\subset\mathbb R^N$ is assumed to… ▽ More In this paper we prove the existence of at least one positive solution for nonlocal semipositone problem of the type $$ (P_λ^μ)\left\{ \begin{array}{lll} (-Δ)^s u&=& λ(u^{q}-1)+μu^r \mbox{ in } Ω\\ u&>&0 \mbox{ in } Ω\\ u&\equiv &0 \mbox{ on }{\mathbb R^N\setminusΩ}. \end{array}\right. $$ when the positive parameters $λ$ and $μ$ belongs to certain range. Here $Ω\subset\mathbb R^N$ is assumed to be a bounded open set with smooth boundary, $s\in (0,1), N> 2s$ and $0<q<1<r\leq \frac{N+2s}{N- 2s}.$ The proof relies on the construction of a positive subsolution for $(P_λ^0)$ for $λ>λ_0.$ Now for each $λ>λ_0,$ for all small $0<μ<μ_λ$ we establish the existence of at least one positive solution of $(P_λ^μ)$ using variational method. Also in the subcritical case, i.e., for $1<r<\frac{N+2s}{N-2s}$, we show the existence of second positive solution via mountain pass argument. △ Less

Submitted 24 May, 2019; originally announced May 2019.

A meshfree method for the BGK model for rarefied gas dynamics

Authors: Sudarshan Tiwari, Axel Klar, Giovanni Russo

Abstract: In this paper we have applied a Semi-Lagrangian schemes with meshfree interpolation, based on a Moving Least Squares (MLS) method, to solve the BGK model for rarefied gas dynamics. Sod's shock tube problems are presented for a large range of mean free paths in one dimensional physical space and three dimensional velocity space. In order to validate the solutions obtained from the meshfree method,… ▽ More In this paper we have applied a Semi-Lagrangian schemes with meshfree interpolation, based on a Moving Least Squares (MLS) method, to solve the BGK model for rarefied gas dynamics. Sod's shock tube problems are presented for a large range of mean free paths in one dimensional physical space and three dimensional velocity space. In order to validate the solutions obtained from the meshfree method, we have used the piecewise linear spline interpolation. Furthermore, we have compared the solutions of the BGK model with the solutions obtained from Direct Simulation Monte Carlo (DSMC) method. In the case of a very small mean free path the numerical solutions are compared with the exact solutions of the compressible Euler equations. Overall we found that the meshfree interpolation gives better approximation than the piecewise linear spline interpolation. △ Less

Submitted 19 September, 2019; v1 submitted 6 February, 2019; originally announced February 2019.

Multiplicity and uniform estimate for a class of variable order fractional $p(x)$-Laplacian problems with concave-convex nonlinearities

Authors: Reshmi Biswas, Sweta Tiwari

Abstract: In this article, we study the existence/multiplicity results for the following variable order nonlocal Choquard problem with variable exponents \begin{equation*} \begin{array}{rl} (-Δ)_{p(\cdot)}^{s(\cdot)}u(x)&=λ|u(x)|^{α(x)-2}u(x)+\left(\DD\int_Ω\frac{F(y,u(y))}{|x-y|^{μ(x,y)}}dy\right)f(x,u(x)),\\ &~\hspace{6cm} x\in Ω, \\ u(x)&=0 ,\hspace{20mm} x\in Ω^c:=\mathbb R^N\setminusΩ, \end{array} \en… ▽ More In this article, we study the existence/multiplicity results for the following variable order nonlocal Choquard problem with variable exponents \begin{equation*} \begin{array}{rl} (-Δ)_{p(\cdot)}^{s(\cdot)}u(x)&=λ|u(x)|^{α(x)-2}u(x)+\left(\DD\int_Ω\frac{F(y,u(y))}{|x-y|^{μ(x,y)}}dy\right)f(x,u(x)),\\ &~\hspace{6cm} x\in Ω, \\ u(x)&=0 ,\hspace{20mm} x\in Ω^c:=\mathbb R^N\setminusΩ, \end{array} \end{equation*} where $\Om\subset\mathbb R^N$ is a smooth and bounded domain, $N\geq 2$, $p,s,μ$ and $α$ are continuous functions on $\mathbb R^N\times\mathbb R^N$ and $f(x,t)$ is continuous function with $F(x,t):=\displaystyle\int_{0}^{t} f(x,s)ds$. Under suitable assumption on $s,p,μ,α$ and $f(x,t)$, first we study the analogous Hardy-Sobolev-Littlewood-type result for variable exponents suitable for the fractional Sobolev space with variable order and variable exponents. Then we give the existence/multiplicity results for the above equation. △ Less

Submitted 11 October, 2020; v1 submitted 30 October, 2018; originally announced October 2018.

Comments: Modified the article with different tittle and abstract. Kindly see or cite "Variable order nonlocal Choquard problem with variable exponents" instead of this article. Link of it is given as: arXiv:1907.02837

Modeling and Simulation of Macroscopic Pedestrian Flow Models

Authors: Naveen Kumar Mahato, Axel Klar, Sudarshan Tiwari

Abstract: We analyze numerically some macroscopic models of pedestrian motion such as Hughes model [1] and mean field game with nonlinear mobilities [2] modeling fast exit scenarios in pedestrian crowds. A model introduced by Hughes consisting of a non-linear conservation law for the density of pedestrians coupled with an Eikonal equation for a potential modeling the common sense of the task. Mean field gam… ▽ More We analyze numerically some macroscopic models of pedestrian motion such as Hughes model [1] and mean field game with nonlinear mobilities [2] modeling fast exit scenarios in pedestrian crowds. A model introduced by Hughes consisting of a non-linear conservation law for the density of pedestrians coupled with an Eikonal equation for a potential modeling the common sense of the task. Mean field game with nonlinear mobilities is obtained by an optimal control approach, where the motion of every pedestrian is determined by minimizing a cost functional, which depends on the position, velocity, exit time and the overall density of people. We consider a parabolic optimal control problem of nonlinear mobility in pedestrian dynamics, which leads to a mean field game structure. We show how optimal control problem related to the Hughes model for pedestrian motion. Furthermore we provide several numerical results which relate both models in one and two dimensions. References [1] Hughes R.L.: A continuum theory for the flow of pedestrians, Transportation Research Part B: Methodological, 36, 507-535 (2000) [2] Burger M., Di Francesco M., Markowich P.A., Wolfram M-T.: Mean field games with nonlinear mobilities in pedestrian dynamics, Discrete and Continuous Dynamical Systems. Series B. A Journal Bridging Mathematics and Sciences, 19, 1311-1333 (2014) △ Less

Submitted 8 October, 2018; originally announced October 2018.

Noncommutative algebras, context-free grammars and algebraic Hilbert series

Authors: Roberto La Scala, Dmitri Piontkovski, Sharwan K. Tiwari

Abstract: In this paper we introduce a class of noncommutative (finitely generated) monomial algebras whose Hilbert series are algebraic functions. We use the concept of graded homology and the theory of unambiguous context-free grammars for this purpose. We also provide examples of finitely presented graded algebras whose corresponding leading monomial algebras belong to the proposed class and hence posses… ▽ More In this paper we introduce a class of noncommutative (finitely generated) monomial algebras whose Hilbert series are algebraic functions. We use the concept of graded homology and the theory of unambiguous context-free grammars for this purpose. We also provide examples of finitely presented graded algebras whose corresponding leading monomial algebras belong to the proposed class and hence possess algebraic Hilbert series. △ Less

Submitted 3 June, 2019; v1 submitted 13 July, 2018; originally announced July 2018.

Comments: 26 pages, to appear in Journal of Symbolic Computation

MSC Class: 05A15; 16E05; 68Q42

A meshfree particle method for a vision-based macroscopic pedestrian model

Authors: N. K. Mahato, A. Klar, S. Tiwari

Abstract: In this paper we present numerical simulations of a macroscopic vision-based model [1] derived from microscopic situation rules described in [2]. This model describes an approach to collision avoidance between pedestrians by taking decisions of turning or slowing down based on basic interaction rules, where the dangerousness level of an interaction with another pedestrian is measured in terms of t… ▽ More In this paper we present numerical simulations of a macroscopic vision-based model [1] derived from microscopic situation rules described in [2]. This model describes an approach to collision avoidance between pedestrians by taking decisions of turning or slowing down based on basic interaction rules, where the dangerousness level of an interaction with another pedestrian is measured in terms of the derivative of the bearing angle and of the time-to-interaction. A meshfree particle method is used to solve the equations of the model. Several numerical cases are considered to compare this model with models established in the field, for example, social force model coupled to an Eikonal equation [3]. Particular emphasis is put on the comparison of evacuation and computation times. References 1. Degond P., Appert-Rolland C., Pettere J., Theraulaz G., Vision-based macroscopic pedestrian models, Kinetic and Related models, AIMs 6(4), 809-839 (2013) 2. Ondrej J., Pettere J., Olivier A.H., Donikian S., A synthetic-vision based steering approach for crowd simulation, ACM Transactions on Graphics, 29(4), Article 123 (2010) 3. Etikyala R., Gottlich S., Klar A., Tiwari S., Particle methods for pedestrian flow models: From microscopic to nonlocal continuum models, Mathematical Models and Methods in Applied Sciences, 20(12), 2503-2523 (2014) △ Less

Submitted 5 April, 2018; originally announced April 2018.

Comments: arXiv admin note: text overlap with arXiv:1307.1953 by other authors

Simulation of Fluid Particle Cutting - Validation and Case Study

Authors: Mark W. Hlawitschka, Sudarshan Tiwari, James Kwizera, Axel Klar, Hans-Joerg Bart

Abstract: In this paper we present the comparison of experiments and numerical simulations for bubble cutting by a wire. The air bubble is surrounded by water. In the experimental setup an air bubble is injected on the bottom of a water column. When the bubble rises and contacts the wire, it is separated into two daughter bubbles. The flow is modeled by the incompressible Navier-Stokes equations. A meshfree… ▽ More In this paper we present the comparison of experiments and numerical simulations for bubble cutting by a wire. The air bubble is surrounded by water. In the experimental setup an air bubble is injected on the bottom of a water column. When the bubble rises and contacts the wire, it is separated into two daughter bubbles. The flow is modeled by the incompressible Navier-Stokes equations. A meshfree method is used to simulate the bubble cutting. We have observed that the experimental and numerical results are in very good agreement. Moreover, we have further presented simulation results for liquid with higher viscosity. In this case the numerical results are close to previously published results. △ Less

Submitted 6 September, 2017; originally announced September 2017.

Comments: 20 pages, 12 figures. arXiv admin note: text overlap with arXiv:1406.4734

MSC Class: 65M99; 76D05; 76T10

A multi-scale particle method for mean field equations: the general case

Authors: Axel Klar, Sudarshan Tiwari

Abstract: A multi-scale meshfree particle method for macroscopic mean field approximations of generalized interacting particle models is developed and investigated. The method is working in a uniform way for large and small interaction radii. The well resolved case for large interaction radius is treated, as well as underresolved situations with small values of the interaction radius. In the present work we… ▽ More A multi-scale meshfree particle method for macroscopic mean field approximations of generalized interacting particle models is developed and investigated. The method is working in a uniform way for large and small interaction radii. The well resolved case for large interaction radius is treated, as well as underresolved situations with small values of the interaction radius. In the present work we extend the approach from [39] for porous media type limit equations to a more general case, including in particular hyperbolic limits. The method can be viewed as a numerical transition between a DEM-type method for microscopic interacting particle systems and a meshfree particle method for macroscopic equations. We discuss in detail the numerical performance of the scheme for various examples and the potential gain in computation time. The latter is shown to be particularly high for situations near the macroscopic limit. There are various applications of the method to problems involving mean field approximations in swarming, tra?c, pedestrian or granular fow simulation. △ Less

Submitted 9 May, 2017; originally announced May 2017.

Multigraded Hilbert Series of noncommutative modules

Authors: Roberto La Scala, Sharwan K. Tiwari

Abstract: In this paper, we propose methods for computing the Hilbert series of multigraded right modules over the free associative algebra. In particular, we compute such series for noncommutative multigraded algebras. Using results from the theory of regular languages, we provide conditions when the methods are effective and hence the sum of the Hilbert series is a rational function. Moreover, a character… ▽ More In this paper, we propose methods for computing the Hilbert series of multigraded right modules over the free associative algebra. In particular, we compute such series for noncommutative multigraded algebras. Using results from the theory of regular languages, we provide conditions when the methods are effective and hence the sum of the Hilbert series is a rational function. Moreover, a characterization of finite-dimensional algebras is obtained in terms of the nilpotency of a key matrix involved in the computations. Using this result, efficient variants of the methods are also developed for the computation of Hilbert series of truncated infinite-dimensional algebras whose (non-truncated) Hilbert series may not be rational functions. We consider some applications of the computation of multigraded Hilbert series to algebras that are invariant under the action of the general linear group. In fact, in this case such series are symmetric functions which can be decomposed in terms of Schur functions. Finally, we present an efficient and complete implementation of (standard) graded and multigraded Hilbert series that has been developed in the kernel of the computer algebra system Singular. A large set of tests provides a comprehensive experimentation for the proposed algorithms and their implementations. △ Less

Submitted 4 September, 2018; v1 submitted 2 May, 2017; originally announced May 2017.

Comments: 28 pages, to appear in Journal of Algebra

Modular Techniques For Noncommutative Gröbner Bases

Authors: Wolfram Decker, Christian Eder, Viktor Levandovskyy, Sharwan K. Tiwari

Abstract: In this note, we extend modular techniques for computing Gröbner bases from the commutative setting to the vast class of noncommutative $G$-algebras. As in the commutative case, an effective verification test is only known to us in the graded case. In the general case, our algorithm is probabilistic in the sense that the resulting Gröbner basis can only be expected to generate the given ideal, wit… ▽ More In this note, we extend modular techniques for computing Gröbner bases from the commutative setting to the vast class of noncommutative $G$-algebras. As in the commutative case, an effective verification test is only known to us in the graded case. In the general case, our algorithm is probabilistic in the sense that the resulting Gröbner basis can only be expected to generate the given ideal, with high probability. We have implemented our algorithm in the computer algebra system {\sc{Singular}} and give timings to compare its performance with that of other instances of Buchberger's algorithm, testing examples from $D$-module theory as well as classical benchmark examples. A particular feature of the modular algorithm is that it allows parallel runs. △ Less

Submitted 10 April, 2017; originally announced April 2017.

On Meshfree GFDM Solvers for the Incompressible Navier-Stokes Equations

Authors: Pratik Suchde, Joerg Kuhnert, Sudarshan Tiwari

Abstract: Meshfree solution schemes for the incompressible Navier--Stokes equations are usually based on algorithms commonly used in finite volume methods, such as projection methods, SIMPLE and PISO algorithms. However, drawbacks of these algorithms that are specific to meshfree methods have often been overlooked. In this paper, we study the drawbacks of conventionally used meshfree Generalized Finite Diff… ▽ More Meshfree solution schemes for the incompressible Navier--Stokes equations are usually based on algorithms commonly used in finite volume methods, such as projection methods, SIMPLE and PISO algorithms. However, drawbacks of these algorithms that are specific to meshfree methods have often been overlooked. In this paper, we study the drawbacks of conventionally used meshfree Generalized Finite Difference Method~(GFDM) schemes for Lagrangian incompressible Navier-Stokes equations, both operator splitting schemes and monolithic schemes. The major drawback of most of these schemes is inaccurate local approximations to the mass conservation condition. Further, we propose a new modification of a commonly used monolithic scheme that overcomes these problems and shows a better approximation for the velocity divergence condition. We then perform a numerical comparison which shows the new monolithic scheme to be more accurate than existing schemes. △ Less

Submitted 12 January, 2017; originally announced January 2017.

Journal ref: Computers & Fluids. 165: 1-12. 2018

Particle methods for multi-group pedestrian flow

Authors: Naveen K. Mahato, Axel Klar, Sudarshan Tiwari

Abstract: We consider a multi-group microscopic model for pedestrian flow describing the behaviour of large groups. It is based on an interacting particle system coupled to an eikonal equation. Hydrodynamic multi-group models are derived from the underlying particle system as well as scalar multi-group models. The eikonal equation is used to compute optimal paths for the pedestrians. Particle methods are us… ▽ More We consider a multi-group microscopic model for pedestrian flow describing the behaviour of large groups. It is based on an interacting particle system coupled to an eikonal equation. Hydrodynamic multi-group models are derived from the underlying particle system as well as scalar multi-group models. The eikonal equation is used to compute optimal paths for the pedestrians. Particle methods are used to solve the equations on all levels of the hierarchy. Numerical test cases are investigated and the models and, in particular, the resulting evacuation times are compared for a wide range of different parameters. △ Less

Submitted 17 May, 2017; v1 submitted 8 July, 2016; originally announced July 2016.

Elliptic Problems in $\mathbb{R}^N$ with Critical and Singular Discontinuous Nonlinearities

Authors: R. Dhanya, S. Prashanth, Sweta Tiwari, K. Sreenadh

Abstract: Let $Ω$ be a bounded domain in $\mathbb R^{N}$, $N\geq3$ with smooth boundary, $a>0, λ>0$ and $0<δ<3$ be real numbers. Define $2^*:=\displaystyle\frac{2N}{N-2}$ and the characteristic function of a set $A$ by $χ_A$. We consider the following critical problem with singular and discontinuous nonlinearity: \begin{eqnarray*} (P_\la^a)~~~~ \qquad \Biggl\{\begin{array}{rl} -Δu &= λ\left(u^{2^*-1}+… ▽ More Let $Ω$ be a bounded domain in $\mathbb R^{N}$, $N\geq3$ with smooth boundary, $a>0, λ>0$ and $0<δ<3$ be real numbers. Define $2^*:=\displaystyle\frac{2N}{N-2}$ and the characteristic function of a set $A$ by $χ_A$. We consider the following critical problem with singular and discontinuous nonlinearity: \begin{eqnarray*} (P_\la^a)~~~~ \qquad \Biggl\{\begin{array}{rl} -Δu &= λ\left(u^{2^*-1}+ \displaystyle χ_{\{u<a\}}u^{-\de} \right), u > 0~~\text{in} ~~Ω, \\ u & = 0 ~\text{on}~ \partial Ω. \end{array} \end{eqnarray*} \noindent We study the existence and the global multiplicity of solutions to the above problem. △ Less

Submitted 4 June, 2016; originally announced June 2016.

Comments: 23 pages, Complex variables and elliptic equations, 2016

Long time dynamics of a three-species food chain model with Allee effect in the top predator

Authors: Rana D. Parshad, Emmanuel Quansah, Kelly Black, Nitu Kumari, Ranjit K. Upadhyay, S. K. Tiwari

Abstract: The Allee effect is an important phenomenon in population biology characterized by positive density dependence, that is a positive correlation between population density and individual fitness. However, the effect is not well studied in multi-level trophic food chains. We consider a ratio dependent spatially explicit three species food chain model, where the top predator is subjected to a strong A… ▽ More The Allee effect is an important phenomenon in population biology characterized by positive density dependence, that is a positive correlation between population density and individual fitness. However, the effect is not well studied in multi-level trophic food chains. We consider a ratio dependent spatially explicit three species food chain model, where the top predator is subjected to a strong Allee effect. We show the existence of a global attractor for the the model, that is upper semicontinuous in the Allee threshold parameter $m$. To the best of our knowledge this is the first robustness result, for a spatially explicit three species food chain model with an Allee effect. Next, we numerically investigate the decay rate to a target attractor, that is when $m=0$, in terms of $m$. We find decay estimates that are $\mathcal{O}(m^γ)$, where $γ$ is found explicitly. Furthermore, we prove various overexploitation theorems for the food chain model, showing that overexploitation has to be driven by the middle predator. In particular overexploitation is not possible without an Allee effect in place. We also uncover a rich class of Turing patterns in the model which depend significantly on the Allee threshold parameter $m$. Our results have potential applications to trophic cascade control, conservation efforts in food chains, as well as Allee mediated biological control. △ Less

Submitted 18 October, 2015; v1 submitted 12 October, 2015; originally announced October 2015.

$\mathcal{P}\mathcal{R}$-anti-slant warped product submanifold of a nearly paracosymplectic manifold

Authors: S. K. Srivastava, A. Sharma, S. K. Tiwari

Abstract: In this paper, we study $\mathcal{P}\mathcal{R}$-anti-slant warped product submanifold of a nearly paracosymplectic manifold $\widetilde{M}$. The necessary and sufficient condition is obtained for the distributions allied to the characterization of a $\mathcal{P}\mathcal{R}$-anti-slant submanifold being integrable and totally geodesic foliation. In addition, we have defined… ▽ More In this paper, we study $\mathcal{P}\mathcal{R}$-anti-slant warped product submanifold of a nearly paracosymplectic manifold $\widetilde{M}$. The necessary and sufficient condition is obtained for the distributions allied to the characterization of a $\mathcal{P}\mathcal{R}$-anti-slant submanifold being integrable and totally geodesic foliation. In addition, we have defined $\mathcal{P}\mathcal{R}$-anti-slant warped product submanifold of $\widetilde{M}$ and gave some illustrations. Finally, we extracted the constraints for a submanifold of $\widetilde{M}$ to be a $\mathcal{P}\mathcal{R}$-anti-slant warped product of the form $F\times_{f}N_λ$. △ Less

Submitted 3 March, 2016; v1 submitted 6 October, 2015; originally announced October 2015.

Comments: Welcome

MSC Class: 53B25; 53B30; 53C25; 53D15

Quasilinear parabolic problem with $p(x)$-Laplacian: existence, uniqueness of weak solutions and stabilization

Authors: Jacques Giacomoni, Sweta Tiwari, Guillaume Warnault

Abstract: We discuss the existence and uniqueness of the weak solution of the following quasilinear parabolic equation $u_t-Δ_{p(x)}u = f(x,u)$ in $ (0,T)\timesΩ$; $u = 0$ on $(0,T)\times\partialΩ$; $u(0,x)=u_0(x)$ in $Ω$; involving the $p(x)$-Laplacian operator. Next, we discuss the global behaviour of solutions and in particular some stabilization properties. We discuss the existence and uniqueness of the weak solution of the following quasilinear parabolic equation $u_t-Δ_{p(x)}u = f(x,u)$ in $ (0,T)\timesΩ$; $u = 0$ on $(0,T)\times\partialΩ$; $u(0,x)=u_0(x)$ in $Ω$; involving the $p(x)$-Laplacian operator. Next, we discuss the global behaviour of solutions and in particular some stabilization properties. △ Less

Submitted 1 October, 2015; originally announced October 2015.

Numerical simulation of moving rigid body in rarefied gases

Authors: Samir Shrestha, Sudarshan Tiwari, Axel Klar, Steffen Hardt

Abstract: In this paper we present a numerical scheme to simulate a moving rigid body with arbitrary shape suspended in a rarefied gas. The rarefied gas is simulated by solving the Boltzmann equation using a DSMC particle method. The motion of the rigid body is governed by the Newton-Euler equations, where the force and the torque on the rigid body is computed from the momentum transfer of the gas molecules… ▽ More In this paper we present a numerical scheme to simulate a moving rigid body with arbitrary shape suspended in a rarefied gas. The rarefied gas is simulated by solving the Boltzmann equation using a DSMC particle method. The motion of the rigid body is governed by the Newton-Euler equations, where the force and the torque on the rigid body is computed from the momentum transfer of the gas molecules colliding with the body. On the other hand, the motion of the rigid body influences the gas flow in its surroundings. We validate the numerical results by testing the Einstein relation for Brownian motion of the suspended particle. The translational as well as the rotational degrees of freedom are taken into account. It is shown that the numerically computed translational and rotational diffusion coefficients converge to the theoretical values. △ Less

Submitted 19 June, 2014; originally announced June 2014.

Comments: 16 pages, 8 figures

MSC Class: 65C05; 65C30; 74F10

Numerical simulation of wetting phenomena by a meshfree particle method

Authors: Sudarshan Tiwari, Axel Klar, Steffen Hardt

Abstract: Simulations of wetting phenomena by a meshfree particle method are presented. The incompressible Navier-Stokes equations are used to model the two-phase flow. The continuous surface force model is used to incorporate the surface tension force. Chorin's projection method is applied to discretize the Navier-Stokes equations. The different fluid phases are identified by assigning different colors and… ▽ More Simulations of wetting phenomena by a meshfree particle method are presented. The incompressible Navier-Stokes equations are used to model the two-phase flow. The continuous surface force model is used to incorporate the surface tension force. Chorin's projection method is applied to discretize the Navier-Stokes equations. The different fluid phases are identified by assigning different colors and different material properties (density, viscosity) to the particles that remain unchanged throughout a simulation. Two-phase flow is captured by a one-fluid model via using weighted averages of the density and viscosity in a region around the fluid-fluid interface. The differential operators at each particle are computed from the surrounding cloud of particles with the help of the least-squares method. The numerical results are compared with specific analytical solutions, but also with previously considered test cases involving wetting of a container and sessile drops. A good overall agreement is found. △ Less

Submitted 18 June, 2014; originally announced June 2014.

Comments: 34 pages, 41 figures