Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The strong rainbow vertex-connection of graphs
A vertex-colored graph $G$ is said to be rainbow vertex-connected if every two vertices of $G$ are connected by a path whose internal vertices have distinct colors, such a path is called a rainbow path. The rainbow vertex-connection number of a connected graph $G$, denoted by $rvc(G)$, is the smallest number of colors that are needed in order to make $G$ rainbow vertex-connected. If for every pair $u, v$ of distinct vertices, $G$ contains a rainbow $u-v$ geodesic, then $G$ is strong rainbow vertex-connected. The minimum number $k$ for which there exists a $k$-vertex-coloring of $G$ that results in a strongly rainbow vertex-connected graph is called the strong rainbow vertex-connection number of $G$, denoted by $srvc(G)$. Observe that $rvc(G)\leq srvc(G)$ for any nontrivial connected graph $G$. In this paper, sharp upper and lower bounds of $srvc(G)$ are given for a connected graph $G$ of order $n$, that is, $0\leq srvc(G)\leq n-2$. Graphs of order $n$ such that $srvc(G)= 1, 2, n-2$ are characterized, respectively. It is also shown that, for each pair $a, b$ of integers with $a\geq 5$ and $b\geq (7a-8)/5$, there exists a connected graph $G$ such that $rvc(G)=a$ and $srvc(G)=b$.
A Degree Condition for Dominating Cycles in $t$-tough Graphs with $t>1$
Let $G$ be a $t$-tough graph of order $n$ and minimum degree $δ$ with $t>1$. It is proved that if $δ\ge(n-2)/3$ then each longest cycle in $G$ is a dominating cycle.
A combinatorial model of malware diffusion via Bluetooth connections
Published
• View Publication
• BIB
We outline here the mathematical expression of a diffusion model for cellphones malware transmitted through Bluetooth channels. In particular, we provide the deterministic formula underlying the proposed infection model, in its equivalent recursive (simple but computationally heavy) and closed form (more complex but efficiently computable) expression.
Harmonic evolutions on graphs
Published in International Journal of Mathematics and Computer Science, vol 2 no. 1 (2007), 65-82
• Search Publication
We define the harmonic evolution of states of a graph by iterative application of the harmonic operator (Laplacian over $Z_2$). This provides graphs with a new geometric context and leads to a new tool to analyze them. The digraphs of evolutions are analyzed and classified. This construction can also be viewed as a certain topological generalization of cellular automata.
Skew Pieri Rules for Hall-Littlewood Functions
Published
• View Publication
• BIB
We produce skew Pieri Rules for Hall--Littlewood functions in the spirit of Assaf and McNamara. The first two were conjectured by the first author. The key ingredients in the proofs are a q-binomial identity for skew partitions and a Hopf algebraic identity that expands products of skew elements in terms of the coproduct and the antipode.
On a Class of Binary Matrices
Published in Mathematics and Educations in Mathematics, v.37 (2008), 245-250
• Search Publication
The paper studies the set of all square binary matrices containing an exact number of 1's in each rows and in each column. A connection is established between the cardinal number of this set and the cardinal number of its subset of matrices containing 1 in the lower right corner. With the help of this result a new proof is advanced of the I. Good and J. Grook theorem. In connection with the firs result a classification has also been made of square binary matrices containing three 1's in each row and column and 1 in the lower right corner.
Mathematical Modeling of the Weaving Structure Design
Published in Mathematics and education in mathematics, v. 39, 2010, 212-220
• Search Publication
An equivalence relation in the set of all square binary matrices is described in this work. It is discussed a combinatoric problem about finding the cardinal number and the elements of the factor set according to this relation. We examine the possibility to get some special elements of this factor set. We propose an algorithm, which solves these problems. The results we have received are used to describe the topology of the different weaving structures.
An Example for the Use of Bitwise Operations in Programming
Published in Mathematics and education in mathematics, v. 38 (2009), 196-202
• Search Publication
This piece of work presents a meaningful example for the advantages of using bitwise operations for creating effective algorithms in programming. A task connected with mathematical modeling in weaving industry is examined and computed.
Universal flows of closed subgroups of $S_{\infty}$ and relative extreme amenability
This paper is devoted to the study of universality for a particular continuous action naturally attached to certain pairs of closed subgroups of $S_{\infty}$. It shows that three new concepts, respectively called relative extreme amenability, relative Ramsey property for embeddings, and relative Ramsey property for structures, are relevant in order to understand this property correctly. It also allows to provide a partial answer to a question posed by Kechris, Pestov and Todorcevic.
Maximal hypercubes in Fibonacci and Lucas cubes
Published
• View Publication
• BIB
The Fibonacci cube $Γ_n$ is the subgraph of the hypercube induced by the binary strings that contain no two consecutive 1's. The Lucas cube $Λ_n$ is obtained from $Γ_n$ by removing vertices that start and end with 1. We characterize maximal induced hypercubes in $Γ_n$ and $Λ_n$ and deduce for any $p\leq n$ the number of maximal $p$-dimensional hypercubes in these graphs.
Impartial games emulating one-dimensional cellular automata and undecidability
Published
• View Publication
• BIB
We study two-player \emph{take-away} games whose outcomes emulate two-state one-dimensional cellular automata, such as Wolfram's rules 60 and 110. Given an initial string consisting of a central data pattern and periodic left and right patterns, the rule 110 cellular automaton was recently proved Turing-complete by Matthew Cook. Hence, many questions regarding its behavior are algorithmically undecidable. We show that similar questions are undecidable for our \emph{rule 110} game.
Magnetic interpretation of the nodal defect on graphs
Published in Anal. PDE 6 (2013) 1235-1242
• View Publication
• BIB
In this note, we present a natural proof of a recent and surprising result of Gregory Berkolaiko (arXiv 1110.5373) interpreting the "Courant nodal defect" of a Schrödinger operator on a finite graph as a Morse index associated to the deformations of the operator by switching on a magnetic field. This proof is inspired by a nice paper of Miroslav Fiedler published in 1975.
The structure of 2-separations of infinite matroids
Published
• View Publication
• BIB
Generalizing a well known theorem for finite matroids, we prove that for every (infinite) connected matroid M there is a unique tree T such that the nodes of T correspond to minors of M that are either 3-connected or circuits or cocircuits, and the edges of T correspond to certain nested 2-separations of M. These decompositions are invariant under duality.
Bispecial factors in circular non-pushy D0L languages
Published in Theoretical Computer Science, 445 (2012), 63-74
• View Publication
• BIB
We study bispecial factors in fixed points of morphisms. In particular, we propose a simple method of how to find all bispecial words of non-pushy circular D0L-systems. This method can be formulated as an algorithm. Moreover, we prove that non-pushy circular D0L-systems are exactly those with finite critical exponent.
A Statement in Combinatorics that is Independent of ZFC (an exposition)
It is known that, for any finite coloring of the naturals, there exists distinct naturals $e_1,e_2,e_3,e_4$ that are the same color such that $e_1+e_2=e_3+e_4$. Consider the following statement which we denote S: For every $\aleph_0$-coloring of the reals there exists distinct reals $e_1,e_2,e_3,e_4$ such that $e_1+e_2=e_3+e_4$?} Is it true? Erdos showed that S is equivalent to the negation of the Continuum Hypothesis, and hence S is indepedent of ZFC. We give an exposition of his proof and some modern observations about results of this sort.
Combined algebraic and multiplicative properties near zero
Published
• View Publication
• BIB
It was proved that whenever $\mathbb{N}$ is partitioned into finitely many cells, one cell must contain arbitrary length arithmetic and geometric progression nicely intertwined, so that one cell must be rich in the sense of containing substantial combined additive and multiplicative properties. Further it is known that IP$^*$ and central$^*$ sets are also rich in substantial combined additive and multiplicative properties but not partition regular. In this article we prove that these types of results also hold near zero for dense subsemigroups $S$ of $((0,\infty),+)$ for which $(S\cap(0,1),\cdot)$.
More on the Kechris-Pestov-Todorcevic correspondence: precompact expansions
Published in Fund. Math., 222, 19-47, 2013
• Search Publication
In 2005, the paper "Fraissé limits, Ramsey theory, and topological dynamics of automorphism groups"
[KPT] by Kechris, Pestov and Todorcevic provided a powerful tool to compute an invariant of topological groups known as the universal minimal flow. This immediately led to an explicit representation of this invariant in many concrete cases. However, in some particular situations, the framework of [KPT] does not allow to perform the computation directly, but only after a slight modification of the original argument. The purpose of the present paper is to supplement [KPT] in order to avoid that twist and to make it adapted for further applications.
On Arrangements of Pseudohyperplanes
Published
• View Publication
• BIB
To every realizable oriented matroid there corresponds an arrangement of real hyperplanes. The homeomorphism type of the complexified complement of such an arrangement is completely determined by the oriented matroid. In this paper we study arrangements of pseudohyperplanes; they correspond to non-realizable oriented matroids. These arrangements arise as a consequence of the Folkman-Lawrence topological representation theorem. We propose a generalization of the complexification process in this context. In particular we construct a space naturally associated with these pseudo-arrangements which is homeomorphic to the complexified complement in the realizable case. Further we generalize the classical theorem of Salvetti and show that this space has the homotopy type of a cell complex defined in terms of the oriented matroid.
A study involving the completion of quasi 2-normed space
Published in International Journal of Analysis Volume 2013, Article ID 512372, 4 pages
• View Publication
• BIB
The fundamental aim of this paper is to introduce and investigate a new property of quasi 2-normed space based on a question given by C. Park (2006) [2] for the completion quasi 2-normed space. Finally, we also find an answer for a question Park's.
Simple marked mesh patterns
In this paper we begin the first systematic study of distributions of simple marked mesh patterns. Mesh patterns were introduced recently by Brändén and Claesson in connection with permutation statistics. We provide explicit generating functions in several general cases, and develop recursions to compute the numbers in question in some other cases. Certain $q$-analogues are discussed. Moreover, we consider two modifications of the notion of a marked mesh pattern and provide enumerative results for them.