natural ↗ reference
4894 papers tagged with this keyword
Hitting Times, Cover Cost, and the Wiener Index of a Tree
Published
• View Publication
• BIB
We exhibit a close connection between hitting times of the simple random walk on a graph, the Wiener index, and related graph invariants. In the case of trees we obtain a simple identity relating hitting times to the Wiener index.
It is well known that the vertices of any graph can be put in a linear preorder so that vertices appearing earlier in the preorder are "easier to reach" by a random walk, but "more difficult to get out of". We define various other natural preorders and study their relationships. These preorders coincide when the graph is a tree, but not necessarily otherwise.
Our treatise is self-contained, and puts some known results relating the behaviour or random walk on a graph to its eigenvalues in a new perspective.
Acquaintance Time of a Graph
Published
• View Publication
• BIB
We define the following parameter of connected graphs. For a given graph $G$ we place one agent in each vertex of $G$. Every pair of agents sharing a common edge is declared to be acquainted. In each round we choose some matching of $G$ (not necessarily a maximal matching), and for each edge in the matching the agents on this edge swap places. After the swap, again, every pair of agents sharing a common edge become acquainted, and the process continues. We define the \emph{acquaintance time} of a graph $G$, denoted by $AC(G)$, to be the minimal number of rounds required until every two agents are acquainted.
We first study the acquaintance time for some natural families of graphs including the path, expanders, the binary tree, and the complete bipartite graph. We also show that for all positive integers $n$ and $k \leq n^{1.5}$ there exists an $n$-vertex graph $G$ such that $AC(G) =Θ(k)$. We also prove that for all $n$-vertex connected graphs $G$ we have $AC(G) = O\left(\frac{n^2}{\log(n)/\log\log(n)}\right)$, improving the $O(n^2)$ trivial upper bound achieved by sequentially letting each agent perform depth-first search along a spanning tree of $G$.
Studying the computational complexity of this problem, we prove that for any constant $t \geq 1$ the problem of deciding that a given graph $G$ has $AC(G) \leq t$ or $AC(G) \geq 2t$ is $\mathcal{NP}$-complete. That is, $AC(G)$ is $\mathcal{NP}$-hard to approximate within multiplicative factor of 2, as well as within any additive constant factor.
On the algorithmic side, we give a deterministic algorithm that given a graph $G$ with $AC(G)=1$ finds a ${\lceil n/c\rceil}$-rounds strategy for acquaintance in time $n^{c+O(1)}$. We also design a randomized polynomial time algorithm that given a graph $G$ with $AC(G)=1$ finds with high probability an $O(\log(n))$-rounds strategy for acquaintance.
On Computing the Maximum Parsimony Score of a Phylogenetic Network
Published
• View Publication
• BIB
Phylogenetic networks are used to display the relationship of different species whose evolution is not treelike, which is the case, for instance, in the presence of hybridization events or horizontal gene transfers. Tree inference methods such as Maximum Parsimony need to be modified in order to be applicable to networks. In this paper, we discuss two different definitions of Maximum Parsimony on networks, "hardwired" and "softwired", and examine the complexity of computing them given a network topology and a character. By exploiting a link with the problem Multicut, we show that computing the hardwired parsimony score for 2-state characters is polynomial-time solvable, while for characters with more states this problem becomes NP-hard but is still approximable and fixed parameter tractable in the parsimony score. On the other hand we show that, for the softwired definition, obtaining even weak approximation guarantees is already difficult for binary characters and restricted network topologies, and fixed-parameter tractable algorithms in the parsimony score are unlikely. On the positive side we show that computing the softwired parsimony score is fixed-parameter tractable in the level of the network, a natural parameter describing how tangled reticulate activity is in the network. Finally, we show that both the hardwired and softwired parsimony score can be computed efficiently using Integer Linear Programming. The software has been made freely available.
Binary Linear Codes, Dimers and Hypermatrices
Published
• View Publication
• BIB
We show that the weight enumerator of any binary linear code is equal to the permanent of a 3-dimensional hypermatrix (3-matrix). We also show that each permanent is a determinant of a 3-matrix. As an application we write the dimer partition function of a finite 3-dimensional cubic lattice as the determinant of the vertex-adjacency 3-matrix of a 2-dimensional simplicial complex which preserves the natural embedding of the cubic lattice.
Continued Fractions of Quadratic Numbers
Published in Acta Polytechnica, 53(4) (2013), 322-328
• View Publication
• BIB
In this paper, we will first summarize known results concerning continued fractions. Then we will limit our consideration to continued fractions of quadratic numbers. The second author described periods and sometimes precise form of continued fractions of $\sqrt{N}$, where $N$ is a natural number. In cases where we were able to find such results in literature, we recall the original authors, however many results seem to be new.
The shuffle relation of fractions from multiple zeta values
Published in Ramanujan Jour. 25 (2011) 307-317
• View Publication
• BIB
Partial fraction methods play an important role in the study of multiple zeta values. One class of such fractions is related to the integral representations of MZVs. We show that this class of fractions has a natural structure of shuffle algebra. This finding conceptualizes the connections among the various methods of stuffle, shuffle and partial fractions in the study of MZVs. This approach also gives an explicit product formula of the fractions.
The Third Proof of Lovász's Cathedral Theorem
Published
• View Publication
• BIB
A graph $G$ with a perfect matching is called saturated if $G+e$ has more perfect matchings than $G$ for any edge $e$ that is not in $G$. Lovász gave a characterization of the saturated graphs called the cathedral theorem, with some applications to the enumeration problem of perfect matchings, and later Szigeti gave another proof. In this paper, we give a new proof with our preceding works which revealed canonical structures of general graphs with perfect matchings. Here, the cathedral theorem is derived in quite a natural way, providing more refined or generalized properties. Moreover, the new proof shows that it can be proved without using the Gallai-Edmonds structure theorem.
$r$-fundamental groups of graphs
In this paper, we introduce the notions of $r$-fundamental groups of graphs, $r$-covering maps, and $r$-neighborhood complexes of graphs for a positive integer $r$. There is a natural correspondence between $r$-covering maps and $r$-fundamental groups as is the case of the covering space theory in topology. We can derive obstructions of the existences of graph maps from $r$-fundamental groups. Especially, $r$-fundamental groups gives deep informations about the existences of graph maps to odd cycles. For example, we prove the Kneser graph $K_{2k+1,k}$ has no graph maps to $C_5$. $r$-neighborhood complexes are natural generalization of neighborhood complexes defined by Lov$\acute{\rm a}$sz. We prove that $(2r)$-fundamental groups gives graph theoretical description of the fundamental groups of $r$-neighborhood complexes.
Square Property, Equitable Partitions, and Product-like Graphs
Published
• View Publication
• BIB
Equivalence relations on the edge set of a graph $G$ that satisfy restrictive conditions on chordless squares play a crucial role in the theory of Cartesian graph products and graph bundles. We show here that such relations in a natural way induce equitable partitions on the vertex set of $G$, which in turn give rise to quotient graphs that can have a rich product structure even if $G$ itself is prime.
Planar functions over fields of characteristic two
Published
• View Publication
• BIB
Classical planar functions are functions from a finite field to itself and give rise to finite projective planes. They exist however only for fields of odd characteristic. We study their natural counterparts in characteristic two, which we also call planar functions. They again give rise to finite projective planes, as recently shown by the second author. We give a characterisation of planar functions in characteristic two in terms of codes over $\mathbb{Z}_4$. We then specialise to planar monomial functions $f(x)=cx^t$ and present constructions and partial results towards their classification. In particular, we show that $t=1$ is the only odd exponent for which $f(x)=cx^t$ is planar (for some nonzero $c$) over infinitely many fields. The proof techniques involve methods from algebraic geometry.
On Multiple Pattern Avoiding Set Partitions
Published in Advances in Applied Mathematics, 50(2) (2013), 292-326
• View Publication
• BIB
We study classes of set partitions determined by the avoidance of multiple patterns, applying a natural notion of partition containment that has been introduced by Sagan. We say that two sets S and T of patterns are equivalent if for each n, the number of partitions of size n avoiding all the members of S is the same as the number of those that avoid all the members of T.
Our goal is to classify the equivalence classes among two-element pattern sets of several general types. First, we focus on pairs of patterns {σ,τ}, where σ is a pattern of size three with at least two distinct symbols and τ is an arbitrary pattern of size k that avoids σ. We show that pattern-pairs of this type determine a small number of equivalence classes; in particular, the classes have on average exponential size in k. We provide a (sub-exponential) upper bound for the number of equivalence classes, and provide an explicit formula for the generating function of all such avoidance classes, showing that in all cases this generating function is rational.
Next, we study partitions avoiding a pair of patterns of the form {1212,τ}, where τ is an arbitrary pattern. Note that partitions avoiding 1212 are exactly the non-crossing partitions. We provide several general equivalence criteria for pattern pairs of this type, and show that these criteria account for all the equivalences observed when τ has size at most six.
In the last part of the paper, we perform a full classification of the equivalence classes of all the pairs {σ,τ}, where σ and τ have size four.
Simple random walk on distance-regular graphs
A survey is presented of known results concerning simple random walk on the class of distance-regular graphs. One of the highlights is that electric resistance and hitting times between points can be explicitly calculated and given strong bounds for, which leads in turn to bounds on cover times, mixing times, etc. Also discussed are harmonic functions, moments of hitting and cover times, the Green's function, and the cutoff phenomenon. The main goal of the paper is to present these graphs as a natural setting in which to study simple random walk, and to stimulate further research in the field.
Infinite Matroids and Determinacy of Games
Solving a problem of Diestel and Pott, we construct a large class of infinite matroids. These can be used to provide counterexamples against the natural extension of the Well-quasi-ordering-Conjecture to infinite matroids and to show that the class of planar infinite matroids does not have a universal matroid.
The existence of these matroids has a connection to Set Theory in that it corresponds to the Determinacy of certain games. To show that our construction gives matroids, we introduce a new very simple axiomatization of the class of countable tame matroids.
Sorting and generating reduced words
We introduce a partial order on the set of all reduced words of a given permutation $ω$, called \emph{directed-braid poset} of $ω$. This poset enables us to produce two algorithms: One is a sorting algorithm applied on any reduced word of $ω$ and aims to obtained the natural word (lexicographically largest reduced word); the other one is a generation algorithm applied on the natural word and aims to obtained the set of all reduced words of $ω$.
Nested Recursions, Simultaneous Parameters and Tree Superpositions
Published in Electron. J. Combin. 21 (2014), Article P49
• View Publication
• BIB
We apply a tree-based methodology to solve new, very broadly defined families of nested recursions of the general form R(n)=sum_{i=1}^k R(n-a_i-sum_{j=1}^p R(n-b_{ij})), where a_i are integers, b_{ij} are natural numbers, and k,p are natural numbers that we use to denote "arity" and "order," respectively, and with some specified initial conditions. The key idea of the tree-based solution method is to associate such recursions with infinite labelled trees in a natural way so that the solution to the recursions solves a counting question relating to the corresponding trees. We characterize certain recursion families within R(n) by introducing "simultaneous parameters" that appear both within the recursion itself and that also specify structural properties of the corresponding tree. First, we extend and unify recently discovered results concerning two families of arity k=2, order p=1 recursions. Next, we investigate the solution of nested recursion families by taking linear combinations of solution sequence frequencies for simpler nested recursions, which correspond to superpositions of the associated trees; this leads us to identify and solve two new recursion families for arity k=2 and general order p. Finally, we extend these results to general arity k>2. We conclude with several related open problems.
Bitwise operations related to a combinatorial problem on binary matrices
Published in I.J.Modern Education and Computer Science, 2013, 4, 19-24
• View Publication
• BIB
Some techniques for the use of bitwise operations are described in the article. As an example, an open problem of isomorphism-free generations of combinatorial objects is discussed. An equivalence relation on the set of square binary matrices having the same number of units in each row and each column is defined. Each binary matrix is represented using ordered n-tuples of natural numbers. It is shown how by using the bitwise operations can be implemented an algorithm that gets canonical representatives which are extremal elements of equivalence classes relative to a double order on the set of considered objects.
Central sets generated by uniformly recurrent words
Published
• View Publication
• BIB
A subset $A$ of $\nats$ is called an IP-set if $A$ contains all finite sums of distinct terms of some infinite sequence $(x_n)_{n\in \nats} $ of natural numbers. Central sets, first introduced by Furstenberg using notions from topological dynamics, constitute a special class of IP-sets possessing rich combinatorial properties: Each central set contains arbitrarily long arithmetic progressions, and solutions to all partition regular systems of homogeneous linear equations. In this paper we investigate central sets in the framework of combinatorics on words. Using various families of uniformly recurrent words, including Sturmian words, the Thue-Morse word and fixed points of weak mixing substitutions, we generate an assortment of central sets which reflect the rich combinatorial structure of the underlying words. The results in this paper rely on interactions between different areas of mathematics, some of which had not previously been directly linked. They include the general theory of combinatorics on words, abstract numeration systems, and the beautiful theory, developed by Hindman, Strauss and others, linking IP-sets and central sets to the algebraic/topological properties of the Stone-Čech compactification of $\nats .$
On additive properties of sets defined by the Thue-Morse word
Published
• View Publication
• BIB
In this paper we study some additive properties of subsets of the set $\nats$ of positive integers: A subset $A$ of $\nats$ is called {\it $k$-summable} (where $k\in\ben$) if $A$ contains $\textstyle \big{\sum_{n\in F}x_n | \emp\neq F\subseteq {1,2,...,k\} \big}$ for some $k$-term sequence of natural numbers $x_1<x_2 < ... < x_k$. We say $A \subseteq \nats$ is finite FS-big if $A$ is $k$-summable for each positive integer $k$. We say is $A \subseteq \nats$ is infinite FS-big if for each positive integer $k,$ $A$ contains ${\sum_{n\in F}x_n | \emp\neq F\subseteq \nats and #F\leq k}$ for some infinite sequence of natural numbers $x_1<x_2 < ... $. We say $A\subseteq \nats $ is an IP-set if $A$ contains ${\sum_{n\in F}x_n | \emp\neq F\subseteq \nats and #F<\infty}$ for some infinite sequence of natural numbers $x_1<x_2 < ... $. By the Finite Sums Theorem [5], the collection of all IP-sets is partition regular, i.e., if $A$ is an IP-set then for any finite partition of $A$, one cell of the partition is an IP-set. Here we prove that the collection of all finite FS-big sets is also partition regular. Let $\TM =011010011001011010... $ denote the Thue-Morse word fixed by the morphism $0\mapsto 01$ and $1\mapsto 10$. For each factor $u$ of $\TM$ we consider the set $\TM\big|_u\subseteq \nats$ of all occurrences of $u$ in $\TM$. In this note we characterize the sets $\TM\big|_u$ in terms of the additive properties defined above. Using the Thue-Morse word we show that the collection of all infinite FS-big sets is not partition regular.
On Left regular bands and real Conic-Line arrangements
Published
• View Publication
• BIB
An arrangement of curves in the real plane divides it into a collection of faces. In the case of line arrangements, there exists an associative product which gives this collection a structure of a left regular band. A natural question is whether the same is possible for other arrangements. In this paper, we try to answer this question for the simplest generalization of line arrangements, that is, conic--line arrangements.
Investigating the different algebraic structures induced by the face poset of a conic--line arrangement, we present two different generalizations for the product and its associated structures: an alternative left regular band and an associative aperiodic semigroup. We also study the structure of sub left regular bands induced by these arrangements. We finish with some chamber counting results for conic--line arrangements.
The genus of regular languages
Published
• View Publication
• BIB
The article defines and studies the genus of finite state deterministic automata (FSA) and regular languages. Indeed, a FSA can be seen as a graph for which the notion of genus arises. At the same time, a FSA has a semantics via its underlying language. It is then natural to make a connection between the languages and the notion of genus. After we introduce and justify the the notion of the genus for regular languages, the following questions are addressed. First, depending on the size of the alphabet, we provide upper and lower bounds on the genus of regular languages : we show that under a relatively generic condition on the alphabet and the geometry of the automata, the genus grows at least linearly in terms of the size of the automata. Second, we show that the topological cost of the powerset determinization procedure is exponential. Third, we prove that the notion of minimization is orthogonal to the notion of genus. Fourth, we build regular languages of arbitrary large genus: the notion of genus defines a proper hierarchy of regular languages.