Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Some arithmetical problems that are obtained by analyzing proofs and infinite graphs
Applying Baaz's Generalization Method and a new technique to, respectively, proofs and denumerable simple graphs, diverse arithmetical patterns are observed. In particular, sufficient conditions for a number to be a divisor of a Fermat number are provided. The accuracy of such observations is asked in several subsequent problems.
On the general position set of two classes of graphs
Published
• View Publication
• BIB
The general position problem is to find the cardinality of a largest vertex subset S such that no triple of vertices of S lie on a common geodesic. For a connected graph G, the cardinality of S is denoted by gp(G) and called gp-number (or general position number) of G. In the paper, we obtain an upper bound and a lower bound regarding gp-number in all cactus with k cycles and t pendant edges. Furthermore, the gp-number of wheel graph is determined.
Proximity and remoteness in triangle-free and C_4-free graphs in terms of order and minimum degree
Published
• View Publication
• BIB
Let $G$ be a finite, connected graph. The average distance of a vertex $v$ of $G$ is the arithmetic mean of the distances from $v$ to all other vertices of $G$. The remoteness $ρ(G)$ and the proximity $π(G)$ of $G$ are the maximum and the minimum of the average distances of the vertices of $G$. In this paper, we present a sharp upper bound on the remoteness of a triangle-free graph of given order and minimum degree, and a corresponding bound on the proximity, which is sharp apart from an additive constant. We also present upper bounds on the remoteness and proximity of $C_4$-free graphs of given order and minimum degree, and we demonstrate that these are close to being best possible.
Maximizing the number of independent sets of fixed size in $K_n$-covered graphs
Published
• View Publication
• BIB
A graph $G$ is $H$-covered by some given graph $H$ if each vertex in $G$ is contained in a copy of $H$. In this note, we give the maximum number of independent sets of size $t\ge 3$ in $K_n$-covered graphs of size $N\ge n+t-1$ and determine its extremal graph. The result answers a question proposed by Chakraborit and Loh. The proof uses an edge-switching operation of hypergraphs which remains the number of independent sets nondecreasing.
Disjoint weighing matrices
Published
• View Publication
• BIB
The notion of disjoint weighing matrices is introduced as a generalization of orthogonal designs. A recursive construction along with a computer search lead to some infinite classes of disjoint weighing matrices, which in turn are shown to form commutative association schemes with 3 or 4 classes.
The threshold bias of the clique-factor game
Published
• View Publication
• BIB
Let $r \ge 4$ be an integer and consider the following game on the complete graph $K_n$ for $n \in r \mathbb{Z}$: Two players, Maker and Breaker, alternately claim previously unclaimed edges of $K_n$ such that in each turn Maker claims one and Breaker claims $b \in \mathbb{N}$ edges. Maker wins if her graph contains a $K_r$-factor, that is a collection of $n/r$ vertex-disjoint copies of $K_r$, and Breaker wins otherwise. In other words, we consider a $b$-biased $K_r$-factor Maker-Breaker game. We show that the threshold bias for this game is of order $n^{2/(r+2)}$. This makes a step towards determining the threshold bias for making bounded-degree spanning graphs and extends a result of Allen et al.\ who resolved the case $r \in \{3,4\}$ up to a logarithmic factor.
The Only Complex 4-Net Is the Hesse Configuration
It has been conjectured that the only nets realizable in $\mathbb{CP}^2$ are 3-nets and the Hesse configuration (up to isomorphism). We prove this conjecture.
Arc-transitive Cayley graphs on nonabelian simple groups with prime valency
Published
• View Publication
• BIB
In 2011, Fang et al. in (J. Combin. Theory A 118 (2011) 1039-1051) posed the following problem: Classify non-normal locally primitive Cayley graphs of finite simple groups of valency $d$, where either $d\leq 20$ or $d$ is a prime number. The only case for which the complete solution of this problem is known is of $d=3$. Except this, a lot of efforts have been made to attack this problem by considering the following problem: Characterize finite nonabelian simple groups which admit non-normal locally primitive Cayley graphs of certain valency $d\geq4$. Even for this problem, it was only solved for the cases when either $d\leq 5$ or $d=7$ and the vertex stabilizer is solvable. In this paper, we make crucial progress towards the above problems by completely solving the second problem for the case when $d\geq 11$ is a prime and the vertex stabilizer is solvable.
Cohomology ring of manifold arrangements
We study the cohomology ring of the complement $\mathcal{M}(\mathcal{A})$ of a manifold arrangement $\mathcal{A}$ in a smooth manifold $M$ without boundary. We first give the concept of monoidal cosheaf on a locally geometric poset $\mathfrak{L}$, and then define the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \mathcal{C})$ over a commutative ring with unit, which is built by the classical Orlik--Solomon algebra and a monoidal cosheaf $\mathcal{C}$ as coefficients. Furthermore, we construct a monoidal cosheaf $\hat{\mathcal{C}}(\mathcal{A})$ associated with $\mathcal{A}$, so that the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A}))$ becomes a double complex with suitable multiplication structure and the associated total complex $Tot(A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A})))$ is a differential algebra. Our main result is that $H^*(Tot(A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A}))))$ is isomorphic to $H^*(\mathcal{M}(\mathcal{A}))$ as algebras. Our argument is of topological with the use of a spectral sequence induced by a geometric filtration associated with $\mathcal{A}$. In particular, we also discuss the mixed Hodge complex structure on our model if $M$ and all elements in $\mathcal{A}$ are complex smooth varieties, and show that it induces the canonical mixed Hodge structure of $\mathcal{M}(\mathcal{A})$. As an application, we calculate the cohomology of chromatic configuration spaces, which agrees with many known results in some special cases. In addition, some explicit formulas with respect to Poincaré polynomial and chromatic polynomial are also given.
Cameron-Liebler line classes in AG(3,q)
Published in Finite Fields and Their Applications, Volume 67, 2020, 101706, ISSN 1071-5797
• View Publication
• BIB
The study of Cameron-Liebler line classes in PG($3,q$) arose from classifying specific collineation subgroups of PG($3,q$). Recently, these line classes were considered in new settings. In this point of view, we will generalize the concept of Cameron-Liebler line classes to AG($3,q$). In this article we define Cameron-Liebler line classes using the constant intersection property towards line spreads. The interesting fact about this generalization is the link these line classes have with Cameron-Liebler line classes in PG($3,q$). Next to giving this link, we will also give some equivalent ways to consider Cameron-Liebler line classes in AG($3,q$), some classification results and an example based on the example found in [3] and [6].
On List k-Coloring Convex Bipartite Graphs
List k-Coloring (Li k-Col) is the decision problem asking if a given graph admits a proper coloring compatible with a given list assignment to its vertices with colors in {1,2,..,k}. The problem is known to be NP-hard even for k=3 within the class of 3-regular planar bipartite graphs and for k=4 within the class of chordal bipartite graphs. In 2015, Huang, Johnson and Paulusma asked for the complexity of Li 3-Col in the class of chordal bipartite graphs. In this paper we give a partial answer to this question by showing that Li k-Col is polynomial in the class of convex bipartite graphs. We show first that biconvex bipartite graphs admit a multichain ordering, extending the classes of graphs where a polynomial algorithm of Enright, Stewart and Tardos (2014) can be applied to the problem. We provide a dynamic programming algorithm to solve the Li k-Col in the calss of convex bipartite graphs. Finally we show how our algorithm can be modified to solve the more general Li H-Col problem on convex bipartite graphs.
Computational Aspects of Sturdy and Flimsy Numbers
Published
• View Publication
• BIB
Following Stolarsky, we say that a natural number n is flimsy in base b if some positive multiple of n has smaller digit sum in base b than n does; otherwise it is sturdy. We develop algorithmic methods for the study of sturdy and flimsy numbers.
We provide some criteria for determining whether a number is sturdy. Focusing on the case of base b = 2, we study the computational problem of checking whether a given number is sturdy, giving several algorithms for the problem. We find two additional, previously unknown sturdy primes. We develop a method for determining which numbers with a fixed number of 0's in binary are flimsy. Finally, we develop a method that allows us to estimate the number of k-flimsy numbers with n bits, and we provide explicit results for k = 3 and k = 5. Our results demonstrate the utility (and fun) of creating algorithms for number theory problems, based on methods of automata theory.
The Haemers bound of noncommutative graphs
Published
• View Publication
• BIB
We continue the study of the quantum channel version of Shannon's zero-error capacity problem. We generalize the celebrated Haemers bound to noncommutative graphs (obtained from quantum channels). We prove basic properties of this bound, such as additivity under the direct sum and submultiplicativity under the tensor product. The Haemers bound upper bounds the Shannon capacity of noncommutative graphs, and we show that it can outperform other known upper bounds, including noncommutative analogues of the Lovász theta function (Duan-Severini-Winter, IEEE Trans. Inform. Theory, 2013 and Boreland-Todorov-Winter, arXiv, 2019).
Truncated Homogeneous Symmetric Functions
Published
• View Publication
• BIB
Extending the elementary and complete homogeneous symmetric functions, we introduce the truncated homogeneous symmetric function $h_λ^{\dd}$ in $(\ref{THSF})$ for any integer partition $λ$, and show that the transition matrix from $h_λ^{\dd}$ to the power sum symmetric functions $p_λ$ is given by \[M(h^{\dd},p)=M'(p,m)z^{-1}D^{\dd},\] where $D^{\dd}$ and $z$ are nonsingular diagonal matrices. Consequently, $\{h_λ^{\dd}\}$ forms a basis of the ring $Λ$ of symmetric functions. In addition, we show that the generating function $H^{\dd}(t)=\ssum_{n\ge 0}h_n^{\dd}(x)t^n$ satisfies \[ω(H^{\dd}(t))=\left(H^{\dd}(-t)\right)^{-1},\] where $ω$ is the involution of $Λ$ sending each elementary symmetric function $e_λ$ to the complete homogeneous symmetric function $h_λ$.
On bipartite graphs having minimal fourth adjacency coefficient
Published
• View Publication
• BIB
Let $G$ be a simple graph with order $n$ and adjacency matrix $\mathbf{A}(G)$. Let $φ(G; λ)=\det(λI-\mathbf{A}(G))=\sum_{i=0}^n\mathbf{a}_i(G)λ^{n-i}$ be the characteristic polynomial of $G$, where $\mathbf{a}_i(G)$ is called the $i$-th adjacency coefficient of $G$. Denote by $\mathfrak{B}_{n,m}$ the set of all connected graphs having $n$ vertices and $m$ edges. A bipartite graph $G$ is referred as bipartite optimal if $$\mathbf{a}_4(G)=min\{\mathbf{a}_4(H)|H\in \mathfrak{B}_{n,m}\}.$$ The value $min\{\mathbf{a}_4(H)|H\in \mathfrak{B}_{n,m}\}$ is called the minimal $4$-Sachs number in $\mathfrak{B}_{n,m}$, denoted by $\bar{\mathbf{a}}_4(\mathfrak{B}_{n,m})$. \vspace{2mm} For any given integer pair $(n,m)$, we in this paper investigate the bipartite optimal graphs. Firstly, we show that each bipartite optimal graph is a difference graph (see Theorem 10). Then we deduce some structural properties on bipartite optimal graphs. As applications of those properties, we determine all bipartite optimal $(n,m)$-graphs together with the corresponding minimal $4$-Sachs number for $n\ge 5$ and $n-1\le m\le 3(n-3)$. Finally, we express the problem of computing the minimal $4$-Sachs number as a class of combinatorial optimization problem, which relates to the partitions of positive integers.
On graphs having minimal fourth adjacency coefficient
Let $G$ be a graph with order $n$ and adjacency matrix $\mathbf{A}(G)$. The adjacency polynomial of $G$ is defined as $φ(G;λ) =det(λ\mathbf{I}-\mathbf{A}(G))=\sum_{i=0}^n\mathbf{a_i}(G)λ^{n-i}$. Hereafter, $\mathbf{a}_i(G)$ is called the $i$-th adjacency coefficient of $G$. Denote by $\mathfrak{G}_{n,m}$ the set of all connected graphs having $n$ vertices and $m$ edges. A graph $G$ is said $4$-Sachs minimal if $$\mathbf{a}_4(G)=min\{\mathbf{a}_4(H)|H\in \mathfrak{G}_{n,m}\}.$$ The value $min\{\mathbf{a}_4(H)|H\in \mathfrak{G}_{n,m}\}$ is called the minimal $4$-Sachs number in $\mathfrak{G}_{n,m}$, denoted by $\bar{\mathbf{a}}_4(\mathfrak{G}_{n,m})$. In this paper, we study the relationship between the value $\mathbf{a}_4(G)$ and its structural properties. Especially, we give a structural characterization on $4$-Sachs minimal graphs, showing that each $4$-Sachs minimal graph contains a difference graph as its spanning subgraph (see Theorem 8). Then, for $n\ge 4$ and $n-1\le m\le 2n-4$, we determine all $4$-Sachs minimal graphs together with the corresponding minimal $4$-Sachs number $\bar{\mathbf{a}}_4(\mathfrak{G}_{n,m})$.
Hopf algebra of multi-decorated rooted forests, free matching Rota-Baxter algebras and Gröbner-Shirshov bases
Published in Pacific J. Math. 317 (2022) 441-475
• View Publication
• BIB
Recent advances in stochastic PDEs, Hopf algebras of typed trees and integral equations have inspired the study of algebraic structures with replicating operations. To understand their algebraic and combinatorial nature, we first use rooted forests with multiple decoration sets to construct free Hopf algebras with multiple Hochschild 1-cocycle conditions. Applying the universal property of the underlying operated algebras and the method of Gröbner-Shirshov bases, we then construct free objects in the category of matching Rota-Baxter algebras which is a generalization of Rota-Baxter algebras to allow multiple Rota-Baxter operators. Finally the free matching Rota-Baxter algebras are equipped with a cocycle Hopf algebra structure.
On the Number of $τ$-Tilting Modules over Nakayama Algebras
Published in SIGMA 16 (2020), 058, 13 pages
• View Publication
• BIB
Let $Λ^r_n$ be the path algebra of the linearly oriented quiver of type $\mathbb{A}$ with $n$ vertices modulo the $r$-th power of the radical, and let $\widetildeΛ^r_n$ be the path algebra of the cyclically oriented quiver of type $\widetilde{\mathbb{A}}$ with $n$ vertices modulo the $r$-th power of the radical. Adachi gave a recurrence relation for the number of $τ$-tilting modules over $Λ^r_n$. In this paper, we show that the same recurrence relation also holds for the number of $τ$-tilting modules over $\widetildeΛ^r_n$. As an application, we give a new proof for a result by Asai on recurrence formulae for the number of support $τ$-tilting modules over $Λ^r_n$ and $\widetildeΛ^r_n$.
Generalized metric spaces. Relations with graphs, ordered sets and automata : A survey
In this survey we present a generalization of the notion of metric space and some applications to discrete structures as graphs, ordered sets and transition systems. Results in that direction started in the middle eighties based on the impulse given by Quilliot (1983). Graphs and ordered sets were considered as kind of metric spaces, where - instead of real numbers - the values of the distance functions $d$ belong to an ordered semigroup equipped with an involution. In this frame, maps preserving graphs or posets are exactly the nonexpansive mappings (that is the maps $f$ such that $d(f(x),f(y))\leq d(x,y)$, for all $x,y$). It was observed that many known results on retractions and fixed point property for classical metric spaces (whose morphisms are the nonexpansive mappings) are also valid for these spaces. For example, the characterization of absolute retracts, by Aronszajn and Panitchpakdi (1956), the construction of the injective envelope by Isbell (1965) and the fixed point theorem of Sine and Soardi (1979) translate into the Banaschewski-Bruns theorem (1967), the MacNeille completion of a poset (1933) and the famous Tarski fixed point theorem (1955). This prompted an analysis of several classes of discrete structures from a metric point of view. In this paper, we report the results obtained over the years with a particular emphasis on the fixed point property.
The Digital Hopf Construction
Published
• View Publication
• BIB
Various concepts and constructions in homotopy theory have been defined in the digital setting. Although there have been several attempts at a definition of a fibration in the digital setting, robust examples of these digital fibrations are few and far between. In this paper, we develop a digital Hopf fibration within the category of tolerance spaces. By widening our category to that of tolerance spaces, we are able to give a construction of this digital Hopf fibration which mimics the smooth setting.