Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Turán's Theorem for random graphs
For a graph $G$, denote by $t_r(G)$ (resp. $b_r(G)$) the maximum size of a $K_r$-free (resp. $(r-1)$-partite) subgraph of $G$. Of course $t_r(G) \geq b_r(G)$ for any $G$, and Turán's Theorem says that equality holds for complete graphs. With $G_{n,p}$ the usual ("binomial" or "Erdős-Rényi") random graph, we show:
For each fixed r there is a C such that if \[ p=p(n) > Cn^{-\tfrac{2}{r+1}}\log^{\tfrac{2}{(r+1)(r-2)}}n, \] then $\Pr(t_r(G_{n,p})=b_r(G_{n,p}))\rightarrow 1$ as $n\rightarrow\infty$.
This is best possible (apart from the value of $C$) and settles a question first considered by Babai, Simonovits and Spencer about 25 years ago.
Convex Cardinal Shape Composition
Published
• View Publication
• BIB
We propose a new shape-based modeling technique for applications in imaging problems. Given a collection of shape priors (a shape dictionary), we define our problem as choosing the right dictionary elements and geometrically composing them through basic set operations to characterize desired regions in an image. This is a combinatorial problem solving which requires an exhaustive search among a large number of possibilities. We propose a convex relaxation to the problem to make it computationally tractable. We take some major steps towards the analysis of the proposed convex program and characterizing its minimizers. Applications vary from shape-based characterization, object tracking, optical character recognition, and shape recovery in occlusion, to other disciplines such as the geometric packing problem.
Contemplating on Brush Numbers of Mycielski Jaco Graphs, $μ(J_n(1)), n \in \Bbb N$
The concept of the brush number $b_r(G)$ was introduced for a simple connected undirected graph $G$. The concept will be applied to the Mycielski Jaco graph $μ(J_n(1)), n \in \Bbb N,$ in respect of an \emph{optimal orientation} of $J_n(1)$ associated with $b_r(J_n(1)).$ Further for the aforesaid, the concept of a \emph{brush centre} of a simple connected graph will be introduced. Because brushes themselves may be technology of kind, the technology in real world application will normally be the subject of maintenance or calibration or virus vetting or alike. Finding a \emph{brush centre} of a graph will allow for well located maintenance centres of the brushes prior to a next cycle of cleaning.
Rigidity of frameworks on expanding spheres
Published
• View Publication
• BIB
A rigidity theory is developed for bar-joint frameworks in $\mathbb{R}^{d+1}$ whose vertices are constrained to lie on concentric $d$-spheres with independently variable radii. In particular, combinatorial characterisations are established for the rigidity of generic frameworks for $d=1$ with an arbitrary number of independently variable radii, and for $d=2$ with at most two variable radii. This includes a characterisation of the rigidity or flexibility of uniformly expanding spherical frameworks in $\mathbb{R}^{3}$. Due to the equivalence of the generic rigidity between Euclidean space and spherical space, these results interpolate between rigidity in 1D and 2D and to some extent between rigidity in 2D and 3D. Symmetry-adapted counts for the detection of symmetry-induced continuous flexibility in frameworks on spheres with variable radii are also provided.
An $n$-in-a-row type game
Published
• View Publication
• BIB
We consider a Maker-Breaker type game on the plane, in which each player takes $t$ points on their $t^\textrm{th}$ turn. Maker wins if he obtains $n$ points on a line (in any direction) without any of Breaker's points between them. We show that, despite Maker's apparent advantage, Breaker can prevent Maker from winning until about his $n^\textrm{th}$ turn. We actually prove a stronger result: that Breaker only needs to play $ω(\log t)$ points on his $t^\textrm{th}$ turn to prevent Maker from winning until this time. We also consider the situation when the number of points claimed by Maker grows at other speeds, in particular, when Maker claims $t^α$ points on his $t^\textrm{th}$ turn.
On a uniformly random chord diagram and its intersection graph
Published
• View Publication
• BIB
A chord diagram refers to a set of chords with distinct endpoints on a circle. The intersection graph of a chord diagram $\cal C$ is defined by substituting the chords of $\cal C$ with vertices and by adding edges between two vertices whenever the corresponding two chords cross each other. Let $C_n$ and $G_n$ denote the chord diagram chosen uniformly at random from all chord diagrams with $n$ chords and the corresponding intersection graph, respectively. We analyze $C_n$ and $G_n$ as $n$ tends to infinity. In particular, we study the degree of a random vertex in $G_n$, the $k$-core of $G_n$, and the number of strong components of the directed graph obtained from $G_n$ by orienting edges by flipping a fair coin for each edge. We also give two equivalent evolutions of a random chord diagram and show that, with probability approaching $1$, a chord diagram produced after $m$ steps of these evolutions becomes monolithic as $m$ tends to infinity and stays monolithic afterward forever.
Multi-recurrence and van der Waerden systems
Published in Science China Mathematics, January 2017, Volume 60, Issue 1, pp 59-82
• View Publication
• BIB
We explore recurrence properties arising from dynamical approach to combinatorial problems like the van der Waerden Theorem. We describe relations between these properties, study their consequences for dynamics, and demonstrate connections to combinatorial problems. In particular, we present a measure-theoretical analog of a result of Glasner on multi-transitivity in topological weakly mixing minimal maps. We also obtain a dynamical proof of the existence of a C-set with zero Banach density.
Forests of chord diagrams with a given number of trees
In this short note, we find the number of forests of chord diagrams with a given number of trees and a given number of chords.
Weak Lefschetz Property and Stellar Subdivisions of Gorenstein Complexes
Published in Australas. J. Combin. 76(2) (2020), 266-287
• Search Publication
Assume sigma is a face of a Gorenstein* simplicial complex D. We investigate the question of whether the Weak Lefschetz Property of the Stanley-Reisner ring k[D] (over an infinite field k) is equivalent to the same property of the Stanley-Reisner ring k[D_sigma] of the stellar subdivision D_sigma. We prove that this is the case if the dimension of sigma is big compared to the codimension.
Partitions with the same hook multiset
It is well-known that two conjugate partitions have the same hook multiset. But two different partitions with the same hook multiset may not be conjugate to each other. In $1977$, Herman and Chung proposed the following question: What are the necessary and sufficient conditions for partitions to be determined by their hook multisets up to conjugation? In this paper, we will answer this question by giving a criterion to determine whether two different partitions with the same hook multiset are conjugate to each other.
Two-Step and Three-Step Nilpotent Lie Algebras Constructed from Schreier Graphs
Published
• View Publication
• BIB
We associate a two-step nilpotent Lie algebra to an arbitrary Schreier graph. We then use properties of the Schreier graph to determine necessary and sufficient conditions for this Lie algebra to extend to a three-step nilpotent Lie algebra. As an application, if we start with pairs of non-isomorphic Schreier graphs coming from Gassmann-Sunada triples, we prove that the pair of associated two-step nilpotent Lie algebras are always isometric. In contrast, we use a well-known pair of Schreier graphs to show that the associated three-step nilpotent extensions need not be isometric.
The Fractional Chromatic Number of the Plane
Published in Combinatorica. Vol. 37(5), October 2017, pp. 837-861
• View Publication
• BIB
The chromatic number of the plane is the chromatic number of the uncountably infinite graph that has as its vertices the points of the plane and has an edge between two points if their distance is 1. This chromatic number is denoted $χ(\mathcal{R}^2)$. The problem was introduced in 1950, and shortly thereafter it was proved that $4\le χ(\mathcal{R}^2)\le 7$. These bounds are both easy to prove, but after more than 60 years they are still the best known. In this paper, we investigate $χ_f(\mathcal{R}^2)$, the fractional chromatic number of the plane. The previous best bounds (rounded to five decimal places) were $3.5556 \le χ_f(\mathcal{R}^2)\le 4.3599$. Here we improve the lower bound to $76/21\approx3.6190$.
Links between orthogonal arrays, association schemes and partial geometric designs
Published
• View Publication
• BIB
In this paper, we show how certain three-class association schemes and orthogonal arrays give rise to partial geometric designs. We also investigate the connections between partial geometric designs and certain regular graphs having three or four distinct eigenvalues, three-class association schemes, orthogonal arrays of strength two and particular linear codes. We give various characterizations of these graphs, association schemes and orthogonal arrays in terms of partial geometric designs. We also give a list of infinite families of directed strongly regular graphs arising from the partial geometric designs obtained in this paper.
Lattice 3-polytopes with six lattice points
Published in SIAM J. Discrete Math. 30(2) (2016) , 687-717
• View Publication
• BIB
We classify lattice $3$-polytopes of width larger than one and with exactly $6$ lattice points. We show that there are $74$ polytopes of width $2$, two polytopes of width $3$, and none of larger width. We give explicit coordinates for representatives of each class, together with other invariants such as their oriented matroid (or order type) and volume vector. For example, according to the number of interior points these $76$ polytopes divide into $23$ tetrahedra with two interior points (clean tetrahedra), $49$ polytopes with one interior point (the $49$ canonical three-polytopes with five boundary points previously classified by Kasprzyk) and only $4$ hollow polytopes.
We also give a complete classification of three-polytopes of width one with $6$ lattice points. In terms of the oriented matroid of these six points, they lie in eight infinite classes and twelve individual polytopes.
Our motivation comes partly from the concept of distinct pair sum (or dps) polytopes, which, in dimension $3$, can have at most $8$ lattice points. Among the $74+2$ classes mentioned above, exactly $44 + 1$ are dps.
Applications Of Ordinary Voltage Graph Theory To Graph Embeddability, Part 1
Published
• View Publication
• BIB
We study embeddings of a graph $G$ in a surface $S$ by considering representatives of different classes of $H_1(S)$ and their intersections. We construct a matrix invariant that can be used to detect homological invariance of elements of the cycle space of a cellularly embedded graph. We show that: for each positive integer $n$, there is a graph embeddable in the torus such that there is a free $\mathbb{Z}_{2p}$-action on the graph that extends to a cellular automorphism of the torus; for an odd prime $p$ greater than 5 the Generalized Petersen Graphs of the form $GP(2p,2)$ do cellularly embed in the torus, but not in such a way that a free-action of a group on $GP(2p,2)$ extends to a cellular automorphism of the torus; the Generalized Petersen Graph $GP(6,2)$ does embed in the the torus such that a free-action of a group on $GP(6,2)$ extends to a cellular automorphism of the torus; and we show that for any odd $q$, the Generalized Petersen Graph $GP(2q,2)$ does embed in the Klein bottle in such a way that a free-action of a group on the graph extends to a cellular automorphism of the Klein bottle.
Triangle-free graphs with the maximum number of cycles
Published
• View Publication
• BIB
It is shown that for $n\geq 141$, among all triangle-free graphs on $n$ vertices, the complete equibipartite graph is the unique triangle-free graph with the greatest number of cycles.
Some probabilistic trees with algebraic roots
Published
• View Publication
• BIB
In this article we consider several probabilistic processes defining random grapha. One of these processes appeared recently in connection with a factorization problem in the symmetric group. For each of the probabilistic processes, we prove that the probability for the random graph to be a tree has an extremely simple expression, which is independent of most parameters of the problem. This raises many open questions.
On the minimum distance of elliptic curve codes
Published
• View Publication
• BIB
Computing the minimum distance of a linear code is one of the fundamental problems in algorithmic coding theory. Vardy [14] showed that it is an \np-hard problem for general linear codes. In practice, one often uses codes with additional mathematical structure, such as AG codes. For AG codes of genus $0$ (generalized Reed-Solomon codes), the minimum distance has a simple explicit formula. An interesting result of Cheng [3] says that the minimum distance problem is already \np-hard (under \rp-reduction) for general elliptic curve codes (ECAG codes, or AG codes of genus $1$). In this paper, we show that the minimum distance of ECAG codes also has a simple explicit formula if the evaluation set is suitably large (at least $2/3$ of the group order). Our method is purely combinatorial and based on a new sieving technique from the first two authors [8]. This method also proves a significantly stronger version of the MDS (maximum distance separable) conjecture for ECAG codes.
The Complexity of the Partial Order Dimension Problem - Closing the Gap
Published
• View Publication
• BIB
The dimension of a partial order $P$ is the minimum number of linear orders whose intersection is $P$. There are efficient algorithms to test if a partial order has dimension at most $2$. In 1982 Yannakakis showed that for $k\geq 3$ to test if a partial order has dimension $\leq k$ is NP-complete. The height of a partial order $P$ is the maximum size of a chain in $P$. Yannakakis also showed that for $k\geq 4$ to test if a partial order of height $2$ has dimension $\leq k$ is NP-complete. The complexity of deciding whether an order of height $2$ has dimension $3$ was left open. This question became one of the best known open problems in dimension theory for partial orders. We show that the problem is NP-complete.
Technically we show that the decision problem (3DH2) for dimension is equivalent to deciding for the existence of bipartite triangle containment representations (BTCon). This problem then allows a reduction from a class of planar satisfiability problems (P-3-CON-3-SAT(4)) which is known to be NP-hard.
Multigraph Hyperplane Arrangements and Parking Functions
Published
• View Publication
• BIB
Back in the nineties Pak and Stanley introduced a labeling of the regions of a k-Shi arrangement by k-parking functions and proved its bijectivity. Duval, Klivans, and Martin considered a modification of this construction associated with a graph G. They introduced the G-Shi arrangement and a labeling of its regions by G-parking functions. They conjectured that their labeling is surjective, i.e. that every G-parking function appears as a label of a region of the G-Shi arrangement. Later Hopkins and Perkinson proved this conjecture. In particular, this provided a new proof of the bijectivity of Pak-Stanley labeling in the k=1 case. We generalize Hopkins-Perkinson's construction to the case of arrangements associated with oriented multigraphs. In particular, our construction provides a simple straightforward proof of the bijectivity of the original Pak-Stanley labeling for arbitrary k.