Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Spectrum of mixed bi-uniform hypergraphs
Published
• View Publication
• BIB
A mixed hypergraph is a triple $H=(V,\mathcal{C},\mathcal{D})$, where $V$ is a set of vertices, $\mathcal{C}$ and $\mathcal{D}$ are sets of hyperedges. A vertex-coloring of $H$ is proper if $C$-edges are not totally multicolored and $D$-edges are not monochromatic. The feasible set $S(H)$ of $H$ is the set of all integers, $s$, such that $H$ has a proper coloring with $s$ colors.
Bujtás and Tuza [Graphs and Combinatorics 24 (2008), 1--12] gave a characterization of feasible sets for mixed hypergraphs with all $C$- and $D$-edges of the same size $r$, $r\geq 3$.
In this note, we give a short proof of a complete characterization of all possible feasible sets for mixed hypergraphs with all $C$-edges of size $\ell$ and all $D$-edges of size $m$, where $\ell, m \geq 2$. Moreover, we show that for every sequence $(r(s))_{s=\ell}^n$, $n \geq \ell$, of natural numbers there exists such a hypergraph with exactly $r(s)$ proper colorings using $s$ colors, $s = \ell,\ldots,n$, and no proper coloring with more than $n$ colors. Choosing $\ell = m=r$ this answers a question of Bujtás and Tuza, and generalizes their result with a shorter proof.
Synchronization of finite-state pulse-coupled oscillators
Published
• View Publication
• BIB
We propose a novel generalized cellular automaton(GCA) model for discrete-time pulse-coupled oscillators and study the emergence of synchrony. Given a finite simple graph and an integer $n\ge 3$, each vertex is an identical oscillator of period $n$ with the following weak coupling along the edges: each oscillator inhibits its phase update if it has at least one neighboring oscillator at a particular "blinking" state and if its state is ahead of this blinking state. We obtain conditions on initial configurations and on network topologies for which states of all vertices eventually synchronize. We show that our GCA model synchronizes arbitrary initial configurations on paths, trees, and with random perturbation, any connected graph. In particular, our main result is the following local-global principle for tree networks: for $n\in \{3,4,5,6\}$, any $n$-periodic network on a tree synchronizes arbitrary initial configuration if and only if the maximum degree of the tree is less than the period $n$.
Non-regular graphs with minimal total irregularity
Published
• View Publication
• BIB
The {\it total irregularity} of a simple undirected graph $G$ is defined as ${\rm irr}_t(G) =$ $\frac{1}{2}\sum_{u,v \in V(G)}$ $\left| d_G(u)-d_G(v) \right|$, where $d_G(u)$ denotes the degree of a vertex $u \in V(G)$. Obviously, ${\rm irr}_t(G)=0$ if and only if $G$ is regular. Here, we characterize the non-regular graphs with minimal total irregularity and thereby resolve the recent conjecture by Zhu, You and Yang~\cite{zyy-mtig-2014} about the lower bound on the minimal total irregularity of non-regular connected graphs. We show that the conjectured lower bound of $2n-4$ is attained only if non-regular connected graphs of even order are considered, while the sharp lower bound of $n-1$ is attained by graphs of odd order. We also characterize the non-regular graphs with the second and the third smallest total irregularity.
Simple crystallizations of 4-manifolds
Published in Adv. Geom. 16 (2016), no. 1
• View Publication
• BIB
Minimal crystallizations of simply connected PL 4-manifolds are very natural objects. Many of their topological features are reflected in their combinatorial structure which, in addition, is preserved under the connected sum operation. We present a minimal crystallization of the standard PL K3 surface. In combination with known results this yields minimal crystallizations of all simply connected PL 4-manifolds of "standard" type, that is, all connected sums of $\mathbb{CP}^2$, $S^2 \times S^2$, and the K3 surface. In particular, we obtain minimal crystallizations of a pair of homeomorphic but non-PL-homeomorphic 4-manifolds. In addition, we give an elementary proof that the minimal 8-vertex crystallization of $\mathbb{CP}^2$ is unique and its associated pseudotriangulation is related to the 9-vertex combinatorial triangulation of $\mathbb{CP}^2$ by the minimum of four edge contractions.
Impartial achievement and avoidance games for generating finite groups
Published in Int. J. Game Theory 47(2), 509-542, 2018
• View Publication
• BIB
We study two impartial games introduced by Anderson and Harary and further developed by Barnes. Both games are played by two players who alternately select previously unselected elements of a finite group. The first player who builds a generating set from the jointly selected elements wins the first game. The first player who cannot select an element without building a generating set loses the second game. After the development of some general results, we determine the nim-numbers of these games for abelian and dihedral groups. We also present some conjectures based on computer calculations. Our main computational and theoretical tool is the structure diagram of a game, which is a type of identification digraph of the game digraph that is compatible with the nim-numbers of the positions. Structure diagrams also provide simple yet intuitive visualizations of these games that capture the complexity of the positions.
On the local base set of primitive and nonpowerful signed digraphs
Published
• View Publication
• BIB
In this paper, we consider the local bases of primitive nonpowerful sign pattern matrices, show that there are "gaps" in the local base set and characterize some sign pattern matrices with given local bases.
Network routing on regular directed graphs from spanning factorizations
Published
• View Publication
• BIB
Networks with a high degree of symmetry are useful models for parallel processor networks. In earlier papers, we defined several global communication tasks (universal exchange, universal broadcast, universal summation) that can be critical tasks when complex algorithms are mapped to parallel machines. We showed that utilizing the symmetry can make network optimization a tractable problem. In particular, we showed that Cayley graphs have the desirable property that certain routing schemes starting from a single node can be transferred to all nodes in a way that does not introduce conflicts. In this paper, we define the concept of spanning factorizations and show that this property can also be used to transfer routing schemes from a single node to all other nodes. We show that all Cayley graphs and many (perhaps all) vertex transitive graphs have spanning factorizations.
Pairs of orthogonal countable ordinals
Published
• View Publication
• BIB
We characterize pairs of orthogonal countable ordinals. Two ordinals $α$ and $β$ are orthogonal if there are two linear orders $A$ and $B$ on the same set $V$ with order types $α$ and $β$ respectively such that the only maps preserving both orders are the constant maps and the identity map. We prove that if $α$ and $β$ are two countable ordinals, with $α\leq β$, then $α$ and $β$ are orthogonal if and only if either $ω+ 1\leq α$ or $α=ω$ and $β< ωβ$.
Finite primitive groups and edge-transitive hypergraphs
Published
• View Publication
• BIB
We determine all finite primitive groups that are automorphism groups of edge-transitive hypergraphs. This gives an answer to a problem proposed by Babai and Cameron
Transpose on vertex symmetric digraphs
We discuss transpose (sometimes called universal exchange or all-to-all) on vertex symmetric networks. We provide a method to compare the efficiency of transpose schemes on two different networks with a cost function based on the number processors and wires needed to complete a given algorithm in a given time.
Congruences involving $g_n(x)=\sum_{k=0}^n\binom nk^2\binom{2k}kx^k$
Published in Ramanujan J. 40(2016), no.3, 511-533
• Search Publication
Define $g_n(x)=\sum_{k=0}^n\binom nk^2\binom{2k}kx^k$ for $n=0,1,2,...$. Those numbers $g_n=g_n(1)$ are closely related to Apéry numbers and Franel numbers. In this paper we establish some fundamental congruences involving $g_n(x)$. For example, for any prime $p>5$ we have $$\sum_{k=1}^{p-1}\frac{g_k(-1)}{k}\equiv 0\pmod{p^2}\quad{and}\quad\sum_{k=1}^{p-1}\frac{g_k(-1)}{k^2}\equiv 0\pmod p.$$ This is similar to Wolstenholme's classical congruences $$\sum_{k=1}^{p-1}\frac1k\equiv0\pmod{p^2}\quad{and}\quad\sum_{k=1}^{p-1}\frac{1}{k^2}\equiv0\pmod p$$ for any prime $p>3$.
No small nondeterministic read-once branching programs for CNFs of bounded treewidth
Published
• View Publication
• BIB
In this paper, given a parameter $k$, we demonstrate an infinite class of {\sc cnf}s of treewidth at most $k$ of their primary graphs such that the equivalent nondeterministic read-once branching programs ({\sc nrobp}s) are of size at least $n^{ck}$ for some universal constant $c$. Thus we rule out the possibility of fixed-parameter space complexity of {\sc nrobp}s parameterized by the smallest treewidth of the equivalent {\sc cnf}.
Snake graph calculus and cluster algebras from surfaces II: Self-crossing snake graphs
Published
• View Publication
• BIB
Snake graphs appear naturally in the theory of cluster algebras. For cluster algebras from surfaces, each cluster variable is given by a formula which is parametrized by the perfect matchings of a snake graph. In this paper, we continue our study of snake graphs from a combinatorial point of view. We introduce the notions of abstract snake graphs and abstract band graphs, their crossings and self-crossings, as well as the resolutions of these crossings. We show that there is a bijection between the set of perfect matchings of (self-)crossing snake graphs and the set of perfect matchings of the resolution of the crossing. In the situation where the snake and band graphs are coming from arcs and loops in a surface without punctures, we obtain a new proof of skein relations in the corresponding cluster algebra.
The relation between tree size complexity and probability for Boolean functions generated by uniform random trees
Published
• View Publication
• BIB
We consider a probability distribution on the set of Boolean functions in n variables which is induced by random Boolean expressions. Such an expression is a random rooted plane tree where the internal vertices are labelled with connectives And and OR and the leaves are labelled with variables or negated variables. We study limiting distribution when the tree size tends to infinity and derive a relation between the tree size complexity and the probability of a function. This is done by first expressing trees representing a particular function as expansions of minimal trees representing this function and then computing the probabilities by means of combinatorial counting arguments relying on generating functions and singularity analysis.
The catenary degree of Krull monoids II
Published in J. Aust. Math. Soc. 98 (2015) 324-354
• View Publication
• BIB
Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor (for example, a ring of integers in an algebraic number field or a holomorphy ring in an algebraic function field). The catenary degree $\mathsf c (H)$ of $H$ is the smallest integer $N$ with the following property: for each $a \in H$ and each two factorizations $z, z'$ of $a$, there exist factorizations $z = z_0, ..., z_k = z'$ of $a$ such that, for each $i \in [1, k]$, $z_i$ arises from $z_{i-1}$ by replacing at most $N$ atoms from $z_{i-1}$ by at most $N$ new atoms. To exclude trivial cases, suppose that $|G| \ge 3$. Then the catenary degree depends only on the class group $G$ and we have $\mathsf c (H) \in [3, \mathsf D (G)]$, where $\mathsf D (G)$ denotes the Davenport constant of $G$. It is well-known when $\mathsf c (H) \in \{3,4, \mathsf D (G)\}$ holds true. Based on a characterization of the catenary degree determined in the first paper (The catenary degree of Krull monoids I), we determine the class groups satisfying $\mathsf c (H)= \mathsf D (G)-1$. Apart from the mentioned extremal cases the precise value of $\mathsf c (H)$ is known for no further class groups.
The permutation classes Av(1234,2341) and Av(1243,2314)
Published in Australasian J. Combin., 64(1):3-20, 2016
• Search Publication
We investigate the structure of the two permutation classes defined by the sets of forbidden patterns {1234,2341} and {1243,2314}. By considering how the Hasse graphs of permutations in these classes can be built from a sequence of rooted source graphs, we determine their algebraic generating functions. Our approach is similar to that of "adding a slice", used previously to enumerate various classes of polyominoes and other combinatorial structures. To solve the relevant functional equations, we make extensive use of the kernel method.
Erdos-Szekeres tableaux
Published in S. V. Ault and B. Shemmer. Erdos-Szekeres tableaux. Order, pages 1-12, 2013
• View Publication
• BIB
We explore a question related to the celebrated Erdős-Szekeres Theorem and develop a geometric approach to answer it. Our main object of study is the Erdős-Szekeres tableau, or EST, of a number sequence. An EST is the sequence of integral points whose coordinates record the length of the longest increasing and longest decreasing subsequence ending at each element of the sequence. We define the Order Poset of an EST in order to answer the question: What information about the sequence can be recovered by its EST?
Hyperfield extensions, characteristic one and the Connes-Consani plane connection
Published
• View Publication
• BIB
Inspired by a recent paper of Alain Connes and Catherina Consani which connects the geometric theory surrounding the elusive field with one element to sharply transitive group actions on finite and infinite projective spaces ("Singer actions"), we consider several fudamental problems and conjectures about Singer actions. Among other results, we show that virtually all infinite abelian groups and all (possibly infinitely generated) free groups act as Singer groups on certain projective planes, as a corollary of a general criterion. We investigate for which fields $\mathbb{F}$ the plane $\mathbf{P}^2(\mathbb{F}) = \mathbf{PG}(2,\mathbb{F})$ (and more generally the space $\mathbf{P}^n(\mathbb{F}) = \mathbf{PG}(n,\mathbb{F})$) admits a Singer group, and show, e.g., that for any prime $p$ and any positive integer $n > 1$, $\mathbf{PG}(n,\overline{\mathbb{F}_p})$ cannot admit Singer groups. One of the main results in characteristic $0$, also as a corollary of a criterion which applies to many other fields, is that $\mathbf{PG}(m,\mathbb{R})$ with $m \ne 0$ a positive even integer, cannot admit Singer groups.
A criterion concerning Singer groups of generalized quadrangles, and construction of uniform lattices in $\widetilde{\mathbf{C}_2}$-buildings
We describe a simple criterion to construct Singer groups of Payne-derived generalized quadrangles, yielding, as a corollary, a classification of Singer groups of the classical Payne-derived quadrangles in any characteristic. This generalizes recent constructions of Singer groups of these quadrangles that were presented in a paper by Bamberg and Giudici. In the linear case, and several other cases, our classification is complete. Contrary to what seemed to be a common belief, we show that for the classical Payne-derived quadrangles, the number of different Singer groups is extremely large, and even bounded below by an exponential function of the order of the ground field. Our results have direct applications to the theory of $\widetilde{\mathbf{C}_2}$-buildings, which are explained at the end of the paper.
A list analog of Vizing's Theorem for simple graphs with triangles but no other odd cycles
This paper has been withdrawn by the author. Peterson and Woodall previously proved that the list-edge-colouring conjecture holds for graphs without odd cycles of length 5 or longer.
D. Peterson and D. R. Woodall, Edge-choosability in line-perfect multigraphs, Discrete Mathematics 202 (1999), 191-199.
D. Peterson and D. R. Woodall, Erratum to "Edge-choosability in line-perfect multigraphs", Discrete Mathematics 260 (2003), 323-326.