Showing 20 papers (Total: 82374 papers, 47635 authors in database)
A Geometric Approach to Combinatorial Fixed-Point Theorems
Published
• View Publication
• BIB
We develop a geometric framework that unifies several different combinatorial fixed-point theorems related to Tucker's lemma and Sperner's lemma, showing them to be different geometric manifestations of the same topological phenomena. In doing so, we obtain (1) new Tucker-like and Sperner-like fixed-point theorems involving an exponential-sized label set; (2) a generalization of Fan's parity proof of Tucker's Lemma to a much broader class of label sets; and (3) direct proofs of several Sperner-like lemmas from Tucker's lemma via explicit geometric embeddings, without the need for topological fixed-point theorems. Our work naturally suggests several interesting open questions for future research.
On a Generalization of the Ryser-Brualdi-Stein Conjecture
Published
• View Publication
• BIB
A rainbow matching for (not necessarily distinct) sets F_1,...,F_k of hypergraph edges is a matching consisting of k edges, one from each F_i. The aim of the paper is twofold - to put order in the multitude of conjectures that relate to this concept (some of them first presented here), and to present some partial results on one of these conjectures, that seems central among them.
The M-Principal Graph of a Commutative Ring
Published
• View Publication
• BIB
This paper has been withdrawn by the author because there are some typos in proofs.
Maximum 4-degenerate subgraph of a planar graph
A graph $G$ is $k$-degenerate if it can be transformed into an empty graph by subsequent removals of vertices of degree $k$ or less. We prove that every connected planar graph with average degree $d \ge 2$ has a 4-degenerate induced subgraph containing at least $(38-d)/36$ of its vertices. This shows that every planar graph of order $n$ has a 4-degenerate induced subgraph of order more than $8/9 \cdot n$. We also consider a local variation of this problem and show that in every planar graph with at least 7 vertices, deleting a suitable vertex allows us to subsequently remove at least 6 more vertices of degree four or less.
The Wiener and Terminal Wiener indices of trees
Heydari \cite{heydari2013} presented very nice formulae for the Wiener and terminal Wiener indices of generalized Bethe trees. It is pity that there are some errors for the formulae. In this paper, we correct these errors and characterize all trees with the minimum terminal Wiener index among all the trees of order $n$ and with maximum degree $Δ$.
The M-Regular Graph of a Commutative Ring
Published
• View Publication
• BIB
Let $R$ be a commutative ring and $M$ be an $R$-module, and let $Z(M)$ be the set of all zero-divisors on $M$. In 2008, D.F. Anderson and A. Badawi introduced the regular graph of $R$. In this paper, we generalize the regular graph of $R$ to the \textit{$M$-regular graph} of $R$, denoted by $M$-$Reg(Γ(R))$. It is the undirected graph with all $M$-regular elements of $R$ as vertices, and two distinct vertices $x$ and $y$ are adjacent if and only if $x+y\in Z(M)$. The basic properties and possible structures of the $M$-$Reg(Γ(R))$ are studied. We determine the girth of the $M$-regular graph of $R$. Also, we provide some lower bounds for the independence number and the clique number of the $M$-$Reg(Γ(R))$. Among other results, we prove that for every Noetherian ring $R$ and every finitely generated module $M$ over $R$, if $2\notin Z(M)$ and the independence number of the $M$-$Reg(Γ(R))$ is finite, then $R$ is finite.
Around the Petty theorem on equilateral sets
Published in Ann. Pol. Math. 109 (2013), 165-175
• View Publication
• BIB
The main goal of this paper is to provide an alternative proof of the following theorem of Petty: in the normed space of dimension at least three, every 3-element equilateral set can be extended to a 4-element equilateral set. Our approach is based on the result of Kramer and Németh about inscribing a simplex into a convex body. To prove the theorem of Petty, we shall also establish that for every 3 points in the normed plane, forming an equilateral set of the common distance $p$, there exists a fourth point, which is equidistant to the given points with the distance not larger than $p$. We will also improve the example given by Petty and obtain the existence of a smooth and strictly convex norm in $\mathbb{R}^n$, which contain a maximal 4-element equilateral set. This shows that the theorem of Petty cannot be generalized to higher dimensions, even for smooth and strictly convex norms.
The intersection graph of ideals of $\mathbb{Z}_n$ is\\ weakly perfect
A graph is called weakly perfect if its vertex chromatic number equals its clique number. Let $R$ be a ring and $I(R)^*$ be the set of all left proper non-trivial ideals of $R$. The intersection graph of ideals of $R$, denoted by $G(R)$, is a graph with the vertex set $I(R)^*$ and two distinct vertices $I$ and $J$ are adjacent if and only if $I\cap J\neq 0$. In this paper, it is shown that $G(\mathbb{Z}_n)$, for every positive integer $n$, is a weakly perfect graph. Also, for some values of $n$, we give an explicit formula for the vertex chromatic number of $G(\mathbb{Z}_n)$. Furthermore, it is proved that the edge chromatic number of $G(\mathbb{Z}_n)$ is equal to the maximum degree of $G(\mathbb{Z}_n)$ unless either $G(\mathbb{Z}_n)$ is a null graph with two vertices or a complete graph of odd order.
Stiefel tropical linear spaces
Published
• View Publication
• BIB
The tropical Stiefel map associates to a tropical matrix A its tropical Pluecker vector of maximal minors, and thus a tropical linear space L(A). We call the L(A)s obtained in this way Stiefel tropical linear spaces. We prove that they are dual to certain matroid subdivisions of polytopes of transversal matroids, and we relate their combinatorics to a canonically associated tropical hyperplane arrangement. We also explore a broad connection with the secondary fan of the Newton polytope of the product of all maximal minors of a matrix. In addition, we investigate the natural parametrization of L(A) arising from the tropical linear map defined by A.
Factorization of Constrained Energy K-Network Reliability with Perfect Nodes
This paper proves a new general K-network constrained energy reliability global factorization theorem. As in the unconstrained case, beside its theoretical mathematical importance the theorem shows how to do parallel processing in exact network constrained energy reliability calculations in order to reduce the processing time of this NP-hard problem. Followed by a new simple factorization formula for its calculation, we propose a new definition of constrained energy network reliability motivated by the factorization theorem and the accomplishment of parallel processing, something impossible with the original definition.
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.