Showing 20 papers (Total: 82374 papers, 47635 authors in database)
Identities involving the tribonacci numbers squared via tiling with combs
Published in The Fibonacci Quarterly, vol. 61 (2023), no.1, pp. 21-27
• View Publication
• BIB
The number of ways to tile an $n$-board (an $n\times1$ rectangular board) with $(\frac12,\frac12;1)$-, $(\frac12,\frac12;2)$-, and $(\frac12,\frac12;3)$-combs is $T_{n+2}^2$ where $T_n$ is the $n$th tribonacci number. A $(\frac12,\frac12;m)$-comb is a tile composed of $m$ sub-tiles of dimensions $\frac12\times1$ (with the shorter sides always horizontal) separated by gaps of dimensions $\frac12\times1$. We use such tilings to obtain quick combinatorial proofs of identities relating the tribonacci numbers squared to one another, to other combinations of tribonacci numbers, and to the Fibonacci, Narayana's cows, and Padovan numbers. Most of these identities appear to be new.
On f-Derangements and Decomposing Bipartite Graphs into Paths
Published
• View Publication
• BIB
Let $f: \{1, ..., n\} \rightarrow \{1, ..., n\}$ be a function (not necessarily one-to-one). An $f-derangement$ is a permutation $ g:\{1,...,n\} \rightarrow \{1,...,n\}$ such that $g(i) \neq f(i)$ for each $ i = 1, ..., n$. When $f$ is itself a permutation, this is a standard derangement. We examine properties of f-derangements, and show that when we fix the maximum number of preimages for any item under $f$, the fraction of permutations that are f-derangements tends to $ 1/e$ for large $n$, regardless of the choice of $f$. We then use this result to analyze a heuristic method to decompose bipartite graphs into paths of length 5
Automorphisms of left Ideal relation graph over full matrix ring
The left-ideal relation graph on a ring $R$, denoted by $\overrightarrow{Γ_{l-i}}(R)$, is a directed graph whose vertex set is all the elements of $R$ and there is a directed edge from $x$ to a distinct $y$ if and only if the left ideal generated by $x$, written as $[x]$, is properly contained in the left ideal generated by $y$. In this paper, the automorphisms of $\overrightarrow{Γ_{l-i}}(R)$ are characterized, where $R$ is the ring of all $n \times n$ matrices over a finite field $F_q$. The undirected left relation graph, denoted by $Γ_{l-i}(M_n(F_q))$, is the simple graph whose vertices are all the elements of $R$ and two distinct vertices $x, y$ are adjacent if and only if either $[x] \subset [y]$ or $[y] \subset [x]$ is considered. Various graph theoretic properties of $Γ_{l-i}(M_n(F_q))$ including connectedness, girth, clique number, etc. are studied.
On the intersection ideal graph of semigroups
Published
• View Publication
• BIB
The intersection ideal graph $Γ(S)$ of a semigroup $S$ is a simple undirected graph whose vertices are all nontrivial left ideals of $S$ and two distinct left ideals $I, J$ are adjacent if and only if their intersection is nontrivial. In this paper, we investigate the connectedness of $Γ(S)$. We show that if $Γ(S)$ is connected then $diam(Γ(S)) \leq 2$. Further we classify the semigroups such that the diameter of their intersection graph is two. Other graph invariants, namely perfectness, planarity, girth, dominance number, clique number, independence number etc. are also discussed. Finally, if $S$ is union of $n$ minimal left ideals then we obtain the automorphism group of $Γ(S)$.
Proving some conjectures on Kekulé numbers for certain benzenoids by using Chebyshev polynomials
Published
• View Publication
• BIB
In chemistry, Cyvin-Gutman enumerates Kekulé numbers for certain benzenoids and record it as $A050446$ on OEIS. This number is exactly the two variable array $T(n,m)$ defined by the recursion $T(n, m) = T(n, m-1) + \sum^{\lfloor\frac{n-1}{2}\rfloor}_{k=0} T(2k, m-1)T(n-1-2k, m)$, where $T(n,0)=T(0,m)=1$ for all nonnegative integers $m,n$. Interestingly, this number also appeared in the context of weighted graphs, graph polytopes, magic labellings, and unit primitive matrices, studied by different authors. Several interesting conjectures were made on the OEIS. These conjectures are related to both the row and column generating function of $T(n,m)$. In this paper, give explicit formula of the column generating function, which is also the generating function $F(n,x)$ studied by Bóna, Ju, and Yoshida. We also get trig function representations by using Chebyshev polynomials of the second kind. This allows us to prove all these conjectures.
On some problems regarding distance-balanced graphs
A graph $Γ$ is said to be distance-balanced if for any edge $uv$ of $Γ$, the number of vertices closer to $u$ than to $v$ is equal to the number of vertices closer to $v$ than to $u$, and it is called nicely distance-balanced if in addition this number is independent of the chosen edge $uv$. A graph $Γ$ is said to be strongly distance-balanced if for any edge $uv$ of $Γ$ and any integer $k$, the number of vertices at distance $k$ from $u$ and at distance $k+1$ from $v$ is equal to the number of vertices at distance $k+1$ from $u$ and at distance $k$ from $v$.
In this paper we answer an open problem posed by Kutnar and Miklavič [European J. Combin. 39 (2014), 57-67] by constructing several infinite families of nonbipartite nicely distance-balanced graphs which are not strongly distance-balanced. We disprove a conjecture regarding characterization of strongly distance-balanced graphs posed by Balakrishnan et al. [European J. Combin. 30 (2009), 1048-1053] by providing infinitely many counterexamples, and answer an open question posed by Kutnar et al. in [Discrete Math. 306 (2006), 1881-1894] regarding existence of semisymmetric distance-balanced graphs which are not strongly distance-balanced by providing an infinite family of such examples. We also show that for a graph $Γ$ with $n$ vertices and $m$ edges it can be checked in $O(mn)$ time if $Γ$ is strongly-distance balanced and if $Γ$ is nicely distance-balanced.
Triangles in intersecting families
Published
• View Publication
• BIB
We prove the following the generalized Turán type result. A collection $\mathcal{T}$ of $r$ sets is an $r$-triangle if for every $T_1,T_2,\dots,T_{r-1}\in \mathcal{T}$ we have $\cap_{i=1}^{r-1}T_i\neq\emptyset$, but $\cap_{T\in \mathcal{T}}T$ is empty. A family $\mathcal{F}$ of sets is $r$-wise intersecting if for any $F_1,F_2,\dots,F_r\in \mathcal{F}$ we have $\cap_{i=1}^rF_i\neq \emptyset$ or equivalently if $\mathcal{F}$ does not contain any $m$-triangle for $m=2,3,\dots,r$. We prove that if $n\ge n_0(r,k)$, then the $r$-wise intersecting family $\mathcal{F}\subseteq \binom{[n]}{k}$ containing the most number of $(r+1)$-triangles is isomorphic to $\{F\in \binom{[n]}{k}:|F\cap [r+1]|\ge r\}$.
Neighborly partitions and the numerators of Rogers-Ramanujan identities
Published
• View Publication
• BIB
We prove two partition identities which are dual to the Rogers-Ramanujan identities. These identities are inspired by (and proved using) a correspondence between three kinds of objects: a new type of partitions (neighborly partitions), monomial ideals and some infinite graphs.
Skew Dyck paths with catastrophes
Skew Dyck paths are like Dyck paths, but an additional south-west step $(-1,-1)$ is allowed, provided that the path does not intersect itself. Lattice paths with catastrophes can drop from any level to the origin in just one step. We combine these two ideas. The analysis is strictly based on generating functions, and the kernel method is used.
Four Blocks Cycles C(k,1,1,1) in Digraphs
A four blocks cycle C(k1,k2,k3,k4) is an oriented cycle formed by the union of four internally disjoint directed paths of lengths k1,k2,k3 and k4 respectively. El Mniny proved that if D is a digraph having a spanning out-tree T with no subdivisions of C(k, 1, 1, 1), then the chromatic number of D is at most 8^{3}k. In this paper, we will improve this bound to 18k.
Standard Young tableaux and lattice paths
Using lattice path counting arguments, we reproduce a well known formula for the number of standard Young tableaux. We also produce an interesting new formula for tableaux of height $\leq 3$ using the Fourier methods of Ault and Kicey.
Most Clicks Problem in Lights Out
Consider a game played on a simple graph $G = (V, E)$ where each vertex consists of a clickable light. Clicking any vertex $v$ toggles the on/off state of $v$ and its neighbors. Starting from an initial configuration of lights, one wins the game by finding a solution: a sequence of clicks that turns off all the lights. When $G$ is a $5 \times 5$ grid, this game was commercially available from Tiger Electronics as Lights Out. Restricting ourselves to solvable initial configurations, we pose a natural question about this game, the Most Clicks Problem (MCP): How many clicks does a worst-case initial configuration on $G$ require to solve? The answer to the MCP is already known for nullity 0 graphs: those on which every initial configuration is solvable. Generalizing a technique from Scherphius, we give an upper bound to the MCP for all grids of size $(6k - 1) \times (6k - 1)$. We show the value given by this upper bound exactly solves the MCP for all nullity 2 grids of this size. We conjecture that all nullity 2 grids are of size $(6k - 1) \times (6k - 1)$, which would mean we solve the MCP for all nullity 2 square grids.
Finite subunitals of the Hermitian unitals
Every finite subunital of any generalized hermitian unital is itself a hermitian unital; the embedding is given by an embedding of quadratic field extensions. In particular, a generalized hermitian unital with a finite subunital is a hermitian one (i.e., it originates from a separable field extension).
A classification of combinatorial types of discriminantal arrangements
Published
• View Publication
• BIB
Manin and Schechtman introduced a family of arrangements of hyperplanes generalizing classical braid arrangements, which they called the $\textit{discriminantal arrangements}$. Athanasiadis proved a conjecture by Bayer and Brandt providing a full description of the combinatorics of discriminantal arrangements in the case of $\textit{very generic}$ arrangements. Libgober and Settepanella described a sufficient geometric condition for given arrangements to be $\textit{non very generic}$ in terms of the notion of dependency for a certain arrangement. Settepanella and the author generalized the notion of dependency introducing $r$-sets and $K_\mathbb{T}$-vector sets, and provided a sufficient condition for non very genericity but still not convenient to verify by hand. In this paper we give a classification of the $r$-sets, and a more explicit and tractable condition for non very genericity.
Dimension computations for tropical determinantal varieties and prevarieties
This paper proves that when the $r \times r$ minors of an $m \times n$ matrix of indeterminates are not a tropical basis then the tropical prevariety has greater dimension than the tropical variety. It proves the same for the $r \times r$ minors of an $n \times n$ symmetric matrix of indeterminates when r > 4.
Classifications and constructions of minimum size linear sets
Published
• View Publication
• BIB
This paper aims to study linear sets of minimum size in the projective line, that is $\mathbb{F}_q$-linear sets of rank $k$ in $\mathrm{PG}(1,q^n)$ admitting one point of weight one and having size $q^{k-1}+1$. Examples of these linear sets have been found by Lunardon and the second author (2000) and, more recently, by Jena and Van de Voorde (2021). However, classification results for minimum size linear sets are known only for $k\leq 5$. In this paper we provide classification results for those $L_U$ admitting two points with complementary weights. We construct new examples and also study the related $\mathrm{ΓL}(2,q^n)$-equivalence issue. These results solve an open problem posed by Jena and Van de Voorde. The main tool relies on two results by Bachoc, Serra and Zémor (2017 and 2018) on the linear analogues of Kneser's and Vosper's theorems. We then conclude the paper pointing out a connection between critical pairs and linear sets, obtaining also some classification results for critical pairs.
The spectral gap of random regular graphs
Published
• View Publication
• BIB
We bound the second eigenvalue of random $d$-regular graphs, for a wide range of degrees $d$, using a novel approach based on Fourier analysis. Let $G_{n, d}$ be a uniform random $d$-regular graph on $n$ vertices, and let $λ(G_{n, d})$ be its second largest eigenvalue by absolute value. For some constant $c > 0$ and any degree $d$ with $\log^{10} n \ll d \leq c n$, we show that $λ(G_{n, d}) = (2 + o(1)) \sqrt{d (n - d) / n}$ asymptotically almost surely. Combined with earlier results that cover the case of sparse random graphs, this fully determines the asymptotic value of $λ(G_{n, d})$ for all $d \leq c n$. To achieve this, we introduce new methods that use mechanisms from discrete Fourier analysis, and combine them with existing tools and estimates on $d$-regular random graphs - especially those of Liebenau and Wormald.
Minimum non-chromatic-choosable graphs with given chromatic number
Published
• View Publication
• BIB
A graph $G$ is called chromatic-choosable if $χ(G)=ch(G)$. A natural problem is to determine the minimum number of vertices in a $k$-chromatic non-$k$-choosable graph. It was conjectured by Ohba, and proved by Noel, Reed and Wu that $k$-chromatic graphs $G$ with $|V(G)| \le 2k+1$ are $k$-choosable. This upper bound on $|V(G)|$ is tight. It is known that if $k$ is even, then $G=K_{3 \star (k/2+1), 1 \star (k/2-1)}$ and $G=K_{4, 2 \star (k-1)}$ are $k$-chromatic graphs with $|V(G)| =2 k+2$ that are not $k$-choosable. Some subgraphs of these two graphs are also non-$k$-choosable. The main result of this paper is that all other $k$-chromatic graphs $G$ with $|V(G)| =2 k+2$ are $k$-choosable. In particular, if $χ(G)$ is odd and $|V(G)| \le 2χ(G)+2$, then $G$ is chromatic-choosable, which was conjectured by Noel.
A view on multiple recurrence
Published
• View Publication
• BIB
In this note we present a proof of multiple recurrence for ergodic systems (and thereby of Szemerédi's theorem) being a mixture of three known proofs. It is based on a conditional version of the Jacobs-de Leeuw-Glicksberg decomposition and properties of the Gowers-Host-Kra uniformity seminorms.
A Note on the Rank 5 Polytopes of M24
Published
• View Publication
• BIB
The maximal rank of an abstract regular polytope for M24, the Mathieu group of degree 24, is 5. There are four such polytopes of rank 5 and in this note we describe them using Curtis's MOG. This description is then used to give an upper bound for the diameter of the chamber graphs of these polytopes.