Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Minimum distance functions of complete intersections
Published in J. Algebra Appl. 17 (2018), no. 11, 1850204 (22 pages)
• View Publication
• BIB
We study the footprint function, with respect to a monomial order, of complete intersection graded ideals in a polynomial ring with coefficients in a field. For graded ideals of dimension one, whose initial ideal is a complete intersection, we give a formula for the footprint function and a sharp lower bound for the corresponding minimum distance function. This allows us to recover a formula for the minimum distance of an affine cartesian code and the fact that in this case the minimum distance and the footprint functions coincide. Then we present an extension of a result of Alon and Füredi, about coverings of the cube $\{0,1\}^n$ by affine hyperplanes, in terms of the regularity of a vanishing ideal.
Perfect State Transfer on gcd-graphs
Published in Linear and Multilinear Algebra, 65(11): pp.2245-2256 (2016)
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A$. The transition matrix of $G$ is denoted by $H(t)$ and it is defined by $H(t):=\exp{\left(itA\right)},\;t\in\mathbb{R}.$ The graph $G$ has perfect state transfer (PST) from a vertex $u$ to another vertex $v$ if there exist $τ\left(\neq0\right)\in\mathbb{R}$ such that the $uv$-th entry of $H(τ)$ has unit modulus. In case when $u=v$, we say that $G$ is periodic at the vertex $u$ at time $τ$. The graph $G$ is said to be periodic if it is periodic at all vertices at the same time. A gcd-graph is a Cayley graph over a finite abelian group defined by greatest common divisors. We establish a sufficient condition for a gcd-graph to have periodicity and PST at $\fracπ{2}$. Using this we deduce that there exists gcd-graph having PST over an abelian group of order divisible by $4$. Also we find a necessary and sufficient condition for a class of gcd-graphs to be periodic at $π$. Using this we characterize a class of gcd-graphs not exhibiting PST at $\fracπ{2^{k}}$ for all positive integers $k$.
Affine primitive symmetric graphs of diameter two
Published
• View Publication
• BIB
Let $n$ be a positive integer, $q$ be a prime power, and $V$ be a vector space of dimension $n$ over $\mathbb{F}_q$. Let $G := V \rtimes G_0$, where $G_0$ is an irreducible subgroup of ${\rm GL}(V)$ which is maximal by inclusion with respect to being intransitive on the set of nonzero vectors. We are interested in the class of all diameter two graphs $Γ$ that admit such a group $G$ as an arc-transitive, vertex-quasiprimitive subgroup of automorphisms. In particular, we consider those graphs for which $G_0$ is a subgroup of either ${\rm ΓL}(n,q)$ or ${\rm ΓSp}(n,q)$ and is maximal in one of the Aschbacher classes $\mathcal{C}_i$, where $i \in \{2,4,5,6,7,8\}$. We are able to determine all graphs $Γ$ which arise from $G_0 \leq {\rm ΓL}(n,q)$ with $i \in \{2,4,8\}$, and from $G_0 \leq {\rm ΓSp}(n,q)$ with $i \in \{2,8\}$. For the remaining classes we give necessary conditions in order for $Γ$ to have diameter two, and in some special subcases determine all $G$-symmetric diameter two graphs.
Bipartite separability and non-local quantum operations on graphs
Published in Physical Review A 94, 012306 (2016)
• View Publication
• BIB
In this paper we consider the separability problem for bipartite quantum states arising from graphs. Earlier it was proved that the degree criterion is the graph-theoretic counterpart of the familiar positive partial transpose criterion for separability, although there are entangled states with positive partial transpose for which the degree criterion fails. Here we introduce the concept of partially symmetric graphs and degree symmetric graphs by using the well-known concept of partial transposition of a graph and degree criteria, respectively. Thus, we provide classes of bipartite separable states of dimension $m \times n$ arising from partially symmetric graphs. We identify partially asymmetric graphs that lack the property of partial symmetry. We develop a combinatorial procedure to create a partially asymmetric graph from a given partially symmetric graph. We show that this combinatorial operation can act as an entanglement generator for mixed states arising from partially symmetric graphs.
Non-overlapping matrices
Published
• View Publication
• BIB
Two matrices are said non-overlapping if one of them can not be put on the other one in a way such that the corresponding entries coincide. We provide a set of non-overlapping binary matrices and a formula to enumerate it which involves the $k$-generalized Fibonacci numbers. Moreover, the generating function for the enumerating sequence is easily seen to be rational.
An eigenvalue localization theorem for stochastic matrices and its application to Randić matrices
Published
• View Publication
• BIB
A square matrix is called stochastic (or row-stochastic) if it is non-negative and has each row sum equal to unity. Here, we constitute an eigenvalue localization theorem for a stochastic matrix, by using its principal submatrices. As an application, we provide a suitable bound for the eigenvalues, other than unity, of the Randić matrix of a connected graph.
Remarks on divisorial ideals arising from dimer models
The Jacobian algebra $\mathsf{A}$ arising from a consistent dimer model is derived equivalent to crepant resolutions of a $3$-dimensional Gorenstein toric singularity $R$, and it is also called a non-commutative crepant resolution of $R$. This algebra $\mathsf{A}$ is a maximal Cohen-Macaulay (= MCM) module over $R$, and it is a finite direct sum of rank one MCM $R$-modules. In this paper, we observe a relationship between properties of a dimer model and those of MCM modules appearing in the decomposition of $\mathsf{A}$ as an $R$-module. More precisely, we take notice of isoradial dimer models and divisorial ideals which are called conic. Especially, we investigate them for the case of $3$-dimensional Gorenstein toric singularities associated with reflexive polygons.
The quaternionic second weighted zeta function of a graph and the Study determinant
Published
• View Publication
• BIB
We establish a generalization of the second weighted zeta function of a graph to the case of quaternions. For an arc-weighted graph whose weights are quaternions, we define the second weighted zeta function by using the Study determinant that is a quaternionic determinant for quaternionic matrices defined by Study. This definition is regarded as a quaternionic analogue of the determinant expression of Hashimoto type for the Ihara zeta function of a graph. We derive the Study determinant expression of Bass type and the Euler product for the quaternionic second weighted zeta function.
About $(k,l)$-kernels, semikernels and Grundy functions in partial line digraphs
Published
• View Publication
• BIB
Let $D=(V,A)$ be a digraph and consider an arc subset $A'\subseteq A$ and an exhaustive mapping $φ: A\to A'$ such that
$(i)$ the set of heads of $A'$ is $H(A')=V$; $(ii)$ the map fixes the elements of $A'$, that is, $φ|A'=Id$, and for every vertex $j\in V$, $φ(ω^-(j))\subset ω^-(j)\cap A'$.
Then, {\it the partial line digraph} of $D$, denoted by $\mathcal{L}_{(A',φ)}D $ (for short $\mathcal{L}D$ if the pair $(A', φ)$ is clear from the context), is the digraph with vertex set $V (\mathcal{L}D)=A'$ and set of arcs $A(\mathcal{L}D) = \{(ij, φ(j,k)) : (j,k)\in A\}.$ In this paper we prove the following results:
Let $k,l$ be two natural numbers such that $1\le l \le k$, and $D$ a digraph with minimum in-degree at least 1. Then the number of $(k,l)$-kernels of $D$ is less than or equal to the number of $(k,l)$-kernels of $\mathcal{L} D$. Moreover, if $l<k$ and the girth of $D$ is at least $l+1$, then these two numbers are equal.
The number of semikernels of $D$ is equal to the number of semikernels of $\mathcal{L} D$.
Also we introduce the concept of $(k,l)$-Grundy function as a generalization of the concept of Grundy function and we prove that the number of $(k,l)$-Grundy functions of $D$ is equal to the number of $(k,l)$-Grundy functions of any partial line digraph $\mathcal{L} D$.
Further applications of the Container Method
Published in Recent trends in Combinatorics, The IMA Volumes in Mathematics and its Applications Vol. 159, 2016
• View Publication
• BIB
Recently, Balogh--Morris--Samotij and Saxton--Thomason proved that hypergraphs satisfying some natural conditions have only few independent sets. Their main results already have several applications. However, the methods of proving these theorems are even more far reaching. The general idea is to describe some family of events, whose cardinality a priori could be large, only with a few certificates. Here, we show some applications of the methods, including counting $C_4$-free graphs, considering the size of a maximum $C_4$-free subgraph of a random graph and counting metric spaces with a given number of points. Additionally, we discuss some connections with the Szemerédi Regularity Lemma.
Zero-sum 6-flows in 5-regular graphs
Published
• View Publication
• BIB
Let $G$ be a graph. A zero-sum flow of $G$ is an assignment of non-zero real numbers to the edges of $G$ such that the sum of the values of all edges incident with each vertex is zero. Let $k$ be a natural number. A zero-sum $k$-flow is a flow with values from the set $\{\pm1, \ldots, \pm(k - 1)\}$. In this paper, we prove that every 5-regular graph admits a zero-sum 6-flow.
An elliptic extension of the general product formula for augmented rook boards
Published in Europ. J. Combin 58 (2016) 247-266
• View Publication
• BIB
Rook theory has been investigated by many people since its introduction by Kaplansky and Riordan in 1946. Goldman, Joichi and White in 1975 showed that the sum over $k$ of the product of the $(n-k)$-th rook numbers multiplied by the $k$-th falling factorial polynomials factorize into a product. In the sequel, different types of generalizations and analogues of this product formula have been derived by various authors. In 2008, Miceli and Remmel constructed a rook theory model involving augmented rook boards in which they showed the validity of a general product formula which can be specialized to all other product formulas that so far have appeared in the literature on rook theory. In this work, we construct an elliptic extension of the $q$-analogue of Miceli and Remmel's result. Special cases yield elliptic extensions of various known rook theory models.
Homomorphism Complexes and k-Cores
We prove that the topological connectivity of a graph homomorphism complex Hom($G,K_m$) is at least $m-D(G)-2$, where $\displaystyle D(G)=\max_{H\subseteq G}δ(H)$. This is a strong generalization of a theorem of Cukić and Kozlov, in which $D(G)$ is replaced by the maximum degree $Δ(G)$. It also generalizes the graph theoretic bound for chromatic number, $\displaystyleχ(G)\leq D(G)+1$, as $\displaystyleχ(G)=\min\{ m:\text{Hom}(G,K_m)\neq\varnothing\}$. Furthermore, we use this result to examine homological phase transitions in the random polyhedral complexes Hom$(G(n,p),K_m)$ when $p=c/n$ for a fixed constant $c > 0$.
Topologically $4$-chromatic graphs and signatures of odd cycles
Published
• View Publication
• BIB
We investigate group-theoretic "signatures" of odd cycles of a graph, and their connections to topological obstructions to 3-colourability. In the case of signatures derived from free groups, we prove that the existence of an odd cycle with trivial signature is equivalent to having the coindex of the hom-complex at least 2 (which implies that the chromatic number is at least 4). In the case of signatures derived from elementary abelian 2-groups we prove that the existence of an odd cycle with trivial signature is a sufficient condition for having the index of the hom-complex at least 2 (which again implies that the chromatic number is at least 4).
Bruck nets and partial Sherk planes
Published in J. Austral. Math. Soc. 104 (2018) 1-12
• View Publication
• BIB
In Bachmann's Aufbau der Geometrie aus dem Spiegelungsbegriff (1959), it was shown that a finite metric plane is a Desarguesian affine plane of odd order equipped with a perpendicularity relation on lines, and conversely. Sherk (1967) generalised this result to characterise the finite affine planes of odd order by removing the 'three reflections axioms' from a metric plane. We show that one can obtain a larger class of natural finite geometries, the so-called Bruck nets of even degree, by weakening Sherk's axioms to allow non-collinear points.
>k-homogeneous infinite graphs
Published in Journal of Combinatorial Theory, Series B 128 (2018) 160-174
• View Publication
• BIB
In this article we give an explicit classification for the countably infinite graphs $\mathcal{G}$ which are, for some $k$, $\geq$$ k$-homogeneous. It turns out that a $\geq$$k-$homogeneous graph $\mathcal{M}$ is non-homogeneous if and only if it is either not $1-$homogeneous or not $2-$homogeneous, both cases which may be classified using ramsey theory.
A technique for studying strong and weak local errors of splitting stochastic integrators
Published
• View Publication
• BIB
We present a technique, based on so-called word series, to write down in a systematic way expansions of the strong and weak local errors of splitting algorithms for the integration of Stratonovich stochastic differential equations. Those expansions immediately lead to the corresponding order conditions. Word series are similar to, but simpler than, the B-series used to analyze Runge-Kutta and other one-step integrators. The suggested approach makes it unnecessary to use the Baker-Campbell-Hausdorff formula. As an application, we compare two splitting algorithms recently considered by Leimkuhler and Matthews to integrate the Langevin equations. The word series method bears out clearly reasons for the advantages of one algorithm over the other.
Numerical semigroups II: pseudo-symmetric AA-Semigroups
Published in Journal of Algebra 470 (2017), 484-498
• View Publication
• BIB
This paper is a continuation of the paper "Numerical Semigroups: Apéry Sets and Hilbert Series". We consider the general numerical AA-semigroup, i.e., semigroups consisting of all non-negative integer linear combinations of relatively prime positive integers of the form $a,a+d,a+2d,\dots,a+kd,c$. We first prove that, in contrast to arbitrary numerical semigroups, there exists an upper bound for the type of AA-semigroups that only depends on the number of generators of the semigroup. We then present two characterizations of pseudo-symmetric AA-semigroups. The first one leads to a polynomial time algorithm to decide whether an AA-semigroup is pseudo-symmetric. The second one gives a method to construct pseudo-symmetric AA-semigroups and provides explicit families of pseudo-symmetric semigroups with arbitrarily large number of generators.
On extremal double circulant self-dual codes of lengths $90$-$96$
Published
• View Publication
• BIB
A classification of extremal double circulant self-dual codes of lengths up to $88$ is known. We give a classification of extremal double circulant self-dual codes of lengths $90,92,94$ and $96$. We also classify double circulant self-dual codes with parameters $[90,45,14]$ and $[96,48,16]$. In addition, we demonstrate that no double circulant self-dual $[90,45,14]$ code has an extremal self-dual neighbor, and no double circulant self-dual $[96,45,16]$ code has a self-dual neighbor with minimum weight at least $18$.
A class of gcd-graphs having Perfect State Transfer
Published in Electronic Notes in Discrete Mathematics, 53: pp.319-329 (2016)
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A$. The transition matrix corresponding to $G$ is defined by $H(t):=\exp{\left(itA\right)}$, $t\in\Rl$. The graph $G$ is said to have perfect state transfer (PST) from a vertex $u$ to another vertex $v$, if there exist $τ\in\Rl$ such that the $uv$-th entry of $H(τ)$ has unit modulus. The graph $G$ is said to be periodic at $τ\in\Rl$ if there exist $γ\in\Cl$ with $|γ|=1$ such that $H(τ)=γI$, where $I$ is the identity matrix. A $\mathit{gcd}$-graph is a Cayley graph over a finite abelian group defined by greatest common divisors. In this paper, we construct classes of $\mathit{gcd}$-graphs having periodicity and perfect state transfer.