Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Coincidences between characters to hooks and 2-part partitions on families arising from 2-regular classes
Published
• View Publication
• BIB
Strongly refining results by Regev, Regev and Zeilberger, we prove surprising coincidences between characters to 2-part partitions of size n and characters to hooks of size n+2 on two related families obtained by extending 2-regular conjugacy classes.
Cubic edge-transitive bi-$p$-metacirculant
Published
• View Publication
• BIB
A graph is said to be a bi-Cayley graph over a group H if it admits H as a group of automorphisms acting semiregularly on its vertices with two orbits. For a prime p, we call a bi-Cayley graph over a metacyclic p-group a bi-p-metacirculant. In this paper, the automorphism group of a connected cubic edge-transitive bi-p-metacirculant is characterized for an odd prime p, and the result reveals that a connected cubic edge-transitive bi-p-metacirculant exists only when p=3. Using this, a classification is given of connected cubic edge-transitive bi-Cayley graphs over an inner-abelian metacyclic 3-group. As a result, we construct the first known infinite family of cubic semisymmetric graphs of order twice a 3-power.
Limiting behavior of 3-color excitable media on arbitrary graphs
Published
• View Publication
• BIB
Fix a simple graph $G=(V,E)$ and choose a random initial 3-coloring of vertices drawn from a uniform product measure. The 3-color cycle cellular automaton is a process in which at each discrete time step in parallel, every vertex with color $i$ advances to the successor color $(i+1)$ mod 3 if in contact with a neighbor with the successor color, and otherwise retains the same color. In the Greenberg-Hastings Model, the same update rule applies only to color 0, while other two colors automatically advance. The limiting behavior of these processes has been studied mainly on the integer lattices. In this paper, we introduce a monotone comparison process defined on the universal covering space of the underlying graph, and characterize the limiting behavior of these processes on arbitrary connected graphs. In particular, we establish a phase transition on the Erdös-Rényi random graph. On infinite trees, we connect the rate of color change to the cloud speed of an associated tree-indexed walk. We give estimates of the cloud speed by generalizing known results to trees with leaves.
An Assmus-Mattson theorem for codes over commutative association schemes
Published in Des. Codes Cryptogr. 86 (2018) 1039-1062
• View Publication
• BIB
We prove an Assmus-Mattson-type theorem for block codes where the alphabet is the vertex set of a commutative association scheme (say, with $s$ classes). This in particular generalizes the Assmus-Mattson-type theorems for $\mathbb{Z}_4$-linear codes due to Tanabe (2003) and Shin, Kumar, and Helleseth (2004), as well as the original theorem by Assmus and Mattson (1969). The weights of a code are $s$-tuples of non-negative integers in this case, and the conditions in our theorem for obtaining $t$-designs from the code involve concepts from polynomial interpolation in $s$ variables. The Terwilliger algebra is the main tool to establish our results.
Transforming a matrix into a standard form
Published
• View Publication
• BIB
We show that every matrix all of whose entries are in a fixed subgroup of the group of units of a commutative ring with identity is equivalent to a standard form. As a consequence, we improve the proof of Theorem 5 in D. Best, H. Kharaghani, H. Ramp [Disc. Math. 313 (2013), 855--864].
Congruence classes of triangles in $\mathbb{F}_p^2$
In this short note, we give a lower bound on the number of congruence classes of triangles in a small set of points in $\mathbb{F}_p^2$. More precisely, for $\mathcal{A}\subset \mathbb{F}_p^2$ with $|\mathcal{A}|\le p^{2/3}$, we prove that the number of congruence classes of triangles determined by points in $\mathcal{A}\times \mathcal{A}$ is at least $|\mathcal{A}|^{7/2}$. This note is not intended for journal publication.
A Proposed Algorithm for Minimum Vertex Cover Problem and its Testing
The paper presents an algorithm for minimum vertex cover problem, which is an NP-Complete problem. The algorithm computes a minimum vertex cover of each input simple graph. Tested by the attached MATLAB programs, Stage 1 of the algorithm is applicable to, i.e., yields a proved minimum vertex cover for, about 99.99% of the tested 610,000 graphs of order 16 and 99.67% of the tested 1,200 graphs of order 32, and Stage 2 of the algorithm is applicable to all of the above tested graphs. All of the tested graphs are randomly generated graphs of random "edge density" or in other words, random probability of each edge. It is proved that Stage 1 and Stage 2 of the algorithm run in $O(n^{5+logn})$ and $O(n^{3(5+logn)/2})$ time respectively, where $n$ is the order of input graph. Because there is no theoretical proof yet that Stage 2 is applicable to all graphs, further stages of the algorithm are proposed, which are in a general form that is consistent with Stages 1 and 2.
Conditions on square geometric graphs
For any metric $d$ on $\mathbb{R}^2$, an ($\mathbb{R}^2,d$)-geometric graph is a graph whose vertices are points in $\mathbb{R}^2$, and two vertices are adjacent if and only if their distance is at most 1. If $d=\|.\|_{\infty}$, the metric derived from the $L_{\infty}$ norm, then $(\mathbb{R} ^2,\|.\|_{\infty})$-geometric graphs are precisely those graphs that are the intersection of two unit interval graphs. We refer to $(\mathbb{R}^2,\|.\|_{\infty})$-geometric graphs as square geometric graphs. We represent a characterization of square geometric graphs. Using this characterization we provide necessary conditions for the class of square geometric $B_{a,b}$-graphs, a generalization of cobipartite graphs. Then by applying some restrictions on these necessary conditions we obtain sufficient conditions for $B_{a,b}$-graphs to be square geometric.
Strongly robust toric ideals in codimension 2
Published
• View Publication
• BIB
A homogeneous ideal is robust if its universal Gröbner basis is also a minimal generating set. For toric ideals, one has the stronger definition: A toric ideal is strongly robust if its Graver basis equals the set of indispensable binomials. We characterize the codimension 2 strongly robust toric ideals by their Gale diagrams. This gives a positive answer to a question of Petrovic, Thoma, and Vladoiu in the case of codimension 2 toric ideals.
"Weak yet strong" restrictions of Hindman's Finite Sums Theorem
Published
• View Publication
• BIB
We present a natural restriction of Hindman's Finite Sums Theorem that admits a simple combinatorial proof (one that does not also prove the full Finite Sums Theorem) and low computability-theoretic and proof-theoretic upper bounds, yet implies the existence of the Turing Jump, thus realizing the only known lower bound for the full Finite Sums Theorem. This is the first example of this kind. In fact we isolate a rich family of similar restrictions of Hindman's Theorem with analogous properties.
Asymptotics of the number of standard Young tableaux of skew shape
Published
• View Publication
• BIB
We give new bounds and asymptotic estimates on the number of standard Young tableaux of skew shape in a variety of special cases. Our approach is based on Naruse's hook-length formula. We also compare our bounds with the existing bounds on the numbers of linear extensions of the corresponding posets.
A robust quantitative local central limit theorem with applications to enumerative combinatorics and random combinatorial structures
A useful heuristic in the understanding of large random combinatorial structures is the Arratia-Tavare principle, which describes an approximation to the joint distribution of component-sizes using independent random variables. The principle outlines conditions under which the total variation distance between the true joint distribution and the approximation should be small, and was successfully exploited by Pittel in the cases of integer partitions and set partitions. We provide sufficient conditions for this principle to be true in a general context, valid for certain discrete probability distributions which are $\textit{perturbed log-concave}$, via a quantitative local central limit theorem. We then use it to generalize some classical asymptotic statistics in combinatorial theory, as well as assert some new ones.
Counting Zeros of Cosine Polynomials: On a Problem of Littlewood
Published
• View Publication
• BIB
We show that if $A$ is a finite set of non-negative integers then the number of zeros of the function \[ f_A(θ) = \sum_{a \in A} \cos(aθ), \] in $[0,2π]$, is at least $(\log \log \log |A|)^{1/2-\varepsilon}$. This gives the first unconditional lower bound on a problem of Littlewood, solves a conjecture of Borwein, Erdélyi, Ferguson and Lockhart and improves upon work of Borwein and Erdélyi. We also prove a result that applies to more general cosine polynomials with "few" distinct rational coefficients. One of the main ingredients in the proof is perhaps of independent interest: we show that if $f$ is an exponential polynomial with "few" distinct integer coefficients and $f$ "correlates" with a low-degree exponential polynomial $P$, then $f$ has a very particular structure.
The first Cheeger constant of a simplex
Published
• View Publication
• BIB
The coboundary expansion generalizes the classical graph expansion to the case of the general simplicial complexes, and allows the definition of the higher-dimensional Cheeger constants $h_k(X)$ for an arbitrary simplicial complex $X$, and any $k\geq 0$. In this paper we investigate the value of $h_1(Δ^{[n]})$ - the first Cheeger constant of a simplex with $n$ vertices. It is known, due to the pioneering work of Meshulam and Wallach, that \[\lceil n/3\rceil\geq h_1(Δ^{[n]})\geq n/3, \textrm{ for all } n,\] and that the equality $h_1(Δ^{[n]})=n/3$ is achieved when $n$ is divisible by $3$.
Here we expand on these results. First, we show that \[h_1(Δ^{[n]})=n/3, \textrm{ whenever }n\textrm{ is not a power of }2.\] So the sharp equality holds on a set whose density goes to $1$. Second, we show that \[h_1(Δ^{[n]})=n/3+O(1/n),\textrm{ when }n\textrm{ is a power of }2.\] In other words, as $n$ goes to infinity, the value $h_1(Δ^{[n]})-n/3$ is either $0$ or goes to $0$ very rapidly.
Our methods include recasting the original question in purely graph-theoretic language, followed by a detailed investigation of a specific graph family, the so-called {\it staircase graphs}. These are defined by associating a graph to every partition, and appear to be especially suited to gain information about the first Cheeger constant of a simplex.
On Zermelo's theorem
A famous result in game theory known as Zermelo's theorem says that "in chess either White can force a win, or Black can force a win, or both sides can force at least a draw". The present paper extends this result to the class of all finite-stage two-player games of complete information with alternating moves. It is shown that in any such game either the first player has a winning strategy, or the second player has a winning strategy, or both have unbeatable strategies.
Colouring simplicial complexes via the Lechuga-Murillo's model
L. Lechuga and A. Murillo showed that a non-oriented, simple, connected, finite graph $G$ is $k$-colourable if and only if a certain pure Sullivan algebra associated to $G$ and $k$ is not elliptic. In this paper, we extend this result to simplicial complexes by means of several notions of colourings of these objects.
Colouring of (P3UP2)-free graphs
Published in Graphs and Combinatorics, Vol. 34, No. 1 (2018) 97-107
• View Publication
• BIB
The class of 2K2-free graphs and its various subclasses have been studied in a variety of contexts. In this paper, we are concerned with the colouring of (P3UP2)-free graphs, a super class of 2K2-free graphs. We derive a O(w^3) upper bound for the chromatic number of (P3UP2)-free graphs, and sharper bounds for (P3UP2), diamond)-free graphs, where w denotes the clique number. By applying similar proof techniques we obtain chromatic bounds for (2K2, diamond)-free graphs. The last two classes are perfect if w >=5 and >= 4 respectively.
On the general solution of the Heideman-Hogan family of recurrences
Published
• View Publication
• BIB
We consider a family of nonlinear rational recurrences of odd order which was introduced by Heideman and Hogan. All of these recurrences have the Laurent property, implying that for a particular choice of initial data (all initial values set to 1) they generate an integer sequence. For these particular sequences, Heideman and Hogan gave a direct proof of integrality by showing that the terms of the sequence also satisfy a linear recurrence relation with constant coefficients. Here we present an analogous result for the general solution of each of these recurrences.
Distinguishing number and distinguishing index of Kronecker product of two graphs
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex labeling (edge labeling) with $d$ labels that is preserved only by a trivial automorphism. The Kronecker product $G\times H$ of two graphs $G$ and $H$ is the graph with vertex set $V (G)\times V (H)$ and edge set $\{\{(u, x), (v, y)\} | \{u, v\} \in E(G) ~and ~\{x, y\} \in E(H)\}$. In this paper we study the distinguishing number and the distinguishing index of Kronecker product of two graphs.
On the maximum number of colorings of a graph
Published in Journal of Combinatorics, Vol 9, No. 3 (2018), pp. 489-497
• View Publication
• BIB
Let $\mathcal{C}_k(n)$ be the family of all connected $k$-chromatic graphs of order $n$. Given a natural number $x\geq k$, we consider the problem of finding the maximum number of $x$-colorings among graphs in $\mathcal{C}_k(n)$. When $k\leq 3$ the answer to this problem is known, and when $k\geq 4$ the problem is wide open. For $k\geq 4$ it was conjectured that the maximum number of $x$-colorings is $x(x-1)\cdots (x-k+1)\,x^{n-k}$. In this article, we prove this conjecture under the additional condition that the independence number of the graphs is at most $2$.