Showing 20 papers (Total: 82736 papers, 47815 authors in database)
Duality between star and plus connected components in percolation
Tile \(\mathbb{R}^2\) into disjoint unit squares \(\{S_k\}_{k \geq 0}\) with the origin being the centre of \(S_0\) and say that \(S_i\) and \(S_j\) are star adjacent if they share a corner and plus adjacent if they share an edge. Every square is either vacant or occupied. Star and plus connected components containing the origin have been previously studied using unicoherence and interface graphs. In this paper, we use the structure of the outermost boundaries derived in Ganesan (2015) to alternately obtain duality between star and plus connected components in the following sense: There is a plus connected cycle of vacant squares attached to surrounding the finite star connected component containing the origin. There is a star connected cycle of vacant squares attached to and surrounding the finite plus connected component containing the origin.
A low-energy decomposition theorem
Published in Quart. J. Math. 68 (2017), no. 1, 207--226
• View Publication
• BIB
We prove that any finite set of real numbers can be split into two parts, one part being highly non-additive and the other highly non-multiplicative.
On the 2-ranks of a class of unitals
Published
• View Publication
• BIB
Let $U_θ$ be a unital defined in a shift plane of odd order $q^2$, which are constructed recently by the authors. In particular, when the shift plane is desarguesian, $U_θ$ is a special Buekenhout-Metz unital formed by a union of ovals. We investigate the dimensions of the binary codes derived from $U_θ$.
By using Kloosterman sums, we obtain a new lower bound on the aforementioned dimensions which improves the result obtained by Leung and Xiang in 2009. In particular, for $q=3^m$, this new lower bound equals $\frac{2}{3}(q^3+q^2-2q)-1$ for even $m$ and $\frac{2}{3}(q^3+q^2+q)-1$ for odd $m$.
On flow polytopes, order polytopes, and certain faces of the alternating sign matrix polytope
In this paper we study an alternating sign matrix analogue of the Chan-Robbins-Yuen polytope, which we call the ASM-CRY polytope. We show that this polytope has Catalan many vertices and its volume is equal to the number of standard Young tableaux of staircase shape; we also determine its Ehrhart polynomial. We achieve the previous by proving that the members of a family of faces of the alternating sign matrix polytope which includes ASM-CRY are both order and flow polytopes. Inspired by the above results, we relate three established triangulations of order and flow polytopes, namely Stanley's triangulation of order polytopes, the Postnikov-Stanley triangulation of flow polytopes and the Danilov-Karzanov-Koshevoy triangulation of flow polytopes. We show that when a graph $G$ is a planar graph, in which case the flow polytope $F_G$ is also an order polytope, Stanley's triangulation of this order polytope is one of the Danilov-Karzanov-Koshevoy triangulations of $F_G$. Moreover, for a general graph $G$ we show that the set of Danilov-Karzanov-Koshevoy triangulations of $F_G$ is a subset of the set of Postnikov-Stanley triangulations of $F_G$. We also describe explicit bijections between the combinatorial objects labeling the simplices in the above triangulations.
I,F-partitions of Sparse Graphs
Published
• View Publication
• BIB
A star $k$-coloring is a proper $k$-coloring where the union of two color classes induces a star forest. While every planar graph is 4-colorable, not every planar graph is star 4-colorable. One method to produce a star 4-coloring is to partition the vertex set into a 2-independent set and a forest; such a partition is called an I,F-partition. We use a combination of potential functions and discharging to prove that every graph with maximum average degree less than $\frac{5}{2}$ has an I,F-partition, which is sharp and answers a question of Cranston and West [A guide to the discharging method, arXiv:1306.4434]. This result implies that planar graphs of girth at least 10 are star 4-colorable, improving upon previous results of Bu, Cranston, Montassier, Raspaud, and Wang [Star coloring of sparse graphs, J. Graph Theory 62 (2009), 201-219].
Stability and Turán numbers of a class of hypergraphs via Lagrangians
Published
• View Publication
• BIB
Given a family of $r$-uniform hypergraphs ${\cal F}$ (or $r$-graphs for brevity), the Turán number $ex(n,{\cal F})$ of ${\cal F}$ is the maximum number of edges in an $r$-graph on $n$ vertices that does not contain any member of ${\cal F}$. A pair $\{u,v\}$ is covered in a hypergraph $G$ if some edge of $G$ contains $\{u,v\}$. Given an $r$-graph $F$ and a positive integer $p\geq n(F)$, let $H^F_p$ denote the $r$-graph obtained as follows. Label the vertices of $F$ as $v_1,\ldots, v_{n(F)}$. Add new vertices $v_{n(F)+1},\ldots, v_p$. For each pair of vertices $v_i,v_j$ not covered in $F$, add a set $B_{i,j}$ of $r-2$ new vertices and the edge $\{v_i,v_j\}\cup B_{i,j}$, where the $B_{i,j}$'s are pairwise disjoint over all such pairs $\{i,j\}$. We call $H^F_p$ the expanded $p$-clique with an embedded $F$. For a relatively large family of $F$, we show that for all sufficiently large $n$, $ex(n,H^F_p)=|T_r(n,p-1)|$, where $T_r(n,p-1)$ is the balanced complete $(p-1)$-partite $r$-graph on $n$ vertices. We also establish structural stability of near extremal graphs. Our results generalize or strengthen several earlier results and provide a class of hypergraphs for which the Turán number is exactly determined (for large $n$).
Incidences between planes over finite fields
Published
• View Publication
• BIB
We use methods from spectral graph theory to obtain bounds on the number of incidences between $k$-planes and $h$-planes in $\mathbb{F}_q^d$ which generalize a recent result given by Bennett, Iosevich, and Pakianathan (2014). More precisely, we prove that the number of incidences between a set $\mathcal{P}$ of $k$-planes and a set $\mathcal{H}$ of $h$-planes with $h\ge 2k+1$, which is denoted by $I(\mathcal{P},\mathcal{H})$, satisfies \[\left\vert I(\mathcal{P},\mathcal{H})-\frac{|\mathcal{P}||\mathcal{H}|}{q^{(d-h)(k+1)}}\right\vert \lesssim q^{\frac{(d-h)h+k(2h-d-k+1)}{2}}\sqrt{|\mathcal{P}||\mathcal{H}|}. \]
Meyniel's conjecture holds for random d-regular graphs
In the game of cops and robber, the cops try to capture a robber moving on the vertices of the graph. The minimum number of cops required to win on a given graph $G$ is called the cop number of $G$. The biggest open conjecture in this area is the one of Meyniel, which asserts that for some absolute constant $C$, the cop number of every connected graph $G$ is at most $C \sqrt{|V(G)|}$. In a separate paper, we showed that Meyniel's conjecture holds asymptotically almost surely for the binomial random graph. The result was obtained by showing that the conjecture holds for a general class of graphs with some specific expansion-type properties. In this paper, this deterministic result is used to show that the conjecture holds asymptotically almost surely for random $d$-regular graphs when $d = d(n) \ge 3$.
On composition polynomials
Published in Journal of Combinatorial Theory, Series A 152 (2017) 1-9
• View Publication
• BIB
We provide a combinatorial interpretation of the reduced composition polynomials of Ardila and Doker [Adv. Appl. Math. 50 (2013), 607], and relate them to the $(1-q)$-transform of noncommutative symmetric functions.
The representation theory of finite sets and correspondences
We investigate correspondence functors, namely the functors from the category of finite sets and correspondences to the category of $k$-modules, where $k$ is a commutative ring.They have various specific properties which do not hold for other types of functors.In particular, if $k$ is a field and if $F$ is a correspondence functor, then $F$ is finitely generated if and only if the dimension of $F(X)$ grows exponentially in terms of the cardinality of the finite set $X$. In such a case, $F$ has finite length. Also, if $k$ is noetherian, then any subfunctor of a finitely generated functor is finitely generated. When $k$ is a field, we give a description of all the simple functors and we determine the dimension of their evaluations at any finite set.A main tool is the construction of a functor associated to any finite lattice $T$. We prove for instance that this functor is projective if and only if the lattice $T$ is distributive. Moreover, it has quotients which play a crucial role in the analysis of simple functors. The special case of total orders yields some more specific results. Several other properties are also discussed, such as projectivity, duality, and symmetry.In an appendix, all the lattices associated to a given poset are described.
Minors in graphs of large $θ_r$-girth
For every $r \in \mathbb{N}$, let $θ_r$ denote the graph with two vertices and $r$ parallel edges. The $θ_r$-girth of a graph $G$ is the minimum number of edges of a subgraph of $G$ that can be contracted to $θ_r$. This notion generalizes the usual concept of girth which corresponds to the case $r=2$. In [Minors in graphs of large girth, Random Structures & Algorithms, 22(2):213--225, 2003], Kühn and Osthus showed that graphs of sufficiently large minimum degree contain clique-minors whose order is an exponential function of their girth. We extend this result for the case of $θ_{r}$-girth and we show that the minimum degree can be replaced by some connectivity measurement. As an application of our results, we prove that, for every fixed $r$, graphs excluding as a minor the disjoint union of $k$ $θ_{r}$'s have treewidth $O(k\cdot \log k)$.
$(r)$-Pancyclic, $(r)$-Bipancyclic and Oddly $(r)$-Bipancyclic Graphs
A graph with $v$ vertices is $(r)$-pancyclic if it contains precisely $r$ cycles of every length from 3 to $v$. A bipartite graph with even number of vertices $v$ is said to be $(r)$-bipancyclic if it contains precisely $r$ cycles of each even length from 4 to $v$. A bipartite graph with odd number of vertices $v$ and minimum degree at least 2 is said to be oddly $(r)$-bipancyclic if it contains precisely $r$ cycles of each even length from 4 to $v-1$. In this paper, using computer search, we classify all $(r)$-pancyclic and $(r)$-bipancyclic graphs with $v$ vertices and at most $v+5$ edges. We also classify all oddly $(r)$-bipancyclic graphs with $v$ vertices and at most $v+4$ edges.
An Explicit Description of the B(\infty) Crystal For Generalized Quantum Groups of a Family of Comet Quivers
Published
• View Publication
• BIB
Tristan Bozec gave a definition of generalized quantum groups that extends the usual definition of quantum groups to finite quivers with loops at vertices, and he introduced a theory of generalized crystals for this new family of Hopf algebras. We explicitly characterize the generalized crystal $\mathcal{B}(\infty)$ associated to a certain family of quivers with multiple loops by providing a complete set of relations among the Kashiwara operators themselves.
Channel Metrization
We present an algorithm that, given a channel, determines if there is a distance for it such that the maximum likelihood decoder coincides with the minimum distance decoder.
We also show that any metric, up to a decoding equivalence, can be isometrically embedded into the hypercube with the Hamming metric, and thus, in terms of decoding, the Hamming metric is universal.
Exploring mod2 n-queens games
Published
• View Publication
• BIB
We introduce a two player game on an n x n chessboard where queens are placed by alternating turns on a chessboard square whose availability is determined by the number of queens already on the board which can attack that square modulo two. The game is explored along with some variations and its complexity.
Set partitions and integrable hierarchies
Published in Theoretical and Mathematical Physics 2016, Volume 187, Issue 3, pp 842-870
• View Publication
• BIB
We demonstrate that statistics for several types of set partitions are described by generating functions which appear in the theory of integrable equations.
Construction of fullerenes
We present an infinite series of operations on fullerenes generalizing the Endo-Kroto operation, such that each combinatorial fullerene is obtained from the dodecahedron by a sequence of such operations. We prove that these operations are invertible in the proper sense, and are compositions of (1;4,5)-, (1;5,5)-, (2,6;4,5)-, (2,6;5,5)-, (2,6;5,6)-, (2,7;5,5)-, and (2,7;5,6)-truncations, where each truncation increases the number of hexagons by one.
Injective Edge Chromatic Index of a Graph
Three edges $e_{1}, e_{2}$ and $e_{3}$ in a graph $G$ are consecutive if they form a path (in this order) or a cycle of length three. An injective edge coloring of a graph $G = (V,E)$ is a coloring $c$ of the edges of $G$ such that if $e_{1}, e_{2}$ and $e_{3}$ are consecutive edges in $G$, then $c(e_{1})\neq c(e_3)$. The injective edge coloring number $χ_{i}^{'}(G)$ is the minimum number of colors permitted in such a coloring. In this paper, exact values of $χ_{i}^{'}(G)$ for several classes of graphs are obtained, upper and lower bounds for $χ_{i}^{'}(G)$ are introduced and it is proven that checking whether $χ_{i}^{'}(G)= k$ is NP-complete.
The Price of Connectivity for Feedback Vertex Set
Published
• View Publication
• BIB
Let fvs$(G)$ and cfvs(G) denote the cardinalities of a minimum feedback vertex set and a minimum connected feedback vertex set of a graph $G$, respectively. The price of connectivity for feedback vertex set (poc-fvs) for a class of graphs ${\cal G}$ is defined as the maximum ratio $\mbox{cfvs}(G)/\mbox{fvs}(G)$ over all connected graphs $G\in {\cal G}$. We study the poc-fvs for graph classes defined by a finite family ${\cal H}$ of forbidden induced subgraphs. We characterize exactly those finite families ${\cal H}$ for which the poc-fvs for ${\cal H}$-free graphs is upper bounded by a constant. Additionally, for the case where $|{\cal H}|=1$, we determine exactly those graphs $H$ for which there exists a constant $c_H$ such that $\mbox{cfvs}(G)\leq \mbox{fvs}(G) + c_H$ for every connected $H$-free graph $G$, as well as exactly those graphs $H$ for which we can take $c_H=0$.
Representations of bicircular lift matroids
Published
• View Publication
• BIB
Bicircular lift matroids are a class of matroids defined on the edge set of a graph. For a given graph $G$, the circuits of its bicircular lift matroid are the edge sets of those subgraphs of $G$ that contain at least two cycles, and are minimal with respect to this property. The main result of this paper is a characterization of when two graphs give rise to the same bicircular lift matoid, which answers a question proposed by Irene Pivotto. In particular, aside from some appropriately defined "small" graphs, two graphs have the same bicircular lift matroid if and only if they are $2$-isomorphic in the sense of Whitney.