Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Strong cocomparability graphs and Slash-free orderings of matrices
Published
• View Publication
• BIB
We introduce the class of strong cocomparability graphs, as the class of reflexive graphs whose adjacency matrix can be rearranged by a simultaneous row and column permutation to avoid the submatrix with rows 01, 10, which we call Slash.
We provide an ordering characterization, a forbidden structure characterization, and a polynomial-time recognition algorithm, for the class. These results complete the picture in which in addition to, or instead of, the Slash matrix one forbids the Gamma matrix (which has rows 11, 10). It is well known that in these two cases one obtains the class of interval graphs, and the class of strongly chordal graphs, respectively.
By complementation, we obtain the class of strong comparability graphs, whose adjacency matrix can be rearranged by a simultaneous row and column permutation to avoid the two-by-two identity submatrix. Thus our results give characterizations and algorithms for this class of irreflexive graphs as well. In other words, our results may be interpreted as solving the following problem: given a symmetric 0,1-matrix with 0-diagonal, can the rows and columns of be simultaneously permuted to avoid the two-by-two identity submatrix?
On Gelfand and MacPherson's combinatorial formula for Pontrjagin classes
In 1992 Gelfand and MacPherson gave a local and combinatorial formula for the Pontrjagin classes of a differential manifold. We give an expanded version of their discussion and highlight the origins of combinatorial differential manifolds in their work.
Sliding Block Puzzles with a Twist: On Segerman's 15+4 Puzzle
Published
• View Publication
• BIB
Segerman's 15+4 puzzle is a hinged version of the classic 15-puzzle, in which the tiles rotate as they slide around. In 1974, Wilson classified the groups of solutions to sliding block puzzles. We generalize Wilson's result to puzzles like the 15+4 puzzle, where the tiles can rotate, and the sets of solutions are subgroups of the generalized symmetric groups. Aside from two exceptional cases, we see that the group of solutions to such a puzzle is always either the entire generalized symmetric group or one of two special subgroups of index two.
A note on directed analogues of the Sidorenko and forcing conjectures
Published
• View Publication
• BIB
We study analogues of Sidorenko's conjecture and the forcing conjecture in oriented graphs, showing that natural variants of these conjectures in directed graphs are equivalent to the asymmetric, undirected analogues of the conjectures.
The Discrete Gauss Image Problem
We study the Discrete Gauss Image Problem, a generalization of Aleksandrov's classical question on the existence of convex bodies with prescribed integral curvature. We introduce a combinatorial problem called the Assignment Problem and show its equivalence to the Discrete Gauss Image Problem. We establish sufficient (and nearly necessary) geometric conditions on measures that solve both problems. Additionally, we provide new discrete interpretations of some classical concepts related to Aleksandrov's integral curtvature, such as, for example, connecting Aleksandrov relation to Hall's Marriage Theorem.
The $A_α$ spectral radius with given independence number $n-4$
Published
• View Publication
• BIB
Let $G$ be a graph with adjacency matrix $A(G)$ and degree diagonal matrix $D (G)$. In 2017, Nikiforov [Appl. Anal. Discrete Math., 11 (2017) 81--107] defined the matrix $A_α(G) = αD(G) + (1-α)A(G)$ for any real $α\in[0,1]$. The largest eigenvalue of $A(G)$ is called the spectral radius of $G$, while the largest eigenvalue of $A_α(G)$ is called the $A_α$ spectral radius of $G$. Let $\mathcal{G}_{n,i}$ be the set of graphs of order $n$ with independence number $i$. Recently, for all graphs in $\mathcal{G}_{n,i}$ having the minimum or the maximum $A$, $Q$ and $A_α$ spectral radius where $i\in\{1,2,\lfloor\frac{n}{2}\rfloor\,\lceil\frac{n}{2}\rceil+1,n-3,n-2,n-1\}$, there are some results have been given by Xu, Li and Sun et al., respectively. In 2021, Luo and Guo [Discrete Math., 345 (2022) 112778] determined all graphs in $\mathcal{G}_{n,n-4}$ having the minimum spectral radius. In this paper, we characterize the graphs in $\mathcal{G}_{n,n-4}$ having the minimum and the maximum $A_α$ spectral radius for $α\in[\frac{1}{2},1)$, respectively.
The $A_α$ spectral radius of $k$-connected graphs with given diameter
Let $G$ be a graph with adjacency matrix $A(G)$ and degree diagonal matrix $D (G)$. In 2017, Nikiforov defined the matrix $A_α(G) = αD(G) + (1-α)A(G)$ for any real $α\in[0,1]$. The largest eigenvalue of $A_α(G)$ is called the $A_α$ spectral radius or the $A_α$-index of $G$.
Let $\mathcal{G}_{n,k}^d$ be the set of $k$-connected graphs of order $n$ with diameter $d$. In this paper, we determine the graphs with maximum $A_α$ spectral radius among all graphs in $\mathcal{G}_{n,k}^d$ for any $α\in[0,1)$, where $k\geq2$ and $d\geq2$. We generalizes the results about adjacency matrix of Theorem 3.6 in [P. Huang, W.C. Shiu, P.K. Sun, Linear Algebra Appl., 488 (2016) 350--362] and the results about signless Laplacian matrix of Theorem 3.4 in [P. Huang, J.X. Li, W.C. Shiu, Linear Algebra Appl., 617 (2021) 78--99]. Furthermore, we also obtain the upper and lower bounds of the extremal graph in $\mathcal{G}_{n,k}^d$.
Harmonic Tutte polynomials of matroids II
Published
• View Publication
• BIB
In this work, we introduce the harmonic generalization of the $m$-tuple weight enumerators of codes over finite Frobenius rings. A harmonic version of the MacWilliams-type identity for $m$-tuple weight enumerators of codes over finite Frobenius ring is also given. Moreover, we define the demi-matroid analogue of well-known polynomials from matroid theory, namely Tutte polynomials and coboundary polynomials, and associate them with a harmonic function. We also prove the Greene-type identity relating these polynomials to the harmonic $m$-tuple weight enumerators of codes over finite Frobenius rings. As an application of this Greene-type identity, we provide a simple combinatorial proof of the MacWilliams-type identity for harmonic $m$-tuple weight enumerators over finite Frobenius rings. Finally, we provide the structure of the relative invariant spaces containing the harmonic $m$-tuple weight enumerators of self-dual codes over finite fields.
Symmetric property and edge-disjoint Hamiltonian cycles of the spined cube
Published
• View Publication
• BIB
The spined cube $SQ_n$ is a variant of the hypercube $Q_n$, introduced by Zhou et al. in [Information Processing Letters 111 (2011) 561-567] as an interconnection network for parallel computing. A graph $\G$ is an $m$-Cayley graph if its automorphism group $\Aut(\G)$ has a semiregular subgroup acting on the vertex set with $m$ orbits, and is a Caley graph if it is a 1-Cayley graph. It is well-known that $Q_n$ is a Cayley graph of an elementary abelian 2-group $\mz_2^n$ of order $2^n$. In this paper, we prove that $SQ_n$ is a 4-Cayley graph of $\mz_2^{n-2}$ when $n\geq6$, and is a $\lfloor n/2\rfloor$-Cayley graph when $n\leq 5$. This symmetric property shows that an $n$-dimensional spined cube with $n\geq6$ can be decomposed to eight vertex-disjoint $(n-3)$-dimensional hypercubes, and as an application, it is proved that there exist two edge-disjoint Hamiltonian cycles in $SQ_n$ when $n\geq4$. Moreover, we determine the vertex-transitivity of $SQ_n$, and prove that $SQ_n$ is not vertex-transitive unless $n\leq3$.
A bijection between rooted planar maps and generalized fighting fish
Published
• View Publication
• BIB
The class of fighting fish is a recently introduced model of branching surfaces generalizing parallelogram polyominoes. We can alternatively see them as gluings of cells, walks on the square lattice confined to the quadrant or shuffle of Dyck words. With these different points of view, we introduce a natural extension of fighting fish that we call \emph{generalized fighting fish}. We show that generalized fighting fish are exactly the Mullin codes of rooted planar maps endowed with their unique rightmost depth-first search spanning tree, also known as Lehman-Lenormand code. In particular, this correspondence gives a bijection between fighting fish and nonseparable rooted planar maps, enriching the garden of bijections between classes of objects enumerated by the sequence $\frac{2}{(n+1)(2n+1)} \binom{3n}{n}$.
Circular Costas maps: a multidimensional analog of circular Costas sequences
Published
• View Publication
• BIB
A unifying theoretical framework is presented, in which the connections among Costas sequences, circular Costas sequences, Costas polynomials, the shifting property, and Welch sequences are extended to the multidimensional context. Several conjectures on multidimensional periodic Costas arrays by J. Ortiz-Ubarri et al. are proved. Furthermore, a conjecture on Costas polynomials over extension fields presented by Muratovic-Ribic et al. is showed to be a multidimensional extension of a conjecture by Golomb and Moreno on circular Costas sequences. A weaker version of said conjecture is proved by considering a multidimensional extension of the shifting Costas property defined by O. Moreno.
Tight Heffter arrays from finite fields
Published
• View Publication
• BIB
After extending the classic notion of a tight Heffter array H$(m,n)$ to any group of order $2mn+1$, we give direct constructions for elementary abelian tight Heffter arrays, hence in particular for prime tight Heffter arrays. If $q=2mn+1$ is a prime power, we say that an elementary abelian H$(m,n)$ is ``over $\mathbb{F}_q$" since, for its construction, we exploit both the additive and multiplicative structure of the field of order $q$. We show that in many cases a direct construction of an H$(m,n)$ over $\mathbb{F}_q$, say $A$, can be obtained very easily by imposing that $A$ has rank 1 and, possibly, a rich group of {\it multipliers}, that are elements $u$ of $\mathbb{F}_q$ such that $u A=A$ up to a permutation of rows and columns. An H$(m,n)$ over $\mathbb{F}_q$ will be said {\it optimal} if the order of its group of multipliers is the least common multiple of the odd parts of $m$ and $n$, since this is the maximum possible order for it. The main result is an explicit construction of a rank-one H$(m,n)$ -- reaching almost always the optimality -- for all admissible pairs $(m,n)$ for which there exist two distinct odd primes $p$, $p'$ dividing $m$ and $n$, respectively.
Some algebraic identity and its relations to Stirling numbers of the second kind
Published
• View Publication
• BIB
In this short note we provide some algebraic identity with a proof exploiting its probabilistic interpretation. We show several consequences of the identity, in particular we obtain a new representation of a Stirling number of second kind,
$$ S(n,d)={1\over d!} \sum_{1\leq j_1<j_2<\ldots<j_{d-1}< n} 1\cdot2^{j_{d-1}-j_{d-2}}\cdots d^{j_1}$$
for integers $n\geq d$. Relating this to other known formula for $S(n,d)$ we also obtain
$$ \sum_{1\leq j_1\leq j_2\leq \cdots\leq j_{n-d}\leq d} j_1j_2\ldots,j_{n-d} =d! \sum_{1\leq j_1<j_2<\ldots<j_{d-1}< n} 1\cdot2^{j_{d-1}-j_{d-2}}\cdots d^{j_1}.$$
As a side effect, we have new proof of a known result stating that for any integer $d\in\mathbb{N}$ and any $x\in\mathbb{R}$ equality
$$\sum_{r=0}^d (-1)^r{d\choose r}(x-r)^d=d!$$ holds. This is a special case of the presented identity.
Additive and multiplicative Gower's Ramsey theorem
W. T. Gower generalized Hindman's Finite sum theorem over $X_{k}=\left\{ \left(n_{1},n_{2},\ldots,n_{k}\right):n_{1}\neq0\right\} $ by showing that for any finite coloring of $X_{k}$ there exists a sequence such that the Gower subspace generated by that sequence is monochromatic. For $k=1,$ this immediately gives the finite sum theorem. In this article we will show that for any finite coloring of $X_{k}$ there exist two sequences $\left\{ \mathbf{n_{i}}:i\in I\right\} $ and $\left\{ \mathbf{m_{i}}:i\in I\right\} $ such that the Gower subspace generated by $\left\{ \mathbf{n_{i}}:i\in I\right\} $ and set of all finite products of $\left\{ \mathbf{m_{i}}:i\in I\right\} $ are in a single color. This immediately generalize a result of V. Bergelson and N. Hindman which says that for any finite coloring of $\mathbb{N}$, there exist two sequences $\left(x_{n}\right)_{n}$ and $\left(y_{n}\right)_{n}$ such that the finite sum and product generated by $\left(x_{n}\right)_{n}$ and $\left(y_{n}\right)_{n}$ are in a same color.
Product of difference sets of set of primes
Published
• View Publication
• BIB
In a recent work \cite{key-11}, A. Fish proved that if $E_{1}$ and $E_{2}$ are two subsets of $\mathbb{Z}$ of positive upper Banach density, then there exists $k\in\mathbb{Z}$ such that $k\cdot\mathbb{Z}\subset\left(E_{1}-E_{1}\right)\cdot\left(E_{2}-E_{2}\right).$ In this article we will show that a similar result is true for the set of primes $\mathbb{P}$ (which has density $0$). We will prove that there exists $k\in\mathbb{N}$ such that $k\cdot\mathbb{N}\subset\left(\mathbb{P}-\mathbb{P}\right)\cdot\left(\mathbb{P}-\mathbb{P}\right),$ where $\mathbb{P}-\mathbb{P}=\left\{ p-q:p>q\,\text{and}\,p,q\in\mathbb{P}\right\} .$
$P$-polynomial weakly distance-regular digraphs
Published
• View Publication
• BIB
A weakly distance-regular digraph is $P$-polynomial if its attached scheme is $P$-polynomial. In this paper, we characterize all $P$-polynomial weakly distance-regular digraphs.
Set systems without a simplex, Helly hypergraphs and union-efficient families
We present equivalent formulations for concepts related to set families for which every subfamily with empty intersection has a bounded sub-collection with empty intersection. Hereby, we summarize the progress on the related questions about the maximum size of such families.
In this work we solve a boundary case of a problem of Tuza for non-trivial $q$-Helly families, by applying Karamata's inequality and determining the minimum size of a $2$-self-centered graph for which the common neighborhood of every pair of vertices contains a clique of size $q-2$.
Terrain-like Graphs and the Median Genocchi Numbers
Published
• View Publication
• BIB
A graph with vertex set $\{1,\ldots,n\}$ is terrain-like if, for any edge pair $\{a,c\},\{b,d\}$ with $a<b<c<d$, the edge $\{a,d\}$ also exists. Terrain-like graphs frequently appear in geometry in the context of visibility graphs. We show that terrain-like graphs are counted by the median Genocchi numbers. To this end, we prove a bijection between terrain-like graphs and Dumont derangements of the second kind.
Equivariant resolutions over Veronese rings
Published
• View Publication
• BIB
Working in a polynomial ring $S=\mathbf{k}[x_1,\ldots,x_n]$ where $\mathbf{k}$ is an arbitrary commutative ring with $1$, we consider the $d^{th}$ Veronese subalgebras $R=S^{(d)}$, as well as natural $R$-submodules $M=S^{(\geq r, d)}$ inside $S$. We develop and use characteristic-free theory of Schur functors associated to ribbon skew diagrams as a tool to construct simple $GL_n(\mathbf{k})$-equivariant minimal free $R$-resolutions for the quotient ring $\mathbf{k}=R/R_+$ and for these modules $M$. These also lead to elegant descriptions of $\mathrm{Tor}^R_i(M,M')$ for all $i$ and $\mathrm{Hom}_R(M,M')$ for any pair of these modules $M,M'$.
Gallai's Conjecture for Complete and "Nearly Complete" Graphs
The famous Gallai's Conjecture states that any connected graph with n vertices has a path decomposition containing at most (n+1)/2 paths. In this note, we explore graphs generated from removing edges from complete graphs. We first provide an explicit construction for a path decomposition of complete graphs that satisfies Gallai's Conjecture. We then use that construction to prove that we can remove stars and certain tadpoles such that the resulting graph still satisfies Gallai's Conjecture. We also introduce a potential general approach through analyzing non-isomorphic path decompositions of complete graphs.