-
List Locally Surjective Homomorphisms in Hereditary Graph Classes
Authors:
Pavel Dvořák,
Monika Krawczyk,
Tomáš Masařík,
Jana Novotná,
Paweł Rzążewski,
Aneta Żuk
Abstract:
A locally surjective homomorphism from a graph $G$ to a graph $H$ is an edge-preserving map** from $V(G)$ to $V(H)$ that is surjective in the neighborhood of each vertex in $G$. In the list locally surjective homomorphism problem, denoted by LLSHom($H$), the graph $H$ is fixed and the instance consists of a graph $G$ whose every vertex is equipped with a subset of $V(H)$, called list. We ask for…
▽ More
A locally surjective homomorphism from a graph $G$ to a graph $H$ is an edge-preserving map** from $V(G)$ to $V(H)$ that is surjective in the neighborhood of each vertex in $G$. In the list locally surjective homomorphism problem, denoted by LLSHom($H$), the graph $H$ is fixed and the instance consists of a graph $G$ whose every vertex is equipped with a subset of $V(H)$, called list. We ask for the existence of a locally surjective homomorphism from $G$ to $H$, where every vertex of $G$ is mapped to a vertex from its list. In this paper, we study the complexity of the LLSHom($H$) problem in $F$-free graphs, i.e., graphs that exclude a fixed graph $F$ as an induced subgraph. We aim to understand for which pairs $(H,F)$ the problem can be solved in subexponential time.
We show that for all graphs $H$, for which the problem is NP-hard in general graphs, it cannot be solved in subexponential time in $F$-free graphs unless $F$ is a bounded-degree forest or the ETH fails. The initial study reveals that a natural subfamily of bounded-degree forests $F$ that might lead to some tractability results is the family $\mathcal S$ consisting of forests whose every component has at most three leaves. In this case, we exhibit the following dichotomy theorem: besides the cases that are polynomial-time solvable in general graphs, the graphs $H \in \{P_3,C_4\}$ are the only connected ones that allow for a subexponential-time algorithm in $F$-free graphs for every $F \in \mathcal S$ (unless the ETH fails).
△ Less
Submitted 24 February, 2022;
originally announced February 2022.
-
Spectral analysis of transition operators, Automata groups and translation in BBS
Authors:
Tsuyoshi Kato,
Satoshi Tsujimoto,
Andrzej Zuk
Abstract:
We give the automata which describe time evolution rules of the box-ball system (BBS) with a carrier. It can be shown by use of tropical geometry, such systems are ultradiscrete analogues of KdV equation. We discuss their relation with the lamplighter group generated by an automaton. We present spectral analysis of the stochastic matrices induced by these automata, and verify their spectral coinci…
▽ More
We give the automata which describe time evolution rules of the box-ball system (BBS) with a carrier. It can be shown by use of tropical geometry, such systems are ultradiscrete analogues of KdV equation. We discuss their relation with the lamplighter group generated by an automaton. We present spectral analysis of the stochastic matrices induced by these automata, and verify their spectral coincidence.
△ Less
Submitted 2 May, 2016; v1 submitted 20 June, 2014;
originally announced June 2014.
-
Random generators of the symmetric group: diameter, mixing time and spectral gap
Authors:
Harald A. Helfgott,
Ákos Seress,
Andrzej Zuk
Abstract:
Let $g$, $h$ be a random pair of generators of $G=Sym(n)$ or $G=Alt(n)$. We show that, with probability tending to $1$ as $n\to \infty$, (a) the diameter of $G$ with respect to $S = \{g,h,g^{-1},h^{-1}\}$ is at most $O(n^2 (\log n)^c)$, and (b) the mixing time of $G$ with respect to $S$ is at most $O(n^3 (\log n)^c)$. (Both $c$ and the implied constants are absolute.)
These bounds are far lower…
▽ More
Let $g$, $h$ be a random pair of generators of $G=Sym(n)$ or $G=Alt(n)$. We show that, with probability tending to $1$ as $n\to \infty$, (a) the diameter of $G$ with respect to $S = \{g,h,g^{-1},h^{-1}\}$ is at most $O(n^2 (\log n)^c)$, and (b) the mixing time of $G$ with respect to $S$ is at most $O(n^3 (\log n)^c)$. (Both $c$ and the implied constants are absolute.)
These bounds are far lower than the strongest worst-case bounds known (in Helfgott--Seress, 2013); they roughly match the worst known examples. We also give an improved, though still non-constant, bound on the spectral gap.
Our results rest on a combination of the algorithm in (Babai--Beals--Seress, 2004) and the fact that the action of a pair of random permutations is almost certain to act as an expander on $\ell$-tuples, where $\ell$ is an arbitrary constant (Friedman et al., 1998).
△ Less
Submitted 10 March, 2014; v1 submitted 26 November, 2013;
originally announced November 2013.
-
Closed manifolds with transcendental L2-Betti numbers
Authors:
Mikaël Pichot,
Thomas Schick,
Andrzej Zuk
Abstract:
In this paper, we show how to construct examples of closed manifolds with explicitly computed irrational, even transcendental L2 Betti numbers, defined via the universal covering.
We show that every non-negative real number shows up as an L2-Betti number of some covering of a compact manifold, and that many computable real numbers appear as an L2-Betti number of a universal covering of a compact…
▽ More
In this paper, we show how to construct examples of closed manifolds with explicitly computed irrational, even transcendental L2 Betti numbers, defined via the universal covering.
We show that every non-negative real number shows up as an L2-Betti number of some covering of a compact manifold, and that many computable real numbers appear as an L2-Betti number of a universal covering of a compact manifold (with a precise meaning of computable given below).
In algebraic terms, for many given computable real numbers (in particular for many transcendental numbers) we show how to construct a finitely presented group and an element in the integral group ring such that the L2-dimension of the kernel is the given number.
We follow the method pioneered by Austin in "Rational group ring elements with kernels having irrational dimension" arXiv:0909.2360) but refine it to get very explicit calculations which make the above statements possible.
△ Less
Submitted 16 June, 2015; v1 submitted 7 May, 2010;
originally announced May 2010.
-
On a conjecture of Atiyah
Authors:
R. I. Grigorchuk,
P. Linnell,
T. Schick,
A. Zuk
Abstract:
In this note we explain how the computation of the spectrum of the lamplighter group from \cite{Grigorchuk-Zuk(2000)} yields a counterexample to a strong version of the Atiyah conjectures about the range of $L^2$-Betti numbers of closed manifolds.
In this note we explain how the computation of the spectrum of the lamplighter group from \cite{Grigorchuk-Zuk(2000)} yields a counterexample to a strong version of the Atiyah conjectures about the range of $L^2$-Betti numbers of closed manifolds.
△ Less
Submitted 19 September, 2000;
originally announced September 2000.
-
Applications of the Dotsenko-Fateev Integral in Random-Matrix Models
Authors:
Peter J. Forrester,
Josef A. Zuk
Abstract:
The characteristic multi-dimensional integrals that represent physical quantities in random-matrix models, when calculated within the supersymmetry method, can be related to a class of integrals introduced in the context of two-dimensional conformal field theories by Dotsenko & Fateev. Known results on these Dotsenko-Fateev integrals provide a means by which to perform explicit calculations (oth…
▽ More
The characteristic multi-dimensional integrals that represent physical quantities in random-matrix models, when calculated within the supersymmetry method, can be related to a class of integrals introduced in the context of two-dimensional conformal field theories by Dotsenko & Fateev. Known results on these Dotsenko-Fateev integrals provide a means by which to perform explicit calculations (otherwise difficult) in random-matrix theory. We illustrate this by (i) an evaluation of the mean squared S-matrix elements for the Gaussian orthogonal ensemble coupled with M external channels, and (ii) a direct derivation of the asymptotic behaviour of the dynamical density-density correlator in the limit of large spatial and temporal separation for the Calogero-Sutherland model which, at certain couplings, is known to map onto the parameter-dependent random matrix ensembles.
△ Less
Submitted 15 February, 1996;
originally announced February 1996.
-
Crossover from Orthogonal to Unitary Symmetry for Ballistic Electron Transport in Chaotic Microstructures
Authors:
Z. Pluhar,
H. A. Weidenmueller,
J. A. Zuk,
C. H. Lewenkopf
Abstract:
We study the ensemble-averaged conductance as a function of applied magnetic field for ballistic electron transport across few-channel microstructures constructed in the shape of classically chaotic billiards. We analyse the results of recent experiments, which show suppression of weak localization due to magnetic field, in the framework of random-matrix theory. By analysing a random-matrix Hami…
▽ More
We study the ensemble-averaged conductance as a function of applied magnetic field for ballistic electron transport across few-channel microstructures constructed in the shape of classically chaotic billiards. We analyse the results of recent experiments, which show suppression of weak localization due to magnetic field, in the framework of random-matrix theory. By analysing a random-matrix Hamiltonian for the billiard-lead system with the aid of Landauer's formula and Efetov's supersymmetry technique, we derive a universal expression for the weak-localization contribution to the mean conductance that depends only on the number of channels and the magnetic flux. We consequently gain a theoretical understanding of the continuous crossover from orthogonal symmetry to unitary symmetry arising from the violation of time-reversal invariance for generic chaotic systems.
△ Less
Submitted 13 December, 1994;
originally announced December 1994.
-
Introduction to the Supersymmetry Method for the Gaussian Random-Matrix Ensembles
Authors:
Josef A. Zuk
Abstract:
This article is intended to provide a pedagogical introduction to the supersymmetry method for performing ensemble-averaging in Gaussian random-matrix theory. The method is illustrated by a detailed calculation of the simplest non-trivial physical quantity, namely, the second-order correlation in the density of states for two different energies within the spectrum (commonly known as the density-…
▽ More
This article is intended to provide a pedagogical introduction to the supersymmetry method for performing ensemble-averaging in Gaussian random-matrix theory. The method is illustrated by a detailed calculation of the simplest non-trivial physical quantity, namely, the second-order correlation in the density of states for two different energies within the spectrum (commonly known as the density-density correlator) for a system described by a random Hamiltonian matrix belonging to the Gaussian unitary ensemble.
△ Less
Submitted 18 July, 1996; v1 submitted 13 December, 1994;
originally announced December 1994.