Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Uniqueness of the extremal graph in the problem of maximizing the number of independent sets in regular graphs
The main purpose of this paper is to prove the uniqueness of a graph attaining the maximum of the number of independent sets over all $k$-regular graphs on $n$ vertices for $2k|n$.
Partitioning Hadamard vectors into Hadamard matrices
We will show that in a space of dimension $m$, any family of $2^{m-1}$ distinct Hadamard vectors (where you can choose x or -x but not both) can be partitioned into Hadamard matrices if and only if $m=2^n$ for some n. We will solve this problem with a simple algorithm for assigning the vectors to the Hadamard matrices.
Counting results for sparse pseudorandom hypergraphs I
Published in Euro. J. Combin. 65 (2017), 276-287
• View Publication
• BIB
We establish a so-called counting lemma that allows embeddings of certain linear uniform hypergraphs into sparse pseudorandom hypergraphs, generalizing a result for graphs [Embedding graphs with bounded degree in sparse pseudorandom graphs, Israel J. Math. 139 (2004), 93-137]. Applications of our result are presented in the companion paper [Counting results for sparse pseudorandom hypergraphs II].
Counting results for sparse pseudorandom hypergraphs II
Published in Euro. J. Combin. 65 (2017), 288-301
• View Publication
• BIB
We present a variant of a universality result of Rödl [On universality of graphs with uniformly distributed edges, Discrete Math. 59 (1986), no. 1-2, 125-134] for sparse, $3$-uniform hypergraphs contained in strongly jumbled hypergraphs. One of the ingredients of our proof is a counting lemma for fixed hypergraphs in sparse ``pseudorandom'' uniform hypergraphs, which is proved in the companion paper [Counting results for sparse pseudorandom hypergraphs I].
Random Chain Complexes
Published in Arnold Mathematical Journal, 3(2017), 197--204
• View Publication
• BIB
We study random, finite-dimensional, ungraded chain complexes over a finite field and show that for a uniformly distributed differential a complex has the smallest possible homology with the highest probability: either zero or one-dimensional homology depending on the parity of the dimension of the complex. We prove that as the order of the field goes to infinity the probability distribution concentrates in the smallest possible dimension of the homology. On the other hand, the limit probability distribution, as the dimension of the complex goes to infinity, is a super-exponentially decreasing, but strictly positive, function of the dimension of the homology.
Fourier transforms of polytopes, solid angle sums, and discrete volume
Given a real closed polytope $P$, we first describe the Fourier transform of its indicator function by using iterations of Stokes' theorem. We then use the ensuing Fourier transform formulations, together with the Poisson summation formula, to give a new algorithm to count fractionally-weighted lattice points inside the one-parameter family of all real dilates of $P$. The combinatorics of the face poset of $P$ plays a central role in the description of the Fourier transform of $P$. We also obtain a closed form for the codimension-1 coefficient that appears in an expansion of this sum in powers of the real dilation parameter $t$. This closed form generalizes some known results about the Macdonald solid-angle polynomial, which is the analogous expression traditionally obtained by requiring that $t$ assumes only integer values. Although most of the present methodology applies to all real polytopes, a particularly nice application is to the study of all real dilates of integer (and rational) polytopes.
The Second Neighborhood Conjecture for Oriented Graphs Missing Combs
Seymour's Second Neighborhood Conjecture asserts that every oriented graph has a vertex whose first out-neighborhood is at most as large as its second out-neighborhood. Combs are the graphs having no induced $C_4$, $\overline{C_4}$, $C_5$, chair or $\overline{chair}$. We characterize combs using dependency digraphs. We characterize the graphs having no induced $C_4$, $\overline{C_4}$, chair or $\overline{chair}$ using dependency digraphs. Then we prove that every oriented graph missing a comb satisfies this conjecture. We then deduce that every oriented comb and every oriented threshold graph satisfies Seymour's conjecture.
Distance spectral radius of uniform hypergraphs
Published
• View Publication
• BIB
We study the effect of three types of graft transformations to increase or decrease the distance spectral radius of uniform hypergraphs, and we determined the unique $k$-uniform hypertrees with maximum, second maximum, minimum and second minimum distance spectral radius, respectively.
The Independent Domination Polynomial
A vertex subset $W\subseteq V$ of the graph $G=(V,E)$ is an independent dominating set if every vertex in $V\backslash W$ is adjacent to at least one vertex in $W$ and the vertices of $W$ are pairwise non-adjacent. The independent domination polynomial is the ordinary generating function for the number of independent dominating sets in the graph. We investigate in this paper properties of the independent domination polynomial and some interesting connections to well known counting problems.
Differentials on Graph Complexes III - Deleting a Vertex
We prove that the hairy graph complex with the extra differential is almost acyclic. This justifies the construction of hairy graph cohomology classes by the waterfall mechanism. The main idea used in the paper is a new differential, deleting a vertex. We hope that the new differential can have further applications in the study of graph cohomology.
Thermodynamic formalism and $k$-bonacci substitutions
Published in Discrete and Continuous Dynamical Systems - Series A, American Institute of Mathematical Sciences, 2017, 37 (7), pp.3701 - 3719
• View Publication
• BIB
We study $k$-bonacci substitutions. For each we define a renormalization operator associated to it and examine its iterates over potentials in a certain class. We also study the pressure function associated to potentials in this class and prove the existence of a freezing phase transition which is realized by the only ergodic measure on the subshift associated to the substitution.
The number of roots of full support
Published
• View Publication
• BIB
Chapoton has observed a simple product formula for the number of reflections in a finite Coxeter group that have full support. We give a uniform proof of his formula for Weyl groups. We furthermore refine his formula by the length of the roots.
Approximation Complexity of Max-Cut on Power Law Graphs
In this paper we study the MAX-CUT problem on power law graphs (PLGs) with power law exponent $β$. We prove some new approximability results on that problem. In particular we show that there exist polynomial time approximation schemes (PTAS) for MAX-CUT on PLGs for the power law exponent $β$ in the interval $(0,2)$. For $β>2$ we show that for some $ε>0$, MAX-CUT is NP-hard to approximate within approximation ratio $1+ε$, ruling out the existence of a PTAS in this case. Moreover we give an approximation algorithm with improved constant approximation ratio for the case of $β>2$.
Graph Isomorphism for unit square graphs
In the past decades for more and more graph classes the Graph Isomorphism Problem was shown to be solvable in polynomial time. An interesting family of graph classes arises from intersection graphs of geometric objects. In this work we show that the Graph Isomorphism Problem for unit square graphs, intersection graphs of axis-parallel unit squares in the plane, can be solved in polynomial time. Since the recognition problem for this class of graphs is NP-hard we can not rely on standard techniques for geometric graphs based on constructing a canonical realization. Instead, we develop new techniques which combine structural insights into the class of unit square graphs with understanding of the automorphism group of such graphs. For the latter we introduce a generalization of bounded degree graphs which is used to capture the main structure of unit square graphs. Using group theoretic algorithms we obtain sufficient information to solve the isomorphism problem for unit square graphs.
Finite presentability and isomorphism of Cayley graphs of monoids
Published
• View Publication
• BIB
Two finitely generated monoids are constructed, one finitely presented the other not, whose (directed, unlabelled) Cayley graphs are isomorphic.
The Fourier structure of low degree polynomials
We study the structure of the Fourier coefficients of low degree multivariate polynomials over finite fields. We consider three properties: (i) the number of nonzero Fourier coefficients; (ii) the sum of the absolute value of the Fourier coefficients; and (iii) the size of the linear subspace spanned by the nonzero Fourier coefficients. For quadratic polynomials, tight relations are known between all three quantities. In this work, we extend this relation to higher degree polynomials. Specifically, for degree $d$ polynomials, we show that the three quantities are equivalent up to factors exponential in $d$.
A better lower bound on average degree of 4-list-critical graphs
Published
• View Publication
• BIB
This short note proves that every incomplete $k$-list-critical graph has average degree at least $k-1 + \frac{k-3}{k^2-2k+2}$. This improves the best known bound for $k = 4,5,6$. The same bound holds for online $k$-list-critical graphs.
The Ricci curvature on directed graphs
In this paper, we consider the Ricci curvature of a directed graph, based on Lin-Lu-Yau's definition. We give some properties of the Ricci curvature, including conditions for a directed regular graph to be Ricci-flat. Moreover, we calculate the Ricci curvature of the cartesian product of directed graphs.
Minimum Cost Homomorphisms with Constrained Costs
Published
• View Publication
• BIB
Minimum cost homomorphism problems can be viewed as a generalization of list homomorphism problems. They also extend two well-known graph colouring problems: the minimum colour sum problem and the optimum cost chromatic partition problem. In both of these problems, the cost function meets an additional constraint: the cost of using a specific colour is the same for every vertex of the input graph. We study minimum cost homomorphism problems with cost functions constrained to have this property. Clearly, when the standard minimum cost homomorphism problem is polynomial, then the problem with constrained costs is also polynomial. We expect that the same may hold for the cases when the standard minimum cost homomorphism problem is NP-complete. We prove that this is the case for trees $H$: we obtain a dichotomy of minimum constrained cost homomorphism problems which coincides with the dichotomy of standard minimum cost homomorphism problems. For general graphs $H$, we prove a partial dichotomy: the problem is polynomial if $H$ is a proper interval graph and NP-complete when $H$ is not chordal bipartite.
Tight bounds on discrete quantitative Helly numbers
Published
• View Publication
• BIB
Given a subset S of R^n, let c(S,k) be the smallest number t such that whenever finitely many convex sets have exactly k common points in S, there exist at most t of these sets that already have exactly k common points in S. For S = Z^n, this number was introduced by Aliev et al. [2014] who gave an explicit bound showing that c(Z^n,k) = O(k) holds for every fixed n. Recently, Chestnut et al. [2015] improved this to c(Z^n,k) = O(k (log log k)(log k)^{-1/3} ) and provided the lower bound c(Z^n,k) = Omega(k^{(n-1)/(n+1)}).
We provide a combinatorial description of c(S,k) in terms of polytopes with vertices in S and use it to improve the previously known bounds as follows: We strengthen the bound of Aliev et al. [2014] by a constant factor and extend it to general discrete sets S. We close the gap for Z^n by showing that c(Z^n,k) = Theta(k^{(n-1)/(n+1)}) holds for every fixed n. Finally, we determine the exact values of c(Z^n,k) for all k <= 4.