Related papers: A Chomsky-Sch\"utzenberger representation for weig…
When a bilingual student learns to solve word problems in math, we expect the student to be able to solve these problem in both languages the student is fluent in,even if the math lessons were only taught in one language. However, current…
Motivated by recent connections to factorised databases, we analyse the efficiency of representations by context free grammars (CFGs). Concretely, we prove a recent conjecture by Kimelfeld, Martens, and Niewerth (ICDT 2025), that for finite…
We prove a H\"{o}rmander type multiplier theorem for multilinear Fourier multipiers with multiple weights. We also give weighted estimates for their commutators with vector $BMO$ functions.
Two formalisms, both based on context-free grammars, have recently been proposed as a basis for a non-uniform random generation of combinatorial objects. The former, introduced by Denise et al, associates weights with letters, while the…
We give a natural complete infinitary axiomatization of the equational theory of the context-free languages, answering a question of Lei{\ss} (1992).
We prove (using grammars) that the free inverse monoid of every finite rank has co-context-free word problem. Equivalently, the co-word problem of the free inverse monoid of every finite rank is context-free.
The \emph{word problem} of a group $G = \langle \Sigma \rangle$ can be defined as the set of formal words in $\Sigma^*$ that represent the identity in $G$. When viewed as formal languages, this gives a strong connection between classes of…
The well-known Kamowitz - Scheinberg theorem states that if $U$ is an automorphism of a commutative semi-simple Banach algebra and $U^n \neq I, n \in \mathds{N}$, then the spectrum of $U$ contains the unit circle. In this paper we present…
We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental…
Almost uniform version of noncommutative Wiener-Wintner ergodic theorem and its extension to Besicovitch weights are proved.
A large amount of research about multimodal inference across text and vision has been recently developed to obtain visually grounded word and sentence representations. In this paper, we use logic-based representations as unified meaning…
The work investigates the problem of whether a context-free language is a subset of a group language. A.~V. Anisimov has shown that the problem of determining the unambiguity of finite automata is a special case of this problem. Then the…
The general methods which are powerful for the necessity of bounded commutators are given. As applications, some necessary conditions for bounded commutators are first obtained in certain endpoint cases, and several new characterizations of…
A construction that assigns a Boolean 1D TQFT with defects to a finite state automaton was recently developed by Gustafson, Im, Kaldawy, Khovanov, and Lihn. We show that the construction is functorial with respect to the category of finite…
In this paper, we gave a weighted compactness theory for the generalized commutators of vecotor-valued multilinear Calder\'{o}n-Zygmund operators. This was done by establishing a weighted Fr\'{e}chet-Kolmogorov theorem, which holds for…
We extend the recently much-studied two-weight commutator estimates to the multilinear setting. In contrast to previous results, our result respects the multilinear nature of the problem fully and is formulated with the genuinely…
This paper addresses a novel weighted Riesz--Kolmogorov theorem and the extrapolation of multilinear compact operators in the context of weighted variable Lebesgue spaces. We establish the latter result via our Riesz--Kolmogorov theorem…
Reading a document and extracting an answer to a question about its content has attracted substantial attention recently. While most work has focused on the interaction between the question and the document, in this work we evaluate the…
We extend the Schoenberg correspondence for universal independences by Sch\"urmann \& Vo{\ss} to the multivariate setting of Manzel \& Sch\"urmann, covering, e.g., Voiculescu's bifreeness as well as Bo{\.z}ejko \& Speicher's c-free…
We first prove a Cauchy's integral theorem and Cauchy type formula for certain inhomogeneous Cimmino system from quaternionic analysis perspective. The second part of the paper directs the attention towards some applications of the…