Showing 51–89 of 89 results for author: Kaiser, T

Nowhere-zero flows in signed graphs: A survey

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

Abstract: We survey known results related to nowhere-zero flows and related topics, such as circuit covers and the structure of circuits of signed graphs. We include an overview of several different definitions of signed graph colouring. We survey known results related to nowhere-zero flows and related topics, such as circuit covers and the structure of circuits of signed graphs. We include an overview of several different definitions of signed graph colouring. △ Less

Submitted 24 August, 2016; originally announced August 2016.

MSC Class: 05C22; 05C21

Piecewise Weierstrass preparation and division for o-minimal holomorphic functions

Authors: Tobias Kaiser

Abstract: Given an o-minimal structure expanding the field of reals, we show a piecewise Weierstrass preparation theorem and a piecewise Weierstrass division theorem for definable holomorphic functions. In the semialgebraic setting and for the structure of globally subanalytic sets and functions we obtain the corresponding results for definable real analytic functions. As an application we show a definable… ▽ More Given an o-minimal structure expanding the field of reals, we show a piecewise Weierstrass preparation theorem and a piecewise Weierstrass division theorem for definable holomorphic functions. In the semialgebraic setting and for the structure of globally subanalytic sets and functions we obtain the corresponding results for definable real analytic functions. As an application we show a definable global Nullstellensatz for principal ideals. △ Less

Submitted 12 October, 2016; v1 submitted 8 June, 2016; originally announced June 2016.

Comments: Final version; to appear at Proceedings of the American Mathematical Society

MSC Class: 03C64; 32B05; 32B20; 32C07

Schrijver graphs and projective quadrangulations

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

Abstract: In a recent paper [J. Combin. Theory Ser. B}, 113 (2015), pp. 1-17], the authors have extended the concept of quadrangulation of a surface to higher dimension, and showed that every quadrangulation of the $n$-dimensional projective space $P^n$ is at least $(n+2)$-chromatic, unless it is bipartite. They conjectured that for any integers $k\geq 1$ and $n\geq 2k+1$, the Schrijver graph $SG(n,k)$ cont… ▽ More In a recent paper [J. Combin. Theory Ser. B}, 113 (2015), pp. 1-17], the authors have extended the concept of quadrangulation of a surface to higher dimension, and showed that every quadrangulation of the $n$-dimensional projective space $P^n$ is at least $(n+2)$-chromatic, unless it is bipartite. They conjectured that for any integers $k\geq 1$ and $n\geq 2k+1$, the Schrijver graph $SG(n,k)$ contains a spanning subgraph which is a quadrangulation of $P^{n-2k}$. The purpose of this paper is to prove the conjecture. △ Less

Submitted 6 April, 2016; originally announced April 2016.

MSC Class: 05C62; 05C15

Journal ref: The final version of this paper was published in the collection of papers "A Journey through Discrete Mathematics: A Tribute to Jiří Matoušek" (M. Loebl, J. Nešetřil and R. Thomas, eds.), Springer, 2017, pp. 505-526

Asymptotic behaviour of the Riemann map** function at analytic cusps

Authors: Tobias Kaiser, Sabrina Lehner

Abstract: We completely describe the asymptotic behaviour of the Riemann map** function and its derivatives at an analytic cusp. We achieve the same for the inverse of the map** function. We completely describe the asymptotic behaviour of the Riemann map** function and its derivatives at an analytic cusp. We achieve the same for the inverse of the map** function. △ Less

Submitted 12 April, 2016; v1 submitted 9 March, 2016; originally announced March 2016.

Comments: Final version; to appear at Annales Academiae Scientiarum Fennicae Mathematica

MSC Class: 30C20; 30E15

Treelike snarks

Authors: Marién Abreu, Tomas Kaiser, Domenico Labbate, Giuseppe Mazzuoccolo

Abstract: We study snarks whose edges cannot be covered by fewer than five perfect matchings. Esperet and Mazzuoccolo found an infinite family of such snarks, generalising an example provided by Hagglund. We construct another infinite family, arising from a generalisation in a different direction. The proof that this family has the requested property is computer-assisted. In addition, we prove that the snar… ▽ More We study snarks whose edges cannot be covered by fewer than five perfect matchings. Esperet and Mazzuoccolo found an infinite family of such snarks, generalising an example provided by Hagglund. We construct another infinite family, arising from a generalisation in a different direction. The proof that this family has the requested property is computer-assisted. In addition, we prove that the snarks from this family (we call them treelike snarks) have circular flow number five and admit a 5-cycle double cover. △ Less

Submitted 5 January, 2016; originally announced January 2016.

Comments: 19 pages, 19 figures

Characterization of a circular optical nanoantenna by nonlinear photoemission electron microscopy

Authors: Thomas Kaiser, Matthias Falkner, **g Qi, Angela Klein, Michael Steinert, Christoph Menzel, Carsten Rockstuhl, Thomas Pertsch

Abstract: We report on the investigation of an advanced circular plasmonic nanoantenna under ultrafast excitation using nonlinear photoemission electron microscopy (PEEM) under near-normal incidence. The circular nanoantenna is enhanced in its performance by a supporting grating and milled out from a gold film. The considered antenna shows a sophisticated physical resonance behavior that is ideal to demonst… ▽ More We report on the investigation of an advanced circular plasmonic nanoantenna under ultrafast excitation using nonlinear photoemission electron microscopy (PEEM) under near-normal incidence. The circular nanoantenna is enhanced in its performance by a supporting grating and milled out from a gold film. The considered antenna shows a sophisticated physical resonance behavior that is ideal to demonstrate the possibilities of PEEM for the experimental investigations of plasmonic effects on the nanoscale. Field profiles of the antenna resonance for both possible linear polarizations of the incident field are measured with high spatial resolution. In addition, outward propagating Hankel plasmons, which are also excited by the structure, are measured and analyzed. We compare our findings to measurements of an isolated plasmonic nanodisc resonator and scanning near-field optical microscopy (SNOM) measurements of both structures. All results are in very good agreement with numerical simulations as well as analytial models that are also discussed in our paper. △ Less

Submitted 14 August, 2015; originally announced August 2015.

Journal ref: Applied Physics B 122, p. 53, (2016)

10-tough chordal graphs are Hamiltonian

Authors: Adam Kabela, Tomáš Kaiser

Abstract: Chen et al. proved that every 18-tough chordal graph has a Hamilton cycle [Networks 31 (1998), 29-38]. Improving upon their bound, we show that every 10-tough chordal graph is Hamiltonian (in fact, Hamilton-connected). We use Aharoni and Haxell's hypergraph extension of Hall's Theorem as our main tool. Chen et al. proved that every 18-tough chordal graph has a Hamilton cycle [Networks 31 (1998), 29-38]. Improving upon their bound, we show that every 10-tough chordal graph is Hamiltonian (in fact, Hamilton-connected). We use Aharoni and Haxell's hypergraph extension of Hall's Theorem as our main tool. △ Less

Submitted 3 July, 2016; v1 submitted 11 August, 2015; originally announced August 2015.

MSC Class: 05C45; 05C42

Weak regularity and finitely forcible graph limits

Authors: Jacob W. Cooper, Tomas Kaiser, Daniel Kral, Jonathan A. Noel

Abstract: Graphons are analytic objects representing limits of convergent sequences of graphs. Lovász and Szegedy conjectured that every finitely forcible graphon, i.e. any graphon determined by finitely many graph densities, has a simple structure. In particular, one of their conjectures would imply that every finitely forcible graphon has a weak $\varepsilon$-regular partition with the number of parts bou… ▽ More Graphons are analytic objects representing limits of convergent sequences of graphs. Lovász and Szegedy conjectured that every finitely forcible graphon, i.e. any graphon determined by finitely many graph densities, has a simple structure. In particular, one of their conjectures would imply that every finitely forcible graphon has a weak $\varepsilon$-regular partition with the number of parts bounded by a polynomial in $\varepsilon^{-1}$. We construct a finitely forcible graphon $W$ such that the number of parts in any weak $\varepsilon$-regular partition of $W$ is at least exponential in $\varepsilon^{-2}/2^{5\log^*\varepsilon^{-2}}$. This bound almost matches the known upper bound for graphs and, in a certain sense, is the best possible for graphons. △ Less

Submitted 26 August, 2016; v1 submitted 30 June, 2015; originally announced July 2015.

Planar graphs have two-coloring number at most 8

Authors: Zdeněk Dvořák, Adam Kabela, Tomáš Kaiser

Abstract: We prove that the two-colouring number of any planar graph is at most 8. This resolves a question of Kierstead et al. [SIAM J. Discrete Math.~23 (2009), 1548--1560]. The result is optimal. We prove that the two-colouring number of any planar graph is at most 8. This resolves a question of Kierstead et al. [SIAM J. Discrete Math.~23 (2009), 1548--1560]. The result is optimal. △ Less

Submitted 21 June, 2018; v1 submitted 3 June, 2015; originally announced June 2015.

MSC Class: 05C15; 05C10 ACM Class: G.2.2

Journal ref: J. Combin. Theory Ser. B 130 (2018), 144-157

First order limits of sparse graphs: Plane trees and path-width

Authors: Jakub Gajarsky, Petr Hlineny, Tomas Kaiser, Daniel Kral, Martin Kupec, Jan Obdrzalek, Sebastian Ordyniak, Vojtech Tuma

Abstract: Nesetril and Ossona de Mendez introduced the notion of first order convergence as an attempt to unify the notions of convergence for sparse and dense graphs. It is known that there exist first order convergent sequences of graphs with no limit modeling (an analytic representation of the limit). On the positive side, every first order convergent sequence of trees or graphs with no long path (graphs… ▽ More Nesetril and Ossona de Mendez introduced the notion of first order convergence as an attempt to unify the notions of convergence for sparse and dense graphs. It is known that there exist first order convergent sequences of graphs with no limit modeling (an analytic representation of the limit). On the positive side, every first order convergent sequence of trees or graphs with no long path (graphs with bounded tree-depth) has a limit modeling. We strengthen these results by showing that every first order convergent sequence of plane trees (trees with embeddings in the plane) and every first order convergent sequence of graphs with bounded path-width has a limit modeling. △ Less

Submitted 31 March, 2016; v1 submitted 30 April, 2015; originally announced April 2015.

$R$-analytic functions

Authors: Tobias Kaiser

Abstract: We introduce the notion of $R$-analytic functions. These are definable in an o-minimal expansion of a real closed field $R$ and are locally the restriction of a $K$-differentiable function (defined by Peterzil and Starchenko) where $K=R[\sqrt{-1}]$ is the algebraic closure of $R$. The class of these functions in this general setting exhibits the nice properties of real analytic functions. We also… ▽ More We introduce the notion of $R$-analytic functions. These are definable in an o-minimal expansion of a real closed field $R$ and are locally the restriction of a $K$-differentiable function (defined by Peterzil and Starchenko) where $K=R[\sqrt{-1}]$ is the algebraic closure of $R$. The class of these functions in this general setting exhibits the nice properties of real analytic functions. We also define strongly $R$-analytic functions. These are globally the restriction of a $K$-differentiable function. We show that in arbitrary models of important o-minimal theories strongly $R$-analytic functions abound and that the concept of analytic cell decomposition can be transferred to non-standard models. △ Less

Submitted 4 April, 2016; v1 submitted 23 February, 2015; originally announced February 2015.

Comments: Final version; to appear at Archive for Mathematical Logic

MSC Class: 03C64; 14P20; 26E05; 32B05; 32B20

Nowhere-zero flows in signed series-parallel graphs

Authors: Tomáš Kaiser, Edita Rollová

Abstract: Bouchet conjectured in 1983 that each signed graph that admits a nowhere-zero flow has a nowhere-zero 6-flow. We prove that the conjecture is true for all signed series-parallel graphs. Unlike the unsigned case, the restriction to series-parallel graphs is nontrivial; in fact, the result is tight for infinitely many graphs. Bouchet conjectured in 1983 that each signed graph that admits a nowhere-zero flow has a nowhere-zero 6-flow. We prove that the conjecture is true for all signed series-parallel graphs. Unlike the unsigned case, the restriction to series-parallel graphs is nontrivial; in fact, the result is tight for infinitely many graphs. △ Less

Submitted 6 November, 2014; originally announced November 2014.

MSC Class: 05C21

10-Gabriel graphs are Hamiltonian

Authors: Tomáš Kaiser, Maria Saumell, Nico Van Cleemput

Abstract: Given a set $S$ of points in the plane, the $k$-Gabriel graph of $S$ is the geometric graph with vertex set $S$, where $p_i,p_j\in S$ are connected by an edge if and only if the closed disk having segment $\bar{p_ip_j}$ as diameter contains at most $k$ points of $S \setminus \{p_i,p_j\}$. We consider the following question: What is the minimum value of $k$ such that the $k$-Gabriel graph of every… ▽ More Given a set $S$ of points in the plane, the $k$-Gabriel graph of $S$ is the geometric graph with vertex set $S$, where $p_i,p_j\in S$ are connected by an edge if and only if the closed disk having segment $\bar{p_ip_j}$ as diameter contains at most $k$ points of $S \setminus \{p_i,p_j\}$. We consider the following question: What is the minimum value of $k$ such that the $k$-Gabriel graph of every point set $S$ contains a Hamiltonian cycle? For this value, we give an upper bound of 10 and a lower bound of 2. The best previously known values were 15 and 1, respectively. △ Less

Submitted 6 June, 2015; v1 submitted 1 October, 2014; originally announced October 2014.

Lebesgue measure theory and integration theory on non-archimedean real closed fields with archimedean value group

Authors: Tobias Kaiser

Abstract: Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results from the classical setting hold. The construction involves methods from model theory, o-minimal geometry and valuation theory. We set up the construction in such a… ▽ More Given a non-archimedean real closed field with archimedean value group which contains the reals, we establish for the category of semialgebraic sets and functions a full Lebesgue measure and integration theory such that the main results from the classical setting hold. The construction involves methods from model theory, o-minimal geometry and valuation theory. We set up the construction in such a way that it is determined by a section of the valuation. If the value group is isomorphic to the group of rational numbers the construction is uniquely determined up to isomorphism. The range of the measure and integration is obtained in a controled and tame way from the real closed field we start with. The main example is given by the case of the field of Puiseux series where the range is the polynomial ring in one variable over this field. △ Less

Submitted 8 August, 2017; v1 submitted 8 September, 2014; originally announced September 2014.

Comments: Final version; to appear at the Proceedings of the London Mathematical Society

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

Fractional covers and matchings in families of weighted $d$-intervals

Authors: Ron Aharoni, Tomas Kaiser, Shira Zerbib

Abstract: A $d$-{\em interval} is a union of at most $d$ disjoint closed intervals on a fixed line. Tardos [Combinatorica 15 (1995), 123-134] and the second author [Disc. Comput. Geom. 18 (1997), 195-203] used topological tools to bound the transversal number $τ$ of a family $H$ of $d$-intervals in terms of $d$ and the matching number $ν$ of $H$. We investigate the weighted and fractional versions of this p… ▽ More A $d$-{\em interval} is a union of at most $d$ disjoint closed intervals on a fixed line. Tardos [Combinatorica 15 (1995), 123-134] and the second author [Disc. Comput. Geom. 18 (1997), 195-203] used topological tools to bound the transversal number $τ$ of a family $H$ of $d$-intervals in terms of $d$ and the matching number $ν$ of $H$. We investigate the weighted and fractional versions of this problem and prove upper bounds that are tight up to constant factors. We apply both the topological method and an approach of Alon [Disc. Comput. Geom. 19 (1998), 333-334]. For the use of the latter, we prove a weighted version of Turán's theorem. We also provide a proof of the second author's upper bound that is more direct than the original proof. △ Less

Submitted 2 March, 2014; v1 submitted 10 February, 2014; originally announced February 2014.

Colouring quadrangulations of projective spaces

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

Abstract: A graph embedded in a surface with all faces of size 4 is known as a quadrangulation. We extend the definition of quadrangulation to higher dimensions, and prove that any graph G which embeds as a quadrangulation in the real projective space P^n has chromatic number n+2 or higher, unless G is bipartite. For n=2 this was proved by Youngs [J. Graph Theory 21 (1996), 219-227]. The family of quadrangu… ▽ More A graph embedded in a surface with all faces of size 4 is known as a quadrangulation. We extend the definition of quadrangulation to higher dimensions, and prove that any graph G which embeds as a quadrangulation in the real projective space P^n has chromatic number n+2 or higher, unless G is bipartite. For n=2 this was proved by Youngs [J. Graph Theory 21 (1996), 219-227]. The family of quadrangulations of projective spaces includes all complete graphs, all Mycielski graphs, and certain graphs homomorphic to Schrijver graphs. As a corollary, we obtain a new proof of the Lovasz-Kneser theorem. △ Less

Submitted 7 November, 2014; v1 submitted 22 October, 2013; originally announced October 2013.

MSC Class: 05C15; 55U10

Journal ref: Journal of Combinatorial Theory, Series B 113: 1-17, 2015

TDOA assisted RSSD based localization using UWB and directional antennas

Authors: Waldemar Gerok, Jürgen Peissig, Thomas Kaiser

Abstract: This paper studies the use of directional antennas for received signal strength difference (RSSD) based localization using ultra-wideband and demonstrates the achievable accuracy with this localization method applied to UWB. As introduced in our previous work the RSSD localization is assisted with one Time Difference of Arrival (TDOA) estimation. The use of directional receiving antennas and an om… ▽ More This paper studies the use of directional antennas for received signal strength difference (RSSD) based localization using ultra-wideband and demonstrates the achievable accuracy with this localization method applied to UWB. As introduced in our previous work the RSSD localization is assisted with one Time Difference of Arrival (TDOA) estimation. The use of directional receiving antennas and an omni-directional transmitting antenna is assumed. Localization is performed in 2D. Two localization approaches are considered: RSSD using statistical channel model and fingerprinting approach. In the case of statistical channel model simulations are performed using Matlab. In the case of fingerprinting approach localization is done based on real indoor-measurements. △ Less

Submitted 8 July, 2013; originally announced July 2013.

Impedance generalization for plasmonic waveguides beyond the lumped circuit model

Authors: Thomas Kaiser, Shakeeb Bin Hasan, Thomas Paul, Thomas Pertsch, Carsten Rockstuhl

Abstract: We analytically derive a rigorous expression for the relative impedance ratio between two photonic structures based on their electromagnetic interaction. Our approach generalizes the physical meaning of the impedance to a measure for the reciprocity-based overlap of eigenmodes. The consistence with known cases in the radiofrequency and optical domain is shown. The analysis reveals where the applic… ▽ More We analytically derive a rigorous expression for the relative impedance ratio between two photonic structures based on their electromagnetic interaction. Our approach generalizes the physical meaning of the impedance to a measure for the reciprocity-based overlap of eigenmodes. The consistence with known cases in the radiofrequency and optical domain is shown. The analysis reveals where the applicability of simple circuit parameters ends and how the impedance can be interpreted beyond this point. We illustrate our approach by successfully describing a Bragg reflector that terminates an insulator-metal-insulator plasmonic waveguide in the near-infrared by our mpedance concept. △ Less

Submitted 17 July, 2013; v1 submitted 14 May, 2013; originally announced May 2013.

Journal ref: Physical Review B 88, 035117 (2013)

Replication in critical graphs and the persistence of monomial ideals

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

Abstract: Motivated by questions about square-free monomial ideals in polynomial rings, in 2010 Francisco et al. conjectured that for every positive integer k and every k-critical (i.e., critically k-chromatic) graph, there is a set of vertices whose replication produces a (k+1)-critical graph. (The replication of a set W of vertices of a graph is the operation that adds a copy of each vertex w in W, one at… ▽ More Motivated by questions about square-free monomial ideals in polynomial rings, in 2010 Francisco et al. conjectured that for every positive integer k and every k-critical (i.e., critically k-chromatic) graph, there is a set of vertices whose replication produces a (k+1)-critical graph. (The replication of a set W of vertices of a graph is the operation that adds a copy of each vertex w in W, one at a time, and connects it to w and all its neighbours.) We disprove the conjecture by providing an infinite family of counterexamples. Furthermore, the smallest member of the family answers a question of Herzog and Hibi concerning the depth functions of square-free monomial ideals in polynomial rings, and a related question on the persistence property of such ideals. △ Less

Submitted 9 December, 2013; v1 submitted 29 January, 2013; originally announced January 2013.

MSC Class: 05C15

Journal ref: Journal of Combinatorial Theory, Series A 123(1): 239-251, 2014

Linear-Time Algorithms for Scattering Number and Hamilton-Connectivity of Interval Graphs

Authors: Hajo Broersma, Jiří Fiala, Petr A. Golovach, Tomáš Kaiser, Daniël Paulusma, Andrzej Proskurowski

Abstract: Hung and Chang showed that for all k>=1 an interval graph has a path cover of size at most k if and only if its scattering number is at most k. They also showed that an interval graph has a Hamilton cycle if and only if its scattering number is at most 0. We complete this characterization by proving that for all k<=-1 an interval graph is -(k+1)-Hamilton-connected if and only if its scattering num… ▽ More Hung and Chang showed that for all k>=1 an interval graph has a path cover of size at most k if and only if its scattering number is at most k. They also showed that an interval graph has a Hamilton cycle if and only if its scattering number is at most 0. We complete this characterization by proving that for all k<=-1 an interval graph is -(k+1)-Hamilton-connected if and only if its scattering number is at most k. We also give an O(m+n) time algorithm for computing the scattering number of an interval graph with n vertices an m edges, which improves the O(n^4) time bound of Kratsch, Kloks and Müller. As a consequence of our two results the maximum k for which an interval graph is k-Hamilton-connected can be computed in O(m+n) time. △ Less

Submitted 24 January, 2013; originally announced January 2013.

Star subdivisions and connected even factors in the square of a graph

Authors: Jan Ekstein, Přemysl Holub, Tomáš Kaiser, Liming Xiong, Shenggui Zhang

Abstract: For any positive integer $s$, a $[2,2s]$-factor in a graph $G$ is a connected even factor with maximum degree at most $2s$. We prove that if every induced $S(K_{1, 2s+1})$ in a graph $G$ has at least 3 edges in a block of degree at most two, then $G^2$ has a $[2,2s]$-factor. This extends the results of Hendry and Vogler and of Abderrezzak et al. For any positive integer $s$, a $[2,2s]$-factor in a graph $G$ is a connected even factor with maximum degree at most $2s$. We prove that if every induced $S(K_{1, 2s+1})$ in a graph $G$ has at least 3 edges in a block of degree at most two, then $G^2$ has a $[2,2s]$-factor. This extends the results of Hendry and Vogler and of Abderrezzak et al. △ Less

Submitted 21 June, 2012; originally announced June 2012.

Comments: 10 pages

MSC Class: 05C70; 05C75; 05C76

The distance-t chromatic index of graphs

Authors: Tomáš Kaiser, Ross J. Kang

Abstract: We consider two graph colouring problems in which edges at distance at most $t$ are given distinct colours, for some fixed positive integer $t$. We obtain two upper bounds for the distance-$t$ chromatic index, the least number of colours necessary for such a colouring. One is a bound of $(2-\eps)Δ^t$ for graphs of maximum degree at most $Δ$, where $\eps$ is some absolute positive constant independ… ▽ More We consider two graph colouring problems in which edges at distance at most $t$ are given distinct colours, for some fixed positive integer $t$. We obtain two upper bounds for the distance-$t$ chromatic index, the least number of colours necessary for such a colouring. One is a bound of $(2-\eps)Δ^t$ for graphs of maximum degree at most $Δ$, where $\eps$ is some absolute positive constant independent of $t$. The other is a bound of $O(Δ^t/\log Δ)$ (as $Δ\to\infty$) for graphs of maximum degree at most $Δ$ and girth at least $2t+1$. The first bound is an analogue of Molloy and Reed's bound on the strong chromatic index. The second bound is tight up to a constant multiplicative factor, as certified by a class of graphs of girth at least $g$, for every fixed $g \ge 3$, of arbitrarily large maximum degree $Δ$, with distance-$t$ chromatic index at least $Ω(Δ^t/\log Δ)$. △ Less

Submitted 3 September, 2013; v1 submitted 18 May, 2012; originally announced May 2012.

Comments: 14 pages, 2 figures; to appear in Combinatorics, Probability and Computing

MSC Class: 05C15 (primary); 05C35; 05D40; 05C70 (secondary)

Journal ref: Combin. Probab. Comput. 23(1): 90-101, 2014

Multiple Petersen subdivisions in permutation graphs

Authors: Tomáš Kaiser, Jean-Sébastien Sereni, Zelealem Yilma

Abstract: A permutation graph is a cubic graph admitting a 1-factor M whose complement consists of two chordless cycles. Extending results of Ellingham and of Goldwasser and Zhang, we prove that if e is an edge of M such that every 4-cycle containing an edge of M contains e, then e is contained in a subdivision of the Petersen graph of a special type. In particular, if the graph is cyclically 5-edge-connect… ▽ More A permutation graph is a cubic graph admitting a 1-factor M whose complement consists of two chordless cycles. Extending results of Ellingham and of Goldwasser and Zhang, we prove that if e is an edge of M such that every 4-cycle containing an edge of M contains e, then e is contained in a subdivision of the Petersen graph of a special type. In particular, if the graph is cyclically 5-edge-connected, then every edge of M is contained in such a subdivision. Our proof is based on a characterization of cographs in terms of twin vertices. We infer a linear lower bound on the number of Petersen subdivisions in a permutation graph with no 4-cycles, and give a construction showing that this lower bound is tight up to a constant factor. △ Less

Submitted 9 April, 2012; originally announced April 2012.

MSC Class: 05C99; 05C75

The fractional chromatic number of triangle-free subcubic graphs

Authors: David Ferguson, Tomáš Kaiser, Daniel Král'

Abstract: Heckman and Thomas conjectured that the fractional chromatic number of any triangle-free subcubic graph is at most 14/5. Improving on estimates of Hatami and Zhu and of Lu and Peng, we prove that the fractional chromatic number of any triangle-free subcubic graph is at most 32/11 (which is roughly 2.909). Heckman and Thomas conjectured that the fractional chromatic number of any triangle-free subcubic graph is at most 14/5. Improving on estimates of Hatami and Zhu and of Lu and Peng, we prove that the fractional chromatic number of any triangle-free subcubic graph is at most 32/11 (which is roughly 2.909). △ Less

Submitted 1 May, 2013; v1 submitted 6 March, 2012; originally announced March 2012.

MSC Class: 05C15; 05C72

The rainbow connection number of 2-connected graphs

Authors: Jan Ekstein, Přemysl Holub, Tomáš Kaiser, Maria Koch, Stephan Matos Camacho, Zdeněk Ryjáček, Ingo Schiermeyer

Abstract: The rainbow connection number of a graph G is the least number of colours in a (not necessarily proper) edge-colouring of G such that every two vertices are joined by a path which contains no colour twice. Improving a result of Caro et al., we prove that the rainbow connection number of every 2-connected graph with n vertices is at most the ceiling of n/2. The bound is optimal. The rainbow connection number of a graph G is the least number of colours in a (not necessarily proper) edge-colouring of G such that every two vertices are joined by a path which contains no colour twice. Improving a result of Caro et al., we prove that the rainbow connection number of every 2-connected graph with n vertices is at most the ceiling of n/2. The bound is optimal. △ Less

Submitted 26 October, 2011; originally announced October 2011.

Real-time determination of laser beam quality by modal decomposition

Authors: Oliver A. Schmidt, Christian Schulze, Daniel Flamm, Robert Brüning, Thomas Kaiser, Siegmund Schröter, Michael Duparré

Abstract: We present a real-time method to determine the beam propagation ratio M2 of laser beams. The all-optical measurement of modal amplitudes yields M2 parameters conform to the ISO standard method. The experimental technique is simple and fast, which allows to investigate laser beams under conditions inaccessible to other methods. We present a real-time method to determine the beam propagation ratio M2 of laser beams. The all-optical measurement of modal amplitudes yields M2 parameters conform to the ISO standard method. The experimental technique is simple and fast, which allows to investigate laser beams under conditions inaccessible to other methods. △ Less

Submitted 28 March, 2011; v1 submitted 24 January, 2011; originally announced January 2011.

Comments: 8 pages, 4 figures, published in Optics Express

Journal ref: Opt. Express 19, 6741-6748 (2011), http://www.opticsinfobase.org/oe/abstract.cfm?URI=oe-19-7-6741

Hamilton cycles in 5-connected line graphs

Authors: Tomáš Kaiser, Petr Vrána

Abstract: A conjecture of Carsten Thomassen states that every 4-connected line graph is hamiltonian. It is known that the conjecture is true for 7-connected line graphs. We improve this by showing that any 5-connected line graph of minimum degree at least 6 is hamiltonian. The result extends to claw-free graphs and to Hamilton-connectedness. A conjecture of Carsten Thomassen states that every 4-connected line graph is hamiltonian. It is known that the conjecture is true for 7-connected line graphs. We improve this by showing that any 5-connected line graph of minimum degree at least 6 is hamiltonian. The result extends to claw-free graphs and to Hamilton-connectedness. △ Less

Submitted 31 March, 2011; v1 submitted 20 September, 2010; originally announced September 2010.

MSC Class: 05C45

Covering a graph by forests and a matching

Authors: Tomas Kaiser, Mickael Montassier, Andre Raspaud

Abstract: We prove that for any positive integer $k$, the edges of any graph whose fractional arboricity is at most $k + 1/(3k+2)$ can be decomposed into $k$ forests and a matching. We prove that for any positive integer $k$, the edges of any graph whose fractional arboricity is at most $k + 1/(3k+2)$ can be decomposed into $k$ forests and a matching. △ Less

Submitted 14 December, 2010; v1 submitted 2 July, 2010; originally announced July 2010.

A short proof of the tree-packing theorem

Authors: Tomáš Kaiser

Abstract: We give a short elementary proof of Tutte and Nash-Williams' characterization of graphs with k edge-disjoint spanning trees. We give a short elementary proof of Tutte and Nash-Williams' characterization of graphs with k edge-disjoint spanning trees. △ Less

Submitted 6 March, 2012; v1 submitted 14 November, 2009; originally announced November 2009.

MSC Class: 05C40

Fractional total colourings of graphs of high girth

Authors: Tomas Kaiser, Andrew King, Daniel Kral

Abstract: Reed conjectured that for every epsilon>0 and Delta there exists g such that the fractional total chromatic number of a graph with maximum degree Delta and girth at least g is at most Delta+1+epsilon. We prove the conjecture for Delta=3 and for even Delta>=4 in the following stronger form: For each of these values of Delta, there exists g such that the fractional total chromatic number of any grap… ▽ More Reed conjectured that for every epsilon>0 and Delta there exists g such that the fractional total chromatic number of a graph with maximum degree Delta and girth at least g is at most Delta+1+epsilon. We prove the conjecture for Delta=3 and for even Delta>=4 in the following stronger form: For each of these values of Delta, there exists g such that the fractional total chromatic number of any graph with maximum degree Delta and girth at least g is equal to Delta+1. △ Less

Submitted 29 September, 2010; v1 submitted 14 November, 2009; originally announced November 2009.

MSC Class: 05C15

Short Cycle Covers of Cubic Graphs and Graphs with Minimum Degree Three

Authors: Tomas Kaiser, Daniel Kral, Bernard Lidicky, Pavel Nejedly, Robert Samal

Abstract: The Shortest Cycle Cover Conjecture of Alon and Tarsi asserts that the edges of every bridgeless graph with $m$ edges can be covered by cycles of total length at most $7m/5=1.400m$. We show that every cubic bridgeless graph has a cycle cover of total length at most $34m/21\approx 1.619m$ and every bridgeless graph with minimum degree three has a cycle cover of total length at most… ▽ More The Shortest Cycle Cover Conjecture of Alon and Tarsi asserts that the edges of every bridgeless graph with $m$ edges can be covered by cycles of total length at most $7m/5=1.400m$. We show that every cubic bridgeless graph has a cycle cover of total length at most $34m/21\approx 1.619m$ and every bridgeless graph with minimum degree three has a cycle cover of total length at most $44m/27\approx 1.630m$. △ Less

Submitted 10 August, 2009; originally announced August 2009.

MSC Class: 05C38

Journal ref: SIAM J. Discrete Math. 24 (2010) 330-355

A note on edge-colourings avoiding rainbow K_4 and monochromatic K_m

Authors: Veselin Jungic, Tomas Kaiser, Daniel Kral

Abstract: We study the mixed Ramsey number maxR(n,K_m,K_r), defined as the maximum number of colours in an edge-colouring of the complete graph K_n, such that K_n has no monochromatic complete subgraph on m vertices and no rainbow complete subgraph on r vertices. Improving an upper bound of Axenovich and Iverson, we show that maxR(n,K_m,K_4) <= n^{3/2}\sqrt{2m} for all m >= 3. Further, we discuss a possib… ▽ More We study the mixed Ramsey number maxR(n,K_m,K_r), defined as the maximum number of colours in an edge-colouring of the complete graph K_n, such that K_n has no monochromatic complete subgraph on m vertices and no rainbow complete subgraph on r vertices. Improving an upper bound of Axenovich and Iverson, we show that maxR(n,K_m,K_4) <= n^{3/2}\sqrt{2m} for all m >= 3. Further, we discuss a possible way to improve their lower bound on maxR(n,K_4,K_4) based on incidence graphs of finite projective planes. △ Less

Submitted 10 February, 2009; originally announced February 2009.

MSC Class: 05D10

Journal ref: Electronic J. Comb. 16, 1 (2009), N19

The Dirichlet problem in the plane with semianalytic raw data, quasianalyticity and o-minimal structures

Authors: Tobias Kaiser

Abstract: We investigate the Dirichlet solution for a semianalytic continuous function on the boundary of a semianalytic bounded domain in the plane. We show that the germ of the Dirichlet solution at a boundary point with angle greater than 0 lies in a certain quasianalytic class used by Ilyashenko in his work on Hilbert's 16th problem. With this result we can prove that the Dirichlet solution is definab… ▽ More We investigate the Dirichlet solution for a semianalytic continuous function on the boundary of a semianalytic bounded domain in the plane. We show that the germ of the Dirichlet solution at a boundary point with angle greater than 0 lies in a certain quasianalytic class used by Ilyashenko in his work on Hilbert's 16th problem. With this result we can prove that the Dirichlet solution is definable in an o-minimal structure if the angle at a singular boundary point of the domain is an irrational multiple of $π$. △ Less

Submitted 21 July, 2008; v1 submitted 14 May, 2007; originally announced May 2007.

Comments: 37 pages

MSC Class: 03C64; 32B20; 35C20; 35J25; 30E15; 30D60; 30D05; 37E35

The Riemann Map** Theorem for semianalytic domains and o-minimality

Authors: Tobias Kaiser

Abstract: We consider the Riemann Map** Theorem in the case of a bounded simply connected and semianalytic domain. We show that the germ at 0 of the Riemann map (i.e. biholomorphic map) from the upper half plane to such a domain can be realized in a certain quasianalytic class if the angle of the boundary at the point to which 0 is mapped, is greater than 0. This quasianalytic class was introduced and u… ▽ More We consider the Riemann Map** Theorem in the case of a bounded simply connected and semianalytic domain. We show that the germ at 0 of the Riemann map (i.e. biholomorphic map) from the upper half plane to such a domain can be realized in a certain quasianalytic class if the angle of the boundary at the point to which 0 is mapped, is greater than 0. This quasianalytic class was introduced and used by Ilyashenko in his work on Hilbert's 16th problem. With this result we can prove that the Riemann map from a bounded simply connected semianalytic domain onto the unit ball is definable in an o-minimal structure, provided that at singular boundary points the angles of the boundary are irrational multiples of $π$. △ Less

Submitted 21 July, 2008; v1 submitted 14 May, 2007; originally announced May 2007.

Comments: 22 pages

MSC Class: 03C64; 32B20; 30C20; 30E15; 30D60; 30D05; 37E35

Transition maps at non-resonant hyperbolic singularities are o-minimal

Authors: Tobias Kaiser, Jean-Philippe Rolin, Patrick Speissegger

Abstract: We construct a model complete and o-minimal expansion of the field of real numbers such that, for any planar analytic vector field X and any isolated, non-resonant hyperbolic singularity p of X, a transition map for X at p is definable in this structure. This structure also defines all convergent generalized power series with natural support and is polynomially bounded. We construct a model complete and o-minimal expansion of the field of real numbers such that, for any planar analytic vector field X and any isolated, non-resonant hyperbolic singularity p of X, a transition map for X at p is definable in this structure. This structure also defines all convergent generalized power series with natural support and is polynomially bounded. △ Less

Submitted 20 April, 2009; v1 submitted 23 December, 2006; originally announced December 2006.

Comments: 49 pages, 2 figures

MSC Class: 37C27; 37E35; 03C64

Absence of magnetic order in Yb3Ga5O12: relation between phase transition and entropy in geometrically frustrated materials

Authors: P. Dalmas de Reotier, A. Yaouanc, P. C. M. Gubbens, C. T. Kaiser, C. Baines, P. J. C. King

Abstract: From muon spin relaxation spectroscopy experiments, we show that the sharp peak (lambda type anomaly) detected by specific heat measurements at 54 mK for the ytterbium gallium garnet compound, Yb3Ga5O12, does not correspond to the onset of a magnetic phase transition, but to a pronounced building up of dynamical magnetic pair-correlations. Beside the lambda anomaly, a broad hump is observed at h… ▽ More From muon spin relaxation spectroscopy experiments, we show that the sharp peak (lambda type anomaly) detected by specific heat measurements at 54 mK for the ytterbium gallium garnet compound, Yb3Ga5O12, does not correspond to the onset of a magnetic phase transition, but to a pronounced building up of dynamical magnetic pair-correlations. Beside the lambda anomaly, a broad hump is observed at higher temperature in the specific heat of this garnet and other geometrically frustrated compounds. Comparing with other frustrated magnetic systems we infer that a ground state with long-range order is reached only when at least 1/4-1/3 of the magnetic entropy is released at the lambda transition. △ Less

Submitted 8 September, 2003; originally announced September 2003.

Comments: 5 pages, 2 figures

Journal ref: Phys. Rev. Lett. 91, 167201 (2003)

Evidence for weak itinerant long-range magnetic correlations in UGe2

Authors: A. Yaouanc, P. Dalmas de Reotier, P. C. M. Gubbens, C. T. Kaiser, A. A. Menovsky, M. Mihalik, S. P. Cottrell

Abstract: Positive muon spin relaxation measurements performed on the ferromagnet UGe2 reveal, in addition to the well known localized 5f-electron density responsible for the bulk magnetic properties, the existence of itinerant quasi-static magnetic correlations. Their critical dynamics is well described by the conventional dipolar Heisenberg model. These correlations involve small magnetic moments. Positive muon spin relaxation measurements performed on the ferromagnet UGe2 reveal, in addition to the well known localized 5f-electron density responsible for the bulk magnetic properties, the existence of itinerant quasi-static magnetic correlations. Their critical dynamics is well described by the conventional dipolar Heisenberg model. These correlations involve small magnetic moments. △ Less

Submitted 3 September, 2002; originally announced September 2002.

Comments: 5 pages, 2 figures

Journal ref: Phys. Rev. Lett. 89 (2002) 147001

First Order Transition in the Spin Dynamics of Geometrically Frustrated Yb2Ti2O7

Authors: J. A. Hodges, P. Bonville, A. Forget, A. Yaouanc, P. Dalmas de Reotier, G. Andre, M. Rams, K. Krolas, C. Ritter, P. C. M. Gubbens, C. T. Kaiser, P. J. C. King, C. Baines

Abstract: Using neutron diffraction, 170Yb Mossbauer and muSR spectroscopies, we have examined the pyrochlore Yb2Ti2O7 where the Yb3+ S'=1/2 ground state has planar anisotropy. Below ~0.24K, the temperature of the known specific heat lambda transition, there is no long range magnetic order. We show that the transition corresponds to a first order change in the fluctuation rate of the Yb3+ spins. Above the… ▽ More Using neutron diffraction, 170Yb Mossbauer and muSR spectroscopies, we have examined the pyrochlore Yb2Ti2O7 where the Yb3+ S'=1/2 ground state has planar anisotropy. Below ~0.24K, the temperature of the known specific heat lambda transition, there is no long range magnetic order. We show that the transition corresponds to a first order change in the fluctuation rate of the Yb3+ spins. Above the transition temperature, the rate, in the GHz range, follows a thermal excitation law, whereas below, the rate, in the MHz range, is essentially temperature independent indicative of a quantum fluctuation regime. △ Less

Submitted 11 January, 2002; originally announced January 2002.

Comments: 4 pages, 4 postscript figures (one double with 2 ps files)

Journal ref: Phys. Rev. Lett. 88 (2002) 077204

Evidence for a two component magnetic response in UPt3

Authors: A. Yaouanc, P. Dalmas de Reotier, F. N. Gygax, A. Schenck, A. Amato, C. Baines, P. C. M. Gubbens, C. T. Kaiser, A. de Visser, R. J. Keizer, A. Huxley, A. A. Menovsky

Abstract: The magnetic response of the heavy fermion superconductor UPt_3 has been investigated on a microscopic scale by muon Knight shift studies. Two distinct and isotropic Knight shifts have been found for the field in the basal plane. While the volume fractions associated with the two Knight shifts are approximately equal at low and high temperatures, they show a dramatic and opposite temperature dep… ▽ More The magnetic response of the heavy fermion superconductor UPt_3 has been investigated on a microscopic scale by muon Knight shift studies. Two distinct and isotropic Knight shifts have been found for the field in the basal plane. While the volume fractions associated with the two Knight shifts are approximately equal at low and high temperatures, they show a dramatic and opposite temperature dependence around T_N. Our results are independent on the precise muon localization site. We conclude that UPt_3 is characterized by a two component magnetic response. △ Less

Submitted 1 February, 2000; originally announced February 2000.

Comments: 5 pages, 4 figures

Journal ref: Phys. Rev. Lett. 84 (2000) 2702