Showing 20 papers (Total: 82851 papers, 47869 authors in database)
An Overview of Capacity Results for Synchronization Channels
Published
• View Publication
• BIB
Synchronization channels, such as the well-known deletion channel, are surprisingly harder to analyze than memoryless channels, and they are a source of many fundamental problems in information theory and theoretical computer science.
One of the most basic open problems regarding synchronization channels is the derivation of an exact expression for their capacity. Unfortunately, most of the classic information-theoretic techniques at our disposal fail spectacularly when applied to synchronization channels. Therefore, new approaches must be considered to tackle this problem. This survey gives an account of the great effort made over the past few decades to better understand the (broadly defined) capacity of synchronization channels, including both the main results and the novel techniques underlying them. Besides the usual notion of channel capacity, we also discuss the zero-error capacity of synchronization channels.
Representation of Polytopes as Polynomial Zonotopes
We prove that each bounded polytope can be represented as a polynomial zonotope, which we refer to as the Z-representation of polytopes. Previous representations are the vertex representation (V-representation) and the halfspace representation (H-representation). Depending on the polytope, the Z-representation can be more compact than the V-representation and the H-representation. In addition, the Z-representation enables the computation of linear maps, Minkowski addition, and convex hull with a computational complexity that is polynomial in the representation size. The usefulness of the new representation is demonstrated by range bounding within polytopes.
Universal Bounds for Size and Energy of Codes of Given Minimum and Maximum Distances
Published
• View Publication
• BIB
We employ signed measures that are positive definite up to certain degrees to establish Levenshtein-type upper bounds on the cardinality of codes with given minimum and maximum distances, and universal lower bounds on the potential energy (for absolutely monotone interactions) for codes with given maximum distance and cardinality. The distance distributions of codes that attain the bounds are found in terms of the parameters of Levenshtein-type quadrature formulas. Necessary and sufficient conditions for the optimality of our bounds are derived. Further, we obtain upper bounds on the energy of codes of fixed minimum and maximum distances and cardinality.
The diameter and radius of radially maximal graphs
Published in Bull. Aust. Math. Soc. 104 (2021) 196-202
• View Publication
• BIB
A graph is called radially maximal if it is not complete and the addition of any new edge decreases its radius. In 1976 Harary and Thomassen proved that the radius $r$ and diameter $d$ of any radially maximal graph satisfy $r\le d\le 2r-2.$ Dutton, Medidi and Brigham rediscovered this result with a different proof in 1995 and they posed the conjecture that the converse is true, that is, if $r$ and $d$ are positive integers satisfying $r\le d\le 2r-2,$ then there exists a radially maximal graph with radius $r$ and diameter $d.$ We prove this conjecture and a little more.
Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem
Published
• View Publication
• BIB
The Balanced Connected Subgraph problem (BCS) was recently introduced by Bhore et al. (CALDAM 2019). In this problem, we are given a graph $G$ whose vertices are colored by red or blue. The goal is to find a maximum connected subgraph of $G$ having the same number of blue vertices and red vertices. They showed that this problem is NP-hard even on planar graphs, bipartite graphs, and chordal graphs. They also gave some positive results: BCS can be solved in $O(n^3)$ time for trees and $O(n + m)$ time for split graphs and properly colored bipartite graphs, where $n$ is the number of vertices and $m$ is the number of edges.
In this paper, we show that BCS can be solved in $O(n^2)$ time for trees and $O(n^3)$ time for interval graphs. The former result can be extended to bounded treewidth graphs. We also consider a weighted version of BCS (WBCS). We prove that this variant is weakly NP-hard even on star graphs and strongly NP-hard even on split graphs and properly colored bipartite graphs, whereas the unweighted counterpart is tractable on those graph classes. Finally, we consider an exact exponential-time algorithm for general graphs. We show that BCS can be solved in $2^{n/2}n^{O(1)}$ time. This algorithm is based on a variant of Dreyfus-Wagner algorithm for the Steiner tree problem.
Positivity of chromatic symmetric functions associated with Hessenberg functions of bounce number 3
Published
• View Publication
• BIB
We give a proof of Stanley-Stembridge conjecture on chromatic symmetric functions for the class of all unit interval graphs with independence number 3. That is, we show that the chromatic symmetric function of the incomparability graph of a unit interval order in which the length of a chain is at most 3 is positively expanded as a linear sum of elementary symmetric functions.
On $t$-relaxed 2-distant circular coloring of graphs
Published
• View Publication
• BIB
Let $k$ be an positive integer. For any two integers $i$ and $j$ in $\{0,1,\dots,k-1\}$, let $|i-j|_k=\min\{|i-j|,k-|i-j|\}$ be the circular distance between $i$ and $j$. Let $t$ be a nonnegative integer. Suppose $f$ is a mapping from $V(G)$ to $\{0,1,\dots,k-1\}$. If adjacent vertices receive different integers, and for each vertex $u$ of $G$, the number of neighbors $v$ of $u$ with $|f(u)-f(v)|_k=1$ is at most $t$, then $f$ is called a $t$-relaxed 2-distant circular $k$-coloring, or simply a $(\frac{k}{2},t)^*$-coloring of $G$. If $G$ has a $(\frac{k}{2},t)^*$-coloring, then $G$ is called $(\frac{k}{2},t)^*$-colorable. In this paper, we prove that, for any two fixed integers $k$ and $t$ with $k\geq2$ and $t\geq1$, deciding whether $G$ is $(\frac{k}{2},t)^*$-colorable is NP-complete expect the case $k=2$ and the case $k=3$ and $t\leq3$, which are polynomially solvable. For any outerplanar graph $G$, e show that all outerplanar graphs are $(\frac{5}{2},4)^*$-colorable, we prove that there is no fixed positive integer $t$ such that all outerplanar graphs are $(\frac{4}{2},t)^*$-colorable.
Spectral Lower Bounds for the Quantum Chromatic Number of a Graph -- Part II
Published
• View Publication
• BIB
Hoffman proved that a graph $G$ with eigenvalues $μ_1 \ge \ldots \ge μ_n$ and chromatic number $χ(G)$ satisfies: \[ χ\ge 1 + κ\] where $κ$ is the smallest integer such that \[ μ_1 + \sum_{i=1}^κ μ_{n+1-i} \le 0. \] We strengthen this well known result by proving that $χ(G)$ can be replaced by the quantum chromatic number, $χ_q(G)$, where for all graphs $χ_q(G) \le χ(G)$ and for some graphs $χ_q(G)$ is significantly smaller than $χ(G)$. We also prove a similar result, and investigate implications of these inequalities for the quantum chromatic number of various classes of graphs, which improves many known results. For example, we demonstrate that the Kneser graph $KG_{p,2}$ has $χ_q = χ= p - 2$.
Quasiperiodic bobbin lace patterns
Published
• View Publication
• BIB
Bobbin lace is a fibre art form in which threads are braided together to form a fabric, often with a very detailed and complex design. In traditional practice, each region of the fabric is filled with a periodic texture. We establish the groundwork for non-periodic lace patterns and present three new quasiperiodic families based on Sturmian words, the Penrose tiling by thick and thin rhombs and the Ammann-bar decoration of the Penrose tiling.
Spectral upper bound on the quantum k-independence number of a graph
Published
• View Publication
• BIB
A well known upper bound for the independence number $α(G)$ of a graph $G$, due to Cvetković, is that \begin{equation*} α(G) \le n^0 + \min\{n^+ , n^-\} \end{equation*} where $(n^+, n^0, n^-)$ is the inertia of $G$. We prove that this bound is also an upper bound for the quantum independence number $α_q$(G), where $α_q(G) \ge α(G)$ and for some graphs $α_q(G) \gg α(G)$. We identify numerous graphs for which $α(G) = α_q(G)$, thus increasing the number of graphs for which $α_q$ is known. We also demonstrate that there are graphs for which the above bound is not exact with any Hermitian weight matrix, for $α(G)$ and $α_q(G)$. Finally, we show this result in the more general context of spectral bounds for the quantum $k$-independence number, where the $k$-independence number is the maximum size of a set of vertices at pairwise distance greater than $k$.
On the probability that a random subtree is spanning
Published
• View Publication
• BIB
We consider the quantity $P(G)$ associated with a graph $G$ that is defined as the probability that a randomly chosen subtree of $G$ is spanning. Motivated by conjectures due to Chin, Gordon, MacPhee and Vincent on the behaviour of this graph invariant depending on the edge density, we establish first that $P(G)$ is bounded below by a positive constant provided that the minimum degree is bounded below by a linear function in the number of vertices. Thereafter, the focus is shifted to the classical Erdős-Rényi random graph model $G(n,p)$. It is shown that $P(G)$ converges in probability to $e^{-1/(ep_{\infty})}$ if $p \to p_{\infty} > 0$ and to $0$ if $p \to 0$.
Nakajima quiver varieties, affine crystals and combinatorics of Auslander-Reiten quivers
Published in Algebra Discrete Math. 34 (2022), no. 2, 244-272
• View Publication
• BIB
We obtain an explicit crystal isomorphism between two realizations of crystal bases of finite dimensional irreducible representations of simple Lie algebras of type A and D. The first realization we consider is a geometric construction in terms of irreducible components of certain Nakajima quiver varieties established by Saito and the second is a realization in terms of isomorphism classes of quiver representations obtained by Reineke. We give a homological description of the irreducible components of Lusztig's quiver varieties which correspond to the crystal of a finite dimensional representation and describe the promotion operator in type A to obtain a geometric realization of Kirillov-Reshetikhin crystals.
A new family of triangulations of $\mathbb{R}P^d$
Published
• View Publication
• BIB
We construct a family of PL triangulations of the $d$-dimensional real projective space $\mathbb{R}P^d$ on $Θ((\frac{1+\sqrt{5}}{2})^{d+1})$ vertices for every $d\geq 1$. This improves a construction due to Kühnel on $2^{d+1}-1$ vertices.
Cluster algebras and binary subwords
Published in Order (2021)
• View Publication
• BIB
This paper establishes a connection between binary subwords and perfect matchings of a snake graph, an important tool in the theory of cluster algebras. Every binary expansion w can be associated to a piecewise-linear poset P and a snake graph G. We construct a tree structure called the antichain trie which is isomorphic to the trie of subwords introduced by Leroy, Rigo, and Stipulanti. We then present bijections from the subwords of w to the antichains of P and to the perfect matchings of G.
The Homogenized Linial Arrangement and Genocchi Numbers
Published
• View Publication
• BIB
We study the intersection lattice of a hyperplane arrangement recently introduced by Hetyei who showed that the number of regions of the arrangement is a median Genocchi number. Using a different method, we refine Hetyei's result by providing a combinatorial interpretation of the coefficients of the characteristic polynomial of the intersection lattice of this arrangement. We also show that the Möbius invariant of the intersection lattice is a (nonmedian) Genocchi number. The Genocchi numbers count a class of permutations known as Dummont permutations and the median Genocchi numbers count the derangements in this class. We show that the signless coefficients of the characteristic polynomial count Dumont-like permutations with a given number of cycles. This enables us to derive formulas for the generating function of the characteristic polynomial, which reduce to known formulas for the generating functions of the Genocchi numbers and the median Genocchi numbers. As a byproduct of our work, we obtain new models for the Genocchi and median Genocchi numbers.
Generic properties of dispersion relations for discrete periodic operators
Published
• View Publication
• BIB
An old problem in mathematical physics deals with the structure of the dispersion relation of the Schrödinger operator $-Δ+V(x)$ in $R^n$ with periodic potential near the edges of the spectrum. A well known conjecture says that generically (with respect to perturbations of the periodic potential) the extrema are attained by a single branch of the dispersion relation, are isolated, and have non-degenerate Hessian (i.e., dispersion relations are graphs of Morse functions). The important notion of effective masses in solid state physics, as well as Liouville property, Green's function asymptotics, etc. hinge upon this property. The progress in proving this conjecture has been slow. It is natural to try to look at discrete problems, where the dispersion relation is (in appropriate coordinates) an algebraic, rather than analytic, variety. Such models are often used for computation in solid state physics (the tight binding model). Alas, counterexamples exist in some discrete situations. We start establishing the following dichotomy: the non-degeneracy of extrema either fails or holds in the complement of a proper algebraic subset of the parameters.
The known counterexample has only two free parameters. This might be too tight for genericity to hold. We consider the maximal $Z^2$-periodic two-atomic nearest-cell interaction graph, with nine edges per unit cell and the discrete "Laplace-Beltrami" operator on it. We then use methods from computational and combinatorial algebraic geometry to prove the genericity conjecture for this graph. We show three different approaches to the genericity, which might be suitable in various situations.
It is also proven in this case that adding more parameters does not destroy the genericity result. We list all "bad" periodic subgraphs of the one we consider and discover that in all these cases genericity fails for "trivial" reasons only.
On edge-primitive 3-arc-transitive graphs
Published
• View Publication
• BIB
This paper begins the classification of all edge-primitive 3-arc-transitive graphs by classifying all such graphs where the automorphism group is an almost simple group with socle an alternating or sporadic group, and all such graphs where the automorphism group is an almost simple classical group with a vertex-stabiliser acting faithfully on the set of neighbours.
On the Singular Locus of a Plane Projection of a Complete Intersection
Published
• View Publication
• BIB
In this paper, we compute the number of self-intersections of a plane projection of a generic complete intersection curve defined by polynomials with the given support. Moreover, we discuss the tropical counterpart of this problem.
A characterization of simplicial oriented geometries as groupoids with root systems
This paper shows that simplicial oriented geometries can be characterized as groupoids with root systems having certain favorable properties, as conjectured by the first author. The proof first translates Handa's characterization of oriented matroids, as acycloids which remain acycloids under iterated elementary contractions, into the language of groupoids with root systems, then establishes favorable lattice theoretic properties of a generalization of a construction which Brink and Howlett used in their study of normalizers of parabolic subgroups of Coxeter groups and uses Björner-Edelman-Ziegler's lattice theoretic characterization of simplicial oriented geometries amongst oriented geometries.
On the connectivity and independence number of power graphs of groups
Published
• View Publication
• BIB
Let $G$ be a group. The power graph of $G$ is a graph with vertex set $G$ in which two distinct elements $x,y$ are adjacent if one of them is a power of the other. We characterize all groups whose power graphs have finite independence number, show that they have clique cover number equal to their independence number, and calculate this number.
The proper power graph is the induced subgraph of the power graph on the set $G-\{1\}$. A group whose proper power graph is connected must be either a torsion group or a torsion-free group; we give characterizations of some groups whose proper power graphs are connected.