arXiv subjects

Paul Winkler

Publications and source records attributed to Paul Winkler.

5 recordsLinked to original sources

arXiv2026

Circular Chromatic Numbers, Signability, Relation Algebras, and Network Satisfaction Problems

In this paper, we characterize finite graphs with circular chromatic number less than 3 in terms of the existence of certain signings ($\mathbb Z_2$-labellings studied in the context of signed graphs). In fact, we construct a signed graph which is universal for all such signings -- called anti-triangle-signings in this paper -- of finite $\overline{K_3}$-free graphs, and is closely related to the generic circular triangle-free graph studied by Bodirsky and Guzmán-Pro. Moreover, our universal structure gives rise to a representation of the relation algebra $56_{65}$. We then use this representation to show that the network satisfaction problem described by this relation algebra belongs to NP. This concludes the full classification of the existence of a universal square representation, as well as the complexity of the corresponding network satisfaction problem, for relation algebras with at most four atoms.

math.CO↗

arXiv2026

The Network Satisfaction Problem for Relation Algebras with at most 4 Atoms

Andréka and Maddux classified the relation algebras with at most 3 atoms, and in particular they showed that all of them are representable. Hirsch and Cristiani showed that the network satisfaction problem (NSP) for each of these algebras is in P or NP-hard. The literature contains many results on representations of relation algebras; in particular, some relation algebras with four atoms are not representable. We extend the result of Cristiani and Hirsch to relation algebras with at most 4 atoms: the NSP is always either in P or NP-hard. To this end, we construct universal, fully universal, or even normal representations for these algebras, whenever possible.

math.RA↗

arXiv2026

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction

The Feder-Vardi dichotomy conjecture for Constraint Satisfaction Problems (CSPs) with finite templates, confirmed independently by Bulatov and Zhuk, has an extension to certain well-behaved infinite templates due to Bodirsky and Pinsker which remains wide open. We formulate three fundamental questions on the scope of the Bodirsky-Pinsker conjecture and provide positive answers to them. Our first two main results provide two simplifications of this scope, one of structural, and the other one of algebraic nature. The former simplification implies that the conjecture is equivalent to its restriction to templates without algebraicity, a crucial assumption in the most powerful classification methods. The latter yields that the higher-arity invariants of any template within its scope can be assumed to be essentially injective, and any algebraic condition characterizing any complexity class within the conjecture closed under Datalog reductions must be satisfiable by injections, thus lifting the mystery of the better applicability of certain algebraic conditions over others. Our third main result uses the first one to show that any non-trivially tractable template within the scope serves, up to a Datalog-computable modification of it, as the witness of the tractability of a non-finitely tractable finite-domain Promise Constraint Satisfaction Problem (PCSP) by the so-called sandwich method. This provides a particularly strong connection between the Bodirsky-Pinsker conjecture and finite-domain PCSPs. In the light of the third main result, we initiate a new case study-of phylogeny CSPs-which we investigate from the perspective of descriptive complexity. Within this study, we show that there exists a tractable phylogeny CSP that pp-constructs a finite-domain PCSP inexpressible in fixed-point logic with counting but does not pp-construct any finite-domain CSP with this property.

cs.LO↗

arXiv2020

Controlled density-downramp injection in a beam-driven plasma wakefield accelerator

This paper describes the utilization of beam-driven plasma wakefield acceleration to implement a high-quality plasma cathode via density-downramp injection in a short injector stage at the FLASHForward facility at DESY. Electron beams with charge of up to 105 pC and energy spread of a few percent were accelerated by a tunable effective accelerating field of up to 2.7 GV/m. The plasma cathode was operated drift-free with very high injection efficiency. Sources of jitter, the emittance and divergence of the resulting beam were investigated and modeled, as were strategies for performance improvements that would further increase the wide-ranging applications for a plasma cathode with the demonstrated operational stability

physics.acc-ph↗

arXiv2009

Itineraries of rigid rotations and diffeomorphisms of the circle

We examine the itinerary of $0\in S^{1}=\R/\Z$ under the rotation by $α\in\R\bs\Q$. The motivating question is: if we are given only the itinerary of 0 relative to $I\subset S^{1}$, a finite union of closed intervals, can we recover $α$ and $I$? We prove that the itineraries do determine $α$ and $I$ up to certain equivalences. Then we present elementary methods for finding $α$ and $I$. Moreover, if $g:S^{1}\to S^{1}$ is a $C^{2}$, orientation preserving diffeomorphism with an irrational rotation number, then we can use the orbit itinerary to recover the rotation number up to certain equivalences.

math.DS↗