Showing 20 papers (Total: 84360 papers, 48587 authors in database)
Anti-van der Waerden numbers on Graphs
Published
• View Publication
• BIB
In this paper arithmetic progressions on the integers and the integers modulo n are extended to graphs. This allows for the definition of the anti-van der Waerden number of a graph. Much of the focus of this paper is on 3-term arithmetic progressions for which general bounds are obtained based on the radius and diameter of a graph. The general bounds are improved for trees and Cartesian products and exact values are determined for some classes of graphs. Larger k-term arithmetic progressions are considered and a connection between the Ramsey number of paths and the anti-van der Waerden number of graphs is established.
Switching and partially switching the hypercube while maintaining perfect state transfer
Published
• View Publication
• BIB
A graph is said to exhibit perfect state transfer (PST) if one of its corresponding Hamiltonian matrices, which are based on the vertex-edge structure of the graph, gives rise to PST in a quantum information-theoretic context, namely with respect to inter-qubit interactions of a quantum system. We perform various perturbations to the hypercube graph---a graph that is known to exhibit PST---to create graphs that maintain many of the same properties of the hypercube, including PST as well as the distance for which PST occurs. We show that the sensitivity with respect to readout time errors remains unaffected for the vertices involved in PST. We give motivation for when these perturbations may be physically desirable or even necessary.
Solution for a bipartite Euclidean traveling-salesman problem in one dimension
Published in Phys. Rev. E 97, 052109 (2018)
• View Publication
• BIB
The traveling salesman problem is one of the most studied combinatorial optimization problems, because of the simplicity in its statement and the difficulty in its solution. We characterize the optimal cycle for every convex and increasing cost function when the points are thrown independently and with an identical probability distribution in a compact interval. We compute the average optimal cost for every number of points when the distance function is the square of the Euclidean distance. We also show that the average optimal cost is not a self-averaging quantity by explicitly computing the variance of its distribution in the thermodynamic limit. Moreover, we prove that the cost of the optimal cycle is not smaller than twice the cost of the optimal assignment of the same set of points. Interestingly, this bound is saturated in the thermodynamic limit.
Bounds for $L_p$-discrepancies of point distributions in compact metric spaces
Published
• View Publication
• BIB
Upper bounds for the $L_p$-discrepancies of point distributions in compact metric measure spaces for $0<p\le\infty$ have been established in the paper [6] by Brandolini, Chen, Colzani, Gigante and Travaglini. In the present paper we show that such bounds can be established in a much more general situation under very simple conditions on the volume of metric balls as a function of radii.
On The Circular Altitude of Graphs
Published
• View Publication
• BIB
Peter Cameron introduced the concept of the circular altitude of graphs; a parameter which was shown by Bamberg et al. that provides a lower bound on the circular chromatic number. In this note, we investigate this parameter and show that the circular altitude of a graph is equal to the maximum of circular altitudes of its blocks. Also, we show that homomorphically equivalent graphs have the same circular altitudes. Finally, we prove that the circular altitude of the Cartesian product of two graphs is equal to the maximum of circular altitudes of its factors.
Anagram-Free Chromatic Number is not Pathwidth-Bounded
Published
• View Publication
• BIB
The anagram-free chromatic number is a new graph parameter introduced independently Kamčev, Łuczak, and Sudakov (2017) and Wilson and Wood (2017). In this note, we show that there are planar graphs of pathwidth 3 with arbitrarily large anagram-free chromatic number. More specifically, we describe $2n$-vertex planar graphs of pathwidth 3 with anagram-free chromatic number $Ω(\log n)$. We also describe $kn$ vertex graphs with pathwidth $2k-1$ having anagram-free chromatic number in $Ω(k\log n)$.
Bernstein operators and super-Schur functions: combinatorial aspects
Published
• View Publication
• BIB
The Bernstein vertex operators, which can be used to build recursively the Schur functions, are extended to superspace. Four families of super vertex operators are defined, corresponding to the four natural families of Schur functions in superspace. Combinatorial proofs that the super Bernstein vertex operators indeed build the Schur functions in superspace recursively are provided. We briefly mention a possible realization, in terms of symmetric functions in superspace, of the super-KP hierarchy, where the tau-function naturally expands in one of the super-Schur bases.
Some results on counting linearizations of posets
In section 1 we consider a 3-tuple $S=(|S|,\preccurlyeq,E)$ where $|S|$ is a finite set, $\preccurlyeq$ a partial ordering on $|S|,$ and $E$ a set of unordered pairs of distinct members of $|S|,$ and study, as a function of $n\geq 0,$ the number of maps $\varphi:|S|\to\{1,\dots,n\}$ which are both isotone with respect to the ordering $\preccurlyeq,$ and have the property that $\varphi(x)\neq \varphi(y)$ whenever $\{x,y\}\in E.$ We prove a number-theoretic result about this function, and use it in section 7 to recover a ring-theoretic identity of G. P. Hochschild.
In section 2 we generalize a result of R. Stanley on the sign-imbalance of posets in which the lengths of all maximal chains have the same parity.
In sections 3-6 we study the linearization-count and sign-imbalance of a lexicographic sum of $n$ finite posets $P_i$ $(1\leq i\leq n)$ over an $n$-element poset $P_0.$ We note how to compute these values from the corresponding counts for the given posets $P_i,$ and for a lexicographic sum over $P_0$ of chains of lengths $\mathrm{card}(P_i).$ This makes the behavior of lexicographic sums of chains over a finite poset $P_0$ of interest, and we obtain some general results on the linearization-count and sign-imbalance of these objects.
About chromatic uniqueness of some complete tripartite graphs
Published in Sib. Elektron. Mat. Izv., 14 (2017), 1492 --- 1504. (Russian, English Abstract)
• Search Publication
Let $P(G, x)$ be the chromatic polynomial of a graph $G$. A graph $G$ is called \textit{chromatically unique} if for any graph $H,\, P(G, x) = P(H, x)$ implies that $G$ and $H$ are isomorphic. In this paper we show that full tripartite graph $K(n_1, n_2, n_3)$ is chromatically unique if $n_1 \geq n_2 \geq n_2 \geq n_3 \geq 2, n_1 - n_3 \leq 5$ and $n_1 + n_2 + n_3 \not \equiv 2 \mod{3}$.
Some sharp results on the generalized Turán numbers
Published
• View Publication
• BIB
For graphs $T, H$, let $ex(n,T,H)$ denote the maximum number of copies of $T$ in an $n$-vertex $H$-free graph. In this paper we prove some sharp results on this generalization of Turán numbers, where our focus is for the graphs $T,H$ satisfying $χ(T)<χ(H)$. This can be dated back to Erdős, where he generalized the celebrated Turán's theorem by showing that for any $r\geq m$, the Turán graph $T_r(n)$ uniquely attains $ex(n,K_m,K_{r+1})$. For general graphs $H$ with $χ(H)=r+1>m$, Alon and Shikhelman showed that $ex(n,K_m,H)=\binom{r}{m}(\frac{n}{r})^m+o(n^m)$. Here we determine this error term $o(n^m)$ up to a constant factor. We prove that $ex(n,K_m,H)=\binom{r}{m}(\frac{n}{r})^m+biex(n,H)\cdotΘ(n^{m-2})$, where $biex(n,H)$ is the Turán number of the decomposition family of $H$. As a special case, we extend Erdős' result, by showing that $T_r(n)$ uniquely attains $ex(n,K_m,H)$ for any edge-critical graph $H$. We also consider $T$ being non-clique, where even the simplest case seems to be intricate. Following from a more general result, we show that for all $s\leq t$, $T_2(n)$ maximizes the number of $K_{s,t}$ in $n$-vertex triangle-free graphs if and only if $t<s+\frac12+\sqrt{2s+\frac14}$.
Multicoloring of Graphs to Secure a Secret
Vertex coloring and multicoloring of graphs are a well known subject in graph theory, as well as their applications. In vertex multicoloring, each vertex is assigned some subset of a given set of colors. Here we propose a new kind of vertex multicoloring, motivated by the situation of sharing a secret and securing it from the actions of some number of attackers. We name the multicoloring a highly $a$-resistant vertex $k$-multicoloring, where $a$ is the number of the attackers, and $k$ the number of colors. For small values $a$ we determine what is the minimal number of vertices a graph must have in order to allow such a coloring, and what is the minimal number of colors needed.
On coset leader graphs of structured linear codes
Published
• View Publication
• BIB
We suggest a new approach to obtain bounds on locally correctable and some locally testable binary linear codes, by arguing that these codes (or their subcodes) have coset leader graphs with high discrete Ricci curvature.
The bounds we obtain for locally correctable codes are worse than the best known bounds obtained using quantum information theory, but are better than those obtained using other methods, such as the "usual" information theory. (We remark that our methods are completely elementary.)
The bounds we obtain for a family of locally testable codes improve the best known bounds.
On Quadratic Embedding Constants of Star Product Graphs
A connected graph $G$ is of QE class if it admits a quadratic embedding in a Hilbert space, or equivalently if the distance matrix is conditionally negative definite, or equivalently if the quadratic embedding constant $\mathrm{QEC}(G)$ is non-positive. For a finite star product of (finite or infinite) graphs $G=G_1\star\dotsb \star G_r$ an estimate of $\mathrm{QEC}(G)$ is obtained after a detailed analysis of the minimal solution of a certain algebraic equation. For the path graph $P_n$ an implicit formula for $\mathrm{QEC}(P_n)$ is derived, and by limit argument $\mathrm{QEC}(\mathbb{Z})=\mathrm{QEC}(\mathbb{Z}_+)=-1/2$ is shown. During the discussion a new integer sequence is found.
Balanced diagonals in frequency squares
Published
• View Publication
• BIB
We say that a diagonal in an array is {\em $λ$-balanced} if each entry occurs $λ$ times. Let $L$ be a frequency square of type $F(n;λ^m)$; that is, an $n\times n$ array in which each entry from $\{1,2,\dots ,m\}$ occurs $λ$ times per row and $λ$ times per column. We show that if $m\leq 3$, $L$ contains a $λ$-balanced diagonal, with only one exception up to equivalence when $m=2$. We give partial results for $m\geq 4$ and suggest a generalization of Ryser's conjecture, that every latin square of odd order has a transversal. Our method relies on first identifying a small substructure with the frequency square that facilitates the task of locating a balanced diagonal in the entire array.
Lattices with exponentially large kissing numbers
Published in Moscow J. Comb. Number Th. 8 (2019) 163-177
• View Publication
• BIB
We construct a sequence of lattices $\{L_{n_i}\subset \mathbb R^{n_i}\}$ for $n_i\longrightarrow\infty$, with exponentially large kissing numbers, namely, $\log_2τ(L_{n_i})> 0.0338\cdot n_i -o(n_i)$. We also show that the maximum lattice kissing number $ τ^l_{n}$ in $n$ dimensions verifies $\log_2τ^l_{n}> 0.0219\cdot n -o(n)$.
Combinatorial proofs for identities related to generalizations of the mock theta functions $ω(q)$ and $ν(q)$
Published in The Ramanujan Journal, 2019
• View Publication
• BIB
The two partition functions $p_ω(n)$ and $p_ν(n)$ were introduced by Andrews, Dixit and Yee, which are related to the third order mock theta functions $ω(q)$ and $ν(q)$, respectively. Recently, Andrews and Yee analytically studied two identities that connect the refinements of $p_ω(n)$ and $p_ν(n)$ with the generalized bivariate mock theta functions $ω(z;q)$ and $ν(z;q)$, respectively. However, they stated these identities cried out for bijective proofs. In this paper, we first define the generalized trivariate mock theta functions $ω(y,z;q)$ and $ν(y,z;q)$. Then by utilizing odd Ferrers graph, we obtain certain identities concerning to $ω(y,z;q)$ and $ν(y,z;q)$, which extend some early results of Andrews that are related to $ω(z;q)$ and $ν(z;q)$. In virtue of the combinatorial interpretations that arise from the identities involving $ω(y,z;q)$ and $ν(y,z;q)$, we finally present bijective proofs for the two identities of Andrews-Yee.
Parametric Presburger Arithmetic: Complexity of Counting and Quantifier Elimination
Published
• View Publication
• BIB
We consider an expansion of Presburger arithmetic which allows multiplication by $k$ parameters $t_1,\ldots,t_k$. A formula in this language defines a parametric set $S_\mathbf{t} \subseteq \mathbb{Z}^{d}$ as $\mathbf{t}$ varies in $\mathbb{Z}^k$, and we examine the counting function $|S_\mathbf{t}|$ as a function of $\mathbf{t}$. For a single parameter, it is known that $|S_t|$ can be expressed as an eventual quasi-polynomial (there is a period $m$ such that, for sufficiently large $t$, the function is polynomial on each of the residue classes mod $m$). We show that such a nice expression is impossible with 2 or more parameters. Indeed (assuming \textbf{P} $\neq$ \textbf{NP}) we construct a parametric set $S_{t_1,t_2}$ such that $|S_{t_1, t_2}|$ is not even polynomial-time computable on input $(t_1,t_2)$. In contrast, for parametric sets $S_\mathbf{t} \subseteq \mathbb{Z}^d$ with arbitrarily many parameters, defined in a similar language without the ordering relation, we show that $|S_\mathbf{t}|$ is always polynomial-time computable in the size of $\mathbf{t}$, and in fact can be represented using the gcd and similar functions.
The Ramsey and the ordering property for classes of lattices and semilattices
The class of finite distributive lattices, as many other classes of structures, does not have the Ramsey property. It is quite common, though, that after expanding the structures with appropriately chosen linear orders the resulting class has the Ramsey property. So, one might expect that a similar result holds for the class of all finite distributive lattices. Surprisingly, Kechris and Sokić have proved in 2012 that this is not the case: no expansion of the class of finite distributive lattices by linear orders satisfies the Ramsey property.
In this paper we prove that the variety of distributive lattices is not an exception, but an instance of a more general phenomenon. We show that for almost all nontrivial locally finite varieties of lattices no "reasonable" expansion of the finite members of the variety by linear orders gives rise to a Ramsey class. The responsibility for this lies not with the lattices as structures, but with the lack of algebraic morphisms: if we consider lattices as partially ordered sets (and thus switch from algebraic embeddings to embeddings of relational structures) we show that every variety of lattices gives rise to a class of linearly ordered posets having both the Ramsey property and the ordering property. It now comes as no surprise that the same is true for varieties of semilattices.
On the algebraic and arithmetic structure of the monoid of product-one sequences
Published
• View Publication
• BIB
Let $G$ be a finite group. A finite unordered sequence $S = g_1 \boldsymbol{\cdot} \ldots \boldsymbol{\cdot} g_{\ell}$ of terms from $G$, where repetition is allowed, is a product-one sequence if its terms can be ordered such that their product equals $1_G$, the identity element of the group. As usual, we consider sequences as elements of the free abelian monoid $\mathcal F (G)$ with basis $G$, and we study the submonoid $\mathcal B (G) \subset \mathcal F (G)$ of all product-one sequences. This is a finitely generated C-monoid, which is a Krull monoid if and only if $G$ is abelian. In case of abelian groups, $\mathcal B (G)$ is a well-studied object. In the present paper we focus on non-abelian groups, and we study the class semigroup and the arithmetic of $\mathcal B (G)$.
Equitable partitions of Latin-square graphs
Published in J. Combinatorial Designs 27 (2019), 142-160
• View Publication
• BIB
We study equitable partitions of Latin-square graphs, and give a complete classification of those whose quotient matrix does not have an eigenvalue $-3$.