Showing 20 papers (Total: 83502 papers, 48219 authors in database)
The quantum algebra of partial Hadamard matrices
Published in Linear Algebra Appl. 469 (2015), 364-380
• View Publication
• BIB
A partial Hadamard matrix is a matrix $H\in M_{M\times N}(\mathbb T)$ whose rows are pairwise orthogonal. We associate to each such $H$ a certain quantum semigroup $G$ of quantum partial permutations of $\{1,...,M\}$ and study the correspondence $H\to G$. We discuss as well the relation between the completion problems for a given partial Hadamard matrix and completion problems for the associated submagic matrix $P\in M_M(M_N(\mathbb C))$, in both cases introducing certain criteria for the existence of the suitable completions.
On a canonical construction of tesselated surfaces via finite group theory, Part II
Published
• View Publication
• BIB
This paper is the second part of a two-part study of an elementary functorial construction of tesselated surfaces from finite groups. This elementary construction was discussed in the first part and generally results in a large collection of tesselated surfaces per group, for example when the construction is applied to Σ_6 it yields 4477 tesselated surfaces of 27 distinct genus and even more varieties of tesselation cell structure. These tesselations are face and edge transitive and consist of closed cell structures. In this paper, we continue to study the distribution of these surfaces in various groups and some interesting resulting tesselations with the aid of computer computations. We also show that extensions of groups result in branched coverings between the component surfaces in their decompositions. Finally we exploit functoriality to obtain interesting faithful, orientation preserving actions of subquotients of these groups and their automorphism groups on these surfaces and in the corresponding mapping class groups.
On face numbers of neighborly cubical polytopes
Neighborly cubical polytopes are known as the cubical analogues of the cyclic polytopes. Using the short cubical $h$-vectors of cubical polytopes (introduced by Adin), we derive an explicit formula for the face numbers of the neighborly cubical polytopes. These face numbers form a unimodal sequence.
On Crosspatch Knight's Tours
A knight's tour is often represented as a broken line connecting the centers of successively visited squares. We say that two knight moves form a cross if the midpoints of their respective segments coincide. We show that no knight tour exists on a rectangular board in which every move is part of a cross. We also establish the general structure of pseudotours with this property.
The sandpile groups of graphs of classes CH_n (a_1, ..., a_n)
The article considers the procedure of connection of graphs to the edges of a cyclic graph and its influence on the sandpile group of the graph thus obtained. A series of classes of graphs CH_n(a_1,...,a_n) is defined. Recurrent and non-recurrent formulas for calculating the sandpile groups of all graphs of classes CH_n (a_1, ..., a_n) are proposed.
Fission of Halving Edges Graphs
In this paper we discuss an operation on halving edges graph that we call fission. Fission replaces each point in a given configuration with a small cluster of k points. The operation interacts nicely with halving edges, so we examine its properties in detail.
Operators on Symmetric Polynomials
We provide a brief survey of a certain algebra of operators on symmetric polynomials, and collect a number of previously known results in the field.
The minimum rank of a sign pattern matrix with a 1-separation
Published
• View Publication
• BIB
A sign pattern matrix is a matrix whose entries are from the set $\{+,-,0\}$. If $A$ is an $m\times n$ sign pattern matrix, the qualitative class of $A$, denoted $Q(A)$, is the set of all real $m\times n$ matrices $B=[b_{i,j}]$ with $b_{i,j}$ positive (respectively, negative, zero) if $a_{i,j}$ is + (respectively, $-$, 0). The minimum rank of a sign pattern matrix $A$, denoted $\mr(A)$, is the minimum of the ranks of the real matrices in $Q(A)$. Determination of the minimum rank of a sign pattern matrix is a longstanding open problem.
For the case that the sign pattern matrix has a 1-separation, we present a formula to compute the minimum rank of a sign pattern matrix using the minimum ranks of certain generalized sign pattern matrices associated with the 1-separation.
Cycles in Random Bipartite Graphs
Published in PanAmerican Mathematical Journal, Volume 23(2013), Number 3, 27--34
• Search Publication
In this paper we study cycles in random bipartite graph $G(n,n,p)$. We prove that if $p\gg n^{-2/3}$, then $G(n,n,p)$ a.a.s. satisfies the following. Every subgraph $G'\subset G(n,n,p)$ with more than $(1+o(1))n^2p/2$ edges contains a cycle of length $t$ for all even $t\in[4,(1+o(1))n/30]$. Our theorem complements a previous result on bipancyclicity, and is closely related to a recent work of Lee and Samotij.
Enumeration of Hybrid Domino-Lozenge Tilings II: Quasi-octagonal regions
Published
• View Publication
• BIB
We use the subgraph replacement method to prove a simple product formula for the tilings of an 8-vertex counterpart of Propp's quasi-hexagons (Problem 16 in New Perspectives in Geometric Combinatorics, Cambridge University Press, 1999), called quasi-octagon.
Exact Algorithm for Graph Homomorphism and Locally Injective Graph Homomorphism
For graphs $G$ and $H$, a homomorphism from $G$ to $H$ is a function $\varphi \colon V(G) \to V(H)$, which maps vertices adjacent in $G$ to adjacent vertices of $H$. A homomorphism is locally injective if no two vertices with a common neighbor are mapped to a single vertex in $H$. Many cases of graph homomorphism and locally injective graph homomorphism are NP-complete, so there is little hope to design polynomial-time algorithms for them. In this paper we present an algorithm for graph homomorphism and locally injective homomorphism working in time $\mathcal{O}^*((b + 2)^{|V(G)|})$, where $b$ is the bandwidth of the complement of $H$.
On the construction of l-equienergetic graphs
Published
• View Publication
• BIB
For a graph with $n$ vertices and $m$ edges, having Laplacian spectrum $μ_1, μ_2, \cdots,μ_n$ and signless Laplacian spectrum $μ^+_1,μ^+_2, \cdots,μ^+_n$, the Laplacian energy and signless Laplacian energy of $G$ are respectively, defined as $LE(G)=\sum_{i=1}^{n}|μ_i-\frac{2m}{n}|$ and $LE^+(G)=\sum_{i=1}^{n}|μ^+_i-\frac{2m}{n}|$. Two graphs $G_1$ and $G_2$ of same order are said to be $L$-equienergetic if $LE(G_1)=LE(G_2)$ and $Q$-equienergetic if $LE^{+}(G_1)=LE^{+}(G_2)$. The problem of constructing graphs having same Laplacian energy has been considered by Stevanovic for threshold graphs and by Liu and Liu for those graphs whose order is $n\equiv 0$ (mod 7). In general the problem of constructing $L$-equienergetic graphs from any pair of given graphs is still not solved, and this work is an attempt in that direction. We construct sequences of non-cospectral (Laplacian, signless Laplacian) $L$-equienergetic and $Q$-equienergetic graphs from any pair of graphs having same number of vertices and edges.
Monomial ideals with primary components given by powers of monomial prime ideals
Published
• View Publication
• BIB
We characterize monomial ideals which are intersections of monomial prime ideals and study classes of ideals with this property, among them polymatroidal ideals.
Volume of a simplex as a multivalued algebraic function of the areas of its two-faces
Published in Topology, geometry, integrable systems, and mathematical physics, 201-221, Amer. Math. Soc. Transl. Ser. 2, 234, Adv. Math. Sci., 67 (2014)
• View Publication
• BIB
For n greater than or equal to 4, the square of the volume of an n-simplex satisfies a polynomial relation with coefficients depending on the squares of the areas of 2-faces of this simplex. First, we compute the minimal degree of such polynomial relation. Second, we prove that the volume an n-simplex satisfies a monic polynomial relation with coefficients depending on the areas of 2-faces of this simplex if and only if n is even and at least 6, and we study the leading coefficients of polynomial relations satisfied by the volume for other n.
How many double squares can a string contain?
Published
• View Publication
• BIB
Counting the types of squares rather than their occurrences, we consider the problem of bounding the number of distinct squares in a string. Fraenkel and Simpson showed in 1998 that a string of length n contains at most 2n distinct squares. Ilie presented in 2007 an asymptotic upper bound of 2n - Theta(log n). We show that a string of length n contains at most 5n/3 distinct squares. This new upper bound is obtained by investigating the combinatorial structure of double squares and showing that a string of length n contains at most 2n/3 double squares. In addition, the established structural properties provide a novel proof of Fraenkel and Simpson's result.
Witt vectors, semirings, and total positivity
Published
• View Publication
• BIB
We extend the big and $p$-typical Witt vector functors from commutative rings to commutative semirings. In the case of the big Witt vectors, this is a repackaging of some standard facts about monomial and Schur positivity in the combinatorics of symmetric functions. In the $p$-typical case, it uses positivity with respect to an apparently new basis of the $p$-typical symmetric functions. We also give explicit descriptions of the big Witt vectors of the natural numbers and of the nonnegative reals, the second of which is a restatement of Edrei's theorem on totally positive power series. Finally we give some negative results on the relationship between truncated Witt vectors and $k$-Schur positivity, and we give ten open questions.
Computation of the Ramsey Numbers $R(C_4,K_9)$ and $R(C_4,K_{10})$
The Ramsey number $R(C_4,K_m)$ is the smallest $n$ such that any graph on $n$ vertices contains a cycle of length four or an independent set of order $m$. With the help of computer algorithms we obtain the exact values of the Ramsey numbers $R(C_4,K_9)=30$ and $R(C_4,K_{10})=36$. New bounds for the next two open cases are also presented.
Evolution of a modified binomial random graph by agglomeration
Published
• View Publication
• BIB
In the classical Erdös-Rényi random graph G(n,p) there are n vertices and each of the possible edges is independently present with probability p. The random graph G(n,p) is homogeneous in the sense that all vertices have the same characteristics. On the other hand, numerous real-world networks are inhomogeneous in this respect. Such an inhomogeneity of vertices may influence the connection probability between pairs of vertices.
The purpose of this paper is to propose a new inhomogeneous random graph model which is obtained in a constructive way from the Erdös-Rényi random graph G(n,p). Given a configuration of n vertices arranged in N subsets of vertices (we call each subset a super-vertex), we define a random graph with N super-vertices by letting two super-vertices be connected if and only if there is at least one edge between them in G(n,p). Our main result concerns the threshold for connectedness. We also analyze the phase transition for the emergence of the giant component and the degree distribution.
Even though our model begins with G(n,p), it assumes the existence of some community structure encoded in the configuration. Furthermore, under certain conditions it exhibits a power law degree distribution. Both properties are important for real applications.
Energy, Laplacian energy of double graphs and new families of equienergetic graphs
Published
• View Publication
• BIB
For a graph $G$ with vertex set $V(G)=\{v_1, v_2, \cdots, v_n\}$, the extended double cover $G^*$ is a bipartite graph with bipartition (X, Y), $X=\{x_1, x_2, \cdots, x_n\}$ and $Y=\{y_1, y_2, \cdots, y_n\}$, where two vertices $x_i$ and $y_j$ are adjacent if and only if $i=j$ or $v_i$ adjacent to $v_j$ in $G$. The double graph $D[G]$ of $G$ is a graph obtained by taking two copies of $G$ and joining each vertex in one copy with the neighbours of corresponding vertex in another copy. In this paper we study energy and Laplacian energy of the graphs $G^*$ and $D[G]$, $L$-spectra of $G^{k*}$ the $k$-th iterated extended double cover of $G$. We obtain a formula for the number of spanning trees of $G^*$. We also obtain some new families of equienergetic and $L$-equienergetic graphs.
The sharp threshold for maximum-size sum-free subsets in even-order abelian groups
Published in Combinator. Probab. Comp. 24 (2015) 609-640
• View Publication
• BIB
We study sum-free sets in sparse random subsets of even order abelian groups. In particular, we determine the sharp threshold for the following property: the largest such set is contained in some maximum-size sum-free subset of the group. This theorem extends recent work of Balogh, Morris and Samotij, who resolved the case G = Z_{2n}, and who obtained a weaker threshold (up to a constant factor) in general.