English
Related papers

Related papers: Second-Order Parameterizations for the Complexity …

200 papers

We restrict our attention to space-time point pattern data for which we have a single realisation within a finite region. Second-order characteristics are used to analyse the spatio-temporal structure of the underlying point process. In…

Statistics Theory · Mathematics 2013-04-29 Edith Gabriel

Unimodularity is localized to a complete stationary type, and its properties are analysed. Some variants of unimodularity for definable and type-definable sets are introduced, and the relationship between these different notions is studied.…

Logic · Mathematics 2016-10-06 Darío García , Frank Olaf Wagner

There were established the exact-order estimations of the best uniform approximations by{\psi} the trigonometrical polynoms on the $C^{\psi}_{\beta,p}$ classes of $2\pi$-periodic continuous functions $f$, which are defined by the…

Classical Analysis and ODEs · Mathematics 2014-05-09 A. S. Serdyuk , U. Z. Grabova

Lie symmetries of systems of second-order linear ordinary differential equations with constant coefficients are exhaustively described over both the complex and real fields. The exact lower and upper bounds for the dimensions of the maximal…

Classical Analysis and ODEs · Mathematics 2014-03-25 Vyacheslav M. Boyko , Roman O. Popovych , Nataliya M. Shapoval

Within the model-theoretic framework for supervised learning introduced by Grohe and Tur\'an (TOCS 2004), we study the parameterized complexity of learning concepts definable in monadic second-order logic (MSO). We show that the problem of…

Logic in Computer Science · Computer Science 2025-01-20 Steffen van Bergerem , Martin Grohe , Nina Runde

Second-order variational properties have been shown to play important theoretical and numerical roles for different classes of optimization problems. Among such properties, twice epi-differentiability has a special place because of its…

Optimization and Control · Mathematics 2026-02-06 Chao Ding , Ebrahim Sarabi , Shiwei Wang

We derive an extended empirical likelihood for parameters defined by estimating equations which generalizes the original empirical likelihood for such parameters to the full parameter space. Under mild conditions, the extended empirical…

Statistics Theory · Mathematics 2013-06-07 Min Tsao , Fan Wu

The present paper is a sequel to our paper "Metric characterization of isometries and of unital operator spaces and systems". We characterize certain common objects in the theory of operator spaces (unitaries, unital operator spaces,…

Operator Algebras · Mathematics 2012-02-28 David P. Blecher , Matthew Neal

Complex-linearization of a class of systems of second order ordinary differential equations (ODEs) has already been studied with complex symmetry analysis. Linearization of this class has been achieved earlier by complex method, however,…

Classical Analysis and ODEs · Mathematics 2016-10-31 Hina M. Dutt , M. Safdar

Functions with fixed initial coefficient have been widely studied. A new methodology is proposed in this paper by making appropriate modifications and improvements to the theory of second-order differential subordination. Several…

Complex Variables · Mathematics 2012-08-02 Rosihan M. Ali , Sumit Nagpal , V. Ravichandran

Probabilistic bisimulation is a fundamental notion of process equivalence for probabilistic systems. Among others, it has important applications including formalizing the anonymity property of several communication protocols. There is a lot…

Software Engineering · Computer Science 2020-11-05 Chih-Duo Hong , Anthony W. Lin , Rupak Majumdar , Philipp Rümmer

We introduce a new notion of complexity of functions and we show that it has the following properties: (i) it governs a PAC Bayes-like generalization bound, (ii) for neural networks it relates to natural notions of complexity of functions…

Machine Learning · Computer Science 2023-03-15 Grzegorz Głuch , Rudiger Urbanke

In a previous paper, we saw how to create formulae for the sum of the terms of a harmonic progression of order $k$, $HP_k(n)$, with integer parameters, $a$ and $b$. In this new paper we make those formulae more general by lifting the…

Number Theory · Mathematics 2021-08-05 Jose Risomar Sousa

Most of the existing approaches focus on specific visual tasks while ignoring the relations between them. Estimating task relation sheds light on the learning of high-order semantic concepts, e.g., transfer learning. How to reveal the…

Machine Learning · Computer Science 2019-07-30 Guangcong Wang , Jianhuang Lai , Wenqi Liang , Guangrun Wang

We consider two types of fractional integral moduli of smoothness, which are widely used in theory of functions and approximation theory. In particular, we obtain new equivalences between these moduli of smoothness and the classical moduli…

Classical Analysis and ODEs · Mathematics 2017-09-12 Yurii Kolomoitsev

We introduce some classical complexity-theoretic techniques to Parameterized Complexity. First, we study relativization for the machine models that were used by Chen, Flum, and Grohe (2005) to characterize a number of parameterized…

Computational Complexity · Computer Science 2018-07-18 Ralph Christian Bottesch

In this paper we prove two-weighted norm estimates for higher order commutator of singular integral and fractional type operators between weighted $L^p$ and certain spaces that include Lipschitz, BMO and Morrey spaces. We also give the…

Classical Analysis and ODEs · Mathematics 2022-05-13 Gladis Pradolini , Jorgelina Recchi

We provide a comprehensive study of interrelations between different measures of smoothness of functions on various domains and smoothness properties of approximation processes. Two general approaches to this problem have been developed:…

Classical Analysis and ODEs · Mathematics 2020-03-18 Yu. Kolomoitsev , S. Tikhonov

We study the logic obtained by endowing the language of first-order arithmetic with second-order measure quantifiers. This new kind of quantification allows us to express that the argument formula is true in a certain portion of all…

Logic in Computer Science · Computer Science 2021-04-27 Melissa Antonelli , Ugo Dal Lago , Paolo Pistone

We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…

Algebraic Topology · Mathematics 2016-08-15 Clark Barwick , Emanuele Dotto , Saul Glasman , Denis Nardin , Jay Shah