Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Some optimal entanglement-assisted quantum codes constructed from quaternary Hermitian linear complementary dual codes
Published in International Journal of Quantum Information Vol. 17, (2019) 1950053
• View Publication
• BIB
We establish the existence of optimal maximal entanglement entanglement-assisted quantum $[[n,k,d;n-k]]_2$ codes for $(n,k,d)=(14,6,7)$, $(15,7,7)$, $(17,6,9)$, $(17,7,8)$, $(19,7,9)$ and $(20,7,10)$. These codes are obtained from quaternary Hermitian linear complementary dual codes. We also give some observation on the largest minimum weights.
New results on the degree/diameter problem of mixed Abelian Cayley graphs
Mixed graphs can be seen as digraphs that have both arcs and edges (or digons, that is, two opposite arcs). In this paper, we consider the case in which such graphs are Cayley graphs of Abelian groups. These groups can be constructed by using a generalization to $\mathbb{Z}^n$ of the concept of congruence in $\mathbb{Z}$. Here we use this approach to present some families of mixed graphs, which, for every fixed value of the degree, have an asymptotically large number of vertices as the diameter increases. In some cases, the results obtained are shown to be optimal.
Generalized DP-Colorings of Graphs
Published
• View Publication
• BIB
By a graph we mean a finite undirected graph having multiple edges but no loops. Given a graph property $\mathcal{P}$, a $\mathcal{P}$-coloring of a graph $G$ with color set $C$ is a mapping $\f:V(G)\to C$ such that for each color $c\in C$ the subgraph of $G$ induced by the color class $\varphi^{-1}(c)$ belongs to $\mathcal{P}$. The $\mathcal{P}$-chromatic number $χ(G:\mathcal{P})$ of $G$ is the least number $k$ for which $G$ admits an $\mathcal{P}$-coloring with a set of $k$-colors. This coloring concept dates back to the late 1960s and is commonly known as generalized coloring. In the 1980s the $\mathcal{P}$-choice number $χ_\ell(G:\mathcal{P})$ of $G$ was introduced and investigated by several authors. In 2018 Ďvorák and Postle introduced the DP-chromatic number as a natural extension of the choice number. They also remarked that this concept applies to any graph property. This motivated us to investigate the $\mathcal{P}$-DP-chromatic number $χ_{\rm DP}(G:\mathcal{P})$ of $G$. We have $χ(G:\mathcal{P})\leq χ_\ell(G:\mathcal{P})\leq χ_{\rm DP}(G:\mathcal{P})$. In this paper we show that various fundamental coloring results, in particular, the theorems of Brooks, of Gallai, and of Erdős, Rubin and Taylor, have counterparts for the $\mathcal{P}$-DP-chromatic number. Furthermore, we provide a generalization of a result from 2000 about partition of graphs into a fixed number of induced subgraphs with bounded variable degeneracy due to Borodin, Kostochka, and Toft.
Covering graphs, magnetic spectral gaps and applications to polymers and nanoribbons
Published in Symmetry-Basel 11 (2019) 1163
• View Publication
• BIB
In this article, we analyze the spectrum of discrete magnetic Laplacians (DML) on an infinite covering graph $\widetilde{G} \rightarrow G=\widetilde{G} /Γ$ with (Abelian) lattice group $Γ$ and periodic magnetic potential $\widetildeβ$. We give sufficient conditions for the existence of spectral gaps in the spectrum of the DML and study how these depend on $\widetildeβ$. The magnetic potential may be interpreted as a control parameter for the spectral bands and gaps. We apply these results to describe the spectral band/gap structure of polymers (polyacetylene) and of nanoribbons in the presence of a constant magnetic field.
Equal sums in random sets and the concentration of divisors
Published in Inventiones Math. 232 (2023), 1027-1160
• View Publication
• BIB
We study the extent to which divisors of a typical integer $n$ are concentrated. In particular, defining the Erdős-Hooley $Δ$-function by $Δ(n) := \max_t \# \{d | n, \log d \in [t,t+1]\}$, we show that $Δ(n) \geq (\log \log n)^{0.35332277\dots}$ for almost all $n$, a bound we believe to be sharp. This disproves a conjecture of Maier and Tenenbaum. We also prove analogs for the concentration of divisors of a random permutation and of a random polynomial over a finite field.
Most of the paper is devoted to a study of the following much more combinatorial problem of independent interest. Pick a random set $A \subset \mathbb{N}$ by selecting $i$ to lie in $A$ with probability $1/i$. What is the supremum of all exponents $β_k$ such that, almost surely as $D \rightarrow \infty$, some integer is the sum of elements of $A \cap [D^{β_k}, D]$ in $k$ different ways?
We characterise $β_k$ as the solution to a certain optimisation problem over measures on the discrete cube $\{0,1\}^k$, and obtain lower bounds for $β_k$ which we believe to be asymptotically sharp.
On the Boundaries of the m=2 Amplituhedron
Amplituhedra $\mathcal{A}_{n,k}^{(m)}$ are geometric objects of great interest in modern mathematics and physics: for mathematicians they are combinatorially rich generalizations of polygons and polytopes, based on the notion of positivity; for physicists, the amplituhedron $\mathcal{A}^{(4)}_{n,k}$ encodes the scattering amplitudes of the planar $\mathcal{N}=4$ super Yang-Mills theory. In this paper we study the structure of boundaries for the amplituhedron $\mathcal{A}_{n,k}^{(2)}$. We classify all boundaries of all dimensions and provide their graphical enumeration. We find that the boundary poset for the amplituhedron is Eulerian and show that the Euler characteristic of the amplituhedron equals one. This provides an initial step towards proving that the amplituhedron for $m=2$ is homeomorphic to a closed ball.
On the existence of paradoxical motions of generically rigid graphs on the sphere
Published in SIAM J. Discrete Math., 35(1), 325-361 (2021)
• View Publication
• BIB
We interpret realizations of a graph on the sphere up to rotations as elements of a moduli space of curves of genus zero. We focus on those graphs that admit an assignment of edge lengths on the sphere resulting in a flexible object. Our interpretation of realizations allows us to provide a combinatorial characterization of these graphs in terms of the existence of particular colorings of the edges. Moreover, we determine necessary relations for flexibility between the spherical lengths of the edges. We conclude by classifying all possible motions on the sphere of the complete bipartite graph with $3+3$ vertices where no two vertices coincide or are antipodal.
Distinguishing Number of Non-Zero Component Graphs
A non-zero component graph $G(\mathbb{V})$ associated to a finite vector space $\mathbb{V}$ is a graph whose vertices are non-zero vectors of $\mathbb{V}$ and two vertices are adjacent, if their corresponding vectors have at least one non-zero component common in their linear combination of basis vectors. In this paper, we extend the study of properties of automorphisms of non-zero component graphs. We prove that every permutation of basis vectors can be extended to an automorphism of $G(\mathbb{V})$. We prove that the symmetric group of basis vectors of $\mathbb{V}$ is isomorphic to the automorphism group of $G(\mathbb{V})$. We find the distinguishing number of the graph for both of the cases, when the number of field elements of vector space $\mathbb{V}$ are 2 or more than 2.
On Cycle Transversals and Their Connected Variants in the Absence of a Small Linear Forest
Published
• View Publication
• BIB
A graph is $H$-free if it contains no induced subgraph isomorphic to $H$. We prove new complexity results for the two classical cycle transversal problems Feedback Vertex Set and Odd Cycle Transversal by showing that they can be solved in polynomial time on $(sP_1+P_3)$-free graphs for every integer $s\geq 1$. We show the same result for the variants Connected Feedback Vertex Set and Connected Odd Cycle Transversal. We also prove that the latter two problems are polynomial-time solvable on cographs; this was already known for Feedback Vertex Set and Odd Cycle Transversal. We complement these results by proving that Odd Cycle Transversal and Connected Odd Cycle Transversal are NP-complete on $(P_2+P_5,P_6)$-free graphs.
Fractal classes of matroids
Published
• View Publication
• BIB
A minor-closed class of matroids is (strongly) fractal if the number of n-element matroids in the class is dominated by the number of n-element excluded minors. We conjecture that when K is an infinite field, the class of K-representable matroids is strongly fractal. We prove that the class of sparse paving matroids with at most k circuit-hyperplanes is a strongly fractal class when k is at least three. The minor-closure of the class of spikes with at most k circuit-hyperplanes (with k>4) satisfies a strictly weaker condition: the number of 2t-element matroids in the class is dominated by the number of 2t-element excluded minors. However, there are only finitely many excluded minors with ground sets of odd size.
Lower Estimates on Eigenvalues of Quantum Graphs
Published
• View Publication
• BIB
A method for estimating the spectral gap along with higher eigenvalues of nonequilateral quantum graphs has been introduced by Amini and Cohen-Steiner recently: it is based on a new transference principle between discrete and continuous models of a graph. We elaborate on it by developing a more general transference principle and by proposing alternative ways of applying it. To illustrate our findings, we present several spectral estimates on planar metric graphs that are oftentimes sharper than those obtained by isoperimetric inequalities and further previously known methods.
Complexity in Young's Lattice
Published in Annals of Pure and Applied Logic, Volume 173, Issue 4, 2022
• View Publication
• BIB
We investigate the complexity of the partial order relation of Young's lattice. The definable relations are characterized by establishing the maximal definability property modulo the single automorphism given by conjugation; consequently, as an ordered set Young's lattice has an undecidable elementary theory and is inherently non-finitely axiomatizable but every ideal generates a finitely axiomatizable universal class of equivalence relations. We end with conjectures concerning the complexities of the $Σ_1$ and $Σ_2$-theories.
Cut and project sets with polytopal window I: complexity
Published in Ergodic Theory and Dynamical Systems, Volume 41, Issue 5, pp. 1431-1463 (2021)
• View Publication
• BIB
We calculate the growth rate of the complexity function for polytopal cut and project sets. This generalises work of Julien where the almost canonical condition is assumed. The analysis of polytopal cut and project sets has often relied on being able to replace acceptance domains of patterns by so-called cut regions. Our results correct mistakes in the literature where these two notions are incorrectly identified. One may only relate acceptance domains and cut regions when additional conditions on the cut and project set hold. We find a natural condition, called the quasicanonical condition, guaranteeing this property and demonstrate via counterexample that the almost canonical condition is not sufficient for this. We also discuss the relevance of this condition for the current techniques used to study the algebraic topology of polytopal cut and project sets.
Random-Graph Models and Characterization of Granular Networks
Published in J. Complex Netw., cnz037 (2019)
• View Publication
• BIB
Various approaches and measures from network analysis have been applied to granular and particulate networks to gain insights into their structural, transport, failure-propagation and other systems-level properties. In this article, we examine a variety of common network measures and study their ability to characterize various two-dimensional and three-dimensional spatial random-graph models and empirical two-dimensional granular networks. We identify network measures that are able to distinguish between physically plausible and unphysical spatial network models. Our results also suggest that there are significant differences in the distributions of certain network measures in two and three dimensions, hinting at important differences that we also expect to arise in experimental granular networks.
A Direct Construction of Z-Complementary Pairs Using Generalized Boolean Functions
Published
• View Publication
• BIB
The zero correlation zone (ZCZ) ratio, i.e., the ratio of the width of the ZCZ and the length of the sequence plays a major role in reducing interference in an asynchronous environment of communication systems. However, to the best of the author's knowledge, the highest ZCZ ratio for even-length binary Z-complementary pairs (EB-ZCPs) which are directly constructed using generalized Boolean functions (GBFs), is $\frac{2}{3}$. In this research, we present a direct construction of EB-ZCPs through GBFs, which can achieve a ZCZ ratio of $\frac{3}{4}$. In general, the constructed EB-ZCPs are of length $2^{m-1}+2$, having a ZCZ width of $2^{m-2}+2^{π(m-3)}+1$ where pi is a permutation over $m-2$ variables.
Congruence properties for the trinomial coefficients
In this paper, we state and prove some congruence properties for the trinomial coeficients, one of which is similar to the Wolstenholme's theorem.
Group Action Combinatorics
This paper generalizes the basic notions of additive and multiplicative combinatorics to the setting of group actions: if $G$ is a group acting on a set $X$, and we have subsets $A\subseteq G$ and $Y\subseteq X$ such that the set of pairs $g\cdot y$ with $g\in A,y\in Y$ is not much larger than $Y$, what structure must $A$ and $Y$ have?
Briefly, what is the structure of sets with small "image set"?
In this setting, we develop analogs of Ruzsa's triangle inequality, covering theorems, multiplicative energy, and the Balog-Szemerédi-Gowers theorem. Approximate stabilizers, which we call symmetry sets, play an important role.
While our focus is on presenting a general theory, we answer the inverse image set question in some special cases.
To do so, we combine the group action version of the Balog-Szemerédi-Gowers theorem with structure theorems for approximate groups and bounds for the sizes of symmetry sets.
Quantum affine algebras and Grassmannians
Published
• View Publication
• BIB
We study the relation between quantum affine algebras of type A and Grassmannian cluster algebras. Hernandez and Leclerc described an isomorphism from the Grothendieck ring of a certain subcategory $\mathcal{C}_{\ell}$ of $U_q(\hat{\mathfrak{sl}_n})$-modules to a quotient of the Grassmannian cluster algebra in which certain frozen variables are set to 1. We explain how this induces an isomorphism between the monoid of dominant monomials, used to parameterize simple modules, and a quotient of the monoid of rectangular semistandard Young tableaux. Via the isomorphism, we define an element ch(T) in a Grassmannian cluster algebra for every rectangular tableau T. By results of Kashiwara, Kim, Oh, and Park, and also of Qin, every Grassmannian cluster monomial is of the form ch(T) for some T. Using formulas of Arakawa-Suzuki, we give an explicit expression for ch(T), and also give explicit q-character formulas for finite-dimensional $U_q(\hat{\mathfrak{sl}_n})$-modules. We give a tableau-theoretic rule for performing mutations in Grassmannian cluster algebras. We suggest how our formulas might be used to study reality and primeness of modules, and compatibility of cluster variables.
Some stumbling first steps towards linear homology in a nutshell
In 1985 Bayer and Billera defined a flag vector $f(X)$ for every convex polytope $X$, and proved some fundamental properties. The flag vectors $f(X)$ span a graded ring $\mathcal{R}=\bigoplus_{d\geq0}\mathcal{R}_d$. Here $\mathcal{R}_d$ is the span of the $f(X)$ with $\dim X=d$. It has dimension the Fibonacci number $F_{d+1}$.
This paper introduces and explores the conjecture, that $\mathcal{R}$ has a counting basis $\{e_i\}$. If true then the equation $f(X) = \sum g_i(X)e_i$ conjecturally provides a formula for the Betti numbers $g_i(X)$ of a new homology theory. As the $g_i(X)$ are linear functions of $f(X)$, we call the new theory linear homology.
Further, assuming the conjecture each $g_i$ will have a rank $r\geq0$. The rank zero part of linear homology will be (middle perversity) intersection homology. The higher rank $g_i$ measure successively more complicated singularities. In dimension $d$ we will have $\dim\mathcal{R}_d$ linearly independent Betti numbers.
This paper produces a basis $\{e_i\}$ for $\mathcal{R}$, that is conjecturally a counting basis. Warning: Conjecture withdrawn in version 2.
Normal completions of toric varieties over rank one valuation rings and completions of $Γ$-admissible fans
Published
• View Publication
• BIB
We show that any normal toric variety over a rank one valuation ring admits an equivariant open embedding in a normal toric variety which is proper over the valuation ring, after a base-change by a finite extension of valuation rings. If the value group $Γ$ is discrete or divisible then no base-change is needed. We give explicit examples which show that existing methods do not produce such normal equivariant completions. Our approach is combinatorial and proceeds by showing that $Γ$-admissible fans admit $Γ$-admissible completions. In order to show this we prove a combinatorial analog of noetherian reduction which we believe will be of independent interest.