Showing 20 papers (Total: 83842 papers, 48355 authors in database)
Straight Line Triangle Representations
Published
• View Publication
• BIB
A straight line triangle representation (SLTR) of a planar graph is a straight line drawing such that all the faces including the outer face have triangular shape. Such a drawing can be viewed as a tiling of a triangle using triangles with the input graph as skeletal structure. In this paper we present a characterization of graphs that have an SLTR. The characterization is based on flat angle assignments, i.e., selections of angles of the graph that have size~$π$ in the representation. We also provide a second characterization in terms of contact systems of pseudosegments. With the aid of discrete harmonic functions we show that contact systems of pseudosegments that respect certain conditions are stretchable. The stretching procedure is then used to get straight line triangle representations. Since the discrete harmonic function approach is quite flexible it allows further applications, we mention some of them. The drawback of the characterization of SLTRs is that we are not able to effectively check whether a given graph admits a flat angle assignment that fulfills the conditions. Hence it is still open to decide whether the recognition of graphs that admit straight line triangle representation is polynomially tractable.
Classification of flag-transitive primitive symmetric $(v,k,λ)$ designs with $PSL(2,q)$ as socle
Let $\mathcal D$ be a nontrivial symmetric $(v,k,λ)$ design, and $G$ be a subgroup of the full automorphism group of $\mathcal D$. In this paper we prove that if $G$ acts flag-transitively, point-primitively on $\mathcal D$ and $Soc(G)= PSL(2,q)$, then D has parameters $(7, 3, 1)$, $(7, 4, 2)$, $(11, 5, 2)$, $(11, 6, 3)$ or $(15, 8, 4)$.
Recognition and Complexity of Point Visibility Graphs
Published in Discrete & Computational Geometry, January 2017, Volume 57, Issue 1, pp 164-178
• View Publication
• BIB
A point visibility graph is a graph induced by a set of points in the plane, where every vertex corresponds to a point, and two vertices are adjacent whenever the two corresponding points are visible from each other, that is, the open segment between them does not contain any other point of the set. We study the recognition problem for point visibility graphs: given a simple undirected graph, decide whether it is the visibility graph of some point set in the plane. We show that the problem is complete for the existential theory of the reals. Hence the problem is as hard as deciding the existence of a real solution to a system of polynomial inequalities. The proof involves simple substructures forcing collinearities in all realizations of some visibility graphs, which are applied to the algebraic universality constructions of Mnëv and Richter-Gebert. This solves a longstanding open question and paves the way for the analysis of other classes of visibility graphs. Furthermore, as a corollary of one of our construction, we show that there exist point visibility graphs that do not admit any geometric realization with points having integer coordinates.
On the Complexity of Nondeterministically Testable Hypergraph Parameters
The paper proves the equivalence of the notions of nondeterministic and deterministic parameter testing for uniform dense hypergraphs of arbitrary order. It generalizes the result previously known only for the case of simple graphs. By a similar method we establish also the equivalence between nondeterministic and deterministic hypergraph property testing, answering the open problem in the area. We introduce a new notion of a cut norm for hypergraphs of higher order, and employ regularity techniques combined with the ultralimit method.
On 1-sum flows in undirected graphs
Published
• View Publication
• BIB
Let G=(V,E) be a simple undirected graph. For a given set L of the real line, a function omega from E to L is called an L-flow. Given a vector gamma whose coordinates are indexed by V, we say that omega is a gamma-L-flow if for each v in V, the sum of the values on the edges incident to v is gamma(v). If gamma(v)=c, for all v in V, then the gamma-L-flow is called a c-sum L-flow. In this paper we study the existence of gamma-L-flows for various choices of sets L of real numbers, with an emphasis on 1-sum flows.
Given a natural k number, a c-sum k-flow is a c-sum flow with values from the set {-1,1,...,1-k, k-1}. Let L be a subset of real numbers containing 0 and let L* be L minus 0 by L*. Answering a question from a recent paper we characterize which bipartite graphs admit a 1-sum R*-flow or a 1-sum Z*-flow. We also show that that every k-regular graph, with k either odd or congruent to 2 modulo 4, admits a 1-sum {-1, 0, 1}-flow.
Multiple ergodic theorems for arithmetic sets
Published
• View Publication
• BIB
We establish results with an arithmetic flavor that generalize the polynomial multidimensional Szemeredi theorem and related multiple recurrence and convergence results in ergodic theory. For instance, we show that in all these statements we can restrict the implicit parameter to those integers that have an even number of distinct prime factors, or satisfy any other congruence condition. In order to obtain these refinements we study the limiting behavior of some closely related multiple ergodic averages with weights given by appropriately chosen multiplicative functions. These averages are then analysed using a recent structural result for bounded multiplicative functions proved by the authors.
Automorphisms of $S_6$ and the Colored Cubes Puzzle
Given a palette of six colors, a colored cube is a cube where each face is colored with exactly one color and each color appears on some face. Starting with an arbitrary collection of unit length colored cubes, one can try to arrange a subset of the collection into an $n \times n \times n$ cube where each face is a single color. This is the Colored Cubes Puzzle. In this paper, we determine minimum size sets of cubes required to complete an $n \times n \times n$ cube's frame, its corners and edges. We answer this problem for all $n$, and in particular show that for $n \geq4$ one has the best possible result, that as long as there are enough cubes to build a frame it can always be done, regardless of the cubes in the collection. Part of our analysis involves the set of $6$-colored cubes and its associated $S_6$ action. In addition to the problem simplification this action provides, it also gives another way to visualize the outer automorphism of $S_6$.
Online List Colorings with the Fixed Number of Colors
The online list coloring is a widely studied topic in graph theory. A graph $G$ is 2-paintable if we always have a strategy to complete a coloring in an online list coloring of $G$ in which each vertex has a color list of size 2. In this paper, we focus on the online list coloring game in which the number of colors is known in advance. We say that $G$ is $[2,t]$-paintable if we always have a strategy to complete a coloring in an online list coloring of $G$ in which we know that there are exactly $t$ colors in advance, and each vertex has a color list of size 2.
Let $M(G)$ denote the maximum $t$ in which $G$ is not $[2,t]$-paintable, and $m(G)$ denote the minimum $t \geq 2$ in which $G$ is not $[2,t]$-paintable. We show that if $G$ is not 2-paintable, then $2 \leq m(G) \leq 4,$ and $n \leq M(G) \leq 2n-3.$ Furthermore, we characterize $G$ with $m(G)\in \{2,3,4\}$ and $M(G) \in \{n, n+1, 2n-3\},$ respectively.
3-connected Reduction for Regular Graph Covers
Published
• View Publication
• BIB
A graph $G$ covers a graph $H$ if there exists a locally bijective homomorphism from $G$ to $H$. We deal with regular coverings in which this homomorphism is prescribed by an action of a semiregular subgroup $Γ$ of $\textrm{Aut}(G)$; so $H \cong G / Γ$. In this paper, we study the behaviour of regular graph covering with respect to 1-cuts and 2-cuts in $G$.
We describe reductions which produce a series of graphs $G = G_0,\dots,G_r$ such that $G_{i+1}$ is created from $G_i$ by replacing certain inclusion minimal subgraphs with colored edges. The process ends with a primitive graph $G_r$ which is either 3-connected, or a cycle, or $K_2$. This reduction can be viewed as a non-trivial modification of reductions of Mac Lane (1937), Trachtenbrot (1958), Tutte (1966), Hopcroft and Tarjan (1973), Cuningham and Edmonds (1980), Walsh (1982), and others. A novel feature of our approach is that in each step all essential information about symmetries of $G$ are preserved.
A regular covering projection $G_0\to H_0$ induces regular covering projections $G_i \to H_i$ where $H_i$ is the $i$-th quotient reduction of $H_0$. This property allows to construct all possible quotients $H_0$ of $G_0$ from the possible quotients $H_r$ of $G_r$. By applying this method to planar graphs, we give a proof of Negami's Theorem (1988). Our structural results are also used in subsequent papers for regular covering testing when $G$ is a planar graph and for an inductive characterization of the automorphism groups of planar graphs (see Babai (1973) as well).
New bounds for the max-$k$-cut and chromatic number of a graph
Published in Linear Algebra and its Applications 488 (2016), 216-234
• View Publication
• BIB
We consider several semidefinite programming relaxations for the max-$k$-cut problem, with increasing complexity. The optimal solution of the weakest presented semidefinite programming relaxation has a closed form expression that includes the largest Laplacian eigenvalue of the graph under consideration. This is the first known eigenvalue bound for the max-$k$-cut when $k>2$ that is applicable to any graph. This bound is exploited to derive a new eigenvalue bound on the chromatic number of a graph. For regular graphs, the new bound on the chromatic number is the same as the well-known Hoffman bound; however, the two bounds are incomparable in general. We prove that the eigenvalue bound for the max-$k$-cut is tight for several classes of graphs. We investigate the presented bounds for specific classes of graphs, such as walk-regular graphs, strongly regular graphs, and graphs from the Hamming association scheme.
Stirling permutations, cycle structures of permutations and perfect matchings
Published
• View Publication
• BIB
In this paper we provide a unified combinatorial approach to establish a connection between Stirling permutations, cycle structures of permutations and perfect matchings. The main tool of our investigations is MY-sequences. In particular, we discover that the Eulerian polynomials have a simple combinatorial interpretation in terms of some statistics on MY-sequences.
A finite version of the Kakeya problem
Let $L$ be a set of lines of an affine space over a field and let $S$ be a set of points with the property that every line of $L$ is incident with at least $N$ points of $S$. Let $D$ be the set of directions of the lines of $L$ considered as points of the projective space at infinity. We give a geometric construction of a set of lines $L$, where $D$ contains an $N^{n-1}$ grid and where $S$ has size $2((1/2)N)^n$, given a starting configuration in the plane. We provide examples of such starting configurations for the reals and for finite fields. Following Dvir's proof of the finite field Kakeya conjecture and the idea of using multiplicities of Dvir, Kopparty, Saraf and Sudan, we prove a lower bound on the size of $S$ dependent on the ideal generated by the homogeneous polynomials vanishing on $D$. This bound is maximised as $((1/2)N)^n$ plus smaller order terms, for $n\geqslant 4$, when $D$ contains the points of a $N^{n-1}$ grid.
Toric chordality
Published
• View Publication
• BIB
We study the geometric change of Chow cohomology classes in projective toric varieties under the Weil-McMullen dual of the intersection product with a Lefschetz element. Based on this, we introduce toric chordality, a generalization of graph chordality to higher skeleta of simplicial complexes with a coordinatization over characteristic 0, leading us to a far-reaching generalization of Kalai's work on applications of rigidity of frameworks to polytope theory. In contrast to "homological" chordality, the notion that is usually studied as a higher-dimensional analogue of graph chordality, we will show that toric chordality has several advantageous properties and applications. -- Most strikingly, we will see that toric chordality allows us to introduce a higher version of Dirac's propagation principle. -- Aside from the propagation theorem, we also study the interplay with the geometric properties of the simplicial chain complex of the underlying simplicial complex, culminating in a quantified version of the Stanley--Murai--Nevo generalized lower bound theorem. -- Finally, we apply our technique to give a simple proof of the generalized lower bound theorem in polytope theory and -- prove the balanced generalized lower bound conjecture of Klee and Novik.
On the number of principal ideals in d-tonal partition monoids
Published
• View Publication
• BIB
For a positive integer $d$, a non-negative integer $n$ and a non-negative integer $h\leq n$, we study the number $C_{n}^{(d)}$ of principal ideals; and the number $C_{n,h}^{(d)}$ of principal ideals generated by an element of rank $h$, in the $d$-tonal partition monoid on $n$ elements. We compute closed forms for the first family, as partial cumulative sums of known sequences. The second gives an infinite family of new integral sequences. We discuss their connections to certain integral lattices as well as to combinatorics of partitions.
Exact sampling of graphs with prescribed degree correlations
Published
• View Publication
• BIB
Many real-world networks exhibit correlations between the node degrees. For instance, in social networks nodes tend to connect to nodes of similar degree. Conversely, in biological and technological networks, high-degree nodes tend to be linked with low-degree nodes. Degree correlations also affect the dynamics of processes supported by a network structure, such as the spread of opinions or epidemics. The proper modelling of these systems, i.e., without uncontrolled biases, requires the sampling of networks with a specified set of constraints. We present a solution to the sampling problem when the constraints imposed are the degree correlations. In particular, we develop an efficient and exact method to construct and sample graphs with a specified joint-degree matrix, which is a matrix providing the number of edges between all the sets of nodes of a given degree, for all degrees, thus completely specifying all pairwise degree correlations, and additionally, the degree sequence itself. Our algorithm always produces independent samples without backtracking. The complexity of the graph construction algorithm is O(NM) where N is the number of nodes and M is the number of edges.
Joint convergence of random quadrangulations and their cores
Published
• View Publication
• BIB
We show that a uniform quadrangulation, its largest 2-connected block, and its largest simple block jointly converge to the same Brownian map in distribution for the Gromov-Hausdorff-Prokhorov topology. We start by deriving a local limit theorem for the asymptotics of maximal block sizes, extending the result in \cite{BFSS}. The resulting diameter bounds for pendant submaps of random quadrangulations straightforwardly lead to Gromov-Hausdorff convergence. To extend the convergence to the Gromov-Hausdorff-Prokhorov topology, we show that exchangeable "uniformly asymptotically negligible" attachments of mass simply yield, in the limit, a deterministic scaling of the mass measure.
Hitting times asymptotics for hard-core interactions on grids
Published
• View Publication
• BIB
We consider the hard-core model with Metropolis transition probabilities on finite grid graphs and investigate the asymptotic behavior of the first hitting time between its two maximum-occupancy configurations in the low-temperature regime. In particular, we show how the order-of-magnitude of this first hitting time depends on the grid sizes and on the boundary conditions by means of a novel combinatorial method. Our analysis also proves the asymptotic exponentiality of the scaled hitting time and yields the mixing time of the process in the low-temperature limit as side-result. In order to derive these results, we extended the model-independent framework in [27] for first hitting times to allow for a more general initial state and target subset.
The hamburger theorem
Published in Computational Geometry: Theory and Applications 68 (2018), 167-173
• View Publication
• BIB
We generalize the ham sandwich theorem to $d+1$ measures in $\mathbb{R}^d$ as follows. Let $μ_1,μ_2, \dots, μ_{d+1}$ be absolutely continuous finite Borel measures on $\mathbb{R}^d$. Let $ω_i=μ_i(\mathbb{R}^d)$ for $i\in [d+1]$, $ω=\min\{ω_i; i\in [d+1]\}$ and assume that $\sum_{j=1}^{d+1} ω_j=1$. Assume that $ω_i \le 1/d$ for every $i\in[d+1]$. Then there exists a hyperplane $h$ such that each open halfspace $H$ defined by $h$ satisfies $μ_i(H) \le (\sum_{j=1}^{d+1} μ_j(H))/d$ for every $i \in [d+1]$ and $\sum_{j=1}^{d+1} μ_j(H) \ge \min(1/2, 1-dω) \ge 1/(d+1)$. As a consequence we obtain that every $(d+1)$-colored set of $nd$ points in $\mathbb{R}^d$ such that no color is used for more than $n$ points can be partitioned into $n$ disjoint rainbow $(d-1)$-dimensional simplices.
Balanced generalized lower bound inequality for simplicial polytopes
Published
• View Publication
• BIB
A remarkable and important property of face numbers of simplicial polytopes is the generalized lower bound inequality, which says that the $h$-numbers of any simplicial polytope are unimodal. Recently, for balanced simplicial $d$-polytopes, that is simplicial $d$-polytopes whose underlying graphs are $d$-colorable, Klee and Novik proposed a balanced analogue of this inequality, that is stronger than just unimodality. The aim of this article is to prove this conjecture of Klee and Novik. For this, we also show a Lefschetz property for rank-selected subcomplexes of balanced simplicial polytopes and thereby obtain new inequalities for their $h$-numbers.
Equivalence classes for smooth Fano polytopes
Let $\mathcal{F}(n)$ be the set of smooth Fano $n$-polytopes up to unimocular equivalence. In this paper, we consider the F-equivalence or I-equivalence classes for $\mathcal{F}(n)$ and introduce F-isolated or I-isolated smooth Fano $n$-polytopes. First, we describe all of F-equivalence classes and I-equivalence classes for $\mathcal{F}(5)$. We also give a complete characterization of F-equivalence classes (I-equivalence classes) for smooth Fano $n$-polytopes with $n+3$ vertices and construct a family of I-isolated smooth Fano polytopes.