相关论文: Subclasses of Presburger Arithmetic and the Weak E…

We prove a cell decomposition theorem for Presburger sets and introduce a dimension theory for Z-groups with the Presburger structure. Using the cell decomposition theorem we obtain a full classification of Presburger sets up to definable…

Checking whether two pushdown automata with restricted silent actions are weakly bisimilar was shown decidable by S\'enizergues (1998, 2005). We provide the first known complexity upper bound for this famous problem, in the equivalent…

We classify the sets of natural numbers $n$ for which certain dynamical systems $(X,f)$ on a compact metric space $X$ have a periodic point of (least) period $n$. Interest in this question dates back to Sharkovskii's theorem for continuous…

For a finite group $G$ and an integer $r\ge 2$ let $$ P_r(G):=\frac{|Hom(\mathbb Z^r,G)|}{|G|^r}, $$ where $\Hom(\mathbb Z^r,G)$ is the set of pairwise commuting $r$-tuples in $G$. This paper studies rigidity and extremal behavior of the…

In arXiv:2208.12944 it is shown that an ordinal $\sup_{N<\omega}\psi_{\Omega_{1}}(\varepsilon_{\Omega_{\mathbb{S}+N}+1})$ is an upper bound for the proof-theoretic ordinal of a set theory ${\sf KP}\ell^{r}+(M\prec_{\Sigma_{1}}V)$. In this…

In this paper we analyze a system of N identical quantum particles in a weak-coupling regime. The time evolution of the Wigner transform of the one-particle reduced density matrix is represented by means of a perturbative series. The…

The $2 q$-th pseudomoment $\Psi_{2q,\alpha}(x)$ of the $\alpha$-th power of the Riemann zeta function is defined to be the $2 q$-th moment of the partial sum up to $x$ of $\zeta^\alpha$ on the critical line. Using probabilistic methods of…

In this document, some structured operator approximation theoretical methods for system identification of nearly eventually periodic systems, are presented. Let $\mathbb{C}^{n\times m}$ denote the algebra of $n\times m$ complex matrices.…

A general lower bound is developed for the minimax risk when estimating an arbitrary functional. The bound is based on testing two composite hypotheses and is shown to be effective in estimating the nonsmooth functional…

We describe a "slow" version of the hierarchy of uniform reflection principles over Peano Arithmetic ($\mathbf{PA}$). These principles are unprovable in Peano Arithmetic (even when extended by usual reflection principles of lower…

For a countably infinite group $\Gamma$, let $\mathcal{W}_\Gamma$ denote the space of all weak equivalence classes of measure-preserving actions of $\Gamma$ on atomless standard probability spaces, equipped with the compact metrizable…

In this paper we show lower bounds for a certain large class of algorithms solving the Graph Isomorphism problem, even on expander graph instances. Spielman [25] shows an algorithm for isomorphism of strongly regular expander graphs that…

For a finitely generated group $G$ we calculate the Bieri-Neumann-Strebel-Renz invariant $\Sigma^1(\X(G))$ for the weak commutativity construction $\X(G)$. Identifying $S(\X(G))$ with $S(\X(G) / W(G))$ we show $\Sigma^2(\X(G),\Z) \subseteq…

Building on the locality conditions for first-order logic by Hanf and Gaifman, Barthelmann and Schwentick showed in 1999 that every first-order formula is equivalent to a formula of the shape $\exists x_1 \dotsc \exists x_k \forall y\,\phi$…

We consider nonlinear, scaling-invariant N=1 boson + fermion supersymmetric systems whose right-hand sides are homogeneous differential polynomials and satisfy some natural assumptions. We select the super-systems that admit infinitely many…

We give a lower bound on the iteration complexity of a natural class of Lagrangean-relaxation algorithms for approximately solving packing/covering linear programs. We show that, given an input with $m$ random 0/1-constraints on $n$…

In this paper we prove the boundedness and H\"older continuity of quasilinear elliptic problems involving variable exponents for a homogeneous Dirichlet and a nonhomogeneous Neumann boundary condition, respectively. The novelty of our work…

We study a class of timelike weakly extremal surfaces in flat Minkowski space $\mathbb R^{1+n}$, characterized by the fact that they admit a $C^1$ parametrization (in general not an immersion) of a specific form. We prove that if the…

The authors of this paper deal with the existence and regularities of weak solutions to the homogenous $\hbox{Dirichlet}$ boundary value problem for the equation $-\hbox{div}(|\nabla u|^{p-2}\nabla u)+|u|^{p-2}u=\frac{f(x)}{u^{\alpha}}$.…

We study predictive probability inference in classification tasks using random forests under class imbalance. We focus on two simplified variants of Breiman's algorithm, namely subsampling Infinite Random Forests (IRFs) and under-sampling…