Showing 20 papers (Total: 82374 papers, 47635 authors in database)
Skew-spectra and skew energy of various products of graphs
Given a graph $G$, let $G^σ$ be an oriented graph of $G$ with the orientation $σ$ and skew-adjacency matrix $S(G^σ)$. Then the spectrum of $S(G^σ)$ consisting of all the eigenvalues of $S(G^σ)$ is called the skew-spectrum of $G^σ$, denoted by $Sp(G^σ)$. The skew energy of the oriented graph $G^σ$, denoted by $\mathcal{E}_S(G^σ)$, is defined as the sum of the norms of all the eigenvalues of $S(G^σ)$. In this paper, we give orientations of the Kronecker product $H\otimes G$ and the strong product $H\ast G$ of $H$ and $G$ where $H$ is a bipartite graph and $G$ is an arbitrary graph. Then we determine the skew-spectra of the resultant oriented graphs. As applications, we construct new families of oriented graphs with maximum skew energy. Moreover, we consider the skew energy of the orientation of the lexicographic product $H[G]$ of a bipartite graph $H$ and a graph $G$.
Handelman's hierarchy for the maximum stable set problem
Published
• View Publication
• BIB
The maximum stable set problem is a well-known NP-hard problem in combinatorial optimization, which can be formulated as the maximization of a quadratic square-free polynomial over the (Boolean) hypercube. We investigate a hierarchy of linear programming relaxations for this problem, based on a result of Handelman showing that a positive polynomial over a polytope with non-empty interior can be represented as conic combination of products of the linear constraints defining the polytope. We relate the rank of Handelman's hierarchy with structural properties of graphs. In particular we show a relation to fractional clique covers which we use to upper bound the Handelman rank for perfect graphs and determine its exact value in the vertex-transitive case. Moreover we show two upper bounds on the Handelman rank in terms of the (fractional) stability number of the graph and compute the Handelman rank for several classes of graphs including odd cycles and wheels and their complements. We also point out links to several other linear and semidefinite programming hierarchies.
Polynomial Gap Extensions of the Erdős-Pósa Theorem
Published
• View Publication
• BIB
Given a graph $H$, we denote by ${\cal M}(H)$ all graphs that can be contracted to $H$. The following extension of the Erdős-Pósa Theorem holds: for every $h$-vertex planar graph $H$, there exists a function $f_{H}$ such that every graph $G$, either contains $k$ disjoint copies of graphs in ${\cal M}(H)$, or contains a set of $f_{H}(k)$ vertices meeting every subgraph of $G$ that belongs in ${\cal M}(H)$. In this paper we prove that this is the case for every graph $H$ of pathwidth at most 2 and, in particular, that $f_{H}(k) = 2^{O(h^2)}\cdot k^{2}\cdot \log k$. As a main ingredient of the proof of our result, we show that for every graph $H$ on $h$ vertices and pathwidth at most 2, either $G$ contains $k$ disjoint copies of $H$ as a minor or the treewidth of $G$ is upper-bounded by $2^{O(h^2)}\cdot k^{2}\cdot \log k$. We finally prove that the exponential dependence on $h$ in these bounds can be avoided if $H=K_{2,r}$. In particular, we show that $f_{K_{2,r}}=O(r^2\cdot k^2)$
Towards a Combinatorial Understanding of Lattice Path Asymptotics
Published in Advances in Applied Mathematics Volume 92, January 2018, Pages 144-163
• View Publication
• BIB
We provide a new strategy to compute the exponential growth constant of enumeration sequences counting walks in lattice path models restricted to the quarter plane. The bounds arise by comparison with half-planes models. In many cases the bounds are provably tight, and provide a combinatorial interpretation of recent formulas of Fayolle and Raschel (2012) and Bostan, Raschel and Salvy (2013). We discuss how to generalize to higher dimensions.
Likelihood Geometry
Published
• View Publication
• BIB
We study the critical points of monomial functions over an algebraic subset of the probability simplex. The number of critical points on the Zariski closure is a topological invariant of that embedded projective variety, known as its maximum likelihood degree. We present an introduction to this theory and its statistical motivations. Many favorite objects from combinatorial algebraic geometry are featured: toric varieties, A-discriminants, hyperplane arrangements, Grassmannians, and determinantal varieties. Several new results are included, especially on the likelihood correspondence and its bidegree. These notes were written for the second author's lectures at the CIME-CIRM summer course on Combinatorial Algebraic Geometry at Levico Terme in June 2013.
Relations between the local chromatic number and its directed version
Published
• View Publication
• BIB
The local chromatic number is a coloring parameter defined as the minimum number of colors that should appear in the most colorful closed neighborhood of a vertex under any proper coloring of the graph. Its directed version is the same when we consider only outneighborhoods in a directed graph. For digraphs with all arcs being present in both directions the two values are obviously equal. Here we consider oriented graphs. We show the existence of a graph where the directed local chromatic number of all oriented versions of the graph is strictly less than the local chromatic number of the underlying undirected graph. We show that for fractional versions the analogous problem has a different answer: there always exists an orientation for which the directed and undirected values coincide. We also determine the supremum of the possible ratios of these fractional parameters, which turns out to be e, the basis of the natural logarithm.
Measurable patterns, necklaces, and sets indiscernible by measure
In some recent papers the classical `splitting necklace theorem' is linked in an interesting way with a geometric `pattern avoidance problem'. We explore the topological constraints on the existence of a (relaxed) measurable coloring of R^d such that any two distinct, non-degenerate cubes (parallelepipeds) are measure discernible. For example, motivated by a conjecture of Lason, we show that for every collection μ_1,...,μ_{2d-1} of 2d-1 continuous finite measures on R^d, there exist two nontrivial axis-aligned d-dimensional cuboids (rectangular parallelepipeds) C_1 and C_2 such that μ_i(C_1)=μ_i(C_2) for each i=1,...,2d-1. We also show by examples that the bound 2d-1 cannot be improved in general. These results are steps in the direction of studying general topological obstructions for the existence of non-repetitive colorings of measurable spaces.
Studying new classes of graph metrics
Published in F. Nielsen and F. Barbaresco (eds.), Proceedings of the SEE Conference "Geometric Science of Information" (GSI 2013). Lecture Notes in Computer Science, LNCS 8085. Springer, Berlin, 2013. P. 207-214
• View Publication
• BIB
In data analysis, there is a strong demand for graph metrics that differ from the classical shortest path and resistance distances. Recently, several new classes of graph metrics have been proposed. This paper presents some of them featuring the cutpoint additive distances. These include the path distances, the reliability distance, the walk distances, and the logarithmic forest distances among others. We discuss a number of connections between these and other distances.
Recursive Sorting in Lattices
The direct application of the definition of sorting in lattices is impractical because it leads to an algorithm with exponential complexity. In this paper we present for distributive lattices a recursive formulation to compute the sort of a sequence. This alternative formulation is inspired by the identity that underlies Pascal's triangle. It provides quadratic complexity and is in fact a generalization of insertion sort for lattices.
Generating functions for real character degree sums of finite general linear and unitary groups
Published
• View Publication
• BIB
We compute generating functions for the sum of the real-valued character degrees of the finite general linear and unitary groups, through symmetric function computations. For the finite general linear group, we get a new combinatorial proof that every real-valued character has Frobenius-Schur indicator 1, and we obtain some q-series identities. For the finite unitary group, we expand the generating function in terms of values of Hall-Littlewood functions, and we obtain combinatorial expressions for the character degree sums of real-valued characters with Frobenius-Schur indicator 1 or -1.
Wieferich pairs and Barker sequences, II
Published in LMS J. Comput. Math. 17 (2014) 24-32
• View Publication
• BIB
We show that if a Barker sequence of length $n>13$ exists, then either $n=3979201339721749133016171583224100$, or $n > 4\cdot10^{33}$. This improves the lower bound on the length of a long Barker sequence by a factor of nearly 2000. We also obtain 18 additional integers $n<10^{50}$ that cannot be ruled out as the length of a Barker sequence, and find more than 237000 additional candidates $n<10^{100}$. These results are obtained by completing extensive searches for Wieferich prime pairs and using them, together with a number of arithmetic restrictions on $n$, to construct qualifying integers below a given bound. We also report on some updated computations regarding open cases of the circulant Hadamard matrix problem.
Firefighting on square, hexagonal, and triangular grids
In this paper, we consider the \emph{firefighter problem} on a graph $G=(V,E)$ that is either finite or infinite. Suppose that a fire breaks out at a given vertex $v \in V$. In each subsequent time unit, a firefighter protects one vertex which is not yet on fire, and then the fire spreads to all unprotected neighbors of the vertices on fire. The objective of the firefighter is to save as many vertices as possible (if $G$ is finite) or to stop the fire from spreading (for an infinite case).
The surviving rate $ρ(G)$ of a finite graph $G$ is defined as the expected percentage of vertices that can be saved when a fire breaks out at a vertex of $G$ that is selected uniformly random. For a finite square grid $P_n \square P_n$, we show that $5/8 + o(1) \le ρ(P_n \square P_n) \le 67243/105300 + o(1)$ (leaving the gap smaller than 0.014) and conjecture that the surviving rate is asymptotic to 5/8.
We define the surviving rate for infinite graphs and prove it to be 1/4 for the infinite square grid, even in the case of finitely many initial fires. For the infinite hexagonal grid we provide a winning strategy if two additional vertices can be protected at any point of the process, and we conjecture that the firefighter has no strategy to stop the fire without additional help. We also show how the speed of the spreading fire can be reduced by a constant factor.
Maximal Chains of Isomorphic Subgraphs of Countable Ultrahomogeneous Graphs
Published in Adv. Math., 264 (2014) 762--775
• Search Publication
For a countable ultrahomogeneous graph G let P(G) denote the collection of domains of subgraphs of G isomorphic to G. The order types of maximal chains in the set P(G) U ø ordered by the inclusion are characterized as:
(I) the order types of compact sets of reals having the minimum non-isolated, if G is the Rado graph or the Henson graph H_n, for some n>2;
(II) the order types of compact nowhere dense sets of reals having the minimum non-isolated, if G is the union of μdisjoint complete graphs of size ν, where μν=ω.
Low Polynomial Exclusion of Planar Graph Patterns
Published
• View Publication
• BIB
The celebrated grid exclusion theorem states that for every $h$-vertex planar graph $H$, there is a constant $c_{h}$ such that if a graph $G$ does not contain $H$ as a minor then $G$ has treewidth at most $c_{h}$. We are looking for patterns of $H$ where this bound can become a low degree polynomial. We provide such bounds for the following parameterized graphs: the wheel ($c_{h}=O(h)$), the double wheel ($c_{h}=O(h^2\cdot \log^{2} h)$), any graph of pathwidth at most 2 ($c_{h}=O(h^{2})$), and the yurt graph ($c_{h}=O(h^{4})$).
Partial difference equations over compact Abelian groups, I: modules of solutions
Consider a compact Abelian group $Z$ and closed subgroups $U_1$, \ldots, $U_k \leq Z$. Let $\mathbb{T} := \mathbb{R}/\mathbb{Z}$. This paper examines two kinds of functional equation for measurable functions $Z\to \mathbb{T}$.
First, given $f:Z\to \mathbb{T}$ and $w \in Z$, the resulting differenced function is \[d_wf(z) := f(z-w) - f(z).\] In this notation, we study solutions to the system of difference equations \[d_{u_1}\cdots d_{u_k}f \equiv 0 \quad \forall u_1 \in U_1,\ u_2 \in U_2,\ \ldots\ u_k \in U_k.\] Second, we study tuples of measurable functions $f_i:Z\to \mathbb{T}$ such that $f_i$ is invariant under translation by $U_i$ and also \[f_1 + \cdots + f_k = 0.\]
For these equations, the solutions form a subgroup of $\mathcal{F}(Z)$ or $\mathcal{F}(Z)^k$, where $\mathcal{F}(Z)$ is the group of measurable functions $Z\to \mathbb{T}$ modulo Haar-a.e. equality. The subgroup of solutions is closed under convergence in probability and is globally invariant under rotations of $Z$, so it is a complete metrizable $Z$-module. We will give a recursive description of the structure of this $Z$-module relative to the solution-modules of lower-order equations of the same kind.
These results are obtained as applications of an abstract theory of a special class of $Z$-modules. Most of our work will go into showing that this class of modules is closed under various natural operations. Knowing that, the above descriptions follow as easy consequences.
Partial difference equations of the above kind can be seen as an extremal version of the inverse problem for the higher-dimensional, directional analogs of Gowers' uniformity norms. Our methods also give some information about the `stability' version of this inverse problem, which concerns functions whose Gowers norm is sufficiently close to being maximal.
Domino Tatami Covering is NP-complete
Published
• View Publication
• BIB
A covering with dominoes of a rectilinear region is called \emph{tatami} if no four dominoes meet at any point. We describe a reduction from planar 3SAT to Domino Tatami Covering. As a consequence it is NP-complete to decide whether there is a perfect matching of a graph that meets every 4-cycle, even if the graph is restricted to be an induced subgraph of the grid-graph. The gadgets used in the reduction were discovered with the help of a SAT-solver.
A characterisation of translation ovals in finite even order planes
Published
• View Publication
• BIB
In this article we consider a set C of points in PG(4,q), q even, satisfying certain combinatorial properties with respect to the planes of PG(4,q). We show that there is a regular spread in the hyperplane at infinity, such that in the corresponding Bruck-Bose plane PG(2,q^2), the points corresponding to C form a translation hyperoval, and conversely.
The tangent splash in $\PG(6,q)$
Let B be a subplane of PG(2,q^3) of order q that is tangent to $\ell_\infty$. Then the tangent splash of B is defined to be the set of q^2+1 points of $\ell_\infty$ that lie on a line of B. In the Bruck-Bose representation of PG(2,q^3) in PG(6,q), we investigate the interaction between the ruled surface corresponding to B and the planes corresponding to the tangent splash of B. We then give a geometric construction of the unique order-$q$-subplane determined by a given tangent splash and a fixed order-$q$-subline.
Drawing the double circle on a grid of minimum size
Published
• View Publication
• BIB
In 1926, Jarník introduced the problem of drawing a convex $n$-gon with vertices having integer coordinates. He constructed such a drawing in the grid $[1,c\cdot n^{3/2}]^2$ for some constant $c>0$, and showed that this grid size is optimal up to a constant factor. We consider the analogous problem for drawing the double circle, and prove that it can be done within the same grid size. Moreover, we give an O(n)-time algorithm to construct such a point set.
The minimum number of disjoint pairs in set systems and related problems
Published
• View Publication
• BIB
Let F be a set system on [n] with all sets having k elements and every pair of sets intersecting. The celebrated theorem of Erdos-Ko-Rado from 1961 says that any such system has size at most ${n-1 \choose k-1}$. A natural question, which was asked by Ahlswede in 1980, is how many disjoint pairs must appear in a set system of larger size. Except for the case k=2, solved by Ahlswede and Katona, this problem has remained open for the last three decades.
In this paper, we determine the minimum number of disjoint pairs in small k-uniform families, thus confirming a conjecture of Bollobas and Leader in these cases. Moreover, we obtain similar results for two well-known extensions of the Erdos-Ko-Rado theorem, determining the minimum number of matchings of size q and the minimum number of t-disjoint pairs that appear in set systems larger than the corresponding extremal bounds. In the latter case, this provides a partial solution to a problem of Kleitman and West.