Showing 20 papers (Total: 84046 papers, 48445 authors in database)
New Eulerian numbers of type D
Published in Electronic Journal of Combinatorics, Volume 23, Issue 1 (2016), Paper P1.38
• View Publication
• BIB
We introduce a new array of type $D$ Eulerian numbers, different from that studied by Brenti, Chow and Hyatt. We find in particular the recurrence relation, Worpitzky formula and the generating function. We also find the probability distributions whose moments are Eulerian polynomials of type $A$, $B$ and $D$.
A Chip-Firing Game on the Product of Two Graphs and the Tropical Picard Group
Published in The Electronic Journal of Combinatorics 24.4 (2017): P4.14
• View Publication
• BIB
In his preprint https://arxiv.org/abs/1308.3813, Cartwright introduced the notion of a weak tropical complex in order to generalize the concepts of divisors and the Picard group on graphs from Baker and Norine's paper Riemann-Roch and Abel-Jacobi Theory on a Finite Graph. A tropical complex $Γ$ is a $Δ$-complex equipped with certain algebraic data. Divisors in a tropical complex are formal linear combinations of ridges, and piecewise-linear functions on a tropical complex give rise in a natural way to divisors. Divisors that arise from PL-functions are called principal, and divisors that are locally principal are called Cartier. Two divisors that differ by a principal divisor are said to be linearly equivalent. The linear equivalence classes of Cartier divisors on a tropical complex $Γ$ form a group called the Picard group of $Γ$, by analogy to the definition of the Picard group of a variety in algebraic geometry.
Every graph has a unique tropical complex structure. If $G$ and $H$ are graphs, and $Γ$ is a triangulation of their product, then $Γ$ has a weak tropical complex structure that is compatible with the tropical complex structures on $G$ and $H$. Thus, divisors on $Γ$ can be thought of as states in a higher-dimensional chip-firing game on $Γ$. Cartwright conjectured that the Picard groups of $Γ$, $G$, and $H$ were closely related. Let $Pic(Γ)$ be the tropical Picard group of $Γ$, and $Pic(G)$ and $Pic(H)$ be the tropical Picard groups of $G$ and $H$. Then, it was conjectured that there is a map $γ: Pic(G) \times Pic(H) \to Pic(Γ)$ that is always injective and is surjective if at least one of $G$ or $H$ is a tree.
In this paper, we prove the conjecture. In preparation, we discuss some basic properties of tropical complexes, along with some properties specific to the product-of-graphs case.
Random walks on semaphore codes and delay de Bruijn semigroups
Published in International Journal of Algebra and Computation 26(4) (2016) 635-673
• View Publication
• BIB
We develop a new approach to random walks on de Bruijn graphs over the alphabet $A$ through right congruences on $A^k$, defined using the natural right action of $A^+$. A major role is played by special right congruences, which correspond to semaphore codes and allow an easier computation of the hitting time. We show how right congruences can be approximated by special right congruences.
Red-blue clique partitions and (1-1)-transversals
Motivated by the problem of Gallai on $(1-1)$-transversals of $2$-intervals, it was proved by the authors in 1969 that if the edges of a complete graph $K$ are colored with red and blue (both colors can appear on an edge) so that there is no monochromatic induced $C_4$ and $C_5$ then the vertices of $K$ can be partitioned into a red and a blue clique. Aharoni, Berger, Chudnovsky and Ziani recently strengthened this by showing that it is enough to assume that there is no induced monochromatic $C_4$ and there is no induced $C_5$ in {\em one of the colors}. Here this is strengthened further, it is enough to assume that there is no monochromatic induced $C_4$ and there is no $K_5$ on which both color classes induce a $C_5$.
We also answer a question of Kaiser and Rabinovich, giving an example of six $2$-convex sets in the plane such that any three intersect but there is no $(1-1)$-transversal for them.
On the one dimensional representations of Ariki-Koike algebras at roots of unity
Published
• View Publication
• BIB
We study the natural labeling of the one dimensional representations for Ariki-Koike algebras at roots of unity. For Hecke algebras of types A and B, some of these representations can be identified with the socle of the Steinberg representation of a finite reductive group. We here give closed formulas for them. This uses, in particular, several results concerning crystal isomorphisms and the Mullineux involution.
Erdős and Arithmetic Progressions
This is a short survey article written for the Erdős centennial conference in Budapest in 2013. The main two topics covered are Szemerédi's theorem and its ramifications, and the Erdős discrepancy problem. There is an emphasis on what we do not yet know, so much of the article is somewhat speculative.
Variants of geometric RSK, geometric PNG and the multipoint distribution of the log-gamma polymer
Published
• View Publication
• BIB
We show that the reformulation of the geometric Robinson-Schensted-Knuth (gRSK) correspondence via local moves, introduced in \cite{OSZ14} can be extended to cases where the input matrix is replaced by more general polygonal, Young-diagram-like, arrays of the form $\polygon$. We also show that a rearrangement of the sequence of the local moves gives rise to a geometric version of the polynuclear growth model (PNG). These reformulations are used to obtain integral formulae for the Laplace transform of the joint distribution of the point-to-point partition functions of the log-gamma polymer at different space-time points. In the case of two points at equal time $N$ and space at distance of order $N^{2/3}$, we show formally that the joint law of the partition functions, scaled by $N^{1/3}$, converges to the two-point function of the Airy process
Improved Strength Four Covering Arrays with Three Symbols
Published
• View Publication
• BIB
A covering array $t$-$CA(n,k,g)$, of size $n$, strength $t$, degree $k$, and order $g$, is a $k\times n$ array on $g$ symbols such that every $t\times n$ sub-array contains every $t\times 1$ column on $g$ symbols at least once. Covering arrays have been studied for their applications to software testing, hardware testing, drug screening, and in areas where interactions of multiple parameters are to be tested. In this paper, we present an algebraic construction that improves many of the best known upper bounds on $n$ for covering arrays 4-$CA(n,k,g)$ with $g=3$. The $coverage$ $measure$ $μ_t(A)$ of a testing array $A$ is defined by the ratio between the number of distinct $t$-tuples contained in the column vectors of $A$ and the total number of $t$-tuples. A covering array is a testing array with full coverage. The $covering$ $arrays$ $with$ $budget$ $constraints$ $problem$ is the problem of constructing a testing array of size at most $n$ having largest possible coverage measure, given values of $k,g$ and $n$. This paper presents several strength four testing arrays with high coverage. The construction here is a generalisation of the construction methods used by Chateauneuf, Colbourn and Kreher, and Meagher and Stevens.
Changing gears: Isospectrality via eigenderivative transplantation
We introduce a new method for constructing isospectral quantum graphs that is based on transplanting derivatives of eigenfunctions. We also present simple digraphs with the same reversing zeta function, which generalizes the Bartholdi zeta function to digraphs.
Connectivity and giant component in random distance graphs
Various different random graph models have been proposed in which the vertices of the graph are seen as members of a metric space, and edges between vertices are determined as a function of the distance between the corresponding metric space elements. We here propose a model $G=G(X, f)$, in which $(X, d)$ is a metric space, $V(G)=X$, and $\mathbb{P}(u\sim v) = f(d(u, v))$, where $f$ is a decreasing function on the set of possible distances in $X$. We consider the case that $X$ is the $n\times n \times \dots\times n$ integer lattice in dimension $r$, with $d$ the $\ell_1$ metric, and $f(d) = \frac{1}{n^βd}$, and determine a threshold for the emergence of the giant component and connectivity in this model. We compare this model with a traditional Waxman graph. Further, we discuss expected degrees of nodes in detail for dimension 2.
Counting Anosov graphs
Published in Ars Combin. 141 (2018), 29-51
• Search Publication
In recent work by Dani and Mainkar, a family of finite simple graphs was used to construct nilmanifolds admitting Anosov diffeomorphisms. Our main object of study is this particular set of graphs, which we call Anosov graphs. Moreover, Dani and Mainkar give a lower bound on the number of Anosov graphs in terms of the number of vertices and number of edges. In this work, we improve this lower bound in terms of vertices and edges, and we give lower and upper bounds solely in terms of the number of vertices.
Some Constructions for Amicable Orthogonal Designs
Hadamard matrices, orthogonal designs and amicable orthogonal designs have a number of applications in coding theory, cryptography, wireless network communication and so on. Product designs were introduced by Robinson in order to construct orthogonal designs especially full orthogonal designs (no zero entries) with maximum number of variables for some orders. He constructed product designs of orders $4$, $8$ and $12$ and types $\big(1_{(3)}; 1_{(3)}; 1\big),$ $\big(1_{(3)}; 1_{(3)}; 5\big)$ and $\big(1_{(3)}; 1_{(3)}; 9\big)$, respectively. In this paper, we first show that there does not exist any product design of order $n\neq 4$, $8$, $12$ and type $\big(1_{(3)}; 1_{(3)}; n-3\big),$ where the notation $u_{(k)}$ is used to show that $u$ repeats $k$ times. Then, following the Holzmann and Kharaghani's methods, we construct some classes of disjoint and some classes of full amicable orthogonal designs, and we obtain an infinite class of full amicable orthogonal designs. Moreover, a full amicable orthogonal design of order $2^9$ and type $\big(2^6_{(8)}; 2^6_{(8)}\big)$ is constructed.
A Terrible Expansion of the Determinant
From a transfer formula in multivariate finite operator calculus, comes an expansion for the determinant similar to Ryser's formula for the permanent. Although this one contains many more terms than the usual determinant formula. To prove it, we consider the poset of ordered partitions, properties of the permutahedron, and some good old fashioned combinatorial techniques.
Chromatic properties of the Euclidean plane
Let $G$ be the unit distance graph in the plane. A well-known problem in combinatorial geometry is that of determining the chromatic number of $G$. It is known that $4\le χ(G)\le 7$. The upper bound of 7 is obtained using tilings of the plane. The present paper studies two problems where we seek proper colourings of $G$, adding restrictions inspired by tilings:
Let $H(ε)$ be the graph whose vertices are the points of ${\mathbb R}^2$, with an edge between two points if their distance lies in the interval $[1,1+ε]$. We show that for small $ε$, $0<ε\le \frac{3\sqrt{2}}{4}-1$, we have $6\le χ(H(ε))\le 7$. This improves the result of Exoo and Grytczuk et al. that $5\le χ(H(ε))$ for small $ε$.
Suppose that $G$ is properly coloured, but so that two solidly coloured regions meet along a straight line in some neighbourhood. Then at least 5 colours must be used.
Ehrhart quasi-period collapse in rational polygons
Published
• View Publication
• BIB
In 1976, P. R. Scott characterized the Ehrhart polynomials of convex integral polygons. We study the same question for Ehrhart polynomials and quasi-polynomials of *non*-integral convex polygons. Turning to the case in which the Ehrhart quasi-polynomial has nontrivial quasi-period, we determine the possible minimal periods of the coefficient functions of the Ehrhart quasi-polynomial of a rational polygon.
Complex spherical codes with three inner products
Published
• View Publication
• BIB
Let $X$ be a finite set in a complex sphere of $d$ dimension. Let $D(X)$ be the set of usual inner products of two distinct vectors in $X$. A set $X$ is called a complex spherical $s$-code if the cardinality of $D(X)$ is $s$ and $D(X)$ contains an imaginary number. We would like to classify the largest possible $s$-codes for given dimension $d$. In this paper, we consider the problem for the case $s=3$. Roy and Suda (2014) gave a certain upper bound for the cardinalities of $3$-codes. A $3$-code $X$ is said to be tight if $X$ attains the bound. We show that there exists no tight $3$-code except for dimensions $1$, $2$. Moreover we make an algorithm to classify the largest $3$-codes by considering representations of oriented graphs. By this algorithm, the largest $3$-codes are classified for dimensions $1$, $2$, $3$ with a current computer.
Volume polynomials and duality algebras of multi-fans
Published in Arnold Mathematical Journal. 2016. Vol. 2. No. 3. P. 329-381
• View Publication
• BIB
We introduce a theory of volume polynomials and corresponding duality algebras of multi-fans. Any complete simplicial multi-fan $Δ$ determines a volume polynomial $V_Δ$ whose values are the volumes of multi-polytopes based on $Δ$. This homogeneous polynomial is further used to construct a Poincare duality algebra $\mathcal{A}^*(Δ)$. We study the structure and properties of $V_Δ$ and $\mathcal{A}^*(Δ)$ and give applications and connections to other subjects, such as Macaulay duality, Novik--Swartz theory of face rings of simplicial manifolds, generalizations of Minkowski's theorem on convex polytopes, cohomology of torus manifolds, computations of volumes, and linear relations on the powers of linear forms. In particular, we prove that the analogue of the $g$-theorem does not hold for multi-polytopes.
Explicit Bounds for Nondeterministically Testable Hypergraph Parameters
In this note we give a new effective proof method for the equivalence of the notions of testability and nondeterministic testability for uniform hypergraph parameters. We provide the first effective upper bound on the sample complexity of any nondeterministically testable $r$-uniform hypergraph parameter as a function of the sample complexity of its witness parameter for arbitrary $r$. The dependence is of the form of an exponential tower function with the height linear in $r$. Our argument depends crucially on the new upper bounds for the $r$-cut norm of sampled $r$-uniform hypergraphs. We employ also our approach for some other restricted classes of hypergraph parameters, and present some applications.
On Generalized Sierpiński Graphs
In this paper we obtain closed formulae for several parameters of generalized Sierpiński graphs $S(G,t)$ in terms of parameters of the base graph $G$. In particular, we focus on the chromatic, vertex cover, clique and domination numbers.
On uniquely 3-colorable plane graphs without prescribed adjacent faces
Published
• View Publication
• BIB
A graph $G$ is \emph{uniquely k-colorable} if the chromatic number of $G$ is $k$ and $G$ has only one $k$-coloring up to permutation of the colors. For a plane graph $G$, two faces $f_1$ and $f_2$ of $G$ are \emph{adjacent $(i,j)$-faces} if $d(f_1)=i$, $d(f_2)=j$ and $f_1$ and $f_2$ have a common edge, where $d(f)$ is the degree of a face $f$. In this paper, we prove that every uniquely 3-colorable plane graph has adjacent $(3,k)$-faces, where $k\leq 5$. The bound 5 for $k$ is best possible. Furthermore, we prove that there exist a class of uniquely 3-colorable plane graphs having neither adjacent $(3,i)$-faces nor adjacent $(3,j)$-faces, where $i,j\in \{3,4,5\}$ and $i \neq j$. One of our constructions implies that there exist an infinite family of edge-critical uniquely 3-colorable plane graphs with $n$ vertices and $\frac{7}{3}n-\frac{14}{3}$ edges, where $n(\geq 11)$ is odd and $n\equiv 2\pmod{3}$.