scholarly journals Regularity Conditions for Iterated Shuffle on Commutative Regular Languages

Author(s):  
Stefan Hoffmann
1998 ◽  
Author(s):  
Laura Firoiu ◽  
Tim Oates ◽  
Paul R. Cohen

Author(s):  
Russell Cheng

This book relies on maximum likelihood (ML) estimation of parameters. Asymptotic theory assumes regularity conditions hold when the ML estimator is consistent. Typically an additional third derivative condition is assumed to ensure that the ML estimator is also asymptotically normally distributed. Standard asymptotic results that then hold are summarized in this chapter; for example, the asymptotic variance of the ML estimator is then given by the Fisher information formula, and the log-likelihood ratio, the Wald and the score statistics for testing the statistical significance of parameter estimates are all asymptotically equivalent. Also, the useful profile log-likelihood then behaves exactly as a standard log-likelihood only in a parameter space of just one dimension. Further, the model can be reparametrized to make it locally orthogonal in the neighbourhood of the true parameter value. The large exponential family of models is briefly reviewed where a unified set of regular conditions can be obtained.


2021 ◽  
Vol 2021 (2) ◽  
Author(s):  
Martin Fluder ◽  
Christoph F. Uhlemann

Abstract Renormalization group flows are studied between 5d SCFTs engineered by (p, q) 5-brane webs with large numbers of external 5-branes. A general expression for the free energy on S5 in terms of single-valued trilogarithm functions is derived from their supergravity duals, which are characterized by the 5-brane charges and additional geometric parameters. The additional geometric parameters are fixed by regularity conditions, and we show that the solutions to the regularity conditions extremize a trial free energy. These results are used to survey a large sample of $$ \mathcal{O} $$ O (105) renormalization group flows between different 5d SCFTs, including Higgs branch flows and flows that preserve the SU(2) R- symmetry. In all cases the free energy changes monotonically towards the infrared, in line with a 5d F -theorem.


Author(s):  
Jan Bohr

AbstractNon-abelian X-ray tomography seeks to recover a matrix potential $$\Phi :M\rightarrow {\mathbb {C}}^{m\times m}$$ Φ : M → C m × m in a domain M from measurements of its so-called scattering data $$C_\Phi $$ C Φ at $$\partial M$$ ∂ M . For $$\dim M\ge 3$$ dim M ≥ 3 (and under appropriate convexity and regularity conditions), injectivity of the forward map $$\Phi \mapsto C_\Phi $$ Φ ↦ C Φ was established in (Paternain et al. in Am J Math 141(6):1707–1750, 2019). The present article extends this result by proving a Hölder-type stability estimate. As an application, a statistical consistency result for $$\dim M =2$$ dim M = 2 (Monard et al. in Commun Pure Appl Math, 2019) is generalised to higher dimensions. The injectivity proof in (Paternain et al. in Am J Math 141(6):1707–1750, 2019) relies on a novel method by Uhlmann and Vasy (Invent Math 205(1):83–120, 2016), which first establishes injectivity in a shallow layer below $$\partial M$$ ∂ M and then globalises this by a layer stripping argument. The main technical contribution of this paper is a more quantitative version of these arguments, in particular, proving uniform bounds on layer depth and stability constants.


1987 ◽  
Vol 18 (3) ◽  
pp. 41-45
Author(s):  
A J Dos Reis
Keyword(s):  

2020 ◽  
Vol 20 (2) ◽  
pp. 373-384
Author(s):  
Quoc-Hung Nguyen ◽  
Nguyen Cong Phuc

AbstractWe characterize the existence of solutions to the quasilinear Riccati-type equation\left\{\begin{aligned} \displaystyle-\operatorname{div}\mathcal{A}(x,\nabla u)% &\displaystyle=|\nabla u|^{q}+\sigma&&\displaystyle\phantom{}\text{in }\Omega,% \\ \displaystyle u&\displaystyle=0&&\displaystyle\phantom{}\text{on }\partial% \Omega,\end{aligned}\right.with a distributional or measure datum σ. Here {\operatorname{div}\mathcal{A}(x,\nabla u)} is a quasilinear elliptic operator modeled after the p-Laplacian ({p>1}), and Ω is a bounded domain whose boundary is sufficiently flat (in the sense of Reifenberg). For distributional data, we assume that {p>1} and {q>p}. For measure data, we assume that they are compactly supported in Ω, {p>\frac{3n-2}{2n-1}}, and q is in the sub-linear range {p-1<q<1}. We also assume more regularity conditions on {\mathcal{A}} and on {\partial\Omega\Omega} in this case.


1991 ◽  
Vol 22 (3) ◽  
pp. 52-54 ◽  
Author(s):  
Sheng Yu ◽  
Qingyu Zhuang

1981 ◽  
Vol 4 (1) ◽  
pp. 135-149
Author(s):  
J. Albert ◽  
H.A. Maurer ◽  
Th. Ottmann

We present necessary and sufficient conditions for an OL form F to generate regular languages only. The conditions at issue can be effectively checked, whence the “regularity problem for OL forms” is proven decidable.


2020 ◽  
Vol 30 (1) ◽  
pp. 175-192
Author(s):  
NathanaËl Fijalkow

Abstract This paper studies the complexity of languages of finite words using automata theory. To go beyond the class of regular languages, we consider infinite automata and the notion of state complexity defined by Karp. Motivated by the seminal paper of Rabin from 1963 introducing probabilistic automata, we study the (deterministic) state complexity of probabilistic languages and prove that probabilistic languages can have arbitrarily high deterministic state complexity. We then look at alternating automata as introduced by Chandra, Kozen and Stockmeyer: such machines run independent computations on the word and gather their answers through boolean combinations. We devise a lower bound technique relying on boundedly generated lattices of languages, and give two applications of this technique. The first is a hierarchy theorem, stating that there are languages of arbitrarily high polynomial alternating state complexity, and the second is a linear lower bound on the alternating state complexity of the prime numbers written in binary. This second result strengthens a result of Hartmanis and Shank from 1968, which implies an exponentially worse lower bound for the same model.


Sign in / Sign up

Export Citation Format

Share Document