Related papers: A definable $(p,q)$-theorem for NIP theories
We define the notion $\phi(x,y)$ has $NIP$ in $A$, where $A$ is a subset of a model, and give some equivalences by translating results from [1]. Using additional material from [11] we discuss the number of coheirs when $A$ is not…
In this paper, we present several new $q$-congruences on the $q$-trinomial coefficients introduced by Andrews and Baxter. As a conclusion, we obtain the following congruence: \begin{align*}…
We prove some technical results on definable types in $p$-adically closed fields, with consequences for definable groups and definable topological spaces. First, the code of a definable $n$-type (in the field sort) can be taken to be a real…
Integral representations of two $q$-difference operators are provided in terms of special functions arising in the theory of asymptotic solutions to $q$-difference equations in the complex domain. Both representations are unified through…
We prove some results about the theory of independence in $\mathrm{NSOP}_{3}$ theories that do not hold in $\mathrm{NSOP}_{4}$ theories. We generalize Chernikov's work on simple and co-simple types in $\mathrm{NTP}_{2}$ theories to types…
We show that for every polynomial q* there exist polynomial-size, constant-query, non-adaptive PCPs for NP which are perfect zero knowledge against (adaptive) adversaries making at most q* queries to the proof. In addition, we construct…
In the present paper, we define the concept of a \( q \)-cosymplectic manifold, on which we study the Hamiltonian, gradient, local gradient, and \( q \)-evolution vector fields. Several Liouville--Arnold-type theorems and a \( q…
We classify all solutions (p,q) to the equation p(u)q(u)=p(u+b)q(u+a) where p and q are complex polynomials in one indeterminate u, and a and b are fixed but arbitrary complex numbers. This equation is a special case of a system of…
Let $(X,d)$ be a compact metric space, $f:X \mapsto X$ be a continuous map with the specification property, and $\varphi: X \mapsto \IR$ be a continuous function. We prove a variational principle for topological pressure (in the sense of…
We show that a compact representation of a semisimple Lie group has an orthogonal decomposition into finite length representations. This generalises and simplifies a number of more special spectral theorems in the literature. We apply it to…
A compact set has computable type if any homeomorphic copy of the set which is semicomputable is actually computable. Miller proved that finite-dimensional spheres have computable type, Iljazovi\'c and other authors established the property…
In this paper, we focus on a question of M. Newman on isomorphic subgroups of solvable groups. We get a reduction theorem of this question: for each prime q, assume that this question holds for every characteristic q-groups, then this…
We present a fixed point theorem on topological cylinders in normed linear spaces for maps satisfying a property of stretching a space along paths. This result is a generalization of a similar theorem obtained by D. Papini and F. Zanolin.…
We study sets $E(\Sigma,q)=\left\{\sum_{i=1}^\infty \sigma_iq^i\colon(\sigma_i)\in\Sigma^{\mathbb N}\right\}$ for a finite set $\Sigma\subset \mathbb R$ and $q\in(0,1)$. Under the assumption $q|\Sigma|=1$ we prove several new equivalent…
This paper introduces a generic framework that provides sufficient conditions for guaranteeing polynomial-time decidability of fixed-negation fragments of first-order theories that adhere to certain fixed-parameter tractability…
A $G$-invariant version of definable Tietze extension theorem for definably complete structures is proved when a definably compact definable topological group $G$ acts definably and continuously on the definable set.
The purpose of this paper is to derive the analogue of Lebesgue-Radon-Nikodym theorem with respect to $p$-adic $q$-invariant distribution on $\Bbb Z_p$ which is defined by author in [1].
Supplying the missing necessary conditions, we complete the characterisation of the $L^p\to L^q$ boundedness of commutators $[b,T]$ of pointwise multiplication and Calder\'on-Zygmund operators, for arbitrary pairs of $1<p,q<\infty$ and…
We prove two multivariate $q$-binomial identities conjectured by Bousseau, Brini and van Garrel [Geom. Topol. 28 (2024), 393-496, arXiv:2011.08830] which give generating series for Gromov-Witten invariants of two specific log Calabi-Yau…
A sufficient condition is established for the existence of a solution to the equation $\mathcal{T}(u,\mathcal{C}(u))=u$, by considering a class of Kannan type equicontraction mappings $\mathcal{T}:\mathcal{A}\times…