Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Pretty good state transfer in graphs with an involution
Published
• View Publication
• BIB
We study pretty good quantum state transfer (i.e., state transfer that becomes arbitrarily close to perfect) between vertices of graphs with an involution in the presence of an energy potential. In particular, we show that if a graph has an involution that fixes at least one vertex or at least one edge, then there exists a choice of potential on the vertex set of the graph for which we get pretty good state transfer between symmetric vertices of the graph. We show further that in many cases, the potential can be chosen so that it is only non-zero at the vertices between which we want pretty good state transfer. As a special case of this, we show that such a potential can be chosen on the endpoints of a path to induce pretty good state transfer in paths of any length. This is in contrast to the result of [6], in which the authors show that there cannot be perfect state transfer in paths of length 4 or more, no matter what potential is chosen.
Modulo orientations with bounded out-degrees
Published
• View Publication
• BIB
Let $G$ be a graph, let $k$ be a positive integer, and let $p:V(G)\rightarrow Z_k$ be a mapping with $|E(G)| \stackrel{k}{\equiv}\sum_{v\in V(G)}p(v) $. In this paper, we show that if $G$ is $(3k-3)$-edge-connected, then it has an orientation such that for each vertex $v$, $|d^+_G(v)-d_G(v)/2| < k$; also if $G$ contains $2k-2$ edge-disjoint spanning trees, then it admits such an orientation but by imposing greater out-degree bounds.
QRT maps and related Laurent systems
Published
• View Publication
• BIB
In recent work it was shown how recursive factorisation of certain QRT maps leads to Somos-4 and Somos-5 recurrences with periodic coefficients, and to a fifth-order recurrence with the Laurent property. Here we recursively factorise the 12-parameter symmetric QRT map, given by a second-order recurrence, to obtain a system of three coupled recurrences which possesses the Laurent property. As degenerate special cases, we first derive systems of two coupled recurrences corresponding to the 5-parameter multiplicative and additive symmetric QRT maps. In all cases, the Laurent property is established using a generalisation of a result due to Hickerson, and exact formulae for degree growth are found from ultradiscrete (tropical) analogues of the recurrences. For the general 18-parameter QRT map it is shown that the components of the iterates can be written as a ratio of quantities that satisfy the same Somos-7 recurrence.
A $(5,5)$-coloring of $K_n$ with few colors
For fixed integers $p$ and $q$, let $f(n,p,q)$ denote the minimum number of colors needed to color all of the edges of the complete graph $K_n$ such that no clique of $p$ vertices spans fewer than $q$ distinct colors. Any edge-coloring with this property is known as a $(p,q)$-coloring. We construct an explicit $(5,5)$-coloring that shows that $f(n,5,5) \leq n^{1/3 + o(1)}$ as $n \rightarrow \infty$. This improves upon the best known probabilistic upper bound of $O\left(n^{1/2}\right)$ given by Erdős and Gyárfás, and comes close to matching the best known lower bound $Ω\left(n^{1/3}\right)$.
Intrinsically Knotted and 4-Linked Directed Graphs
Published
• View Publication
• BIB
We consider intrinsic linking and knotting in the context of directed graphs. We construct an example of a directed graph that contains a consistently oriented knotted cycle in every embedding. We also construct examples of intrinsically 3-linked and 4-linked directed graphs. We introduce two operations, consistent edge contraction and H-cyclic subcontraction, as special cases of minors for digraphs, and show that the property of having a linkless embedding is closed under these operations. We analyze the relationship between the number of distinct knots and links in an undirected graph $G$ and its corresponding symmetric digraph $\overline{DG}$. Finally, we note that the maximum number of edges for a graph that is not intrinsically linked is $O(n)$ in the undirected case, but $O(n^2)$ for directed graphs.
Unavoidable subprojections in union-closed set systems of infinite breadth
Published in European J. Combin. 94 (2021), article 103311
• View Publication
• BIB
We consider union-closed set systems with infinite breadth, focusing on three particular configurations ${\mathcal T}_{\rm max}(E)$, ${\mathcal T}_{\rm min}(E)$ and ${\mathcal T}_{\rm ort}(E)$. We show that these three configurations are not isolated examples; in any given union-closed set system of infinite breadth, at least one of these three configurations will occur as a subprojection. This characterizes those union-closed set systems which have infinite breadth, and is the first general structural result for such set systems.
The numbers of edges of 5-polytopes with a given number of vertices
Published
• View Publication
• BIB
A basic combinatorial invariant of a convex polytope $P$ is its $f$-vector $f(P)=(f_0,f_1,\dots,f_{\dim P-1})$, where $f_i$ is the number of $i$-dimensional faces of $P$. Steinitz characterized all possible $f$-vectors of $3$-polytopes and Grünbaum characterized the pairs given by the first two entries of the $f$-vectors of $4$-polytopes. In this paper, we characterize the pairs given by the first two entries of the $f$-vectors of $5$-polytopes. The same result was also proved by Pineda-Villavicencio, Ugon and Yost independently.
Spectral radius of uniform hypergraphs and degree sequences
Published
• View Publication
• BIB
In this paper, we present several upper bounds for the adjacency and signless Laplacian spectral radii of uniform hypergraphs in terms of degree sequences.
Quantum discord of states arising from graphs
Published in Quantum Inf Process (2017) 16: 183
• View Publication
• BIB
Quantum discord refers to an important aspect of quantum correlations for bipartite quantum systems. In our earlier works we have shown that corresponding to every graph (combinatorial) there are quantum states whose properties are reflected in the structure of the corresponding graph. Here, we attempt to develop a graph theoretic study of quantum discord that corresponds to a necessary and sufficient condition of zero quantum discord states which says that the blocks of density matrix corresponding to a zero quantum discord state are normal and commute with each other. These blocks have a one to one correspondence with some specific subgraphs of the graph which represents the quantum state. We obtain a number of graph theoretic properties representing normality and commutativity of a set of matrices which are indeed arising from the given graph. Utilizing these properties we define graph theoretic measures for normality and commutativity that results a formulation of graph theoretic quantum discord. We identify classes of quantum states with zero discord using the said formulation.
Axiomatic phylogenetics
Published
• View Publication
• BIB
We use the language of quivers to formulate a mathematical framework for phylogenetics.
On convergence for graphexes
Published in European Journal of Combinatorics (2022+)
• View Publication
• BIB
We study four different notions of convergence for graphexes, recently introduced by Borgs, Chayes, Cohn and Holden, and by Veitch and Roy. We give some properties of them and some relations between them. We also extend results by Veitch and Roy on convergence of empirical graphons.
On edge exchangeable random graphs
Published
• View Publication
• BIB
We study a recent model for edge exchangeable random graphs introduced by Crane and Dempsey; in particular we study asymptotic properties of the random simple graph obtained by merging multiple edges. We study a number of examples, and show that the model can produce dense, sparse and extremely sparse random graphs. One example yields a power-law degree distribution. We give some examples where the random graph is dense and converges a.s. in the sense of graph limit theory, but also an example where a.s. every graph limit is the limit of some subsequence. Another example is sparse and yields convergence to a non-integrable generalized graphon defined on $(0,\infty)$.
Addition Theorems in Fp via the Polynomial Method
In this article, we use the Combinatorial Nullstellensatz to give new proofs of the Cauchy-Davenport, the Dias da Silva-Hamidoune and to generalize a previous addition theorem of the author. Precisely, this last result proves that for a set A $\subset$ Fp such that A $\cap$ (--A) = $\emptyset$ the cardinality of the set of subsums of at least $α$ pairwise distinct elements of A is: |$Σ$$α$(A)| $\ge$ min (p, |A|(|A| + 1)/2 -- $α$($α$ + 1)/2 + 1) , the only cases previously known were $α$ $\in$ {0, 1}. The Combinatorial Nullstellensatz is used, for the first time, in a direct and in a reverse way. The direct (and usual) way states that if some coefficient of a polynomial is non zero then there is a solution or a contradiction. The reverse way relies on the coefficient formula (equivalent to the Combinatorial Nullstellensatz). This formula gives an expression for the coefficient as a sum over any cartesian product. For these three addition theorems, some arithmetical progressions (that reach the bounds) will allow to consider cartesian products such that the coefficient formula is a sum all of whose terms are zero but exactly one. Thus we can conclude the proofs without computing the appropriate coefficients.
The meet operation in the imbalance lattice of maximal instantaneous codes: alternative proof of existence
Published
• View Publication
• BIB
An alternative proof is given of the existence of greatest lower bounds in the imbalance order of binary maximal instantaneous codes of a given size. These codes are viewed as maximal antichains of a given size in the infinite binary tree of 0-1 words. The proof proposed makes use of a single balancing operation instead of expansion and contraction as in the original proof of the existence of glb.
Rigidity of powers and Kosniowski's conjecture
Published in Siberian Electronic Mathematical Reports, vol. 15 (2018), pp. 1227-1236
• View Publication
• BIB
In this paper we state a problem on rigidity of powers, which has a strong topological background for the rigid Hirzebruch genera and Kosniowski's conjecture of unitary circle actions. However, our statement of this problem is elementary enough and does not require any knowledge of algebraic topology. We shall give a solution of this problem for some particular cases. As a consequence, we obtain that Kosniowski's conjecture holds in the case of dimension less than 11 or equal to 14.
On distinguishing special trees by their chromatic symmetric functions
In 1995, Stanley introduced the well-known chromatic symmetric function $X_{G}(x_{1},x_{2},\ldots)$ of a graph $G$. It is a sum of monomial symmetric functions such that for each vertex coloring of $G$ there is exactly one of these summands. The question, whether $X_{G}(x_1,x_{2},\ldots)$ distinguishes nonisomorphic trees with the same number of vertices, is still open in general. For special trees it has already been shown. In 2008, Martin, Morin and Wagner proved it for spiders and some caterpillars. We decompose a tree by separating the leafs and their neighbors and do the same to the remaining forest until there remains a forest with vertices of degree not greater than $1$. For nonisomorphic trees $G$ and $H$ with the same number of vertices and special properties concerning their number of leafs and leaf neighbors for each subgraph in their leaf decomposition we prove that the chromatic symmetric function distinguishes the graphs. Our idea is to find independent partitions of $G$ and $H$ with respectively a block of maximal cardinality for $G$ as well as for $H$. These cardinalities are different for graphs $G$ and $H$ with special properties of their leaf decompositions. Additionally, we give explicit formulas for the cardinality of such a maximal block of an independent partition of star connections and spiders.
Total Forcing Sets in Trees
Published
• View Publication
• BIB
A dynamic coloring of the vertices of a graph $G$ starts with an initial subset $S$ of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set $S$ is called a forcing set of $G$ if, by iteratively applying the forcing process, every vertex in $G$ becomes colored. If the initial set $S$ has the added property that it induces a subgraph of $G$ without isolated vertices, then $S$ is called a total forcing set in $G$. The minimum cardinality of a total forcing set in $G$ is its total forcing number, denoted $F_t(G)$. We prove that if $T$ is a tree of order $n \ge 3$ with maximum degree~$Δ$, then $F_t(T) \le \frac{1}Δ((Δ- 1)n + 1)$, and we characterize the infinite family of trees achieving equality in this bound. We also prove that if $T$ is a non-trivial tree with $n_1$ leaves, then $F_t(T) \ge n_1$, and we characterize the infinite family of trees achieving equality in this bound. As a consequence of this result, the total forcing number of a non-trivial tree is strictly greater than its forcing number. In particular, we prove that if $T$ is a non-trivial tree, then $F_t(T) \ge F(T)+1$, and we characterize extremal trees achieving this bound.
A New Approach to the $r$-Whitney Numbers by Using Combinatorial Differential Calculus
In the present article we introduce two new combinatorial interpretations of the $r$-Whitney numbers of the second kind obtained from the combinatorics of the differential operators associated to the grammar $G:=\{ y\rightarrow yx^{m}, x\rightarrow x\}$. By specializing $m=1$ we obtain also a new combinatorial interpretation of the $r$-Stirling numbers of the second kind. Again, by specializing to the case $r=0$ we introduce a new generalization of the Stirling number of the second kind and through them a binomial type family of polynomials that generalizes Touchard's. Moreover, we show several well-known identities involving the $r$-Dowling polynomials and the $r$-Whitney numbers using the combinatorial differential calculus. Finally we prove that the $r$-Dowling polynomials are a Sheffer family relative to the generalized Touchard binomial family, study their umbral inverses, and introduce $[m]$-Stirling numbers of the first kind. From the relation between umbral calculus and the Riordan matrices we give several new combinatorial identities involving the $r$-Whitney number of both kinds, Bernoulli and Euler polynomials.
A Dual Ramsey Theorem for Permutations
In 2012 M. Sokić proved that the class of all finite permutations has the Ramsey property. Using different strategies the same result was then reproved in 2013 by J. Böttcher and J. Foniok, in 2014 by M. Bodirsky and in 2015 yet another proof was provided by M. Sokić. Using the categorical reinterpretation of the Ramsey property in this paper we prove that the class of all finite permutations has the dual Ramsey property as well. It was Leeb who pointed out in 1970 that the use of category theory can be quite helpful both in the formulation and in the proofs of results pertaining to structural Ramsey theory. In this paper we argue that this is even more the case when dealing with the dual Ramsey property.
Some results on the existence of t-all-or-nothing transforms over arbitrary alphabets
Published
• View Publication
• BIB
A $(t, s, v)$-all-or-nothing transform is a bijective mapping defined on $s$-tuples over an alphabet of size $v$, which satisfies the condition that the values of any $t$ input co-ordinates are completely undetermined, given only the values of any $s-t$ output co-ordinates. The main question we address in this paper is: for which choices of parameters does a $(t, s, v)$-all-or-nothing transform (AONT) exist? More specifically, if we fix $t$ and $v$, we want to determine the maximum integer $s$ such that a $(t, s, v)$-AONT exists. We mainly concentrate on the case $t=2$ for arbitrary values of $v$, where we obtain various necessary as well as sufficient conditions for existence of these objects. We consider both linear and general (linear or nonlinear) AONT. We also show some connections between AONT, orthogonal arrays and resilient functions.