Related papers: Disjunctive form and the modal $\mu$ alternation h…
In the modal mu-calculus, a formula is well-formed if each recursive variable occurs underneath an even number of negations. By means of De Morgan's laws, it is easy to transform any well-formed formula into an equivalent formula without…
We develop a compositional approach for automatic and symbolic differentiation based on categorical constructions in functional analysis where derivatives are linear functions on abstract vectors rather than being limited to scalars,…
We study non-linear differential equations on the punctured formal disc by considering the natural derived enhancements of their spaces of solutions. In particular, by appealing to results of the inverse theory in the calculus of…
We present a detailed study of a parametric Lie algebra encompassing the symmetry algebras of various models, both continuous and discrete. This algebraic structure characterizes the isotropic oscillator (with positive, purely imaginary,…
In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the difference modality. We give axiomatizations and prove completeness for the following classes: all spaces,…
We introduce a Curry-Howard correspondence for a large class of intermediate logics characterized by intuitionistic proofs with non-nested applications of rules for classical disjunctive tautologies (1-depth intermediate proofs). The…
The new class of alternating-conjugate splitting methods is presented and analyzed. They are obtained by concatenating a given composition involving complex coefficients with the same composition but with the complex conjugate coefficients.…
This paper shows that, in measurement-based quantum computation, it is possible to write any quantum oracle implementing a classical function in constant depth. The result is shown through the equivalence between MBQC and the circuit model…
Compared to the entrywise transforms which preserve positive semidefiniteness, those leaving invariant the inertia of symmetric matrices reveal a surprising rigidity. We first obtain the classification of negativity preservers by combining…
The fundamental gap is a central quantity in the electronic structure of matter. Unfortunately, the fundamental gap is not generally equal to the Kohn-Sham gap of density functional theory (DFT), even in principle. The two gaps differ…
The definition of stable models for propositional formulas with infinite conjunctions and disjunctions can be used to describe the semantics of answer set programming languages. In this note, we enhance that definition by introducing a…
It was conjectured in a recent article by M. Eastwood and the second author that all absolute classical invariants of forms of degree $m\ge 3$ on ${\mathbb C}^n$ can be extracted, in a canonical way, from those of forms of degree $n(m-2)$…
We find that to the dynamics of a given dissipative system a $p=1$ differential form can be associated with a general decomposition into a potential term and a non-potential residual part. If the residual part is absent the form is closed…
Guarded normal form requires occurrences of fixpoint variables in a {\mu}-calculus-formula to occur under the scope of a modal operator. The literature contains guarded transformations that effectively bring a {\mu}-calculus-formula into…
In this article we show that finite perturbative corrections in non-supersymmetric strings can be understood via an interplay between modular invariance and misaligned supersymmetry. While modular invariance is known to be crucial in…
We add to intuitionistic logic infinitely many classical disjunctive tautologies and use the Curry--Howard correspondence to obtain typed concurrent $\lambda$-calculi; each of them features a specific communication mechanism, including…
In this paper, we develop a geometric, structure-preserving semi-discrete formulation of Maxwell's equations in both three- and two-dimensional settings within the framework of discrete exterior calculus. This approach preserves the…
We investigate quantifier alternation hierarchies in first-order logic on finite words. Levels in these hierarchies are defined by counting the number of quantifier alternations in formulas. We prove that one can decide membership of a…
We consider the problem of existence of entropy weak solutions to scalar balance laws with a dissipative source term. The flux function may be discontinuous with respect both to the space variable x and the unknown quantity u. The problem…
In this paper, we give bijections between the set of 4123-avoiding down-up alternating permutations of length $2n$ and the set of standard Young tableaux of shape $(n,n,n)$, and between the set of 4123-avoiding down-up alternating…