Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Properties of Bipolar Fuzzy Hypergraphs
Published in Italian J. Pure and Appl. Math. 31 (2013), 141-160
• Search Publication
In this article, we apply the concept of bipolar fuzzy sets to hypergraphs and investigate some properties of bipolar fuzzy hypergraphs. We introduce the notion of $A-$ tempered bipolar fuzzy hypergraphs and present some of their properties. We also present application examples of bipolar fuzzy hypergraphs.
A note on order-type homogeneous point sets
Published
• View Publication
• BIB
Let OT_d(n) be the smallest integer N such that every N-element point sequence in R^d in general position contains an order-type homogeneous subset of size n, where a set is order-type homogeneous if all (d+1)-tuples from this set have the same orientation. It is known that a point sequence in R^d that is order-type homogeneous forms the vertex set of a convex polytope that is combinatorially equivalent to a cyclic polytope in R^d. Two famous theorems of Erdos and Szekeres from 1935 imply that OT_1(n) = Theta(n^2) and OT_2(n) = 2^(Theta(n)). For d \geq 3, we give new bounds for OT_d(n). In particular:
1. We show that OT_3(n) = 2^(2^(Theta(n))), answering a question of Eliáš and Matoušek.
2. For d \geq 4, we show that OT_d(n) is bounded above by an exponential tower of height d with O(n) in the topmost exponent.
Codismantlability and projective dimension of the Stanley-Reisner ring of special hypergraphs
Published
• View Publication
• BIB
In this paper firstly, we generalize the concept of codismantlable graphs to hypergraphs and show that some special vertex decomposable hypergraphs are codismantlable. Then we generalize the concept of bouquet in graphs to hypergraphs to extend some combinatorial invariants of graphs about disjointness of a set of bouquets. We use these invariants to characterize the projective dimension of Stanley-Reisner ring of special hypergraphs in some sense.
On the complexity of Boolean matrix ranks
Published
• View Publication
• BIB
We construct a reduction which proves that the fooling set number and the determinantal rank of a Boolean matrix are NP-hard to compute.
Two Observations on the Perturbed Wedge
Francisco Santos has described a new construction, per- turbing apart a non-simple face, to offer a counterexample to the Hirsch Conjecture. We offer two observations about this perturbed wedge con- struction, regarding its effect on edge-paths. First, that an all-but- simple spindle of dimension d and length d + 1 is a counterexample to the nonrevisiting conjecture. Second, that there are conditions under which the perturbed wedge construction does not increase the diameter. NOTE: These are simply working notes, offering two observations on the construction identified by Santos.
Grassmannian Connection Between Three- and Four-Qubit Observables, Mermin's Contextuality and Black Holes
Published in JHEP 09 (2013) 037
• View Publication
• BIB
We invoke some ideas from finite geometry to map bijectively 135 heptads of mutually commuting three-qubit observables into 135 symmetric four-qubit ones. After labeling the elements of the former set in terms of a seven-dimensional Clifford algebra, we present the bijective map and most pronounced actions of the associated symplectic group on both sets in explicit forms. This formalism is then employed to shed novel light on recently-discovered structural and cardinality properties of an aggregate of three-qubit Mermin's 'magic' pentagrams. Moreover, some intriguing connections with the so-called black-hole--qubit correspondence are also pointed out.
The bondage number of graphs on topological surfaces: degree-S vertices and the average degree
The bondage number $b(G)$ of a graph $G$ is the smallest number of edges whose removal from $G$ results in a graph with larger domination number. An orientable surface $\mathbb{S}_h$ of genus $h$, $h \geq 0$, is obtained from the sphere $\mathbb{S}_0$ by adding $h$ handles. A non-orientable surface $\mathbb{N}_q$ of genus $q$, $q \geq 1$, is obtained from the sphere by adding $q$ crosscaps. The Euler characteristic of a surface is defined by $χ(\mathbb{S}_h) = 2 - 2h$ and $χ(\mathbb{S}_q)= 2-q$. Let $G$ be a connected graph of order $n$ which is 2-cell embedded on a surface $\mathbb{M}$ with $χ(\mathbb{M})= χ$. We prove that $b(G) \leq 7+i$ when $\mathbb{M} = \mathbb{N}_i$, $i=1,2,3$, and $b(G) \leq 12$ when $\mathbb{M} \in \{\mathbb{N}_4, \mathbb{S}_2\}$. We give new arguments that improve the known upper bounds on the bondage number at least when $-7χ/(δ(G) - 5) < n \leq -12χ$, $δ(G) \geq 6$, where $δ(G)$ is the minimum degree of $G$. We obtain sufficient conditions for the validity of the inequality $b(G) \leq 2s-2$, provided $G$ has degree $s$ vertices. In particular, we prove that if $δ(G) = δ\geq 6$, $χ\leq -1$ and $-14χ< δ- 4 + 2(δ-5)n$ then $b(G) \leq 2δ-2$. We show that if $γ(G) = γ\not = 2$, where $γ(G)$ is the domination number of $G$, then $n \geq γ+ (1 + \sqrt{9+8γ-8χ})/2$; the bound is tight. We also present upper bounds for the bondage number of graphs in terms of the girth, domination number and Euler characteristic. As a corollary we prove that if $γ(G) \geq 4$ and $χ\leq -1$, then $b(G) \leq 11 - 24χ/(9 + \sqrt{41 - 8χ})$. Several unanswered questions are posed.
Gray codes and Enumerative Coding for vector spaces
Published
• View Publication
• BIB
Gray codes for vector spaces are considered in two graphs: the Grassmann graph, and the projective-space graph, both of which have recently found applications in network coding. For the Grassmann graph, constructions of cyclic optimal codes are given for all parameters. As for the projective-space graph, two constructions for specific parameters are provided, as well some non-existence results.
Furthermore, encoding and decoding algorithms are given for the Grassmannian Gray code, which induce an enumerative-coding scheme. The computational complexity of the algorithms is at least as low as known schemes, and for certain parameter ranges, the new scheme outperforms previously-known ones.
On the Gorensteinness of broken circuit complexes and Orlik--Terao ideals
Published in J. Combin. Theory Ser. A 123 (2014), no. 1, 169-185
• View Publication
• BIB
It is proved that the broken circuit complex of an ordered matroid is Gorenstein if and only if it is a complete intersection. Several characterizations for a matroid that admits such an order are then given, with particular interest in the $h$-vector of broken circuit complexes of the matroid. As an application, we prove that the Orlik--Terao algebra of a hyperplane arrangement is Gorenstein if and only if it is a complete intersection. Interestingly, our result shows that the complete intersection property (and hence the Gorensteinness as well) of the Orlik--Terao algebra can be determined from the last two nonzero entries of its $h$-vector.
Complex Hadamard Matrices, Instantaneous Uniform Mixing and Cubes
Published
• View Publication
• BIB
We study the continuous-time quantum walks on graphs in the adjacency algebra of the $n$-cube and its related distance regular graphs.
For $k\geq 2$, we find graphs in the adjacency algebra of $(2^{k+2}-8)$-cube that admit instantaneous uniform mixing at time $π/2^k$ and graphs that have perfect state transfer at time $π/2^k$.
We characterize the folded $n$-cubes, the halved $n$-cubes and the folded halved $n$-cubes whose adjacency algebra contains a complex Hadamard matrix. We obtain the same conditions for the characterization of these graphs admitting instantaneous uniform mixing.
Maximum st-flow in directed planar graphs via shortest paths
Published
• View Publication
• BIB
Minimum cuts have been closely related to shortest paths in planar graphs via planar duality - so long as the graphs are undirected. Even maximum flows are closely related to shortest paths for the same reason - so long as the source and the sink are on a common face. In this paper, we give a correspondence between maximum flows and shortest paths via duality in directed planar graphs with no constraints on the source and sink. We believe this a promising avenue for developing algorithms that are more practical than the current asymptotically best algorithms for maximum st-flow.
Orbits of pairs in abelian groups
Published in Séminaire Lotharingien de Combinatoire, B70h (2014), 24 pp
• Search Publication
We compute the number of orbits of pairs in a finitely generated torsion module (more generally, a module of bounded order) over a discrete valuation ring. The answer is found to be a polynomial in the cardinality of the residue field whose coefficients are integers which depend only on the elementary divisors of the module, and not on the ring in question. The coefficients of these polynomials are conjectured to be non-negative integers.
Linked Partitions and Permutation Tableaux
Published
• View Publication
• BIB
Linked partitions are introduced by Dykema in the study of transforms in free probability theory, whereas permutation tableaux are introduced by Steingrímsson and Williams in the study of totally positive Grassmannian cells. Let $[n]=\{1,2,\ldots,n\}$. Let $L(n,k)$ denote the set of linked partitions of $[n]$ with $k$ blocks, let $P(n,k)$ denote the set of permutations of $[n]$ with $k$ descents, and let $T(n,k)$ denote the set of permutation tableaux of length $n$ with $k$ rows. Steingrímsson and Williams found a bijection between the set of permutation tableaux of length $n$ with $k$ rows and the set of permutations of $[n]$ with $k$ weak excedances. Corteel and Nadeau gave a bijection from the set of permutation tableaux of length $n$ with $k$ columns to the set of permutations of $[n]$ with $k$ descents. In this paper, we establish a bijection between $L(n,k)$ and $P(n,k-1)$ and a bijection between $L(n,k)$ and $T(n,k)$. Restricting the latter bijection to noncrossing linked partitions, we find that the corresponding permutation tableaux can be characterized by pattern avoidance.
Hypergraph Turán numbers of vertex disjoint cycles
Published
• View Publication
• BIB
The Turán number of a $k$-uniform hypergraph $H$, denoted by $e{x_k}\left({n;H} \right)$, is the maximum number of edges in any $k$-uniform hypergraph $F$ on $n$ vertices which does not contain $H$ as a subgraph. Let $\mathcal{C}_{\ell}^{\left(k \right)}$ denote the family of all $k$-uniform minimal cycles of length $\ell$, $\mathcal{S}(\ell_1,\ldots,\ell_r)$ denote the family of hypergraphs consisting of unions of $r$ vertex disjoint minimal cycles of length $\ell_1,\ldots,\ell_r$, respectively, and $\mathbb{C}_{\ell}^{\left(k \right)}$ denote a $k$-uniform linear cycle of length $\ell$. We determine precisely $e{x_k}\left({n;\mathcal{S}(\ell_1,\ldots,\ell_r)} \right)$ and $e{x_k}\left({n;\mathbb{C}_{\ell_1}^{\left(k \right)}, \ldots, \mathbb{C}_{\ell_r}^{\left(k \right)}} \right)$ for sufficiently large $n$. The results extend recent results of Füredi and Jiang who determined the Turán numbers for single $k$-uniform minimal cycles and linear cycles.
A relative Szemerédi theorem
Published in Geom. Funct. Anal. 25 (2015), 733-762
• View Publication
• BIB
The celebrated Green-Tao theorem states that there are arbitrarily long arithmetic progressions in the primes. One of the main ingredients in their proof is a relative Szemerédi theorem which says that any subset of a pseudorandom set of integers of positive relative density contains long arithmetic progressions.
In this paper, we give a simple proof of a strengthening of the relative Szemerédi theorem, showing that a much weaker pseudorandomness condition is sufficient. Our strengthened version can be applied to give the first relative Szemerédi theorem for $k$-term arithmetic progressions in pseudorandom subsets of $\mathbb{Z}_N$ of density $N^{-c_k}$.
The key component in our proof is an extension of the regularity method to sparse pseudorandom hypergraphs, which we believe to be interesting in its own right. From this we derive a relative extension of the hypergraph removal lemma. This is a strengthening of an earlier theorem used by Tao in his proof that the Gaussian primes contain arbitrarily shaped constellations and, by standard arguments, allows us to deduce the relative Szemerédi theorem.
The time of bootstrap percolation in two dimensions
Published
• View Publication
• BIB
We study the distribution of the percolation time $T$ of two-neighbour bootstrap percolation on $[n]^2$ with initial set $A\sim\mathrm{Bin}([n]^2,p)$. We determine $T$ with high probability up to a constant factor for all $p$ above the critical probability for percolation, and to within a $1+o(1)$ factor for a large range of $p$.
Krull dimension of monomial ideals in polynomial rings with real exponents
Published
• View Publication
• BIB
We develop a new technique for studying monomial ideals in the standard polynomial rings $A[X_1,\ldots,X_d]$ where $A$ is a commutative ring with identity. The main idea is to consider induced ideals in the semigroup ring $R=A[\mathbb{M}^1_{\geq 0}\times\cdots\times\mathbb{M}^d_{\geq 0}]$ where $\mathbb{M}^1,\ldots,\mathbb{M}^d$ are non-zero additive subgroups of $\mathbb{R}$. We prove that the set of non-zero finitely generated monomial ideals in $R$ has the structure of a metric space, and we prove that a version of Krull dimension for this setting is lower semicontinuous with respect to this metric space structure. We also show how to use discrete techniques to study certain monomial ideals in this context.
Subword complexes and edge subdivisions
Published
• View Publication
• BIB
For a finite Coxeter group, a subword complex is a simplicial complex associated with a pair (Q, π), where Q is a word in the alphabet of simple reflections, $π$ is a group element. We discuss the transformations of such a complex induced by braid moves of the word Q. We show that under certain conditions, this transformation is a composition of edge subdivisions and inverse edge subdivisions. In such a case, we describe how the H- and the γ-polynomials change under this operation. This case includes all braid moves for groups with simply-laced Coxeter diagrams.
Nearest neighbor Markov dynamics on Macdonald processes
Published
• View Publication
• BIB
Macdonald processes are certain probability measures on two-dimensional arrays of interlacing particles introduced by Borodin and Corwin (arXiv:1111.4408 [math.PR]). They are defined in terms of nonnegative specializations of the Macdonald symmetric functions and depend on two parameters (q,t), where 0<= q, t < 1. Our main result is a classification of continuous time, nearest neighbor Markov dynamics on the space of interlacing arrays that act nicely on Macdonald processes.
The classification unites known examples of such dynamics and also yields many new ones. When t = 0, one dynamics leads to a new integrable interacting particle system on the one-dimensional lattice, which is a q-deformation of the PushTASEP (= long-range TASEP). When q = t, the Macdonald processes become the Schur processes of Okounkov and Reshetikhin (arXiv:math/0107056 [math.CO]). In this degeneration, we discover new Robinson--Schensted-type correspondences between words and pairs of Young tableaux that govern some of our dynamics.
Three remarks on Matula numbers
Published
• View Publication
• BIB
In SIAM Review 10, page 273, D. W. Matula described a bijection between N and the set of topological rooted trees; the number is called the Matula number of the rooted tree. The Gutman-Ivic-Matula (GIM) function g(n) computes the number of edges of the unique tree with Matula number n. Since there is a prefix-free code for the set of prime numbers such that the codelength of each prime p is 2g(p), we show how some properties of the GIM function can be obtained trivially from coding theorems.