Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Strong 2.t and Strong 3.t Transformations for Strong M-equivalence
Published
• View Publication
• BIB
Parikh matrices have been extensively investigated due to their usefulness in studying subword occurrences in words. Due to the dependency of Parikh matrices on the ordering of the alphabet, strong M-equivalence was proposed as an order-independent alternative to M-equivalence in studying words possessing the same Parikh matrix. This paper introduces and studies the notions of strong 2.t and strong 3.t transformations in determining when two ternary words are strongly M-equivalent. The irreducibility of strong 2.t transformations are then scrutinized, exemplified by a structural characterization of irreducible strong 2.2 transformations. The common limitation of these transformations in characterizing strong M-equivalence is then addressed.
Projections in vector spaces over finite fields
Published
• View Publication
• BIB
We study the projections in vector spaces over finite fields. We prove finite fields analogues of the bounds on the dimensions of the exceptional sets for Euclidean projection mapping. We provide examples which do not have exceptional projections via projections of random sets. In the end we study the projections of sets which have the (discrete) Fourier decay.
Finding Hamilton cycles in random intersection graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (March 5, 2018) dmtcs:3144
• View Publication
• BIB
The construction of the random intersection graph model is based on a random family of sets. Such structures, which are derived from intersections of sets, appear in a natural manner in many applications. In this article we study the problem of finding a Hamilton cycle in a random intersection graph. To this end we analyse a classical algorithm for finding Hamilton cycles in random graphs (algorithm HAM) and study its efficiency on graphs from a family of random intersection graphs (denoted here by G(n,m,p)). We prove that the threshold function for the property of HAM constructing a Hamilton cycle in G(n,m,p) is the same as the threshold function for the minimum degree at least two. Until now, known algorithms for finding Hamilton cycles in G(n,m,p) were designed to work in very small ranges of parameters and, unlike HAM, used the structure of the family of random sets.
Epsilon-approximations and epsilon-nets
The use of random samples to approximate properties of geometric configurations has been an influential idea for both combinatorial and algorithmic purposes. This chapter considers two related notions---$ε$-approximations and $ε$-nets---that capture the most important quantitative properties that one would expect from a random sample with respect to an underlying geometric configuration.
Borsuk and Ramsey type questions in Euclidean space
Published in Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham, Cambridge University Press, 2018, 259--277
• View Publication
• BIB
We give a short survey of problems and results on (1) diameter graphs and hypergraphs, and (2) geometric Ramsey theory. We also make some modest contributions to both areas. Extending a well known theorem of Kahn and Kalai which disproved Borsuk's conjecture, we show that for any integer $r\ge 2$, there exist $\varepsilon=\varepsilon(r)>0$ and $d_0=d_0(r)$ with the following property. For every $d\ge d_0$, there is a finite point set $P\subset\mathbb{R}^d$ of diameter $1$ such that no matter how we color the elements of $P$ with fewer than $(1+\varepsilon)^{\sqrt{d}}$ colors, we can always find $r$ points of the same color, any two of which are at distance $1$.
The Roman harmonic numbers revisited
Published in Journal of Number Theory 180, 544-565 (2017)
• View Publication
• BIB
Two decades ago, Steven Roman, Daniel E. Loeb and Gian-Carlo Rota introduced a family of harmonic numbers in their study of harmonic logarithms. We propose to refer to those numbers as {\it Roman harmonic numbers}. With the purpose of revitalizing the study of these mathematical objects, we recall here their known properties and unveil additional ones. An integral representation, several generating relations, and a collection of sum rules involving those numbers are presented. It is also shown that higher derivatives of the Pochhammer and reciprocal Pochhammer symbols are easily expressed in terms of Roman harmonic numbers.
3k-4 theorem for ordered groups
Published
• View Publication
• BIB
Recently, G. A. Freiman, M. Herzog, P. Longobardi, M. Maj proved two `structure theorems' for ordered groups \cite{FHLM}. We give elementary proof of these two theorems.
On the connectivity of graphs in association schemes
Published
• View Publication
• BIB
Let $(X,\mathcal{R})$ be a commutative association scheme and let $Γ=(X,R\cup R^\top)$ be a connected undirected graph where $R\in \mathcal{R}$. Godsil (resp., Brouwer) conjectured that the edge connectivity (resp., vertex connectivity) of $Γ$ is equal to its valency. In this paper, we prove that the deletion of the neighborhood of any vertex leaves behind at most one non-singleton component. Two vertices $a,b\in X$ are called "twins" in $Γ$ if they have identical neighborhoods: $Γ(a)=Γ(b)$. We characterize twins in polynomial association schemes and show that, in the absence of twins, the deletion of any vertex and its neighbors in $Γ$ results in a connected graph. Using this and other tools, we find lower bounds on the connectivity of $Γ$, especially in the case where $Γ$ has diameter two. Among the applications of these results, we find that the only connected relations in symmetric association schemes which admit a disconnecting set of size two are those which are ordinary polygons.
Bipartite Graphs, On-Shell Diagrams, and Bipartite Field Theories: a Computational Package in Mathematica
We present bipartiteSUSY, a Mathematica package designed to perform calculations for physical theories based on bipartite graphs. In particular, the package can employ the recently developed arsenal of techniques surrounding on-shell diagrams in N=4 SYM scattering amplitudes, including those for non-planar diagrams, with particular attention to computational speed. It also contains a host of tools for computations in N=1 Bipartite Field Theories, which utilize the same bipartite graphs. Through the use of an interactive graphical tool, it is possible to draw the desired diagrams on the screen and compute commonly sought-after features. The package should be easily accessible to users with little or no previous experience in dealing with bipartite graphs and their combinatorial descriptions.
A Comprehensive Survey of Brane Tilings
Published
• View Publication
• BIB
An infinite class of $4d$ $\mathcal{N}=1$ gauge theories can be engineered on the worldvolume of D3-branes probing toric Calabi-Yau 3-folds. This kind of setup has multiple applications, ranging from the gauge/gravity correspondence to local model building in string phenomenology. Brane tilings fully encode the gauge theories on the D3-branes and have substantially simplified their connection to the probed geometries. The purpose of this paper is to push the boundaries of computation and to produce as comprehensive a database of brane tilings as possible. We develop efficient implementations of brane tiling tools particularly suited for this search. We present the first complete classification of toric Calabi-Yau 3-folds with toric diagrams up to area 8 and the corresponding brane tilings. This classification is of interest to both physicists and mathematicians alike.
On the restricted Chebyshev-Boubaker polynomials
Published
• View Publication
• BIB
Using the language of Riordan arrays, we study a one-parameter family of orthogonal polynomials that we call the restricted Chebyshev-Boubaker polynomials. We characterize these polynomials in terms of the three term recurrences that they satisfy, and we study certain central sequences defined by their coefficient arrays. We give an integral representation for their moments, and we show that the Hankel transforms of these moments have a simple form. We show that the (sequence) Hankel transform of the row sums of the corresponding moment matrix is defined by a family of polynomials closely related to the Chebyshev polynomials of the second kind, and that these row sums are in fact the moments of another family of orthogonal polynomials.
Eulerian-Dowling Polynomials as Moments, Using Riordan Arrays
Using the theory of exponential Riordan arrays, we show that the Eulerian-Dowling polynomials are moments for a paramaterized family of orthogonal polynomials. In addition, we show that the related Dowling and the Tanny-Dowling polynomials are also moments for appropriate families of orthogonal polynomials. We provide continued fraction generating functions and Hankel transforms for these polynomials.
A Note on d-Hankel Transforms, Continued Fractions, and Riordan Arrays
The Hankel transform of an integer sequence is a much studied and much applied mathematical operation. In this note, we extend the notion in a natural way to sequences of $d$ integer sequences. We explore links to generalized continued fractions in the context of $d$-orthogonal sequences.
Upper Bounds For Hitting Times Of Random Walks On Sparse Graphs
We obtain upper bounds (in most cases, sharp) for the hitting times of random walks on finite undirected graphs expressed as functions of the graph's number of edges. In particular, we show that the maximum hitting time for a simple random walk on a connected graph with $m$ edges is at most $m^2$. Similar bounds are given for the settings involving arbitrary edge-weight and edge-cost functions. Upper bounds of this type are especially useful for sparse graphs.
Fully-projected subsets
Let $k$ and $i_1,\ldots,i_n$ be natural numbers. Place $k$ balls into a multidimensional box of $i_1\times\cdots \times i_n$ cells, no more than one ball to each cell, such that the projections to each of the coordinate axes have cardinalities $i_1,\ldots,i_n$, respectively. We generalize earlier work of Wang, Lee, and Tan to find a formula for the alternating sum of the number of these fully-projected subsets.
An upper bound on the distinguishing index of graphs with minimum degree at least two
The distinguishing index of a simple graph $G$, denoted by $D'(G)$, is the least number of labels in an edge labeling of $G$ not preserved by any non-trivial automorphism. It was conjectured by Pilśniak (2015) that for any 2-connected graph $D'(G) \leq \lceil \sqrt{Δ(G)}\rceil +1$. We prove a more general result for the distinguishing index of graphs with minimum degree at least two from which the conjecture follows. Also we present graphs $G$ for which $D'(G)\leq \lceil \sqrt{Δ}\rceil$.
Connectedness of Certain Graph Coloring Complexes
Published
• View Publication
• BIB
In this article, we consider the bipartite graphs $K_2 \times K_n$. We prove that the connectedness of the complex $\displaystyle \text{Hom}(K_2\times K_{n}, K_m) $ is $m-n-1$ if $m \geq n$ and $m-3$ in the other cases. Therefore, we show that for this class of graphs, $\text{Hom} (G, K_m)$ is exactly $m-d-2$ connected, $m \geq n$, where $d$ is the maximal degree of the graph $G$.
A new lower bound for the on-line coloring of intervals with bandwidth
Published
• View Publication
• BIB
The on-line interval coloring and its variants are important combinatorial problems with many applications in network multiplexing, resource allocation and job scheduling. In this paper we present a new lower bound of $4.1626$ for the competitive ratio for the on-line coloring of intervals with bandwidth which improves the best known lower bound of $\frac{24}{7}$. For the on-line coloring of unit intervals with bandwidth we improve the lower bound of $1.831$ to $2$.
The Bipartition Polynomial of a Graph: Reconstruction, Decomposition, and Applications
The bipartition polynomial of a graph is a generalization of many other graph polynomials, including the domination, Ising, matching, independence, cut, and Euler polynomial. We show in this paper that it is also a powerful tool for proving graph properties. In addition, we can show that the bipartition polynomial is polynomially reconstructible, which means that we can recover it from the multiset of bipartition polynomials of one-edge-deleted subgraphs.
An overpartition analogue of partitions with bounded differences between largest and smallest parts
Published in Discrete Math. 340 (2017), no. 12, 2834--2839
• View Publication
• BIB
We study the generating function for overpartitions with bounded differences between largest and smallest parts, which is analogous to a result of Breuer and Kronholm on integer partitions. We also connect this problem with over $q$-binomial coefficients introduced by Dousse and Kim.