Searcharxiv⌕ Search

arXiv subjects

Johannes Rauch

Publications and source records attributed to Johannes Rauch.

At least 19 recordsLinked to original sources
arXiv2026

Degenerate Vertex Cuts in Sparse Graphs

For a non-negative integer $k$, a vertex cut in a graph is $k$-degenerate if it induces a $k$-degenerate subgraph. We show that a graph of order $n$ at least $2k+2$ without a $k$-degenerate cut has the size at least $\frac{1}{2}\left(k+Ω\left(\sqrt{k}\right)\right)n$ and that a graph of order $n$ at least $5$ without a $2$-degenerate cut has the size at least $\frac{27n-35}{10}$. For $k\geq 2$, we show that a connected graph $G$ of order $n$ at least $k+6$ and size $m$ at most $\frac{k+3}{2}n+\frac{k-1}{2}$ has a minimum $k$-degenerate cut.

math.CO↗
arXiv2025

Colouring Probe $H$-Free Graphs

The NP-complete problems Colouring and k-Colouring $(k\geq 3$) are well studied on $H$-free graphs, i.e., graphs that do not contain some fixed graph $H$ as an induced subgraph. We research to what extent the known polynomial-time algorithms for $H$-free graphs can be generalized if we only know some of the edges of the input graph. We do this by considering the classical probe graph model introduced in the early nineties. For a graph $H$, a partitioned probe $H$-free graph $(G,P,N)$ consists of a graph $G=(V,E)$, together with a set $P\subseteq V$ of probes and an independent set $N=V\setminus P$ of non-probes, such that $G+F$ is $H$-free for some edge set $F\subseteq \binom{N}{2}$. We first fully classify the complexity of Colouring on partitioned probe $H$-free graphs and show that this dichotomy is different from the known dichotomy of Colouring for $H$-free graphs. Our main result is a dichotomy of $3$-Colouring for partitioned probe $P_t$-free graphs: we prove that the problem is polynomial-time solvable if $t\leq 5$ but NP-complete if $t\geq 6$. In contrast, $3$-Colouring on $P_t$-free graphs is known to be polynomial-time solvable if $t\leq 7$ and quasi polynomial-time solvable for $t\geq 8$.

cs.DS↗
arXiv2025

A Faster Algorithm for Independent Cut

The previously fastest algorithm for deciding the existence of an independent cut had a runtime of $\mathcal{O}^*(1.4423^n)$, where $n$ is the order of the input graph. We improve this to $\mathcal{O}^*(1.4143^n)$. In fact, we prove a runtime of $\mathcal{O}^*\left( 2^{(\frac{1}{2}-α_Δ)n} \right)$ on graphs of order $n$ and maximum degree at most $Δ$, where $α_Δ=\frac{1}{2+4\lfloor \fracΔ{2} \rfloor}$. Furthermore, we show that the problem is fixed-parameter tractable on graphs of order $n$ and minimum degree at least $βn$ for some $β> \frac{1}{2}$, where $β$ is the parameter.

cs.DS↗
arXiv2025

GridOT -- a discrete optimal transport solver on grids

We provide an improved implementation of Schmitzer's sparse multi-scale algorithm for discrete optimal transport on grids. We report roughly 2-4 times faster runtimes on the DOTmark benchmark. The source code is open source and publicly available.

cs.DS↗
arXiv2025

Cutwidth and Crossings

We provide theoretical insights around the cutwidth of a graph and the One-Sided Crossing Minimization (OSCM) problem. OSCM was posed in the Parameterized Algorithms and Computational Experiments Challenge 2024, where the cutwidth of the input graph was the parameter in the parameterized track. We prove an asymptotically sharp upper bound on the size of a graph in terms of its order and cutwidth. As the number of so-called unsuited pairs is one of the factors that determine the difficulty of an OSCM instance, we provide a sharp upper bound on them in terms of the order $n$ and the cutwidth of the input graph. If the cutwidth is bounded by a constant, this implies an $\mathcal{O}(2^n)$-time algorithm, while the trivial algorithm has a running time of $\mathcal{O}(2^{n^2})$. At last, we prove structural properties of the so-called crossing numbers in an OSCM instance.

cs.DS↗
arXiv2025

Computing Subset Vertex Covers in $H$-Free Graphs

We consider a natural generalization of Vertex Cover: the Subset Vertex Cover problem, which is to decide for a graph $G=(V,E)$, a subset $T\subseteq V$ and integer $k$, if $V$ has a subset $S$ of size at most $k$, such that $S$ contains at least one end-vertex of every edge incident to a vertex of $T$. A graph is $H$-free if it does not contain $H$ as an induced subgraph. We solve two open problems from the literature by proving that Subset Vertex Cover is NP-complete on subcubic (claw,diamond)-free planar graphs and on $2$-unipolar graphs, a subclass of $2P_3$-free weakly chordal graphs. Our results show for the first time that Subset Vertex Cover is computationally harder than Vertex Cover (under P $\neq$ NP). We also prove new polynomial time results, some of which follow from a reduction to Vertex Cover restricted to classes of probe graphs. We first give a dichotomy on graphs where $G[T]$ is $H$-free. Namely, we show that Subset Vertex Cover is polynomial-time solvable on graphs $G$, for which $G[T]$ is $H$-free, if $H=sP_1+tP_2$ and NP-complete otherwise. Moreover, we prove that Subset Vertex Cover is polynomial-time solvable for $(sP_1+P_2+P_3)$-free graphs and bounded mim-width graphs. By combining our new results with known results we obtain a partial complexity classification for Subset Vertex Cover on $H$-free graphs.

math.CO↗
arXiv2024

Revisiting Extremal Graphs Having No Stable Cutsets

Confirming a conjecture posed by Caro, it was shown by Chen and Yu that every graph $G$ with $n$ vertices and at most $2n-4$ edges has a stable cutset, which is a stable set of vertices whose removal disconnects the graph. Le and Pfender showed that all graphs with $n$ vertices and $2n-3$ edges without stable cutset arise recursively glueing together triangles and triangular prisms along an edge or triangle. Le and Pfender's proof contains a gap, which we fill in the present article.

math.CO↗
arXiv2024

Forest Cuts in Sparse Graphs

We propose the conjecture that every graph $G$ of order $n$ with less than $3n-6$ edges has a vertex cut that induces a forest. Maximal planar graphs do not have such vertex cuts and show that the density condition would be best possible. We verify the conjecture for planar graphs and show that every graph $G$ of order $n$ with less than $\frac{11}{5}n-\frac{18}{5}$ edges has a vertex cut that induces a forest.

math.CO↗
arXiv2023

Exact and Parameterized Algorithms for the Independent Cutset Problem

The Independent Cutset problem asks whether there is a set of vertices in a given graph that is both independent and a cutset. Such a problem is $\textsf{NP}$-complete even when the input graph is planar and has maximum degree five. In this paper, we first present a $\mathcal{O}^*(1.4423^{n})$-time algorithm for the problem. We also show how to compute a minimum independent cutset (if any) in the same running time. Since the property of having an independent cutset is MSO$_1$-expressible, our main results are concerned with structural parameterizations for the problem considering parameters that are not bounded by a function of the clique-width of the input. We present $\textsf{FPT}$-time algorithms for the problem considering the following parameters: the dual of the maximum degree, the dual of the solution size, the size of a dominating set (where a dominating set is given as an additional input), the size of an odd cycle transversal, the distance to chordal graphs, and the distance to $P_5$-free graphs. We close by introducing the notion of $α$-domination, which allows us to identify more fixed-parameter tractable and polynomial-time solvable cases.

cs.DS↗
arXiv2023

On Conflict-Free Cuts: Algorithms and Complexity

One way to define the Matching Cut problem is: Given a graph $G$, is there an edge-cut $M$ of $G$ such that $M$ is an independent set in the line graph of $G$? We propose the more general Conflict-Free Cut problem: Together with the graph $G$, we are given a so-called conflict graph $\hat{G}$ on the edges of $G$, and we ask for an edge-cutset $M$ of $G$ that is independent in $\hat{G}$. Since conflict-free settings are popular generalizations of classical optimization problems and Conflict-Free Cut was not considered in the literature so far, we start the study of the problem. We show that the problem is $\textsf{NP}$-complete even when the maximum degree of $G$ is 5 and $\hat{G}$ is 1-regular. The same reduction implies an exponential lower bound on the solvability based on the Exponential Time Hypothesis. We also give parameterized complexity results: We show that the problem is fixed-parameter tractable with the vertex cover number of $G$ as a parameter, and we show $\textsf{W[1]}$-hardness even when $G$ has a feedback vertex set of size one, and the clique cover number of $\hat{G}$ is the parameter. Since the clique cover number of $\hat{G}$ is an upper bound on the independence number of $\hat{G}$ and thus the solution size, this implies $\textsf{W[1]}$-hardness when parameterized by the cut size. We list polynomial-time solvable cases and interesting open problems. At last, we draw a connection to a symmetric variant of SAT.

cs.DS↗
arXiv2023

Sparse vertex cutsets and the maximum degree

We show that every graph $G$ of maximum degree $Δ$ and sufficiently large order has a vertex cutset $S$ of order at most $Δ$ that induces a subgraph $G[S]$ of maximum degree at most $Δ-3$. For $Δ\in \{ 4,5\}$, we refine this result by considering also the average degree of $G[S]$. If $G$ has no $K_{r,r}$ subgraph, then we show the existence of a vertex cutset that induces a subgraph of maximum degree at most $\left(1-\frac{1}{r\choose 2}\right)Δ+O(1)$.

math.CO↗
arXiv2022

Efficiently recognizing graphs with equal independence and annihilation numbers

The annihilation number $a(G)$ of a graph $G$ is an efficiently computable upper bound on the independence number $α(G)$ of $G$. Recently, Hiller observed that a characterization of the graphs $G$ with $α(G)=a(G)$ due to Larson and Pepper is false. Since the known efficient algorithm recognizing these graphs was based on this characterization, the complexity of recognizing graphs $G$ with $α(G)=a(G)$ was once again open. We show that these graphs can indeed be recognized efficiently. More generally, we show that recognizing graphs $G$ with $α(G)\geq a(G)-\ell$ is fixed parameter tractable using $\ell$ as parameter.

math.CO↗
arXiv2019

Implementation of GENFIT2 as an experiment independent track-fitting framework

The GENFIT toolkit, initially developed at the Technische Universitaet Muenchen, has been extended and modified to be more general and user-friendly. The new GENFIT, called GENFIT2, provides track representation, track-fitting algorithms and graphic visualization of tracks and detectors, and it can be used for any experiment that determines parameters of charged particle trajectories from spacial coordinate measurements. Based on general Kalman filter routines, it can perform extrapolations of track parameters and covariance matrices. It also provides interfaces to Millepede II for alignment purposes, and RAVE for the vertex finder. Results of an implementation of GENFIT2 in basf2 and PandaRoot software frameworks are presented here.

physics.data-an↗
arXiv2017

The Aggregation Property and its Applications to Realised Higher Moments

We develop a general multivariate aggregation property which encompasses the distinct versions of the property that were introduced by Neuberger [2012] and Bondarenko [2014] independently. This way, we classify new types of model-free realised characteristics for which risk premia may be estimated without bias. We focus on the aggregation property for multivariate martingales and log martingales, and then define realised third and fourth moments which allow long-term higher-moment risk premia to be measured, efficiently and without bias, using high-frequency returns.

q-fin.PR↗
arXiv2016

GENFIT - a Generic Track-Fitting Toolkit

GENFIT is an experiment-independent track-fitting toolkit that combines fitting algorithms, track representations, and measurement geometries into a modular framework. We report on a significantly improved version of GENFIT, based on experience gained in the Belle II, PANDA, and FOPI experiments. Improvements concern the implementation of additional track-fitting algorithms, enhanced implementations of Kalman fitters, enhanced visualization capabilities, and additional implementations of measurement types suited for various kinds of tracking detectors. The data model has been revised, allowing for efficient track merging, smoothing, residual calculation, alignment, and storage.

physics.ins-det↗
arXiv2016

Model-Free Discretisation-Invariant Swap Contracts

Realised pay-offs for discretisation-invariant swaps are those which satisfy a restricted `aggregation property' of Neuberger [2012] for twice continuously differentiable deterministic functions of a multivariate martingale. They are initially characterised as solutions to a second-order system of PDEs, then those pay-offs based on martingale and log-martingale processes alone form a vector space. Hence there exist an infinite variety of other variance and higher-moment risk premia that are less prone to bias than standard variance swaps because their option replication portfolios have no discrete-monitoring or jump errors. Their fair values are also independent of the monitoring partition. A sub-class consists of pay-offs with fair values that are further free from numerical integration errors over option strikes. Here exact pricing and hedging is possible via dynamic trading strategies on a few vanilla puts and calls. An S&P 500 empirical study on higher-moment and other DI swaps concludes.

q-fin.MF↗
arXiv2016

Model-Free Discretisation-Invariant Swaps and S&P 500 Higher-Moment Risk Premia

We derive a general multivariate theory for realised characteristics of `model-free discretisation-invariant swaps', so-called because the standard no-arbitrage assumption of martingale forward prices is sufficient to derive fair-value swap rates for such characteristics which have no jump or discretisation errors. This theory underpins specific examples for swaps based on higher moments of a single log return distribution where exact replication is possible via option-implied `fundamental contracts' like the log contact. The common factors determining the S&P 500 risk premia associated with these higher-moment characteristics are investigated empirically at the daily, weekly and monthly frequencies.

q-fin.PR↗