Related papers: On the expressive power of Lukasiewicz's square op…
In this paper, once recalled some properties of CMV-algebras, we introduce an expansion of the one-variable fragment of Lukasiewicz propositional logic whose algebraic semantics is the variety of CMV-algebras.
In this work, we characterise the statistics of Markov chains by constructing an associated sequence of periodic differential operators. Studying the density of states of these operators reveals the absolutely continuous invariant measure…
For an open quantum system described by the Lindblad equation, full characterization of its dynamics typically needs the knowledge of the Liouvillian spectrum and correlation functions. Solving the Liouvillian spectrum and correlation…
We survey some of the mechanisms used to prove that naturally defined sequences in combinatorics are log-concave. Among these mechanisms are Alexandrov's inequality for mixed discriminants, the Alexandrov Fenchel inequality for mixed…
We consider the algebra $\square_q$ which is a mild generalization of the quantum algebra $U_q(\frak{sl}_2)$. The algebra $\square_q$ is defined by generators and relations. The generators are $\{x_i\}_{i\in \mathbb{Z}_4}$, where…
We consider positive, integral-preserving linear operators acting on $L^1$ space, known as stochastic operators or Markov operators. We show that, on finite-dimensional spaces, any stochastic operator can be approximated by a sequence of…
Many iterative optimization algorithms involve compositions of special cases of Lipschitz continuous operators, namely firmly nonexpansive, averaged and nonexpansive operators. The structure and properties of the compositions are of…
We prove inverse Strichartz theorems at $L^2$ regularity for a family of Schr\"{o}dinger evolutions in one space dimension. Prior results rely on spacetime Fourier analysis and are limited to the translation-invariant equation $i\partial_t…
We study the computational expressivity of proof systems with fixed point operators, within the 'proofs-as-programs' paradigm. We start with a calculus muLJ (due to Clairambault) that extends intuitionistic logic by least and greatest…
In this paper we consider the Schr\"odinger operator $\mathcal L_V= -\Delta + V$ in $\mathbb R^d$ with a non negative potential $V$, and $V\not\equiv 0$. We define the logarithmic Schr\"odinger operator $\log \mathcal L_V$ proving its main…
We shall work with the so called duality triads following kwa\'sniewski. In particular in this note we propose some extensions of them - hence we choose such special class of triads that admit - all at once - a unified combinatorial…
In this paper, we use the analytic method of Odlyzko and Richmond to study the log-concavity of power series. If $f(z) = \sum_n a_nz^n$ is an infinite series with $a_n \geq 1$ and $a_0 + \cdots + a_n = O(n + 1)$ for all $n$, we prove that a…
The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here on the case of finite-valued logics, and exhibit: (i) a…
This paper employs the linear nested sequent framework to design a new cut-free calculus LNIF for intuitionistic fuzzy logic--the first-order G\"odel logic characterized by linear relational frames with constant domains. Linear nested…
In their study of Jack polynomials, Nazarov-Sklyanin introduced a remarkable new graded linear operator ${\mathcal L} \colon F[w] \rightarrow F[w]$ where $F$ is the ring of symmetric functions and $w$ is a variable. In this paper, we (1)…
Kurdyka-Lojasiewicz (KL) exponent plays an important role in estimating the convergence rate of many contemporary first-order methods. In particular, a KL exponent of $\frac12$ for a suitable potential function is related to local linear…
We propose another interpretation of well-known derivatives computations from regular expressions, due to Brzozowski, Antimirov or Lombardy and Sakarovitch, in order to abstract the underlying data structures (e.g. sets or linear…
We present a sequent calculus for the Grzegorczyk modal logic Grz allowing cyclic and other non-well-founded proofs and obtain the cut-elimination theorem for it by constructing a continuous cut-elimination mapping acting on these proofs.…
The set of permutations on a finite set can be given the lattice structure known as the weak Bruhat order. This lattice structure is generalized to the set of words on a fixed alphabet $\Sigma$ = {x,y,z,...}, where each letter has a fixed…
Let $L_c$ be simple vertex operator superalgebra(SVOA) associated to the vacuum representation of N=2 superconformal algebra with the central charge $c$. Let $c_m = {3m}/{m+2}$. We classify all irreducible modules for the SVOA $L_{c_m}$.…