Showing 20 papers (Total: 83502 papers, 48219 authors in database)
The state complexity of random DFAs
Published
• View Publication
• BIB
The state complexity of a Deterministic Finite-state automaton (DFA) is the number of states in its minimal equivalent DFA. We study the state complexity of random $n$-state DFAs over a $k$-symbol alphabet, drawn uniformly from the set $[n]^{[n]\times[k]}\times2^{[n]}$ of all such automata. We show that, with high probability, the latter is $α_k n + O(\sqrt n\log n)$ for a certain explicit constant $α_k$.
Orthogonality and minimality in the homology of locally finite graphs
Published
• View Publication
• BIB
Given a finite set $E$, a subset $D\sub E$ (viewed as a function $E\to \F_2$) is orthogonal to a given subspace $\FF$ of the $\F_2$-vector space of functions $E\to \F_2$ as soon as $D$ is orthogonal to every $\sub$-minimal element of $\FF$. This fails in general when $E$ is infinite.
However, we prove the above statement for the six subspaces $\FF$ of the edge space of any 3-connected locally finite graph that are relevant to its homology: the topological, algebraic, and finite cycle and cut spaces. This solves a problem of [5]
On a sumset conjecture of Erdős
Published in Canad. J. Math. 67 (2015), no. 4, 795-809
• View Publication
• BIB
Erdős conjectured that for any set $A\subseteq \mathbb{N}$ with positive lower asymptotic density, there are infinite sets $B,C\subseteq \mathbb{N}$ such that $B+C\subseteq A$. We verify Erdős' conjecture in the case that $A$ has Banach density exceeding $\frac{1}{2}$. As a consequence, we prove that, for $A\subseteq \mathbb{N}$ with positive Banach density (a much weaker assumption than positive lower density), we can find infinite $B,C\subseteq \mathbb{N}$ such that $B+C$ is contained in the union of $A$ and a translate of $A$. Both of the aforementioned results are generalized to arbitrary countable amenable groups. We also provide a positive solution to Erdős' conjecture for subsets of the natural numbers that are pseudorandom.
A Purely Combinatorial Approach to Simultaneous Polynomial Recurrence Modulo 1
Published
• View Publication
• BIB
Using purely combinatorial means we obtain results on simultaneous Diophantine approximation modulo 1 for systems of polynomials with real coefficients and no constant term.
Representing Boolean Functions Using Polynomials: More Can Offer Less
Published in LNCS 6677, 2011, pp. 290-296
• View Publication
• BIB
Polynomial threshold gates are basic processing units of an artificial neural network. When the input vectors are binary vectors, these gates correspond to Boolean functions and can be analyzed via their polynomial representations. In practical applications, it is desirable to find a polynomial representation with the smallest number of terms possible, in order to use the least possible number of input lines to the unit under consideration. For this purpose, instead of an exact polynomial representation, usually the sign representation of a Boolean function is considered. The non-uniqueness of the sign representation allows the possibility for using a smaller number of monomials by solving a minimization problem. This minimization problem is combinatorial in nature, and so far the best known deterministic algorithm claims the use of at most $0.75\times 2^n$ of the $2^n$ total possible monomials. In this paper, the basic methods of representing a Boolean function by polynomials are examined, and an alternative approach to this problem is proposed. It is shown that it is possible to use at most $0.5\times 2^n = 2^{n-1}$ monomials based on the $\{0, 1\}$ binary inputs by introducing extra variables, and at the same time keeping the degree upper bound at $n$. An algorithm for further reduction of the number of terms that used in a polynomial representation is provided. Examples show that in certain applications, the improvement achieved by the proposed method over the existing methods is significant.
New bounds for the distance Ramsey number
Published in Discrete Mathematics 313 (2013), 2566-2574
• View Publication
• BIB
In this paper we study the distance Ramsey number $R_{\it D}(s,t,d)$. The \textit{distance Ramsey number} $R_{\it D}(s,t,d) $ is the minimum number $n$ such that for any graph $ G $ on $ n $ vertices, either $G$ contains an induced $ s $-vertex subgraph isomorphic to a distance graph in $ \Real^d $ or $ \bar {G} $ contains an induced $ t $-vertex subgraph isomorphic to the distance graph in $ \Real^d $. We obtain the upper and lower bounds on $R_{\it D}(s,s,d),$ which are similar to the bounds for the classical Ramsey number $R(\lceil \frac{s}{[d/2]} \rceil, \lceil \frac{s}{[d/2]} \rceil)$.
Solution of the minimum modulus problem for covering systems
Published in Annals of Mathematics 181.1 (2015): 361-382
• View Publication
• BIB
We answer a question of Erdős by showing that the least modulus of a distinct covering system of congruences is no larger than $10^{18}$.
Cohen-Lenstra heuristics and random matrix theory over finite fields
Published
• View Publication
• BIB
Let g be a random element of a finite classical group G, and let λ_{z-1}(g) denote the partition corresponding to the polynomial z-1 in the rational canonical form of g. As the rank of G tends to infinity, λ_{z-1}(g) tends to a partition distributed according to a Cohen-Lenstra type measure on partitions. We give sharp upper and lower bounds on the total variation distance between the random partition λ_{z-1}(g) and the Cohen-Lenstra type measure.
The algebraicity of ill-distributed sets
Published
• View Publication
• BIB
We show that every set S in [N]^d occupying less than p^t residue classes for some real number t < d and every prime p, must essentially lie in the solution set of a polynomial equation of degree at most (log N)^C, for some constant C depending only on t and d. This provides the first structural result for arbitrary t < d and S.
The coloring problem for classes with two small obstructions
Published
• View Publication
• BIB
The coloring problem is studied in the paper for graph classes defined by two small forbidden induced subgraphs. We prove some sufficient conditions for effective solvability of the problem in such classes. As their corollary we determine the computational complexity for all sets of two connected forbidden induced subgraphs with at most five vertices except 13 explicitly enumerated cases
Tight Chromatic Upper Bound for {3K1, C5}-free Graphs
Problem of finding an optimal upper bound for a chromatic no. of 3K1-free graphs is still open and pretty hard. Here we find a tight chromatic upper bound for {3K1, C5}-free graphs. We prove that if G is {3K1, C5}-free, then the chromatic no. <= (3ω-1)/2 where ω is the size of a maximum clique in G and show with examples that the bound is tight.
Continuous q-Hermite polynomials: An elementary approach
This overview article gives an elementary approach to continuous q-Hermite polynomials. We stress their relation to Fibonacci, Lucas and Chebyshev polynomials and to some q-analogues of these polynomials.
2178 And All That
Published in Fibonacci Quarterly, 52 (2014), 99-120
• View Publication
• BIB
For integers g >= 3, k >= 2, call a number N a (g,k)-reverse multiple if the reversal of N in base g is equal to k times N. The numbers 1089 and 2178 are the two smallest (10,k)-reverse multiples, their reversals being 9801 = 9x1089 and 8712 = 4x2178. In 1992, A. L. Young introduced certain trees in order to study the problem of finding all (g,k)-reverse multiples. By using modified versions of her trees, which we call Young graphs, we determine the possible values of k for bases g = 2 through 100, and then show how to apply the transfer-matrix method to enumerate the (g,k)-reverse multiples with a given number of base-g digits. These Young graphs are interesting finite directed graphs, whose structure is not at all well understood.
Pattern avoidance in ordered set partitions and words
Published
• View Publication
• BIB
We consider the enumeration of ordered set partitions avoiding a permutation pattern, as introduced by Godbole, Goyt, Herdan and Pudwell. Let $\op_{n,k}(p)$ be the number of ordered set partitions of $\{1,2,\ldots,n\}$ into $k$ blocks that avoid a permutation pattern $p$. We establish an explicit identity between the number $\op_{n,k}(p)$ and the numbers of words avoiding the inverse of $p$. This identity allows us to easily translate results on pattern-avoiding words obtained in earlier works into equivalent results on pattern-avoiding ordered set partitions. In particular, \emph{(a)} we determine the asymptotic growth rate of the sequence $(\op_{n,k}(p))_{n\geq 1}$ for every positive $k$ and every permutation pattern $p$, \emph{(b)} we partially confirm a conjecture of Godbole et al. concerning the variation of the sequences $(\op_{n,k}p))_{1\leq k\leq n}$, \emph{(c)} we undertake a detailed study of the number of ordered set partitions avoiding a pattern of length 3.
The Complexity of Counting Homomorphisms to Cactus Graphs Modulo 2
Published
• View Publication
• BIB
A homomorphism from a graph G to a graph H is a function from V(G) to V(H) that preserves edges. Many combinatorial structures that arise in mathematics and computer science can be represented naturally as graph homomorphisms and as weighted sums of graph homomorphisms. In this paper, we study the complexity of counting homomorphisms modulo 2. The complexity of modular counting was introduced by Papadimitriou and Zachos and it has been pioneered by Valiant who famously introduced a problem for which counting modulo 7 is easy but counting modulo 2 is intractable. Modular counting provides a rich setting in which to study the structure of homomorphism problems. In this case, the structure of the graph H has a big influence on the complexity of the problem. Thus, our approach is graph-theoretic. We give a complete solution for the class of cactus graphs, which are connected graphs in which every edge belongs to at most one cycle. Cactus graphs arise in many applications such as the modelling of wireless sensor networks and the comparison of genomes. We show that, for some cactus graphs H, counting homomorphisms to H modulo 2 can be done in polynomial time. For every other fixed cactus graph H, the problem is complete for the complexity class parity-P which is a wide complexity class to which every problem in the polynomial hierarchy can be reduced (using randomised reductions). Determining which H lead to tractable problems can be done in polynomial time. Our result builds upon the work of Faben and Jerrum, who gave a dichotomy for the case in which H is a tree.
The Algebraic Connectivity and the Clique Number of Graphs
This paper investigates some relationship between the algebraic connectivity and the clique number of graphs. We characterize all extremal graphs which have the maximum and minimum the algebraic connectivity among all graphs of order $n$ with the clique number $r$, respectively. In turn, an upper and lower bounds for the clique number of a graph in terms of the algebraic connectivity are obtained. Moreover, a spectral version of the Erdős-Stone theorem in terms of the algebraic connectivity of graphs is presented.
Tricyclic graphs with maximal revised Szeged index
Published
• View Publication
• BIB
The revised Szeged index of a graph $G$ is defined as $Sz^*(G)=\sum_{e=uv \in E}(n_u(e)+ n_0(e)/2)(n_v(e)+ n_0(e)/2),$ where $n_u(e)$ and $n_v(e)$ are, respectively, the number of vertices of $G$ lying closer to vertex $u$ than to vertex $v$ and the number of vertices of $G$ lying closer to vertex $v$ than to vertex $u$, and $n_0(e)$ is the number of vertices equidistant to $u$ and $v$. In this paper, we give an upper bound of the revised Szeged index for a connected tricyclic graph, and also characterize those graphs that achieve the upper bound.
On distances and metrics in discrete ordered sets
Published
• View Publication
• BIB
Discrete partially ordered sets can be turned into distance spaces in several ways. The distance functions may or may not satisfy the triangle inequality, and restriction of the distance to finite chains may or may not coincide with the natural, difference-of-height distance measured in a chain. For semilattices, a semimodularity condition ensures the good behavior of the distances considered. This condition is trivially satisfied by trees, and in lattices it coincides with the usual semimodularity property. For a large class of distance functions the triangle inequality is equivalent to semimodularity.
The inertia of weighted unicyclic graphs
Published
• View Publication
• BIB
Let $G_w$ be a weighted graph. The \textit{inertia} of $G_w$ is the triple $In(G_w)=\big(i_+(G_w),i_-(G_w), $ $ i_0(G_w)\big)$, where $i_+(G_w),i_-(G_w),i_0(G_w)$ are the number of the positive, negative and zero eigenvalues of the adjacency matrix $A(G_w)$ of $G_w$ including their multiplicities, respectively. $i_+(G_w)$, $i_-(G_w)$ is called the \textit{positive, negative index of inertia} of $G_w$, respectively. In this paper we present a lower bound for the positive, negative index of weighted unicyclic graphs of order $n$ with fixed girth and characterize all weighted unicyclic graphs attaining this lower bound. Moreover, we characterize the weighted unicyclic graphs of order $n$ with two positive, two negative and at least $n-6$ zero eigenvalues, respectively.
Antiprismless, or: Reducing Combinatorial Equivalence to Projective Equivalence in Realizability Problems for Polytopes
Published
• View Publication
• BIB
This article exhibits a 4-dimensional combinatorial polytope that has no antiprism, answering a question posed by Bernt Lindstöm. As a consequence, any realization of this combinatorial polytope has a face that it cannot rest upon without toppling over. To this end, we provide a general method for solving a broad class of realizability problems. Specifically, we show that for any semialgebraic property that faces inherit, the given property holds for some realization of every combinatorial polytope if and only if the property holds from some projective copy of every polytope. The proof uses the following result by Below. Given any polytope with vertices having algebraic coordinates, there is a combinatorial "stamp" polytope with a specified face that is projectively equivalent to the given polytope in all realizations. Here we construct a new stamp polytope that is closely related to Richter-Gebert's proof of universality for 4-dimensional polytopes, and we generalize several tools from that proof.