Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Canonical forms of Order-$k$ ($k = 2, 3, 4$) Symmetric Tensors of Format $3 \times \dots \times 3$ Over Prime Fields
Published
• View Publication
• BIB
We consider symmetric tensors of format: $3 \times 3$ over $\mathbb{F}_p$ for $p = 2, 3, 5$; $3 \times 3 \times 3$ over $\mathbb{F}_p$ for $p = 2, 3$; and $3 \times 3 \times 3 \times 3$ over $\mathbb{F}_p$ for $p = 2, 3$. In each case we compute their equivalence classes under the action of the general linear group $GL_3 (\mathbb{F}_p )$. We use computer algebra to determine the set of tensors of each symmetric rank, then we compute the orbit of the group action. We determine the maximum symmetric rank of these tensors and compare it with the maximum rank.
The toric h-vector of a cubical complex in terms of noncrossing partition statistics
Published
• View Publication
• BIB
This paper introduces a new and simple statistic on noncrossing partitions that expresses each coordinate of the toric $h$-vector of a cubical complex, written in the basis of the Adin $h$-vector entries, as the total weight of all noncrossing partitions. The same model may also be used to obtain a very simple combinatorial interpretation of the contribution of a cubical shelling component to the toric $h$-vector. In this model, a strengthening of the symmetry expressed by the Dehn-Sommerville equations may be derived from the self-duality of the noncrossing partition lattice, exhibited by the involution of Simion and Ullman.
On the relation between connectivity, independence and generalized caterpillars
A spanning generalized caterpillar is a spanning tree in which all vertices of degree more than two are on a path. In this note, we find a relation between the existence of spanning generalized caterpillar and the independence and connectivity number in a graph. We also point out to an error in a "theorem" in the paper "Spanning spiders and light-splitting switches", by L. Gargano et al. in Discrete Math. (2004), and find out a relation between another mentioned theorem and the existence of spanning generalized caterpillar.
On regular hypergraphs of high girth
Published
• View Publication
• BIB
We give lower bounds on the maximum possible girth of an $r$-uniform, $d$-regular hypergraph with at most $n$ vertices, using the definition of a hypergraph cycle due to Berge. These differ from the trivial upper bound by an absolute constant factor (viz., by a factor of between $3/2+o(1)$ and $2 +o(1)$). We also define a random $r$-uniform `Cayley' hypergraph on $S_n$ which has girth $Ω(n^{1/3})$ with high probability, in contrast to random regular $r$-uniform hypergraphs, which have constant girth with positive probability.
Three-coloring triangle-free planar graphs in linear time
Published in ACM Transactions on Algorithms 7 (2011), Article 41
• Search Publication
Grotzsch's theorem states that every triangle-free planar graph is 3-colorable. Several relatively simple proofs of this fact were provided by Thomassen and other authors. It is easy to convert these proofs into quadratic-time algorithms to find a 3-coloring, but it is not clear how to find such a coloring in linear time (Kowalik used a nontrivial data structure to construct an O(n log n) algorithm).
We design a linear-time algorithm to find a 3-coloring of a given triangle-free planar graph. The algorithm avoids using any complex data structures, which makes it easy to implement. As a by-product we give a yet simpler proof of Grotzsch's theorem.
Triangulations, orientals, and skew monoidal categories
Published in Advances in Mathematics, 258: 351-396, 2014
• View Publication
• BIB
A concrete model of the free skew-monoidal category Fsk on a single generating object is obtained. The situation is clubbable in the sense of G.M. Kelly, so this allows a description of the free skew-monoidal category on any category. As the objects of Fsk are meaningfully bracketed words in the skew unit I and the generating object X, it is necessary to examine bracketings and to find the appropriate kinds of morphisms between them. This leads us to relationships between triangulations of polygons, the Tamari lattice, left and right bracketing functions, and the orientals. A consequence of our description of Fsk is a coherence theorem asserting the existence of a strictly structure-preserving faithful functor from Fsk to the skew-monoidal category of finite non-empty ordinals and first-element-and-order-preserving functions. This in turn provides a complete solution to the word problem for skew monoidal categories.
Standard multipartitions and a combinatorial affine Schur-Weyl duality
Published
• View Publication
• BIB
We introduce the notion of standard multipartitions and establish a one-to-one correspondence between standard multipartitions and irreducible representations with integral weights for the affine Hecke algebra of type A with a parameter q which is not a root of unity. We then extend the correspondence to all Kleshchev multipartitions for Ariki-Koike algebras of integral type. By the affine Schur--Weyl duality, we further extend this to a correspondence between standard multipartitions and Drinfeld multipolynomials of integral type whose associated irreducible polynomial representations completely determine all irreducible polynomial representations for the quantum loop algebra. We will see, in particular, the notion of standard multipartitions gives rise to a combinatorial description of the affine Schur--Weyl duality in terms of a column-reading vs. row reading of residues of a multipartition.
A family of Alltop functions that are EA-inequivalent to the cubic function
Published in IEEE Transactions on Communications, 61(11) 4722 - 4727 , 2013
• View Publication
• BIB
Sequences with optimal correlation properties are much sought after for applications in communication systems. In 1980, Alltop (IEEE Trans. Inf. Theory 26(3):350-354, 1980) described a set of sequences based on a cubic function and showed that these functions were optimal with respect to known bounds on auto and crosscorrelation. Subsequently these sequences were used to construct mutually unbiased bases, a structure of importance in quantum information theory. The key feature of this cubic function is that its difference function is a planar function. Functions with planar difference functions have been called \emph{Alltop functions}. This paper provides a new family of Alltop functions and establishes the use of Alltop functions for construction of sequence sets and MUBs.
An Algorithm for constructing Hjelmslev planes
Published
• View Publication
• BIB
Projective Hjelmslev planes and Affine Hjelmselv planes are generalisations of projective planes and affine planes. We present an algorithm for constructing a projective Hjelmslev planes and affine Hjelsmelv planes using projective planes, affine planes and orthogonal arrays. We show that all 2-uniform projective Hjelmslev planes, and all 2-uniform affine Hjelsmelv planes can be constructed in this way. As a corollary it is shown that all 2-uniform Affine Hjelmselv planes are sub-geometries of 2-uniform projective Hjelmselv planes.
A o(n) monotonicity tester for Boolean functions over the hypercube
Published
• View Publication
• BIB
A Boolean function $f:\{0,1\}^n \mapsto \{0,1\}$ is said to be $\eps$-far from monotone if $f$ needs to be modified in at least $\eps$-fraction of the points to make it monotone. We design a randomized tester that is given oracle access to $f$ and an input parameter $\eps>0$, and has the following guarantee: It outputs {\sf Yes} if the function is monotonically non-decreasing, and outputs {\sf No} with probability $>2/3$, if the function is $\eps$-far from monotone. This non-adaptive, one-sided tester makes $O(n^{7/8}\eps^{-3/2}\ln(1/\eps))$ queries to the oracle.
Convergent sequences of sparse graphs: A large deviations approach
Published
• View Publication
• BIB
In this paper we introduce a new notion of convergence of sparse graphs which we call Large Deviations or LD-convergence and which is based on the theory of large deviations. The notion is introduced by "decorating" the nodes of the graph with random uniform i.i.d. weights and constructing random measures on $[0,1]$ and $[0,1]^2$ based on the decoration of nodes and edges. A graph sequence is defined to be converging if the corresponding sequence of random measures satisfies the Large Deviations Principle with respect to the topology of weak convergence on bounded measures on $[0,1]^d, d=1,2$. We then establish that LD-convergence implies several previous notions of convergence, namely so-called right-convergence, left-convergence, and partition-convergence. The corresponding large deviation rate function can be interpreted as the limit object of the sparse graph sequence. In particular, we can express the limiting free energies in terms of this limit object.
Large cliques in sparse random intersection graphs
Published in The Electronic Journal of Combinatorics, 24 (2017) #P2.5
• View Publication
• BIB
Given positive integers n and m, and a probability measure P on {0, 1, ..., m} the random intersection graph G(n,m,P) on vertex set V = {1,2, ..., n} and with attribute set W = {w_1, w_2, ..., w_m} is defined as follows. Let S_1, S_2, ..., S_n be independent random subsets of W such that for any v \in V and any S \subseteq W we have \pr(S_v = S) = P(|S|) / \binom (m, |S|). The edge set of G(n,m,P) consists of those pairs {u,v} V for which S_u and S_v intersect.
We study the asymptotic order of the clique number ω(G(n,m,P)) in random intersection graphs with bounded expected degrees. For instance, in the case m = Θ(n) we show that if the vertex degree distribution is power-law with exponent α\in (1;2), then the maximum clique is of a polynomial size, while if the variance of the degrees is bounded, then the maximum clique has (ln n)/(ln ln n) (1 + o_P(1)) vertices whp. In each case there is a polynomial algorithm which finds a clique of size ω(G(n,m,P)) (1-o_P(1)).
Heat kernels on regular graphs and generalized Ihara zeta function formulas
Published
• View Publication
• BIB
We establish a new formula for the heat kernel on regular trees in terms of classical I-Bessel functions. Although the formula is explicit, and a proof is given through direct computation, we also provide a conceptual viewpoint using the horocyclic transform on regular trees. From periodization, we then obtain a heat kernel expression on any regular graph. From spectral theory, one has another expression for the heat kernel as an integral transform of the spectral measure. By equating these two formulas and taking a certain integral transform, we obtain several generalized versions of the determinant formula for the Ihara zeta function associated to finite or infinite regular graphs. Our approach to the Ihara zeta function and determinant formula through heat kernel analysis follows a similar methodology which exists for quotients of rank one symmetric spaces.
A generalization of Combinatorial Nullstellensatz
Published in The Electronic Journal of Combinatorics 17 (2010), N32
• View Publication
• BIB
In this note we give an extended version of Combinatorial Nullstellensatz, with weaker assumption on nonvanishing monomial. We also present an application of our result in a situation where the original theorem does not seem to work.
Domination in transitive colorings of tournaments
An edge coloring of a tournament $T$ with colors $1,2,\dots,k$ is called \it $k$-transitive \rm if the digraph $T(i)$ defined by the edges of color $i$ is transitively oriented for each $1\le i \le k$. We explore a conjecture of the second author: For each positive integer $k$ there exists a (least) $p(k)$ such that every $k$-transitive tournament has a dominating set of at most $p(k)$ vertices.
We show how this conjecture relates to other conjectures and results. For example, it is a special case of a well-known conjecture of Erd\H os, Sands, Sauer and Woodrow (so the conjecture is interesting even if false). We show that the conjecture implies a stronger conjecture, a possible extension of a result of Bárány and Lehel on covering point sets by boxes. The principle used leads also to an upper bound $O(2^{2^{d-1}}d\log d)$ on the $d$-dimensional box-cover number that is better than all previous bounds, in a sense close to best possible. We also improve the best bound known in 3-dimensions from $3^{14}$ to 64 and propose possible further improvements through finding the maximum domination number over parity tournaments.
Dually weighted Stirling-type sequences
Published in European J. Combin. 43 (2015) 55-67
• View Publication
• BIB
We introduce a generalization of the Stirling numbers via symmetric functions involving two weight functions. The resulting extension unifies previously known Stirling-type sequences with known symmetric function forms, as well as other sequences such as the $p,q$-binomial coefficients. Recurrence relations, generating functions, orthogonality relations, convolution formulas, and determinants of certain matrices involving the obtained sequences are derived. We also give combinatorial interpretations of certain cases in terms of colored partitions and permutations.
Partitions of AG(4,3) into Maximal Caps
Published
• View Publication
• BIB
In a geometry, a maximal cap is a collection of points of largest size containing no lines. In AG(4,3), maximal caps contain 20 points. The 81 points of AG(4,3) can be partitioned into 4 mutually disjoint maximal caps together with a single point P, where every pair of points that makes a line with P lies entirely inside one of those caps. The caps in a partition can be paired up so that both pairs are either in exactly one partition or they are both in two different partitions. This difference determines the two equivalence classes of partitions of AG(4,3) under the action by affine transformations.
First order deformations of the Fourier matrix
Published in J. Math. Phys. 55 (2014), 1-22
• View Publication
• BIB
The $N\times N$ complex Hadamard matrices form a real algebraic manifold $C_N$. The singularity at a point $H\in C_N$ is described by a filtration of cones $T^\times_HC_N\subset T^\circ_HC_N\subset T_HC_N\subset\widetilde{T}_HC_N$, coming from the trivial, affine, smooth and first order deformations. We study here these cones in the case where $H=F_N$ is the Fourier matrix, $(w^{ij})$ with $w=e^{2πi/N}$, our main result being a simple description of $\widetilde{T}_HC_N$. As a consequence, the rationality conjecture $dim_\mathbb R(\widetilde{T}_HC_N)=dim_\mathbb Q(\widetilde{T}_HC_N\cap M_N(\mathbb Q))$ holds at $H=F_N$.
On The b-Chromatic Number of Regular Bounded Graphs
A $b$-coloring of a graph is a proper coloring such that every color class contains a vertex adjacent to at least one vertex in each of the other color classes. The $b$-chromatic number of a graph $G$, denoted by $b(G)$, is the maximum integer $k$ such that $G$ admits a $b$-coloring with $k$ colors. El Sahili and Kouider conjectured that $b(G)=d+1$ for $d$-regular graph with girth 5, $d\geq4$. In this paper, we prove that this conjecture holds for $d$-regular graph with at least $d^3+d$ vertices. More precisely we show that $b(G)=d+$1 for $d$-regular graph with at least $d^3+d$ vertices and containing no cycle of order 4. We also prove that $b(G)=d+1$ for $d$-regular graphs with at least $2d^3+2d-2d^2$ vertices improving Cabello and Jakovac bound.
The $b$-Chromatic Number and $f$-Chromatic Vertex Number of Regular Graphs
The $b$-chromatic number of a graph $G$, denoted by $b(G)$, is the largest positive integer $k$ such that there exists a proper coloring for G with $k$ colors in which every color class contains at least one vertex adjacent to some vertex in each of the other color classes, such a vertex is called a dominant vertex. The $f$-chromatic vertex number of a $d$-regular graph $G$, denoted by $f(G)$, is the maximum number of dominant vertices of distinct colors in a proper coloring with $d+1$ colors. El Sahili and Kouider conjectured that $b(G)=d+1$ for any $d$-regular graph $G$ of girth 5. We study this conjecture by giving some partial answers under supplementary conditions.