Showing 20 papers (Total: 82797 papers, 47838 authors in database)
On the separability of cyclotomic schemes over finite field
Published
• View Publication
• BIB
It is proved that with finitely many possible exceptions, each cyclotomic scheme over finite field is determined up to isomorphism by the tensor of 2-dimensional intersection numbers; for infinitely many schemes, this result cannot be improved. As a consequence, the Weisfeiler-Leman dimension of a Paley graph or tournament is at most 3 with possible exception of several small graphs.
A Note on the Trace Method for Random Regular Graphs
Published in Israel Journal of Mathematics, 256, 269--282, 2023
• View Publication
• BIB
The main goal of this note is to illustrate the advantage of analyzing the non-backtracking spectrum of a regular graph rather than the ordinary spectrum. We show that by switching to non-backtracking spectrum, the method of proof used in [Puder 2015, arXiv::1212.5216] yields a bound of $2\sqrt{d-1}+\frac{2}{\sqrt{d-1}}$ instead of the original $2\sqrt{d-1}+1$ on the second largest eigenvalue of a random $d$-regular graph.
Higher matching complexes of complete graphs and complete bipartite graphs
Published
• View Publication
• BIB
For $r\geq 1$, the $r$-matching complex of a graph $G$, denoted $M_r(G)$, is a simplicial complex whose faces are the subsets $H \subseteq E(G)$ of the edge set of $G$ such that the degree of any vertex in the induced subgraph $G[H]$ is at most $r$. In this article, we give a closed form formula for the homotopy type of the $(n-2)$-matching complex of complete graph on $n$ vertices. We also prove that the $(n-1)$-matching complex of complete bipartite graph $K_{n,n}$ is homotopy equivalent to a sphere of dimension $(n-1)^2-1$.
From Hodge theory for tame functions to Ehrhart theory for polytopes
Published
• View Publication
• BIB
We study the interplay between Sabbah's mixed Hodge structure for regular functions and Ehrhart theory for polytopes. To this end, we analyze the properties of the Poincaré polynomial of the Hodge filtration of this mixed Hodge structure.
Kernelization of Whitney Switches
Published
• View Publication
• BIB
A fundamental theorem of Whitney from 1933 asserts that 2-connected graphs G and H are 2-isomorphic, or equivalently, their cycle matroids are isomorphic, if and only if G can be transformed into H by a series of operations called Whitney switches. In this paper we consider the quantitative question arising from Whitney's theorem: Given two 2-isomorphic graphs, can we transform one into another by applying at most k Whitney switches? This problem is already NP-complete for cycles, and we investigate its parameterized complexity. We show that the problem admits a kernel of size O(k), and thus, is fixed-parameter tractable when parameterized by k.
Guarding Quadrangulations and Stacked Triangulations with Edges
Published
• View Publication
• BIB
Let $G = (V,E)$ be a plane graph. A face $f$ of $G$ is guarded by an edge $vw \in E$ if at least one vertex from $\{v,w\}$ is on the boundary of $f$. For a planar graph class $\mathcal{G}$ we ask for the minimal number of edges needed to guard all faces of any $n$-vertex graph in $\mathcal{G}$. We prove that $\lfloor n/3 \rfloor$ edges are always sufficient for quadrangulations and give a construction where $\lfloor (n-2)/4 \rfloor$ edges are necessary. For $2$-degenerate quadrangulations we improve this to a tight upper bound of $\lfloor n/4 \rfloor$ edges. We further prove that $\lfloor 2n/7 \rfloor$ edges are always sufficient for stacked triangulations (that are the $3$-degenerate triangulations) and show that this is best possible up to a small additive constant.
Path-cordial abelian groups
Published in Australasian Journal of Combinatorics 80, no. 1, 2021, 157-166
• Search Publication
A labeling of the vertices of a graph by elements of any abelian group $A$ induces a labeling of the edges by summing the labels of their endpoints. Hovey defined the graph $G$ to be $A$-cordial if it has such a labeling where the vertex labels and the edge labels are both evenly-distributed over $A$ in a technical sense. His conjecture that all trees $T$ are $A$-cordial for all cyclic groups $A$ remains wide open, despite significant attention. Curiously, there has been very little study of whether Hovey's conjecture might extend beyond the class of cyclic groups.
We initiate this study by analyzing the larger class of finite abelian groups $A$ such that all path graphs are $A$-cordial. We conjecture a complete characterization of such groups, and establish this conjecture for various infinite families of groups as well as for all groups of small order.
Strong cliques in diamond-free graphs
Published
• View Publication
• BIB
A strong clique in a graph is a clique intersecting all inclusion-maximal stable sets. Strong cliques play an important role in the study of perfect graphs. We study strong cliques in the class of diamond-free graphs, from both structural and algorithmic points of view. We show that the following five NP-hard or co-NP-hard problems remain intractable when restricted to the class of diamond-free graphs: Is a given clique strong? Does the graph have a strong clique? Is every vertex contained in a strong clique? Given a partition of the vertex set into cliques, is every clique in the partition strong? Can the vertex set be partitioned into strong cliques? On the positive side, we show that the following two problems whose computational complexity is open in general can be solved in linear time in the class of diamond-free graphs: Is every maximal clique strong? Is every edge contained in a strong clique? These results are derived from a characterization of diamond-free graphs in which every maximal clique is strong, which also implies an improved Erdős-Hajnal property for such graphs.
Bijections for restricted inversion sequences and permutations with fixed points
We provide a bijective proof of a formula of Auli and the author expressing the number of inversion sequences with no three consecutive equal entries in terms of the number of non-derangements, that is, permutations with fixed points. Additionally, we give bijective proofs of two simple recurrences for the number of non-derangements.
A new extension of the Sun-Zagier result involving Bell numbers and derangement numbers
Let $p$ be any prime and let $a$ and $n$ be positive integers with $p\nmid n$. We show that $$\sum_{k=1}^{p^a-1}\frac{B_k}{(-n)^k}\equiv a(-1)^{n-1}D_{n-1}\pmod {p},$$ where $B_0,B_1,\ldots$ are the Bell numbers and $D_0,D_1,\ldots$ are the derangement numbers. This extends a result of Sun and Zagier published in 2011. Furthermore, we prove that $$(-x)^n\sum_{k=1}^{p^a-1}\frac{B_k(x)}{(-n)^k}\equiv -\sum_{r=1}^ax^{p^r}\sum_{k=0}^{n-1}\frac{(n-1)!}{k!}(-x)^k\pmod{p\mathbb Z_p[x]},$$ where $B_k(x)=\sum_{l=0}^kS(k,l)x^l$ is the Bell polynomial of degree $k$ with $S(k,l)\ (0\le l\le k)$ the Stirling numbers of the second kind, and $\mathbb Z_p$ is the ring of all $p$-adic integers.
Spectral ordering and 2-switch transformations
Published
• View Publication
• BIB
We address the problem of ordering trees with the same degree sequence by their spectral radii. To achieve that, we consider 2-switch transformations which preserve the degree sequence and establish when the index decreases. Our main contribution is to determine a total ordering of a particular family by their indices according to a given parameter related to sizes in the tree.
Primality of closed path polyominoes
Published
• View Publication
• BIB
In this paper we introduce a new class of polyominoes, called closed paths, and we study the primality of their associated ideal. Inspired by an existing conjecture that characterizes the primality of a polyomino ideal by nonexistence of zig-zag walks, we classify all closed paths which do not contain zig-zag walks, and we give opportune toric representations of the associated ideals. To support the conjecture we prove that having no zig-zag walks is a necessary and sufficient condition for the primality of the associated ideal of a closed path. Finally, we present some classes of prime polyominoes viewed as generalizations of closed paths.
On abelian $\ell$-towers of multigraphs
We study how the $\ell$-adic valuation of the number of spanning trees varies in regular abelian $\ell$-towers of multigraphs. We show that for an infinite family of regular abelian $\ell$-towers of bouquets, the behavior of the $\ell$-adic valuation of the number of spanning trees behave similarly to the $\ell$-adic valuation of the class numbers in $\mathbb{Z}_{\ell}$-extensions of number fields.
Derivatives, Eulerian polynomials and the $g$-indexes of Young tableaux
Published
• View Publication
• BIB
In this paper we first present summation formulas for $k$-order Eulerian polynomials and $1/k$-Eulerian polynomials. We then present combinatorial expansions of $(c(x)D)^n$ in terms of inversion sequences as well as $k$-Young tableaux, where $c(x)$ is a differentiable function in the indeterminate $x$ and $D$ is the derivative with respect to $x$. We define the $g$-indexes of $k$-Young tableaux and Young tableaux, which have important applications in combinatorics. By establishing some relations between $k$-Young tableaux and standard Young tableaux, we express Eulerian polynomials, second-order Eulerian polynomials, André polynomials and the generating polynomials of gamma coefficients of Eulerian polynomials in terms of standard Young tableaux, which imply a deep connection among these polynomials.
Enumeration of Standard Puzzles
We introduce a large family of combinatorial objects, called standard puzzles, defined by very simple rules. We focus on the standard puzzles for which the enumeration problems can be solved by explicit formulas or by classical numbers, such as binomial coefficients, Fibonacci numbers, tangent numbers, Catalan numbers, $\ldots$
Cheating Robot Games: A model for insider information
Combinatorial games are two-player games of pure strategy where the players, usually called Left and Right, move alternately. In this paper, we introduce Cheating Robot games. These arise from simultaneous-play combinatorial games where one player has insider information ('cheats'). Play occurs in rounds. At the beginning of a round, both players know the moves that are available to them. Left chooses a move. Knowing Left's move, Right then chooses a move. Right's move is not constrained by Left's choice. The round is not completed until both players have made a choice. A game is finished only when one or both players do not have a move at the beginning of a round. Right choosing a move, knowing Left's, makes the games deterministic, distinguishing them from simultaneous games. Also, the ending condition distinguishes this class of games from combinatorial games, since the outcomes are now Left-win, Right-win and draw.
The basic theory and properties are developed, including showing that there is an equivalence relation and partial order on the games. Whilst there are no inverses in the class of all games, we show that there is a sub-class, simple hot games, in which the integers have inverses. In this sub-class, the optimal strategies are obtained by the solutions to a minimum-weight matching problem on a graph whose number of vertices equals the number of summands in the disjunctive sum.
Bounds for Combinatorial Types of Non-Attacking Riders
Given q non-attacking riders with r moves, the number of combinatorial types has not been found for r greater than 2 and q greater than 3. This paper aims to create upper and lower bound functions which can be applied to any q and r, regardless of size.
A survey of repositories in graph theory
Since the pioneering work of R. M. Foster in the 1930s, many graph repositories have been created to support research in graph theory. This survey reviews many of these graph repositories and summarises the scope and contents of each repository. We identify opportunities for the development of repositories that can be queried in more flexible ways.
Average of complete joint weight enumerators and self-dual codes
Published
• View Publication
• BIB
In this paper, we give a representation of the average of complete joint weight enumerators of two linear codes of length $n$ over $\mathbb{F}_{q}$ and $\mathbb{Z}_{k}$ in terms of the compositions of $n$ and their distributions in the codes. We also obtain a generalization of the representation for the average of $g$-fold complete joint weight enumerators of codes over $\mathbb{F}_{q}$ and $\mathbb{Z}_{k}$. Finally, the average of intersection numbers of a pair of Type III (resp. Type IV) codes, and its second moment are found.
A Note on the Cross-Correlation of Costas Permutations
Published
• View Publication
• BIB
We build on the work of Drakakis et al. (2011) on the maximal cross-correlation of the families of Welch and Golomb Costas permutations. In particular, we settle some of their conjectures. More precisely, we prove two results.
First, for a prime $p\ge 5$, the maximal cross-correlation of the family of the $\varphi(p-1)$ different Welch Costas permutations of $\{1,\ldots,p-1\}$ is $(p-1)/t$, where $t$ is the smallest prime divisor of $(p-1)/2$ if $p$ is not a safe prime and at most $1+p^{1/2}$ otherwise. Here $\varphi$ denotes Euler's totient function and a prime $p$ is a safe prime if $(p-1)/2$ is also prime.
Second, for a prime power $q\ge 4$ the maximal cross-correlation of a subfamily of Golomb Costas permutations of $\{1,\ldots,q-2\}$ is $(q-1)/t-1$ if $t$ is the smallest prime divisor of $(q-1)/2$ if $q$ is odd and of $q-1$ if $q$ is even provided that $(q-1)/2$ and $q-1$ are not prime, and at most $1+q^{1/2}$ otherwise. Note that we consider a smaller family than Drakakis et al. Our family is of size $\varphi(q-1)$ whereas there are $\varphi(q-1)^2$ different Golomb Costas permutations. The maximal cross-correlation of the larger family given in the tables of Drakakis et al. is larger than our bound (for the smaller family) for some $q$.