Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Nowhere-zero 3-flows in graphs admitting solvable arc-transitive groups of automorphisms
Published
• View Publication
• BIB
Tutte's 3-flow conjecture asserts that every 4-edge-connected graph has a nowhere-zero 3-flow. In this note we prove that every regular graph of valency at least four admitting a solvable arc-transitive group of automorphisms admits a nowhere-zero 3-flow.
Association schemes on general measure spaces and zero-dimensional Abelian groups
Published in Advances in Mathematics, vol. 281 (2015), pp. 142-247
• View Publication
• BIB
Association schemes form one of the main objects of algebraic combinatorics, classically defined on finite sets. In this paper we define association schemes on arbitrary, possibly uncountable sets with a measure. We study operator realizations of the adjacency algebras of schemes and derive simple properties of these algebras. To develop a theory of general association schemes, we focus on schemes on topological Abelian groups where we can employ duality theory and the machinery of harmonic analysis. We construct translation association schemes on such groups using the language of spectrally dual partitions. Such partitions are shown to arise naturally on topological zero-dimensional Abelian groups, for instance, Cantor-type groups or the groups of p-adic numbers. This enables us to construct large classes of dual pairs of association schemes on zero-dimensional groups with respect to their Haar measure, and to compute their eigenvalues and intersection numbers. We also derive properties of infinite metric schemes, connecting them with the properties of the non-Archimedean metric on the group.
Pursuing the connection between schemes on zero-dimensional groups and harmonic analysis, we show that the eigenvalues have a natural interpretation in terms of Littlewood-Paley wavelet bases, and in the (equivalent) language of martingale theory. For a class of nonmetric schemes constructed in the paper, the eigenvalues coincide with values of orthogonal functions on zero-dimensional groups. We observe that these functions, which we call Haar-like bases, have the properties of wavelets on the group, including in some special cases the self-similarity property. This establishes a seemingly new link between algebraic combinatorics and harmonic analysis.
We conclude the paper by studying some analogs of problems of classical coding theory related to the theory of association schemes.
k-fold Sidon sets
Published
• View Publication
• BIB
Let $k \geq 1$ be an integer. A set $A \subset \mathbb{Z}$ is a $k$-fold Sidon set if $A$ has only trivial solutions to each equation of the form $c_1 x_1 + c_2 x_2 + c_3 x_3 + c_4 x_4 = 0$ where $0 \leq |c_i | \leq k$, and $c_1 + c_2 + c_3 + c_4 = 0$. We prove that for any integer $k \geq 1$, a $k$-fold Sidon set $A \subset [N]$ has at most $(N/k)^{1/2} + O((Nk)^{1/4})$ elements. Indeed we prove that given any $k$ positive integers $c_1<\cdots <c_k$, any set $A\subset [N]$ that contains only trivial solutions to $c_i(x_1-x_2)=c_j(x_3-x_4)$ for each $1 \le i \le j \le k$, has at most $(N/k)^{1/2}+O((c_k^2N/k)^{1/4})$ elements. On the other hand, for any $k \geq 2$ we can exhibit $k$ positive integers $c_1,\dots, c_k$ and a set $A\subset [N]$ with $|A|\ge (\frac 1k+o(1))N^{1/2}$, such that $A$ has only trivial solutions to $c_i(x_1 - x_2) = c_j (x_3 - x_4)$ for each $1 \le i \le j\le k$.
Homomesy in products of two chains
Published
• View Publication
• BIB
Many invertible actions $τ$ on a set ${\mathcal{S}}$ of combinatorial objects, along with a natural statistic $f$ on ${\mathcal{S}}$, exhibit the following property which we dub \textbf{homomesy}: the average of $f$ over each $τ$-orbit in ${\mathcal{S}}$ is the same as the average of $f$ over the whole set ${\mathcal{S}}$. This phenomenon was first noticed by Panyushev in 2007 in the context of the rowmotion action on the set of antichains of a root poset; Armstrong, Stump, and Thomas proved Panyushev's conjecture in 2011. We describe a theoretical framework for results of this kind that applies more broadly, giving examples in a variety of contexts. These include linear actions on vector spaces, sandpile dynamics, Suter's action on certain subposets of Young's Lattice, Lyness 5-cycles, promotion of rectangular semi-standard Young tableaux, and the rowmotion and promotion actions on certain posets. We give a detailed description of the latter situation for products of two chains.
Explicit formulae for computing Euler polynomials in terms of Stirling numbers of the second kind
Published in Journal of Computational and Applied Mathematics 272 (2014), 251--257
• View Publication
• BIB
In the paper, the author elementarily unifies and generalizes eight identities involving the functions $\frac{\pm1}{e^{\pm t}-1}$ and their derivatives. By one of these identities, the author establishes two explicit formulae for computing Euler polynomials and two-parameter Euler polynomials, which are a newly introduced notion, in terms of Stirling numbers of the second kind.
Diagonal recurrence relations for the Stirling numbers of the first kind
Published in Contributions to Discrete Mathematics 11 (2016), no. 1, 22--30
• View Publication
• BIB
In the paper, the author presents diagonal recurrence relations for the Stirling numbers of the first kind. As by-products, the author also recovers three explicit formulas for special values of the Bell polynomials of the second kind.
Semi-equivelar maps on the surface of Euler characteristic -1
Published
• View Publication
• BIB
Semi-Equivelar maps are generalizations of Archimedean solids to the surfaces other than 2-sphere. In earlier work a complete classification of semi-equivelar map of type $(3^5, 4)$ on the surface of Euler characteristic -1 was given. In the meantime Karabas an Nedela classified vertex transitive semi-equivelar maps on the double torus. In this article we study the types of semi-equivelar maps on double torus that are also available on the surface of Euler characteristic -1. We classify them and show that none of them are vertex transitive.
Complete Mixed Doubles Round Robin Tournaments
We present a new type of tournament design that we call a complete mixed doubles round robin tournament, CMDRR(n,k), that generalizes spouse-avoiding mixed doubles round robin tournaments and strict Mitchell mixed doubles round robin tournaments. We show that CMDRR(n,k) exist for all allowed values of n and k apart from 4 exceptions and 31 possible exceptions. We show that a fully resolvable CMDRR(2n,0) exists for all n $\ge$ 5 and a fully resolvable CMDRR(3n,n) exists for all n $\ge$ 5 and n odd. We prove a product theorem for constructing CMDRR(n,k).
An Elementary Proof of the Hook Content Formula
In this paper we prove the Hook Content Formula (HCF) (and Hook Length Formula (HLF)) using induction. Instead of working with Young tableaux directly, we introduce a vector notation (sequences of these vectors represent ("single-vote") ballot sequences in the case of SYT, and "multi-vote" ballot sequences--where the voter may choose any number of candidates--in the case of SSYT) to aid in the inductive argument. Next, we establish an identity which allows us to prove a formula that counts multi-vote ballot sequences. We demonstrate that, in the non-degenerate case (when this formula counts SSYTs) it coincides with the HCF. To do the latter, we borrow parts of a technique outlined by Wilson and Van Lint in their proof of the HLF. We then establish an identity, which is really a special case of the equation mentioned above, and show that the HLF follows from it. (Wilson and Van Lint prove this identity directly, and use it to prove the HLF in a similar manner.) We then note the appearance of an expression resembling the Weyl dimension formula and conclude with a combinatorial result.
Groups and Semigroups Defined by Colorings of Synchronizing Automata
Published in International Journal of Algebra and Computation (2014), Volume 24(06), pp. 773-793
• View Publication
• BIB
In this paper we combine the algebraic properties of Mealy machines generating self-similar groups and the combinatorial properties of the corresponding deterministic finite automata (DFA). In particular, we relate bounded automata to finitely generated synchronizing automata and characterize finite automata groups in terms of nilpotency of the corresponding DFA. Moreover, we present a decidable sufficient condition to have free semigroups in an automaton group. A series of examples and applications is widely discussed, in particular we show a way to color the De Bruijn automata into Mealy automata whose associated semigroups are free, and we present some structural results related to the associated groups.
The Post correspondence problem in groups
Published
• View Publication
• BIB
We generalize the classical Post correspondence problem ($\mathbf{PCP}_n$) and its non-homogeneous variation ($\mathbf{GPCP}_n$) to non-commutative groups and study the computational complexity of these new problems. We observe that $\mathbf{PCP}_n$ is closely related to the equalizer problem in groups, while $\mathbf{GPCP}_n$ is connected to the double twisted conjugacy problem for endomorphisms. Furthermore, it is shown that one of the strongest forms of the word problem in a group $G$ (we call it the {\em hereditary word problem}) can be reduced to $\mathbf{GPCP}_n$ in $G$ in polynomial time.
The main results are that $\mathbf{PCP}_n$ is decidable in a finitely generated nilpotent group in polynomial time, while $\mathbf{GPCP}_n$ is undecidable in any group containing free non-abelian subgroup (though the argument is very different from the classical case of free semigroups). We show that the double endomorphism twisted conjugacy problem is undecidable in free groups of sufficiently large finite rank. We also consider the bounded $\mathbf{PCP}$ and observe that it is in $\mathbf{NP}$ for any group with $\mathbf{P}$-time decidable word problem, meanwhile it is $\mathbf{NP}$-hard in any group containing free non-abelian subgroup. In particular, the bounded $\mathbf{PCP}$ is $\mathbf{NP}$-complete in non-elementary hyperbolic groups and non-abelian right angle Artin groups.
Polygonal Complexes and Graphs for Crystallographic Groups
Published
• View Publication
• BIB
The paper surveys highlights of the ongoing program to classify discrete polyhedral structures in Euclidean 3-space by distinguished transitivity properties of their symmetry groups, focussing in particular on various aspects of the classification of regular polygonal complexes, chiral polyhedra, and more generally, two-orbit polyhedra.
A proof of Zhil'tsov's theorem on decidability of equational theory of epigroups
Epigroups are semigroups equipped with an additional unary operation called pseudoinversion. Each finite semigroup can be considered as epigroup. We prove the following theorem announced by Zhil'tsov in 2000: the equational theory of the class of all epigroups coincides with the equational theory of the class of all finite epigroups and is decidable. We show that the theory is not finitely based but provide a transparent infinite basis for it.
Random Walks on Simplicial Complexes and Harmonics
Published
• View Publication
• BIB
In this paper, we introduce random walks with absorbing states on simplicial complexes. Given a simplicial complex of dimension $d$, a random walk with an absorbing state is defined which relates to the spectrum of the $k$-dimensional Laplacian for $1 \leq k \leq d$ and which relates to the local random walk on a graph defined by Fan Chung. We also examine an application of random walks on simplicial complexes to a semi-supervised learning problem. Specifically, we consider a label propagation algorithm on oriented edges, which applies to a generalization of the partially labelled classification problem on graphs.
Cycle-maximal triangle-free graphs
Published in Discrete Mathematics 338 (2015) pp. 274-290
• View Publication
• BIB
We conjecture that the balanced complete bipartite graph $K_{\lfloor n/2 \rfloor,\lceil n/2 \rceil}$ contains more cycles than any other $n$-vertex triangle-free graph, and we make some progress toward proving this. We give equivalent conditions for cycle-maximal triangle-free graphs; show bounds on the numbers of cycles in graphs depending on numbers of vertices and edges, girth, and homomorphisms to small fixed graphs; and use the bounds to show that among regular graphs, the conjecture holds. We also consider graphs that are close to being regular, with the minimum and maximum degrees differing by at most a positive integer $k$. For $k=1$, we show that any such counterexamples have $n\le 91$ and are not homomorphic to $C_5$; and for any fixed $k$ there exists a finite upper bound on the number of vertices in a counterexample. Finally, we describe an algorithm for efficiently computing the matrix permanent (a #P-complete problem in general) in a special case used by our bounds.
Local law for eigenvalues of random regular bipartite graphs
Published
• View Publication
• BIB
In this paper we study the local law for eigenvalues of large random regular bipartite graphs with degree growing arbitrarily fast. We prove that the empirical spectral distribution of the adjacency matrix converges to a scaled down copy of the Marchenko - Pastur distribution on intervals of short length.
Bounding Helly numbers via Betti numbers
Published
• View Publication
• BIB
We show that very weak topological assumptions are enough to ensure the existence of a Helly-type theorem. More precisely, we show that for any non-negative integers $b$ and $d$ there exists an integer $h(b,d)$ such that the following holds. If $\mathcal F$ is a finite family of subsets of $\mathbb R^d$ such that $\tildeβ_i\left(\bigcap\mathcal G\right) \le b$ for any $\mathcal G \subsetneq \mathcal F$ and every $0 \le i \le \lceil d/2 \rceil-1$ then $\mathcal F$ has Helly number at most $h(b,d)$. Here $\tildeβ_i$ denotes the reduced $\mathbb Z_2$-Betti numbers (with singular homology). These topological conditions are sharp: not controlling any of these $\lceil d/2 \rceil$ first Betti numbers allow for families with unbounded Helly number.
Our proofs combine homological non-embeddability results with a Ramsey-based approach to build, given an arbitrary simplicial complex $K$, some well-behaved chain map $C_*(K) \to C_*(\mathbb R^d)$.
Secret sharing on the $d$-dimensional cube
Published
• View Publication
• BIB
We prove that for $d>1$ the best information ratio of the perfect secret sharing scheme based on the edge set of the $d$-dimensional cube is exactly $d/2$. Using the technique developed, we also prove that the information ratio of the infinite $d$-dimensional lattice is $d$.
Large monochromatic triple stars in edge colourings
Published
• View Publication
• BIB
Following problems posed by Gyárfás, we show that for every $r$-edge-colouring of $K_n$ there is a monochromatic triple star of order at least $n/(r-1)$, improving a previous result by Ruszinkó.
An edge colouring of a graph is called a local $r$-colouring if every vertex spans edges of at most $r$ distinct colours. We prove the existence of a monochromatic triple star with at least $rn/(r^2-r+1)$ vertices in every local $r$-colouring of $K_n$.
The domination number and the least $Q$-eigenvalue
Published
• View Publication
• BIB
A vertex set $D$ of a graph $G$ is said to be a dominating set if every vertex of $V(G)\setminus D$ is adjacent to at least a vertex in $D$, and the domination number $γ(G)$ ($γ$, for short) is the minimum cardinality of all dominating sets of $G$. For a graph, the least $Q$-eigenvalue is the least eigenvalue of its signless Laplacian matrix. In this paper, for a nonbipartite graph with both order $n$ and domination number $γ$, we show that $n\geq 3γ-1$, and show that it contains a unicyclic spanning subgraph with the same domination number $γ$. By investigating the relation between the domination number and the least $Q$-eigenvalue of a graph, we minimize the least $Q$-eigenvalue among all the nonbipartite graphs with given domination number.