Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Topologically $4$-chromatic graphs and signatures of odd cycles
Published
• View Publication
• BIB
We investigate group-theoretic "signatures" of odd cycles of a graph, and their connections to topological obstructions to 3-colourability. In the case of signatures derived from free groups, we prove that the existence of an odd cycle with trivial signature is equivalent to having the coindex of the hom-complex at least 2 (which implies that the chromatic number is at least 4). In the case of signatures derived from elementary abelian 2-groups we prove that the existence of an odd cycle with trivial signature is a sufficient condition for having the index of the hom-complex at least 2 (which again implies that the chromatic number is at least 4).
Bruck nets and partial Sherk planes
Published in J. Austral. Math. Soc. 104 (2018) 1-12
• View Publication
• BIB
In Bachmann's Aufbau der Geometrie aus dem Spiegelungsbegriff (1959), it was shown that a finite metric plane is a Desarguesian affine plane of odd order equipped with a perpendicularity relation on lines, and conversely. Sherk (1967) generalised this result to characterise the finite affine planes of odd order by removing the 'three reflections axioms' from a metric plane. We show that one can obtain a larger class of natural finite geometries, the so-called Bruck nets of even degree, by weakening Sherk's axioms to allow non-collinear points.
>k-homogeneous infinite graphs
Published in Journal of Combinatorial Theory, Series B 128 (2018) 160-174
• View Publication
• BIB
In this article we give an explicit classification for the countably infinite graphs $\mathcal{G}$ which are, for some $k$, $\geq$$ k$-homogeneous. It turns out that a $\geq$$k-$homogeneous graph $\mathcal{M}$ is non-homogeneous if and only if it is either not $1-$homogeneous or not $2-$homogeneous, both cases which may be classified using ramsey theory.
A technique for studying strong and weak local errors of splitting stochastic integrators
Published
• View Publication
• BIB
We present a technique, based on so-called word series, to write down in a systematic way expansions of the strong and weak local errors of splitting algorithms for the integration of Stratonovich stochastic differential equations. Those expansions immediately lead to the corresponding order conditions. Word series are similar to, but simpler than, the B-series used to analyze Runge-Kutta and other one-step integrators. The suggested approach makes it unnecessary to use the Baker-Campbell-Hausdorff formula. As an application, we compare two splitting algorithms recently considered by Leimkuhler and Matthews to integrate the Langevin equations. The word series method bears out clearly reasons for the advantages of one algorithm over the other.
Numerical semigroups II: pseudo-symmetric AA-Semigroups
Published in Journal of Algebra 470 (2017), 484-498
• View Publication
• BIB
This paper is a continuation of the paper "Numerical Semigroups: Apéry Sets and Hilbert Series". We consider the general numerical AA-semigroup, i.e., semigroups consisting of all non-negative integer linear combinations of relatively prime positive integers of the form $a,a+d,a+2d,\dots,a+kd,c$. We first prove that, in contrast to arbitrary numerical semigroups, there exists an upper bound for the type of AA-semigroups that only depends on the number of generators of the semigroup. We then present two characterizations of pseudo-symmetric AA-semigroups. The first one leads to a polynomial time algorithm to decide whether an AA-semigroup is pseudo-symmetric. The second one gives a method to construct pseudo-symmetric AA-semigroups and provides explicit families of pseudo-symmetric semigroups with arbitrarily large number of generators.
On extremal double circulant self-dual codes of lengths $90$-$96$
Published
• View Publication
• BIB
A classification of extremal double circulant self-dual codes of lengths up to $88$ is known. We give a classification of extremal double circulant self-dual codes of lengths $90,92,94$ and $96$. We also classify double circulant self-dual codes with parameters $[90,45,14]$ and $[96,48,16]$. In addition, we demonstrate that no double circulant self-dual $[90,45,14]$ code has an extremal self-dual neighbor, and no double circulant self-dual $[96,45,16]$ code has a self-dual neighbor with minimum weight at least $18$.
A class of gcd-graphs having Perfect State Transfer
Published in Electronic Notes in Discrete Mathematics, 53: pp.319-329 (2016)
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A$. The transition matrix corresponding to $G$ is defined by $H(t):=\exp{\left(itA\right)}$, $t\in\Rl$. The graph $G$ is said to have perfect state transfer (PST) from a vertex $u$ to another vertex $v$, if there exist $τ\in\Rl$ such that the $uv$-th entry of $H(τ)$ has unit modulus. The graph $G$ is said to be periodic at $τ\in\Rl$ if there exist $γ\in\Cl$ with $|γ|=1$ such that $H(τ)=γI$, where $I$ is the identity matrix. A $\mathit{gcd}$-graph is a Cayley graph over a finite abelian group defined by greatest common divisors. In this paper, we construct classes of $\mathit{gcd}$-graphs having periodicity and perfect state transfer.
Arithmetic of partitions and the $q$-bracket operator
Published
• View Publication
• BIB
We present a natural multiplicative theory of integer partitions (which are usually considered in terms of addition), and find many theorems of classical number theory arise as particular cases of extremely general combinatorial structure laws. We then see that the relatively recently-defined $q$-bracket operator $\left<f\right>_q$, studied by Bloch-Okounkov, Zagier, and others for its quasimodular properties, plays a deep role in the theory of partitions, quite apart from questions of modularity. Moreover, we give an explicit formula for the coefficients of $\left<f\right>_q$ for any function $f$ defined on partitions, and, conversely, give a partition-theoretic function whose $q$-bracket is a given power series.
A survey of $q$-holonomic functions
Published
• View Publication
• BIB
We give a survey of basic facts of $q$-holonomic functions of one or several variables, following Zeilberger and Sabbah. We provide detailed proofs and examples.
Approximating permanents and hafnians
Published in Discrete Analysis, 2017:2, 34 pp
• View Publication
• BIB
We prove that the logarithm of the permanent of an nxn real matrix A and the logarithm of the hafnian of a 2nx2n real symmetric matrix A can be approximated within an additive error 1 > epsilon > 0 by a polynomial p in the entries of A of degree O(ln n - ln epsilon) provided the entries a_ij of A satisfy delta < a_ij < 1 for an arbitrarily small delta > 0, fixed in advance. Moreover, the polynomial p can be computed in n^{O(ln n - ln epsilon)} time. We also improve bounds for approximating ln per A, ln haf A and logarithms of multi-dimensional permanents for complex matrices and tensors A.
On freeness of the random fundamental group
Published
• View Publication
• BIB
Let $Y(n, p)$ denote the probability space of random 2-dimensional simplicial complexes in the Linial--Meshulam model, and let $Y \sim Y(n, p)$ denote a random complex chosen according to this distribution. In a paper of Cohen, Costa, Farber, and Kappeler, it is shown that for $p = o(1/n)$ with high probability $π_1(Y)$ is free. Following that, a paper of Costa and Farber shows that for values of $p$ which satisfy $3/n < p \ll n^{-46/47}$, with high probability $π_1(Y)$ is not free. Here we improve on both of these results to show that there are explicit constants $γ_2 < c_2 < 3$, so that for $p < γ_2/n$ with high probability $Y$ has free fundamental group and that for $p > c_2/n$, with high probability $Y$ has fundamental group which either is not free or is trivial.
Total Dominating Sequences in Graphs
Published
• View Publication
• BIB
A vertex in a graph totally dominates another vertex if they are adjacent. A sequence of vertices in a graph $G$ is called a total dominating sequence if every vertex $v$ in the sequence totally dominates at least one vertex that was not totally dominated by any vertex that precedes $v$ in the sequence, and at the end all vertices of $G$ are totally dominated. While the length of a shortest such sequence is the total domination number of $G$, in this paper we investigate total dominating sequences of maximum length, which we call the Grundy total domination number, $γ_{\rm gr}^t(G)$, of $G$. We provide a characterization of the graphs $G$ for which $γ_{\rm gr}^t(G)=|V(G)|$ and of those for which $γ_{\rm gr}^t(G)=2$. We show that if $T$ is a nontrivial tree of order~$n$ with no vertex with two or more leaf-neighbors, then $γ_{\rm gr}^t(T) \ge \frac{2}{3}(n+1)$, and characterize the extremal trees. We also prove that for $k \ge 3$, if $G$ is a connected $k$-regular graph of order~$n$ different from $K_{k,k}$, then $γ_{\rm gr}^t(G) \ge (n + \lceil \frac{k}{2} \rceil - 2)/(k-1)$ if $G$ is not bipartite and $γ_{\rm gr}^t(G) \ge (n + 2\lceil \frac{k}{2} \rceil - 4)/(k-1)$ if $G$ is bipartite. The Grundy total domination number is proven to be bounded from above by two times the Grundy domination number, while the former invariant can be arbitrarily smaller than the latter. Finally, a natural connection with edge covering sequences in hypergraphs is established, which in particular yields the NP-completeness of the decision version of the Grundy total domination number.
Permutations that Destroy Arithmetic Progressions in Elementary $p$-Groups
Published
• View Publication
• BIB
Given an abelian group $G$, it is natural to ask whether there exists a permutation $π$ of $G$ that "destroys" all nontrivial 3-term arithmetic progressions (APs), in the sense that $π(b) - π(a) \neq π(c) - π(b)$ for every ordered triple $(a,b,c) \in G^3$ satisfying $b-a = c-b \neq 0$. This question was resolved for infinite groups $G$ by Hegarty, who showed that there exists an AP-destroying permutation of $G$ if and only if $G/Ω_2(G)$ has the same cardinality as $G$, where $Ω_2(G)$ denotes the subgroup of all elements in $G$ whose order divides $2$. In the case when $G$ is finite, however, only partial results have been obtained thus far. Hegarty has conjectured that an AP-destroying permutation of $G$ exists if $G = \mathbb{Z}/n\mathbb{Z}$ for all $n \neq 2,3,5,7$, and together with Martinsson, he has proven the conjecture for all $n > 1.4 \times 10^{14}$. In this paper, we show that if $p$ is a prime and $k$ is a positive integer, then there is an AP-destroying permutation of the elementary $p$-group $(\mathbb{Z}/p\mathbb{Z})^k$ if and only if $p$ is odd and $(p,k) \not\in \{(3,1),(5,1), (7,1)\}$.
Ends of Schreier graphs and cut-points of limit spaces of self-similar groups
Published in Journal of Fractal Geometry, Volume 4, Issue 4, 2017, 369-424
• View Publication
• BIB
Every self-similar group acts on the space $X^ω$ of infinite words over some alphabet $X$. We study the Schreier graphs $Γ_w$ for $w\in X^ω$ of the action of self-similar groups generated by bounded automata on the space $X^ω$. Using sofic subshifts we determine the number of ends for every Schreier graph $Γ_w$. Almost all Schreier graphs $Γ_w$ with respect to the uniform measure on $X^ω$ have one or two ends, and we characterize bounded automata whose Schreier graphs have two ends almost surely. The connection with (local) cut-points of limit spaces of self-similar groups is established.
Spectral analogues of Moon-Moser's theorem on Hamilton paths in bipartite graphs
Published in Linear Algebra Appl. 515 (2017) 180--195
• View Publication
• BIB
In 1962, Erdős proved a theorem on the existence of Hamilton cycles in graphs with given minimum degree and number of edges. Significantly strengthening in case of balanced bipartite graphs, Moon and Moser proved a corresponding theorem in 1963. In this paper we establish several spectral analogues of Moon and Moser's theorem on Hamilton paths in balanced bipartite graphs and nearly balanced bipartite graphs. One main ingredient of our proofs is a structural result of its own interest, involving Hamilton paths in balanced bipartite graphs with given minimum degree and number of edges.
Vertex Colorings without Rainbow or Monochromatic Subgraphs
Published
• View Publication
• BIB
This paper investigates vertex colorings of graphs such that some rainbow subgraph~$R$ and some monochromatic subgraph $M$ are forbidden. Previous work focussed on the case that $R=M$. Here we consider the more general case, especially the case that $M=K_2$.
Structure trees, networks and almost invariant sets
Published
• View Publication
• BIB
A self-contained account of the theory of structure trees for edge cuts in networks is given. Applications include a generalisation of the Max-Flow Min-Cut Theorem to infinite networks and a short proof of a conjecture of Kropholler. This gives a relative version of Stallings' Theorem on the structure of groups with more than one end. A generalisation of the Almost Stability Theorem is also obtained, which provides information about the structure of the Sageev cubing.
On the Cycle Structure of Mallows Permutations
Published
• View Publication
• BIB
We study the length of cycles of random permutations drawn from the Mallows distribution. Under this distribution, the probability of a permutation $π\in \mathbb{S}_n$ is proportional to $q^{\textrm{inv}(π)}$ where $0<q\le 1$ and $\textrm{inv}(π)$ is the number of inversions in $π$.
We show that the expected length of the cycle containing a given point is of order $\min\{(1-q)^{-2}, n\}$. This marks the existence of two asymptotic regimes: with high probability, when $n$ tends to infinity with $(1-q)^{-2} \ll n$ then all cycles have size $o(n)$ whereas when $n$ tends to infinity with $(1-q)^{-2}\gg n$ then macroscopic cycles, of size proportional to $n$, emerge. In the second regime, we prove that the distribution of normalized cycle lengths follows the Poisson-Dirichlet law, as in a uniformly random permutation. The results bear formal similarity with a conjectured localization transition for random band matrices.
Further results are presented for the variance of the cycle lengths, the expected diameter of cycles and the expected number of cycles. The proofs rely on the exact sampling algorithm for the Mallows distribution and make use of a special diagonal exposure process for the graph of the permutation.
Spectral characterizations of two families of nearly complete bipartite graphs
Published
• View Publication
• BIB
It is not hard to find many complete bipartite graphs which are not determined by their spectra. We show that the graph obtained by deleting an edge from a complete bipartite graph is determined by its spectrum. We provide some graphs, each of which is obtained from a complete bipartite graph by adding a vertex and an edge incident on the new vertex and an original vertex, which are not determined by their spectra.
Trapezoidal numbers, divisor functions, and a partition theorem of Sylvester
Published in in: Analytic Number Theory, Modular Forms and q-Hypergeometric Series, Springer Proceedings in Mathematics and Statistics, Volume: 221, Springer, 2018, pp. 555--586
• View Publication
• BIB
A partition of a positive integer $n$ is a representation of $n$ as a sum of a finite number of positive integers (called parts). A trapezoidal number is a positive integer that has a partition whose parts are a decreasing sequence of consecutive integers, or, more generally, whose parts form a finite arithmetic progression. This paper reviews the relation between trapezoidal numbers, partitions, and the set of divisors of a positive integer. There is also a complete proof of a theorem of Sylvester that produces a stratification of the partitions of an integer into odd parts and partitions into disjoint trapezoids.