Showing 1–50 of 89 results for author: Kaiser, T

Disclosing the Impact of Local Host-Emitter Interactions on Donor-Acceptor Type TADF Dynamics and the Significance for Emissive Layer Design in OLEDs

Authors: Björn Ewald, Theodor Kaiser, Thomas Fleischmann, Jens Pflaum

Abstract: Donor-Acceptor (D-A) type thermally activated delayed fluorescence (TADF) emitters which constitute the key functional units in proposed Gen3 Organic Light Emitting Diodes (OLEDs), are sensitive to the rigidity and polarity of their local environment. In particular, the torsional freedom of the D-A dihedral angle and the excited state dipole moments of the occurring charge transfer states, conditi… ▽ More Donor-Acceptor (D-A) type thermally activated delayed fluorescence (TADF) emitters which constitute the key functional units in proposed Gen3 Organic Light Emitting Diodes (OLEDs), are sensitive to the rigidity and polarity of their local environment. In particular, the torsional freedom of the D-A dihedral angle and the excited state dipole moments of the occurring charge transfer states, condition a distribution of TADF dynamics over the emitter ensemble, concealed in standard optical spectroscopy. Here we apply spectroscopy on the single molecule level to directly access individual emitter properties, and, thus, bypass the downside of ensemble averaging. By photon correlation data and locally resolved spectral information on single D-A type TADF molecules embedded in technological relevant host materials of different polarity and rigidity, we derive host-dependent characteristics and distributions in the TADF dynamics. Those can be related to the conformational freedom and the dielectric environment imposed by the specific local host rigidity and polarity, thereby pointing out new selection criteria for host-emitter combinations in OLEDs. △ Less

Submitted 22 June, 2024; originally announced June 2024.

Self-Organized Construction by Minimal Surprise

Authors: Tanja Katharina Kaiser, Heiko Hamann

Abstract: For the robots to achieve a desired behavior, we can program them directly, train them, or give them an innate driver that makes the robots themselves desire the targeted behavior. With the minimal surprise approach, we implant in our robots the desire to make their world predictable. Here, we apply minimal surprise to collective construction. Simulated robots push blocks in a 2D torus grid world.… ▽ More For the robots to achieve a desired behavior, we can program them directly, train them, or give them an innate driver that makes the robots themselves desire the targeted behavior. With the minimal surprise approach, we implant in our robots the desire to make their world predictable. Here, we apply minimal surprise to collective construction. Simulated robots push blocks in a 2D torus grid world. In two variants of our experiment we either allow for emergent behaviors or predefine the expected environment of the robots. In either way, we evolve robot behaviors that move blocks to structure their environment and make it more predictable. The resulting controllers can be applied in collective construction by robots. △ Less

Submitted 5 May, 2024; originally announced May 2024.

Comments: Published in 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FAS*W)

Innate Motivation for Robot Swarms by Minimizing Surprise: From Simple Simulations to Real-World Experiments

Authors: Tanja Katharina Kaiser, Heiko Hamann

Abstract: Applications of large-scale mobile multi-robot systems can be beneficial over monolithic robots because of higher potential for robustness and scalability. Develo** controllers for multi-robot systems is challenging because the multitude of interactions is hard to anticipate and difficult to model. Automatic design using machine learning or evolutionary robotics seem to be options to avoid that… ▽ More Applications of large-scale mobile multi-robot systems can be beneficial over monolithic robots because of higher potential for robustness and scalability. Develo** controllers for multi-robot systems is challenging because the multitude of interactions is hard to anticipate and difficult to model. Automatic design using machine learning or evolutionary robotics seem to be options to avoid that challenge, but bring the challenge of designing reward or fitness functions. Generic reward and fitness functions seem unlikely to exist and task-specific rewards often have undesired side effects. Approaches of so-called innate motivation try to avoid the specific formulation of rewards and work instead with different drivers, such as curiosity. Our approach to innate motivation is to minimize surprise, which we implement by maximizing the accuracy of the swarm robot's sensor predictions using neuroevolution. A unique advantage of the swarm robot case is that swarm members populate the robot's environment and can trigger more active behaviors in a self-referential loop. We summarize our previous simulation-based results concerning behavioral diversity, robustness, scalability, and engineered self-organization, and put them into context. In several new studies, we analyze the influence of the optimizer's hyperparameters, the scalability of evolved behaviors, and the impact of realistic robot simulations. Finally, we present results using real robots that show how the reality gap can be bridged. △ Less

Submitted 4 May, 2024; originally announced May 2024.

Comments: Published in IEEE Transactions on Robotics

ROS2swarm - A ROS 2 Package for Swarm Robot Behaviors

Authors: Tanja Katharina Kaiser, Marian Johannes Begemann, Tavia Plattenteich, Lars Schilling, Georg Schildbach, Heiko Hamann

Abstract: Develo** reusable software for mobile robots is still challenging. Even more so for swarm robots, despite the desired simplicity of the robot controllers. Prototy** and experimenting are difficult due to the multi-robot setting and often require robot-robot communication. Also, the diversity of swarm robot hardware platforms increases the need for hardware-independent software concepts. The ma… ▽ More Develo** reusable software for mobile robots is still challenging. Even more so for swarm robots, despite the desired simplicity of the robot controllers. Prototy** and experimenting are difficult due to the multi-robot setting and often require robot-robot communication. Also, the diversity of swarm robot hardware platforms increases the need for hardware-independent software concepts. The main advantages of the commonly used robot software architecture ROS 2 are modularity and platform independence. We propose a new ROS 2 package, ROS2swarm, for applications of swarm robotics that provides a library of ready-to-use swarm behavioral primitives. We show the successful application of our approach on three different platforms, the TurtleBot3 Burger, the TurtleBot3 Waffle Pi, and the Jackal UGV, and with a set of different behavioral primitives, such as aggregation, dispersion, and collective decision-making. The proposed approach is easy to maintain, extendable, and has good potential for simplifying swarm robotics experiments in future applications. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Comments: published in 2022 International Conference on Robotics and Automation (ICRA)

Learning from Evolution: Improving Collective Decision-Making Mechanisms using Insights from Evolutionary Robotics

Authors: Tanja Katharina Kaiser

Abstract: Collective decision-making enables multi-robot systems to act autonomously in real-world environments. Existing collective decision-making mechanisms suffer from the so-called speed versus accuracy trade-off or rely on high complexity, e.g., by including global communication. Recent work has shown that more efficient collective decision-making mechanisms based on artificial neural networks can be… ▽ More Collective decision-making enables multi-robot systems to act autonomously in real-world environments. Existing collective decision-making mechanisms suffer from the so-called speed versus accuracy trade-off or rely on high complexity, e.g., by including global communication. Recent work has shown that more efficient collective decision-making mechanisms based on artificial neural networks can be generated using methods from evolutionary computation. A major drawback of these decision-making neural networks is their limited interpretability. Analyzing evolved decision-making mechanisms can help us improve the efficiency of hand-coded decision-making mechanisms while maintaining a higher interpretability. In this paper, we analyze evolved collective decision-making mechanisms in detail and hand-code two new decision-making mechanisms based on the insights gained. In benchmark experiments, we show that the newly implemented collective decision-making mechanisms are more efficient than the state-of-the-art collective decision-making mechanisms voter model and majority rule. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Hypertree shrinking avoiding low degree vertices

Authors: Karolína Hylasová, Tomáš Kaiser

Abstract: The shrinking operation converts a hypergraph into a graph by choosing, from each hyperedge, two endvertices of a corresponding graph edge. A hypertree is a hypergraph which can be shrunk to a tree on the same vertex set. Klimošová and Thomassé [J. Combin. Theory Ser. B 156 (2022), 250--293] proved (as a tool to obtain their main result on edge-decompositions of graphs into paths of equal length)… ▽ More The shrinking operation converts a hypergraph into a graph by choosing, from each hyperedge, two endvertices of a corresponding graph edge. A hypertree is a hypergraph which can be shrunk to a tree on the same vertex set. Klimošová and Thomassé [J. Combin. Theory Ser. B 156 (2022), 250--293] proved (as a tool to obtain their main result on edge-decompositions of graphs into paths of equal length) that any rank $3$ hypertree $T$ can be shrunk to a tree where the degree of each vertex is at least $1/100$ times its degree in $T$. We prove a stronger and a more general bound, replacing the constant $1/100$ with $1/2k$ when the rank is $k$. In place of entropy compression (used by Klimošová and Thomassé), we use a hypergraph orientation lemma combined with a characterisation of edge-coloured graphs admitting rainbow spanning trees. △ Less

Submitted 3 May, 2024; originally announced May 2024.

Cell Tracking according to Biological Needs -- Strong Mitosis-aware Random-finite Sets Tracker with Aleatoric Uncertainty

Authors: Timo Kaiser, Maximilian Schier, Bodo Rosenhahn

Abstract: Cell tracking and segmentation assist biologists in extracting insights from large-scale microscopy time-lapse data. Driven by local accuracy metrics, current tracking approaches often suffer from a lack of long-term consistency. To address this issue, we introduce an uncertainty estimation technique for neural tracking-by-regression frameworks and incorporate it into our novel extended Poisson mu… ▽ More Cell tracking and segmentation assist biologists in extracting insights from large-scale microscopy time-lapse data. Driven by local accuracy metrics, current tracking approaches often suffer from a lack of long-term consistency. To address this issue, we introduce an uncertainty estimation technique for neural tracking-by-regression frameworks and incorporate it into our novel extended Poisson multi-Bernoulli mixture tracker. Our uncertainty estimation identifies uncertain associations within high-performing tracking-by-regression methods using problem-specific test-time augmentations. Leveraging this uncertainty, along with a novel mitosis-aware assignment problem formulation, our tracker resolves false associations and mitosis detections stemming from long-term conflicts. We evaluate our approach on nine competitive datasets and demonstrate that it outperforms the current state-of-the-art on biologically relevant metrics substantially, achieving improvements by a factor of approximately $5.75$. Furthermore, we uncover new insights into the behavior of tracking-by-regression uncertainty. △ Less

Submitted 25 March, 2024; v1 submitted 22 March, 2024; originally announced March 2024.

Comments: 23 pages, 10 figures, 5 tables

Rethinking cluster-conditioned diffusion models

Authors: Nikolas Adaloglou, Tim Kaiser, Felix Michels, Markus Kollmann

Abstract: We present a comprehensive experimental study on image-level conditioning for diffusion models using cluster assignments. We elucidate how individual components regarding image clustering impact image synthesis across three datasets. By combining recent advancements from image clustering and diffusion models, we show that, given the optimal cluster granularity with respect to image synthesis (visu… ▽ More We present a comprehensive experimental study on image-level conditioning for diffusion models using cluster assignments. We elucidate how individual components regarding image clustering impact image synthesis across three datasets. By combining recent advancements from image clustering and diffusion models, we show that, given the optimal cluster granularity with respect to image synthesis (visual groups), cluster-conditioning can achieve state-of-the-art FID (i.e. 1.67, 2.17 on CIFAR10 and CIFAR100 respectively), while attaining a strong training sample efficiency. Finally, we propose a novel method to derive an upper cluster bound that reduces the search space of the visual groups using solely feature-based clustering. Unlike existing approaches, we find no significant connection between clustering and cluster-conditional image generation. The code and cluster assignments will be released. △ Less

Submitted 1 March, 2024; originally announced March 2024.

Semialgebraicity of the convergence domain of an algebraic power series

Authors: Tobias Kaiser

Abstract: Given a power series in finitely many variables that is algebraic over the corresponding polynomial ring over a subfield of the reals, we show that its convergence domain is semialgebraic over the real closure of the subfield. This gives in particular that the convergence radius of a univariate Puiseux series that is algebraic in the above sense belongs to the real closure or is infinity. Given a power series in finitely many variables that is algebraic over the corresponding polynomial ring over a subfield of the reals, we show that its convergence domain is semialgebraic over the real closure of the subfield. This gives in particular that the convergence radius of a univariate Puiseux series that is algebraic in the above sense belongs to the real closure or is infinity. △ Less

Submitted 29 February, 2024; v1 submitted 12 February, 2024; originally announced February 2024.

Comments: Updated version

MSC Class: 14H05; 14P10; 14P15; 30B10; 32A05

Evolution of Collective Decision-Making Mechanisms for Collective Perception

Authors: Tanja Katharina Kaiser, Tristan Potten, Heiko Hamann

Abstract: Autonomous robot swarms must be able to make fast and accurate collective decisions, but speed and accuracy are known to be conflicting goals. While collective decision-making is widely studied in swarm robotics research, only few works on using methods of evolutionary computation to generate collective decision-making mechanisms exist. These works use task-specific fitness functions rewarding the… ▽ More Autonomous robot swarms must be able to make fast and accurate collective decisions, but speed and accuracy are known to be conflicting goals. While collective decision-making is widely studied in swarm robotics research, only few works on using methods of evolutionary computation to generate collective decision-making mechanisms exist. These works use task-specific fitness functions rewarding the accomplishment of the respective collective decision-making task. But task-independent rewards, such as for prediction error minimization, may promote the emergence of diverse and innovative solutions. We evolve collective decision-making mechanisms using a task-specific fitness function rewarding correct robot opinions, a task-independent reward for prediction accuracy, and a hybrid fitness function combining the two previous. In our simulations, we use the collective perception scenario, that is, robots must collectively determine which of two environmental features is more frequent. We show that evolution successfully optimizes fitness in all three scenarios, but that only the task-specific fitness function and the hybrid fitness function lead to the emergence of collective decision-making behaviors. In benchmark experiments, we show the competitiveness of the evolved decision-making mechanisms to the voter model and the majority rule and analyze the scalability of the decision-making mechanisms with problem difficulty. △ Less

Submitted 6 November, 2023; originally announced November 2023.

Comments: 2023 IEEE Congress on Evolutionary Computation (CEC), Chicago, IL, USA

Packing $T$-connectors in graphs needs more connectivity

Authors: Roman Čada, Adam Kabela, Tomáš Kaiser, Petr Vrána

Abstract: Strengthening the classical concept of Steiner trees, West and Wu [J. Combin. Theory Ser. B 102 (2012), 186--205] introduced the notion of a $T$-connector in a graph $G$ with a set $T$ of terminals. They conjectured that if the set $T$ is $3k$-edge-connected in $G$, then $G$ contains $k$ edge-disjoint $T$-connectors. We disprove this conjecture by constructing infinitely many counterexamples for… ▽ More Strengthening the classical concept of Steiner trees, West and Wu [J. Combin. Theory Ser. B 102 (2012), 186--205] introduced the notion of a $T$-connector in a graph $G$ with a set $T$ of terminals. They conjectured that if the set $T$ is $3k$-edge-connected in $G$, then $G$ contains $k$ edge-disjoint $T$-connectors. We disprove this conjecture by constructing infinitely many counterexamples for $k=1$ and for each even $k$. △ Less

Submitted 15 August, 2023; v1 submitted 14 August, 2023; originally announced August 2023.

MSC Class: 05C40 (Primary) 05C70 (Secondary)

HyperSparse Neural Networks: Shifting Exploration to Exploitation through Adaptive Regularization

Authors: Patrick Glandorf, Timo Kaiser, Bodo Rosenhahn

Abstract: Sparse neural networks are a key factor in develo** resource-efficient machine learning applications. We propose the novel and powerful sparse learning method Adaptive Regularized Training (ART) to compress dense into sparse networks. Instead of the commonly used binary mask during training to reduce the number of model weights, we inherently shrink weights close to zero in an iterative manner w… ▽ More Sparse neural networks are a key factor in develo** resource-efficient machine learning applications. We propose the novel and powerful sparse learning method Adaptive Regularized Training (ART) to compress dense into sparse networks. Instead of the commonly used binary mask during training to reduce the number of model weights, we inherently shrink weights close to zero in an iterative manner with increasing weight regularization. Our method compresses the pre-trained model knowledge into the weights of highest magnitude. Therefore, we introduce a novel regularization loss named HyperSparse that exploits the highest weights while conserving the ability of weight exploration. Extensive experiments on CIFAR and TinyImageNet show that our method leads to notable performance gains compared to other sparsification methods, especially in extremely high sparsity regimes up to 99.8 percent model sparsity. Additional investigations provide new insights into the patterns that are encoded in weights with high magnitudes. △ Less

Submitted 16 August, 2023; v1 submitted 14 August, 2023; originally announced August 2023.

Comments: ICCV'23 Workshops

Fan's lemma via bistellar moves

Authors: Tomáš Kaiser, Matěj Stehlík

Abstract: Pachner proved that all closed combinatorially equivalent combinatorial manifolds can be transformed into each other by a finite sequence of bistellar moves. We prove an analogue of Pachner's theorem for combinatorial manifolds with a free Z2-action, and use it to give a combinatorial proof of Fan's lemma about labellings of centrally symmetric triangulations of spheres. Similarly to other combina… ▽ More Pachner proved that all closed combinatorially equivalent combinatorial manifolds can be transformed into each other by a finite sequence of bistellar moves. We prove an analogue of Pachner's theorem for combinatorial manifolds with a free Z2-action, and use it to give a combinatorial proof of Fan's lemma about labellings of centrally symmetric triangulations of spheres. Similarly to other combinatorial proofs, we must assume an additional property of the triangulation for the proof to work. However, unlike the other combinatorial proofs, no such assumption is needed for dimensions at most 3. △ Less

Submitted 14 August, 2023; originally announced August 2023.

MSC Class: 55M20

Phase-Based Breathing Rate Monitoring in Patient Rooms Using 6G Terahertz Technology

Authors: Simon Haeger, Akram Najjar, Caner Bektas, Dien Lessy, Mohammed El-Absi, Fawad Sheikh, Stefan Boecker, Thomas Kaiser, Christian Wietfeld

Abstract: The 6G standard aims to be an integral part of the future economy by providing high-performance communication and sensing services. At terahertz (THz) frequencies, indoor campus networks can offer the highest sensing quality. Health monitoring in hospitals is expected to be an application site for these. This work outlines a monostatic phase-based system for breathing rate monitoring. Our feasibil… ▽ More The 6G standard aims to be an integral part of the future economy by providing high-performance communication and sensing services. At terahertz (THz) frequencies, indoor campus networks can offer the highest sensing quality. Health monitoring in hospitals is expected to be an application site for these. This work outlines a monostatic phase-based system for breathing rate monitoring. Our feasibility study observes motion measurement accuracy down to the micrometer level. However, we also find that the patient's pose needs to be considered for generalized applicability. Thus, a solution that leverages multiple propagation paths and beam orientations is proposed. △ Less

Submitted 14 June, 2023; v1 submitted 25 May, 2023; originally announced May 2023.

Comments: 5 pages, 10 figures. Accepted for presentation in: 2023 6th IEEE International Workshop on Mobile Terahertz Systems (IWMTS), Bonn, Germany, July 2023

Compensation Learning in Semantic Segmentation

Authors: Timo Kaiser, Christoph Reinders, Bodo Rosenhahn

Abstract: Label noise and ambiguities between similar classes are challenging problems in develo** new models and annotating new data for semantic segmentation. In this paper, we propose Compensation Learning in Semantic Segmentation, a framework to identify and compensate ambiguities as well as label noise. More specifically, we add a ground truth depending and globally learned bias to the classification… ▽ More Label noise and ambiguities between similar classes are challenging problems in develo** new models and annotating new data for semantic segmentation. In this paper, we propose Compensation Learning in Semantic Segmentation, a framework to identify and compensate ambiguities as well as label noise. More specifically, we add a ground truth depending and globally learned bias to the classification logits and introduce a novel uncertainty branch for neural networks to induce the compensation bias only to relevant regions. Our method is employed into state-of-the-art segmentation frameworks and several experiments demonstrate that our proposed compensation learns inter-class relations that allow global identification of challenging ambiguities as well as the exact localization of subsequent label noise. Additionally, it enlarges robustness against label noise during training and allows target-oriented manipulation during inference. We evaluate the proposed method on %the widely used datasets Cityscapes, KITTI-STEP, ADE20k, and COCO-stuff10k. △ Less

Submitted 26 April, 2023; originally announced April 2023.

Comments: 8 pages, 6 figures, 4 tables, Vision Datasets Understanding Workshop on CVPR23

Adapting Contrastive Language-Image Pretrained (CLIP) Models for Out-of-Distribution Detection

Authors: Nikolas Adaloglou, Felix Michels, Tim Kaiser, Markus Kollmann

Abstract: We present a comprehensive experimental study on pretrained feature extractors for visual out-of-distribution (OOD) detection, focusing on adapting contrastive language-image pretrained (CLIP) models. Without fine-tuning on the training data, we are able to establish a positive correlation ($R^2\geq0.92$) between in-distribution classification and unsupervised OOD detection for CLIP models in $4$… ▽ More We present a comprehensive experimental study on pretrained feature extractors for visual out-of-distribution (OOD) detection, focusing on adapting contrastive language-image pretrained (CLIP) models. Without fine-tuning on the training data, we are able to establish a positive correlation ($R^2\geq0.92$) between in-distribution classification and unsupervised OOD detection for CLIP models in $4$ benchmarks. We further propose a new simple and scalable method called \textit{pseudo-label probing} (PLP) that adapts vision-language models for OOD detection. Given a set of label names of the training set, PLP trains a linear layer using the pseudo-labels derived from the text encoder of CLIP. To test the OOD detection robustness of pretrained models, we develop a novel feature-based adversarial OOD data manipulation approach to create adversarial samples. Intriguingly, we show that (i) PLP outperforms the previous state-of-the-art \citep{ming2022mcm} on all $5$ large-scale benchmarks based on ImageNet, specifically by an average AUROC gain of 3.4\% using the largest CLIP model (ViT-G), (ii) we show that linear probing outperforms fine-tuning by large margins for CLIP architectures (i.e. CLIP ViT-H achieves a mean gain of 7.3\% AUROC on average on all ImageNet-based benchmarks), and (iii) billion-parameter CLIP models still fail at detecting adversarially manipulated OOD images. The code and adversarially created datasets will be made publicly available. △ Less

Submitted 9 November, 2023; v1 submitted 10 March, 2023; originally announced March 2023.

Comments: version_02

Criticality in Sperner's Lemma

Authors: Tomáš Kaiser, Matěj Stehlík, Riste Škrekovski

Abstract: We answer a question posed by T. Gallai in 1969 concerning criticality in Sperner's lemma, listed as Problem 9.14 in the collection of Jensen and Toft [Graph coloring problems, John Wiley & Sons, Inc., New York, 1995]. Sperner's lemma states that if a labelling of the vertices of a triangulation of the $d$-simplex $Δ^d$ with labels $1, 2, \ldots, d+1$ has the property that (i) each vertex of… ▽ More We answer a question posed by T. Gallai in 1969 concerning criticality in Sperner's lemma, listed as Problem 9.14 in the collection of Jensen and Toft [Graph coloring problems, John Wiley & Sons, Inc., New York, 1995]. Sperner's lemma states that if a labelling of the vertices of a triangulation of the $d$-simplex $Δ^d$ with labels $1, 2, \ldots, d+1$ has the property that (i) each vertex of $Δ^d$ receives a distinct label, and (ii) any vertex lying in a face of $Δ^d$ has the same label as one of the vertices of that face, then there exists a rainbow facet (a facet whose vertices have pairwise distinct labels). For $d\leq 2$, it is not difficult to show that for every facet $σ$, there exists a labelling with the above properties where $σ$ is the unique rainbow facet. For every $d\geq 3$, however, we construct an infinite family of examples where this is not the case, which implies the answer to Gallai's question as a corollary. The construction is based on the properties of a $4$-polytope which had been used earlier to disprove a claim of T. S. Motzkin on neighbourly polytopes. △ Less

Submitted 23 April, 2024; v1 submitted 9 January, 2023; originally announced January 2023.

MSC Class: 05C15; 05E45

Growth of Log-Analytic Functions

Authors: Tobias Kaiser

Abstract: We show that unary log-analytic functions are polynomially bounded. In the higher dimensional case globally a log-analytic function can have exponential growth. We show that a log-analytic function is polynomially bounded on a definable set which contains the germ of every ray at infinity. We show that unary log-analytic functions are polynomially bounded. In the higher dimensional case globally a log-analytic function can have exponential growth. We show that a log-analytic function is polynomially bounded on a definable set which contains the germ of every ray at infinity. △ Less

Submitted 26 June, 2023; v1 submitted 3 January, 2023; originally announced January 2023.

Comments: Final version, appeared in Archiv der Mathematik

MSC Class: 03C64; 14P15; 26A09; 26A12; 32B20

Journal ref: Archiv der Mathematik 120 (2023) no. 6, 605-614

Modelling the response of a turbulent jet flame to acoustic forcing in a linearized framework using an active flame approach

Authors: Thomas Ludwig Kaiser, Gregoire Varillon, Wolfgang Polifke, Feichi Zhang, Thorsten Zirwes, Henning Bockhorn, Kilian Oberleithner

Abstract: This study performs a linear analysis of a turbulent reacting methane-air jet flame, with the goal of predicting the response of the reacting flow to upstream acoustic actuation. Accounting for heat release fluctuations is a vital component when investigating thermoacoustic instabilities and flame noise in a linearized framework. Unlike previous studies this work develops and applies an active fla… ▽ More This study performs a linear analysis of a turbulent reacting methane-air jet flame, with the goal of predicting the response of the reacting flow to upstream acoustic actuation. Accounting for heat release fluctuations is a vital component when investigating thermoacoustic instabilities and flame noise in a linearized framework. Unlike previous studies this work develops and applies an active flame approach, meaning the heat release oscillations of the flame resulting from the acoustic fluctuations are taken into account. To yield an active flame approach in the linear framework, a combustion model needs to be linearized. It is demonstrated that linearizing Large Eddy Simulation (LES) and Direct Numerical Simulation (DNS) combustion models leads to closure problems, making their application in the linearized framework troublesome. Reynolds-averaged Navier Stokes (RANS) combustion models, however, prove to circumvent this problem, which makes them suitable candidates for this purpose. The RANS combustion models are linearized around the temporal mean flow of the turbulent jet flame, which is obtained by LES. An a priori analysis shows that a linearized RANS-Eddy Break Up (EBU) model is the best suited among all investigated combustion models for the investigated set-up and reproduces with high accuracy the fluctuations in reaction rate obtained in the LES. Furthermore, the linearized governing equations of the flow including the linearized EBU model for the reaction rate are solved for incoming acoustic perturbations. The response modes show that the reaction rate oscillations are caused by Kelvin-Helmholtz vortex rings, which perturb the jet flame. The results are in good agreement with the LES simulations in terms of the mode shapes of both reaction rate and velocity fluctuations. △ Less

Submitted 1 December, 2022; v1 submitted 24 November, 2022; originally announced November 2022.

MSC Class: 80A32 (Primary) 80A25; 80A19; 76F25; 76F80 (Secondary)

Blind Knowledge Distillation for Robust Image Classification

Authors: Timo Kaiser, Lukas Ehmann, Christoph Reinders, Bodo Rosenhahn

Abstract: Optimizing neural networks with noisy labels is a challenging task, especially if the label set contains real-world noise. Networks tend to generalize to reasonable patterns in the early training stages and overfit to specific details of noisy samples in the latter ones. We introduce Blind Knowledge Distillation - a novel teacher-student approach for learning with noisy labels by masking the groun… ▽ More Optimizing neural networks with noisy labels is a challenging task, especially if the label set contains real-world noise. Networks tend to generalize to reasonable patterns in the early training stages and overfit to specific details of noisy samples in the latter ones. We introduce Blind Knowledge Distillation - a novel teacher-student approach for learning with noisy labels by masking the ground truth related teacher output to filter out potentially corrupted knowledge and to estimate the tip** point from generalizing to overfitting. Based on this, we enable the estimation of noise in the training data with Otsus algorithm. With this estimation, we train the network with a modified weighted cross-entropy loss function. We show in our experiments that Blind Knowledge Distillation detects overfitting effectively during training and improves the detection of clean and noisy labels on the recently published CIFAR-N dataset. Code is available at GitHub. △ Less

Submitted 21 November, 2022; originally announced November 2022.

Comments: 8 pages, 4 figures, 2 tables. Submitted to the 1st Learning and Mining with Noisy Labels Challenge on IJCAI22, see http://competition.noisylabels.com/. Code is available https://github.com/TimoK93/blind_knowledge_distillation

Periods, Power Series, and Integrated Algebraic Numbers

Authors: Tobias Kaiser

Abstract: Periods are defined as integrals of semialgebraic functions defined over the rationals. Periods form a countable ring not much is known about. Examples are given by taking the antiderivative of a power series which is algebraic over the polynomial ring over the rationals and evaluate it at a rational number. We follow this path and close these algebraic power series under taking iterated antideriv… ▽ More Periods are defined as integrals of semialgebraic functions defined over the rationals. Periods form a countable ring not much is known about. Examples are given by taking the antiderivative of a power series which is algebraic over the polynomial ring over the rationals and evaluate it at a rational number. We follow this path and close these algebraic power series under taking iterated antiderivatives and nearby algebraic and geometric operations. We obtain a system of rings of power series whose coefficients form a countable real closed field. Using techniques from o-minimality we are able to show that every period belongs to this field. In the setting of o-minimality we define exponential integrated algebraic numbers and show that the Euler constant is an exponential integrated algebraic number. Hence they are a good candiate for a natural number system extending the period ring and containing important mathematical constants. △ Less

Submitted 31 January, 2024; v1 submitted 2 November, 2022; originally announced November 2022.

Comments: Final version

MSC Class: 03C64; 11J81; 13J05; 13J30; 14P10; 32B20; 51M25

Journal ref: Mathematische Annalen 2024 (Open Access)

Mean flow data assimilation based on physics-informed neural networks

Authors: Jakob G. R. von Saldern, Johann Moritz Reumschüssel, Thomas L. Kaiser, Moritz Sieber, Kilian Oberleithner

Abstract: Physics-informed neural networks (PINNs) can be used to solve partial differential equations (PDEs) and identify hidden variables by incorporating the governing equations into neural network training. In this study, we apply PINNs to the assimilation of turbulent mean flow data and investigate the method's ability to identify inaccessible variables and closure terms from sparse data. Using high-fi… ▽ More Physics-informed neural networks (PINNs) can be used to solve partial differential equations (PDEs) and identify hidden variables by incorporating the governing equations into neural network training. In this study, we apply PINNs to the assimilation of turbulent mean flow data and investigate the method's ability to identify inaccessible variables and closure terms from sparse data. Using high-fidelity large-eddy simulation (LES) data and particle image velocimetry (PIV) measured mean fields, we show that PINNs are suitable for simultaneously identifying multiple missing quantities in turbulent flows and providing continuous and differentiable mean fields consistent with the provided PDEs. In this way, consistent and complete mean states can be provided, which are essential for linearized mean field methods. The presented method does not require a grid or discretization scheme, is easy to implement, and can be used for a wide range of applications, making it a very promising tool for mean field-based methods in fluid mechanics. △ Less

Submitted 8 December, 2022; v1 submitted 5 August, 2022; originally announced August 2022.

Rainbow bases in matroids

Authors: Florian Hörsch, Tomáš Kaiser, Matthias Kriesell

Abstract: Recently, it was proved by Bérczi and Schwarcz that the problem of factorizing a matroid into rainbow bases with respect to a given partition of its ground set is algorithmically intractable. On the other hand, many special cases were left open. We first show that the problem remains hard if the matroid is graphic, answering a question of Bérczi and Schwarcz. As another special case, we consider… ▽ More Recently, it was proved by Bérczi and Schwarcz that the problem of factorizing a matroid into rainbow bases with respect to a given partition of its ground set is algorithmically intractable. On the other hand, many special cases were left open. We first show that the problem remains hard if the matroid is graphic, answering a question of Bérczi and Schwarcz. As another special case, we consider the problem of deciding whether a given digraph can be factorized into subgraphs which are spanning trees in the underlying sense and respect upper bounds on the indegree of every vertex. We prove that this problem is also hard. This answers a question of Frank. In the second part of the article, we deal with the relaxed problem of covering the ground set of a matroid by rainbow bases. Among other results, we show that there is a linear function $f$ such that every matroid that can be factorized into $k$ bases for some $k \geq 3$ can be covered by $f(k)$ rainbow bases if every partition class contains at most 2 elements. △ Less

Submitted 29 May, 2023; v1 submitted 21 June, 2022; originally announced June 2022.

Hamilton cycles in line graphs of 3-hypergraphs

Authors: Tomáš Kaiser, Petr Vrána

Abstract: We prove that every 52-connected line graph of a rank 3 hypergraph is Hamiltonian. This is the first result of this type for hypergraphs of bounded rank other than ordinary graphs. We prove that every 52-connected line graph of a rank 3 hypergraph is Hamiltonian. This is the first result of this type for hypergraphs of bounded rank other than ordinary graphs. △ Less

Submitted 20 May, 2022; v1 submitted 31 January, 2022; originally announced January 2022.

MSC Class: 05C45

Making Higher Order MOT Scalable: An Efficient Approximate Solver for Lifted Disjoint Paths

Authors: Andrea Hornakova, Timo Kaiser, Paul Swoboda, Michal Rolinek, Bodo Rosenhahn, Roberto Henschel

Abstract: We present an efficient approximate message passing solver for the lifted disjoint paths problem (LDP), a natural but NP-hard model for multiple object tracking (MOT). Our tracker scales to very large instances that come from long and crowded MOT sequences. Our approximate solver enables us to process the MOT15/16/17 benchmarks without sacrificing solution quality and allows for solving MOT20, whi… ▽ More We present an efficient approximate message passing solver for the lifted disjoint paths problem (LDP), a natural but NP-hard model for multiple object tracking (MOT). Our tracker scales to very large instances that come from long and crowded MOT sequences. Our approximate solver enables us to process the MOT15/16/17 benchmarks without sacrificing solution quality and allows for solving MOT20, which has been out of reach up to now for LDP solvers due to its size and complexity. On all these four standard MOT benchmarks we achieve performance comparable or better than current state-of-the-art methods including a tracker based on an optimal LDP solver. △ Less

Submitted 24 August, 2021; originally announced August 2021.

Comments: ICCV 2021. Short version published at CVPR 2021 RVSU workshop https://omnomnom.vision.rwth-aachen.de/data/RobMOTS/workshop/papers/9/CameraReady/paper_V3.pdf . Implementation available at https://github.com/LPMP/LPMP and https://github.com/TimoK93/ApLift

Graphs of low average degree without independent transversals

Authors: Carla Groenland, Tomáš Kaiser, Oscar Treffers, Matthew Wales

Abstract: An independent transversal of a graph $G$ with a vertex partition $\mathcal P$ is an independent set of $G$ intersecting each block of $\mathcal P$ in a single vertex. Wanless and Wood proved that if each block of $\mathcal P$ has size at least $t$ and the average degree of vertices in each block is at most $t/4$, then an independent transversal of $\mathcal P$ exists. We present a construction sh… ▽ More An independent transversal of a graph $G$ with a vertex partition $\mathcal P$ is an independent set of $G$ intersecting each block of $\mathcal P$ in a single vertex. Wanless and Wood proved that if each block of $\mathcal P$ has size at least $t$ and the average degree of vertices in each block is at most $t/4$, then an independent transversal of $\mathcal P$ exists. We present a construction showing that this result is optimal: for any $\varepsilon > 0$ and sufficiently large $t$, there is a family of forests with vertex partitions whose block size is at least $t$, average degree of vertices in each block is at most $(\frac14+\varepsilon)t$, and there is no independent transversal. This unexpectedly shows that methods related to entropy compression such as the Rosenfeld-Wanless-Wood scheme or the Local Cut Lemma are tight for this problem. Further constructions are given for variants of the problem, including the hypergraph version. △ Less

Submitted 10 May, 2022; v1 submitted 29 June, 2021; originally announced June 2021.

Comments: 12 pages, 2 figures

MSC Class: 05C69

On arithmetic properties of solvable Baumslag-Solitar groups

Authors: Laurent Hayez, Tom Kaiser, Alain Valette

Abstract: For $0<α\le 1$, we say that a sequence $(X_k)_{k>0}$ of $d$-regular graphs has property $D_α$ if there exists a constant $C>0$ such that $\mathrm{diam}(X_k)\ge C\cdot|X_k|^α$. We investigate property $D_α$ for arithmetic box spaces of the solvable Baumslag-Solitar groups $BS(1,m)$ (with $m\geq 2$): those are box spaces obtained by embedding $BS(1,m)$ into the upper triangular matrices in… ▽ More For $0<α\le 1$, we say that a sequence $(X_k)_{k>0}$ of $d$-regular graphs has property $D_α$ if there exists a constant $C>0$ such that $\mathrm{diam}(X_k)\ge C\cdot|X_k|^α$. We investigate property $D_α$ for arithmetic box spaces of the solvable Baumslag-Solitar groups $BS(1,m)$ (with $m\geq 2$): those are box spaces obtained by embedding $BS(1,m)$ into the upper triangular matrices in $GL_2(\mathbb{Z}[1/m])$ and intersecting with a family $M_{N_k}$ of congruence subgroups of $GL_2(\mathbb{Z}[1/m])$, where the levels $N_k$ are coprime with $m$ and $N_k|N_{k+1}$. We prove: - if an arithmetic box space has $D_α$, then $α\le\frac{1}{2}$~; - if the family $(N_k)_k$ of levels is supported on finitely many primes, the corresponding arithmetic box space has $D_{1/2}$~; - if the family $(N_k)_k$ of levels is supported on a family of primes with positive analytic primitive density, then the corresponding arithmetic box space does not have $D_α$, for every $α>0$. Moreover, we prove that if we embed $BS(1,m)$ in the group of invertible upper-triangular matrices $T_n(\mathbb{Z}[1/m])$, then every finite index subgroup of the embedding contains a congruence subgroup. This is a version of the congruence subgroup property (CSP). △ Less

Submitted 13 January, 2021; originally announced January 2021.

Comments: 16 pages

MSC Class: 20F65 (Primary) 20F16; 20F69 (Secondary)

Riesz bases of port-Hamiltonian systems

Authors: Birgit Jacob, Julia T. Kaiser, Hans Zwart

Abstract: The location of the spectrum and the Riesz basis property of well-posed homogeneous infinite-dimensional linear port-Hamiltonian systems on a 1D spatial domain are studied. It is shown that the Riesz basis property is equivalent to the fact that system operator generates a strongly continuous group. Moreover, in this situation the spectrum consists of eigenvalues only, located in a strip parallel… ▽ More The location of the spectrum and the Riesz basis property of well-posed homogeneous infinite-dimensional linear port-Hamiltonian systems on a 1D spatial domain are studied. It is shown that the Riesz basis property is equivalent to the fact that system operator generates a strongly continuous group. Moreover, in this situation the spectrum consists of eigenvalues only, located in a strip parallel to the imaginary axis and they can decomposed into finitely many sets having each a uniform gap. △ Less

Submitted 17 September, 2020; originally announced September 2020.

MSC Class: 35P10; 47B06; 47D06; 35L40

Reference study of IFC software support: the GeoBIM benchmark 2019 -- Part I

Authors: Francesca Noardo, Thomas Krijnen, Ken Arroyo Ohori, Filip Biljecki, Claire Ellul, Lars Harrie, Helen Eriksson, Lorenzo Polia, Nebras Salheb, Helga Tauscher, Jordi van Liempt, Hendrik Goerne, Dean Hintz, Tim Kaiser, Cristina Leoni, Artur Warchol, Jantien Stoter

Abstract: IFC, buildingSMART open standard for Building Information Models, is underused with respect to its promising potential, since, according to the experience of practitioners and researchers working with BIM, issues in the standard's implementation and use prevent its effective use. Nevertheless, a systematic investigation of these issues has never been performed, and there is thus insufficient evide… ▽ More IFC, buildingSMART open standard for Building Information Models, is underused with respect to its promising potential, since, according to the experience of practitioners and researchers working with BIM, issues in the standard's implementation and use prevent its effective use. Nevertheless, a systematic investigation of these issues has never been performed, and there is thus insufficient evidence for tackling the problems. The GeoBIM benchmark project is aimed at finding such evidence by involving external volunteers, reporting on tools behaviour about relevant aspects (geometry, semantics, georeferencing, functionalities), analysed and described in this paper. Interestingly, few patterns are detectable about the behaviour of different software with standardised data, and significant issues are found in their support of the standards, probably due to the very high complexity of the standard data model. This paper is in tandem with Part II, describing the results of the benchmark related to CityGML, counterpart of IFC within geoinformation. △ Less

Submitted 7 January, 2021; v1 submitted 21 July, 2020; originally announced July 2020.

Comments: Pre-print of the paper. arXiv admin note: text overlap with arXiv:2007.10938

Journal ref: Transactions in GIS, 2021

Edge-critical subgraphs of Schrijver graphs II: The general case

Authors: Tomáš Kaiser, Matěj Stehlík

Abstract: We give a simple combinatorial description of an $(n-2k+2)$-chromatic edge-critical subgraph of the Schrijver graph $\mathrm{SG}(n,k)$, itself an induced vertex-critical subgraph of the Kneser graph $\mathrm{KG}(n,k)$. This extends the main result of [J. Combin. Theory Ser. B 144 (2020) 191--196] to all values of $k$, and sharpens the classical results of Lovász and Schrijver from the 1970s. We give a simple combinatorial description of an $(n-2k+2)$-chromatic edge-critical subgraph of the Schrijver graph $\mathrm{SG}(n,k)$, itself an induced vertex-critical subgraph of the Kneser graph $\mathrm{KG}(n,k)$. This extends the main result of [J. Combin. Theory Ser. B 144 (2020) 191--196] to all values of $k$, and sharpens the classical results of Lovász and Schrijver from the 1970s. △ Less

Submitted 17 July, 2020; originally announced July 2020.

MSC Class: 05C15

Journal ref: Journal of Combinatorial Theory, Series B 152: 453-482, 2022

Differentiability Properties of Log-Analytic Functions

Authors: Tobias Kaiser, Andre Opris

Abstract: We show that the derivative of a log-analytic function is log-analytic. We prove that log-analytic functions exhibit strong quasianalytic properties. We establish the parametric version of Tamm's theorem for log-analytic functions. We show that the derivative of a log-analytic function is log-analytic. We prove that log-analytic functions exhibit strong quasianalytic properties. We establish the parametric version of Tamm's theorem for log-analytic functions. △ Less

Submitted 4 November, 2021; v1 submitted 7 July, 2020; originally announced July 2020.

Comments: Final version; to appear at Rocky Mountain Journal of Mathematics

MSC Class: 03C64; 14P15; 26A09; 26E05; 26E10; 32B20

Characterization of Dielectric Materials by Sparse Signal Processing with Iterative Dictionary Updates

Authors: Udaya S. K. P. Miriya Thanthrige, Jan Barowski, Ilona Rolfes, Daniel Erni, Thomas Kaiser, Aydin Sezgin

Abstract: Estimating parameters and properties of various materials without causing damage to the material under test (MUT) is important in many applications. Thus, in this letter, we address this by wireless sensing. Here, the accuracy of the estimation depends on the accurate estimation of the properties of the reflected signal from the MUT (e.g., number of reflections, their amplitudes and time delays).… ▽ More Estimating parameters and properties of various materials without causing damage to the material under test (MUT) is important in many applications. Thus, in this letter, we address this by wireless sensing. Here, the accuracy of the estimation depends on the accurate estimation of the properties of the reflected signal from the MUT (e.g., number of reflections, their amplitudes and time delays). For a layered MUT, there are multiple reflections and, due to the limited bandwidth at the receiver, these reflections superimpose each other. Since the number of reflections coming from the MUT is limited, we propose sparse signal processing (SSP) to decompose the reflected signal. In SSP, a so called dictionary is required to obtain a sparse representation of the signal. Here, instead of a fixed dictionary, a dictionary update technique is proposed to improve the estimation of the reflected signal. To validate the proposed method, a vector network analyzer (VNA) based measurement setup is used. It turns out that the estimated dielectric constants are in close agreement with the dielectric constants of the MUTs reported in literature. Further, the proposed approach outperforms the state-of-the-art model-based curve-fitting approach in thickness estimation. △ Less

Submitted 28 October, 2020; v1 submitted 16 June, 2020; originally announced June 2020.

Comments: 5 Pages, Accepted in IEEE Sensor Letters, Sept. 2020

A closer look at the non-Hopfianness of $BS(2,3)$

Authors: Tom Kaiser

Abstract: The Baumslag-Solitar group $BS(2,3)$, is a so-called non-Hopfian group, meaning that it has an epimorphism $φ$ onto itself, that is not injective. In particular this is equivalent to saying that $BS(2,3)$ has a non-trivial quotient that is isomorphic to itself. As a consequence the Cayley graph of $BS(2,3)$ has a quotient that is isomorphic to itself up to change of generators. We describe this qu… ▽ More The Baumslag-Solitar group $BS(2,3)$, is a so-called non-Hopfian group, meaning that it has an epimorphism $φ$ onto itself, that is not injective. In particular this is equivalent to saying that $BS(2,3)$ has a non-trivial quotient that is isomorphic to itself. As a consequence the Cayley graph of $BS(2,3)$ has a quotient that is isomorphic to itself up to change of generators. We describe this quotient on the graph-level and take a closer look at the most common epimorphism $φ$. We show its kernel is a free group of infinite rank with an explicit set of generators. Finally we show how $φ$ appears as a morphism on fundamental groups induced by some continuous map. This point of view was communicated to the author by Gilbert Levitt. △ Less

Submitted 25 May, 2020; v1 submitted 7 May, 2020; originally announced May 2020.

Comments: 12 pages, 13 figures, comments welcome

Magnitude Homology, Diagonality, Medianness, Künneth and Mayer-Vietoris

Authors: Rémi Bottinelli, Tom Kaiser

Abstract: Magnitude homology of graphs is introduced by Hepworth and Willerton in arXiv:1505.04125 . Magnitude homology of arbitrary metric spaces by Leinster and Shulman in arXiv:1711.00802v2 . We verify that the Künneth and Mayer-Vietoris formulas proved in arXiv:1505.04125 for graphs extend naturally to the metric setting. The same is done for the notion of diagonality, also originating from arXiv:1505.0… ▽ More Magnitude homology of graphs is introduced by Hepworth and Willerton in arXiv:1505.04125 . Magnitude homology of arbitrary metric spaces by Leinster and Shulman in arXiv:1711.00802v2 . We verify that the Künneth and Mayer-Vietoris formulas proved in arXiv:1505.04125 for graphs extend naturally to the metric setting. The same is done for the notion of diagonality, also originating from arXiv:1505.04125 . Stability of this notion under products, retracts, filtrations is verified, and as an application, it is shown that median spaces are diagonal; in particular, any Menger convex median space has vanishing magnitude homology. Finally, we argue for a definition of magnitude homology in the context of "betweenness spaces" and develop some of its properties. △ Less

Submitted 27 April, 2020; v1 submitted 20 March, 2020; originally announced March 2020.

Comments: Update with new "betweenness" section and some typos corrected. Comments welcome

MSC Class: 55N35

The first uniformly finite homology group with coefficients in $\mathbb{Z}$ and a characterisation of its vanishing in the transitive case

Authors: Rémi Bottinelli, Tom Kaiser

Abstract: We study the first uniformly finite homology group of Block and Weinberger for uniformly locally finite graphs, with coefficients in $\mathbb{Z}$ and $\mathbb{Z}_2$. When the graph is a tree, or coefficients are in $\mathbb{Z}_2$, a characterisation of the group is obtained. In the general case, we describe three phenomena that entail non-vanishing of the group; their disjunction is shown to also… ▽ More We study the first uniformly finite homology group of Block and Weinberger for uniformly locally finite graphs, with coefficients in $\mathbb{Z}$ and $\mathbb{Z}_2$. When the graph is a tree, or coefficients are in $\mathbb{Z}_2$, a characterisation of the group is obtained. In the general case, we describe three phenomena that entail non-vanishing of the group; their disjunction is shown to also be necessary for non-vanishing in the case of transitive graphs. △ Less

Submitted 17 January, 2020; v1 submitted 14 January, 2020; originally announced January 2020.

Comments: Comments welcome. (Some typos corrected)

The hamiltonicity of essentially 9-connected line graphs

Authors: Tomáš Kaiser, Petr Vrána

Abstract: Yang et al. proved that every 3-connected, essentially 11-connected line graph is Hamilton-connected. This was extended by Li and Yang to 3-connected, essentially 10-connected graphs. Strengthening their result further, we prove that 3-connected, essentially 9-connected line graphs are Hamilton-connected. We use a method based on quasigraphs in combination with the discharging technique. The resul… ▽ More Yang et al. proved that every 3-connected, essentially 11-connected line graph is Hamilton-connected. This was extended by Li and Yang to 3-connected, essentially 10-connected graphs. Strengthening their result further, we prove that 3-connected, essentially 9-connected line graphs are Hamilton-connected. We use a method based on quasigraphs in combination with the discharging technique. The result extends to claw-free graphs. △ Less

Submitted 31 December, 2019; originally announced January 2020.

MSC Class: 05C45

Quasigraphs and skeletal partitions

Authors: Tomáš Kaiser, Petr Vrána

Abstract: We give a new proof of the Skeletal Lemma, which is the main technical tool in our paper on Hamilton cycles in line graphs [T. Kaiser and P. Vrána, Hamilton cycles in 5-connected line graphs, European J. Combin. 33 (2012), 924-947]. It generalises results on disjoint spanning trees in graphs to the context of 3-hypergraphs. The lemma is proved in a slightly stronger version that is more suitable f… ▽ More We give a new proof of the Skeletal Lemma, which is the main technical tool in our paper on Hamilton cycles in line graphs [T. Kaiser and P. Vrána, Hamilton cycles in 5-connected line graphs, European J. Combin. 33 (2012), 924-947]. It generalises results on disjoint spanning trees in graphs to the context of 3-hypergraphs. The lemma is proved in a slightly stronger version that is more suitable for applications. The proof is simplified and formulated in a more accessible way. △ Less

Submitted 25 April, 2022; v1 submitted 31 December, 2019; originally announced January 2020.

MSC Class: 05C40

Edge-critical subgraphs of Schrijver graphs

Authors: Tomáš Kaiser, Matěj Stehlík

Abstract: For $k\geq 1$ and $n\geq 2k$, the Kneser graph $KG(n,k)$ has all $k$-element subsets of an $n$-element set as vertices; two such subsets are adjacent if they are disjoint. It was first proved by Lovász that the chromatic number of $KG(n,k)$ is $n-2k+2$. Schrijver constructed a vertex-critical subgraph $SG(n,k)$ of $KG(n,k)$ with the same chromatic number. For the stronger notion of criticality def… ▽ More For $k\geq 1$ and $n\geq 2k$, the Kneser graph $KG(n,k)$ has all $k$-element subsets of an $n$-element set as vertices; two such subsets are adjacent if they are disjoint. It was first proved by Lovász that the chromatic number of $KG(n,k)$ is $n-2k+2$. Schrijver constructed a vertex-critical subgraph $SG(n,k)$ of $KG(n,k)$ with the same chromatic number. For the stronger notion of criticality defined in terms of removing edges, however, no analogous construction is known except in trivial cases. We provide such a construction for $k=2$ and arbitrary $n\geq 4$ by means of a nice explicit combinatorial definition. △ Less

Submitted 17 October, 2019; originally announced October 2019.

MSC Class: 05C15

Journal ref: Journal of Combinatorial Theory, Series B 144: 191-196, 2020

Equivalence of reflection paths of light and Feynman paths in stacked metasurfaces

Authors: Jan Sperrhake, Matthias Falkner, Stefan Fasold, Thomas Kaiser, Thomas Pertsch

Abstract: We show the existence of virtual polarization states during the interaction of modes in metasurface stacks. In support of our findings we experimentally realize a metasurface stack, consisting of an isotropic layer of nano-patches and an anisotropic layer of nano-wires. Utilizing an analogy to the interaction of electrons at junctions in mesoscopic electron transport via Feynman paths, we present… ▽ More We show the existence of virtual polarization states during the interaction of modes in metasurface stacks. In support of our findings we experimentally realize a metasurface stack, consisting of an isotropic layer of nano-patches and an anisotropic layer of nano-wires. Utilizing an analogy to the interaction of electrons at junctions in mesoscopic electron transport via Feynman paths, we present a semi-analytical description of the modal interaction inside this stack. We then derive a series of all possible reflection paths light can take inside the metasurface stack. △ Less

Submitted 16 February, 2022; v1 submitted 25 September, 2019; originally announced September 2019.

Comments: 7 pages, 5 figures

Journal ref: Phys. Rev. B 102, 245108 (2020)

On exact controllability of infinite-dimensional linear port-Hamiltonian systems

Authors: Birgit Jacob, Julia T. Kaiser

Abstract: Infinite-dimensional linear port-Hamiltonian systems on a one-dimensional spatial domain with full boundary control and without internal dam** are studied. This class of systems includes models of beams and waves as well as the transport equation and networks of nonhomogeneous transmission lines. The main result shows that well-posed port-Hamiltonian systems, with state space… ▽ More Infinite-dimensional linear port-Hamiltonian systems on a one-dimensional spatial domain with full boundary control and without internal dam** are studied. This class of systems includes models of beams and waves as well as the transport equation and networks of nonhomogeneous transmission lines. The main result shows that well-posed port-Hamiltonian systems, with state space $L^2((0,1);\mathbb C^n)$ and input space $\mathbb C^n$, are exactly controllable. △ Less

Submitted 15 May, 2019; v1 submitted 9 March, 2019; originally announced March 2019.

MSC Class: 93C20; 93B05; 35L40; 93B52

Journal ref: IEEE Control Systems Letters 2019

Engineered Self-Organization for Resilient Robot Self-Assembly with Minimal Surprise

Authors: Tanja Katharina Kaiser, Heiko Hamann

Abstract: In collective robotic systems, the automatic generation of controllers for complex tasks is still a challenging problem. Open-ended evolution of complex robot behaviors can be a possible solution whereby an intrinsic driver for pattern formation and self-organization may prove to be important. We implement such a driver in collective robot systems by evolving prediction networks as world models in… ▽ More In collective robotic systems, the automatic generation of controllers for complex tasks is still a challenging problem. Open-ended evolution of complex robot behaviors can be a possible solution whereby an intrinsic driver for pattern formation and self-organization may prove to be important. We implement such a driver in collective robot systems by evolving prediction networks as world models in pair with action-selection networks. Fitness is given for good predictions which causes a bias towards easily predictable environments and behaviors in the form of emergent patterns, that is, environments of minimal surprise. There is no task-dependent bias or any other explicit predetermination for the different qualities of the emerging patterns. A careful configuration of actions, sensor models, and the environment is required to stimulate the emergence of complex behaviors. We study self-assembly to increase the scenario's complexity for our minimal surprise approach and, at the same time, limit the complexity of our simulations to a grid world to manage the feasibility of this approach. We investigate the impact of different swarm densities and the shape of the environment on the emergent patterns. Furthermore, we study how evolution can be biased towards the emergence of desired patterns. We analyze the resilience of the resulting self-assembly behaviors by causing damages to the assembled pattern and observe the self-organized reassembly of the structure. In summary, we evolved swarm behaviors for resilient self-assembly and successfully engineered self-organization in simulation. In future work, we plan to transfer our approach to a swarm of real robots. △ Less

Submitted 11 October, 2019; v1 submitted 14 February, 2019; originally announced February 2019.

Ilyashenko algebras based on transserial asymptotic expansions

Authors: Zeinab Galal, Tobias Kaiser, Patrick Speissegger

Abstract: We construct a Hardy field that contains Ilyashenko's class of germs at infinity of almost regular functions as well as all log-exp-analytic germs. In addition, each germ in this Hardy field is uniquely characterized by an asymptotic expansion that is an LE-series as defined by van den Dries et al. As these series generally have support of order type larger than that of the set of natural numbers,… ▽ More We construct a Hardy field that contains Ilyashenko's class of germs at infinity of almost regular functions as well as all log-exp-analytic germs. In addition, each germ in this Hardy field is uniquely characterized by an asymptotic expansion that is an LE-series as defined by van den Dries et al. As these series generally have support of order type larger than that of the set of natural numbers, the notion of asymptotic expansion itself needs to be generalized. △ Less

Submitted 8 January, 2019; v1 submitted 5 June, 2018; originally announced June 2018.

Comments: 67 pages, updated introduction

MSC Class: Primary 26A12; 41A60; 30E15; Secondary 37E35; 03C99

Logarithms, constructible functions and integration on non-archimedean models of the theory of the real field with restricted analytic functions with value group of finite archimedean rank

Authors: Tobias Kaiser

Abstract: Given a model of the theory of the real field with restricted analytic functions such that its value group has finite archimedean rank we show how one can extend the restricted logarithm to a global logarithm with values in the polynomial ring over the model with dimension the archimedean rank. The logarithms are determined by algebraic data from the model, namely by a section of the model and by… ▽ More Given a model of the theory of the real field with restricted analytic functions such that its value group has finite archimedean rank we show how one can extend the restricted logarithm to a global logarithm with values in the polynomial ring over the model with dimension the archimedean rank. The logarithms are determined by algebraic data from the model, namely by a section of the model and by an embedding of the value group into its Hahn group. If the archimedean rank of the value group coincides with the rational rank the logarithms are equivalent. We illustrate how one can embed such a logarithm into a model of the real field with restricted analytic functions and exponentiation. This allows us to define constructible functions with good lifting properties. As an application we establish a Lebesgue measure and integration theory with values in the polynomial ring, extending and strengthening the construction in [T. Kaiser: Lebesgue measure and integration theory on non-archimedean real closed fields with archimedean value group. Proc. Lond. Math. Soc. 116 (2018), no. 2, 209-247.]. △ Less

Submitted 27 April, 2021; v1 submitted 1 March, 2018; originally announced March 2018.

Comments: Final version; to appear at Fundamenta Mathematicae

MSC Class: 03C64; 03H05; 06F20; 12J25; 26E30; 28B15; 28E05; 32B20

Combinatorial cost: a coarse setting

Authors: Tom Kaiser

Abstract: The main inspiration for this paper is a paper by Elek where he introduces combinatorial cost for graph sequences. We show that having cost equal to 1 and hyperfiniteness are coarse invariants. We also show `cost-1' for box spaces behaves multiplicatively when taking subgroups. We show that graph sequences coming from Farber sequences of a group have property A if and only if the group is amenable… ▽ More The main inspiration for this paper is a paper by Elek where he introduces combinatorial cost for graph sequences. We show that having cost equal to 1 and hyperfiniteness are coarse invariants. We also show `cost-1' for box spaces behaves multiplicatively when taking subgroups. We show that graph sequences coming from Farber sequences of a group have property A if and only if the group is amenable. The same is true for hyperfiniteness. This generalises a theorem by Elek. Furthermore we optimise this result when Farber sequences are replaced by sofic approximations. In doing so we introduce a new concept: property almost-A. △ Less

Submitted 14 December, 2017; v1 submitted 1 November, 2017; originally announced November 2017.

Comments: 20 pages. Comments welcome

Asymptotics of parameterized exponential integrals given by Brownian motion on globally subanalytic sets

Authors: Tobias Kaiser, Julia Ruppert

Abstract: We consider parameterized exponential integrals coming from the time evolution of the probability distribution of Brownian motion on globally subanalytic sets. We establish definability results and asymptotic expansions. We consider parameterized exponential integrals coming from the time evolution of the probability distribution of Brownian motion on globally subanalytic sets. We establish definability results and asymptotic expansions. △ Less

Submitted 19 October, 2017; originally announced October 2017.

Comments: Classical Analysis, Complex Variables, Logic

MSC Class: 03C64; 26A42; 26A12; 32B20; 41A60; 60G15

The Reidemeister spectra of low dimensional crystallographic groups

Authors: Karel Dekimpe, Tom Kaiser, Sam Tertooy

Abstract: In this paper we study the number of twisted conjugacy classes (the Reidemeister number) for automorphisms of crystallographic groups. We present two main algorithms for crystallographic groups whose holonomy group has finite normaliser in $\operatorname{GL}_n(\mathbb{Z})$. The first algorithm calculates whether a group has the $R_\infty$-property; the second calculates the Reidemeister spectrum.… ▽ More In this paper we study the number of twisted conjugacy classes (the Reidemeister number) for automorphisms of crystallographic groups. We present two main algorithms for crystallographic groups whose holonomy group has finite normaliser in $\operatorname{GL}_n(\mathbb{Z})$. The first algorithm calculates whether a group has the $R_\infty$-property; the second calculates the Reidemeister spectrum. We apply these algorithms to crystallographic groups up to dimension $6$. △ Less

Submitted 21 October, 2021; v1 submitted 22 September, 2017; originally announced September 2017.

Comments: 19 pages

MSC Class: 20H15

Journal ref: Journal of Algebra 533 (2019), pp. 353-375

Well-posedness of networks for 1-D hyperbolic partial differential equations

Authors: Birgit Jacob, Julia T. Kaiser

Abstract: We consider the well-posedness of a class of hyperbolic partial differential equations on a one dimensional spatial domain. This class includes in particular infinite-dimensional networks of transport, wave and beam equations, or even combinations of these. Equivalent conditions for contraction semigroup generation are derived. In the first part we assume a finite interval and in the second part,… ▽ More We consider the well-posedness of a class of hyperbolic partial differential equations on a one dimensional spatial domain. This class includes in particular infinite-dimensional networks of transport, wave and beam equations, or even combinations of these. Equivalent conditions for contraction semigroup generation are derived. In the first part we assume a finite interval and in the second part, we consider partial differential equations on the semi-axis. △ Less

Submitted 14 November, 2018; v1 submitted 1 September, 2017; originally announced September 2017.

MSC Class: 47D06; 35L40; 35L25; 37K99

Analytic continuations of log-exp-analytic germs

Authors: Tobias Kaiser, Patrick Speissegger

Abstract: We describe maximal, in a sense made precise, analytic continuations of germs at infinity of unary functions definable in the o-minimal structure R_an,exp on the Riemann surface of the logarithm. As one application, we give an upper bound on the logarithmic-exponential complexity of the compositional inverse of an infinitely increasing such germ, in terms of its own logarithmic-exponential complex… ▽ More We describe maximal, in a sense made precise, analytic continuations of germs at infinity of unary functions definable in the o-minimal structure R_an,exp on the Riemann surface of the logarithm. As one application, we give an upper bound on the logarithmic-exponential complexity of the compositional inverse of an infinitely increasing such germ, in terms of its own logarithmic-exponential complexity and its level. As a second application, we strengthen Wilkie's theorem on definable complex analytic continuations of germs belonging to the residue field of the valuation ring of all polynomially bounded definable germs. △ Less

Submitted 19 October, 2018; v1 submitted 15 August, 2017; originally announced August 2017.

Comments: 54 pages. Final version accepted for publication in Trans. Amer. Math. Soc. One example added before Corollary 7.6, and various typos corrected

MSC Class: 03C99; 30H99

Shorter signed circuit covers of graphs

Authors: Tomáš Kaiser, Robert Lukot'ka, Edita Máčajová, Edita Rollová

Abstract: A signed circuit is a minimal signed graph (with respect to inclusion) that admits a nowhere-zero flow. We show that each flow-admissible signed graph on $m$ edges can be covered by signed circuits of total length at most $(3+2/3)\cdot m$, improving a recent result of Cheng et al. [manuscript, 2015]. To obtain this improvement we prove several results on signed circuit covers of trees of Eulerian… ▽ More A signed circuit is a minimal signed graph (with respect to inclusion) that admits a nowhere-zero flow. We show that each flow-admissible signed graph on $m$ edges can be covered by signed circuits of total length at most $(3+2/3)\cdot m$, improving a recent result of Cheng et al. [manuscript, 2015]. To obtain this improvement we prove several results on signed circuit covers of trees of Eulerian graphs, which are connected signed graphs such that removing all bridges results in a collection of Eulerian graphs. △ Less

Submitted 12 June, 2017; originally announced June 2017.

Comments: 18 pages, 5 figures

Decomposing planar cubic graphs

Authors: Arthur Hoffmann-Ostenhof, Tomáš Kaiser, Kenta Ozeki

Abstract: The 3-Decomposition Conjecture states that every connected cubic graph can be decomposed into a spanning tree, a 2-regular subgraph and a matching. We show that this conjecture holds for the class of connected plane cubic graphs. The 3-Decomposition Conjecture states that every connected cubic graph can be decomposed into a spanning tree, a 2-regular subgraph and a matching. We show that this conjecture holds for the class of connected plane cubic graphs. △ Less

Submitted 27 October, 2017; v1 submitted 16 September, 2016; originally announced September 2016.

MSC Class: 05C70; 05C10