arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2609.32463

Conservative CSPs in Symmetric Linear Datalog

Florian Starke
View original source ↗Read source document ↗Export metadata ↓

Abstract

We show that the constraint satisfaction problem of any finite conservative structure that can not pp-construct st-Con (whose CSP is NL-complete) or 3Lin2 (whose CSP is Mod2L-complete) is solved by a symmetric linear Datalog program and therefore in L.

Explore related subjects

math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Florian Starke. 2026-09-26. Conservative CSPs in Symmetric Linear Datalog. https://arxiv.org/abs/2609.32463

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Identities Involving Additive Maps on Division Rings

Let $g$ be an additive map on a division ring $D$. In this paper, we study the functional identity $G_{1}(y)g(y)G_{2}(y) = H(y)$, where $G_{1}(Y), G_{2}(Y)$, $H(Y)$ are generalized polynomials in $D_{G}[Y]$ such that both $G_{1}(Y)$ and $G_{2}(Y)$ are non-zero. By application of this result and its implications, we prove that if $D$ is a non-commutative division ring with $\operatorname{char}(D) \neq 2$, then the only possible solution of additive maps $g_{1},g_{2}: D \rightarrow D$ satisfying the identity $g_{1}(y)y^{-m} + y^{n}g_{2}(y^{-1})= 0$ is $ g_{1} = g_{2} = 0$, where $m$ and $n$ are positive integers with $(m,n) \neq (1,1)$.

math.RA↗
arXiv2026

The art of counterpoint: a Mazzola-type model of three-voice first-species counterpoint

In this paper, we extend Mazzola's model of two-voice counterpoint to three-voice first-species counterpoint. The construction combines a fiber product over a shared lower voice with a harmonic mask and a two-stage maximization defining admitted successors. For the Fuxian dichotomy, we compute the successor relation and investigate connections with the Riemann dichotomy and neo-Riemannian transformations. Among pairs of same-mode triads, the model admits the most transporter realizations exactly at the pairs that generate Mazzola's Riemann monoid, but it does not single out the dominant-tonic pair, and it admits only 12 of the 192 parsimonious neo-Riemannian realizations, largely because it excludes transitions that keep a pair of voices stationary.

math.RA↗