Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The p-norm of hypermatrices with symmetries
The $p$-norm of $r$-matrices generalizes the $2$-norm of $2$-matrices. It is shown that if a nonnegative $r$-matrix is symmetric with respect to two indices $j$ and $k$, then the $p$-norm is attained for some set of vectors such that the $i$th and the $j$th vectors are identical. It follows that the $p$-spectral radius of a symmetric nonnegative $r$-matrix is equal to its $p$-norm for any $p\geq2$.
Non-Hamilton cycle sets of having solutions and their properties
A graph \textit{G} is a tuple (\textit{V}, \textit{E}), where \textit{V} is the vertex set, \textit{E} is the edge set. A reduced graph is a graph of deleting non-Hamiltonian edges and smoothing out the redundant vertices of degree 2 on an edge except for leaving only one vertex of degree 2. A 2-common (\textit{v}, \textit{0}) combination is a cycle set in which every pair of joint cycles \textit{A} and \textit{B} satisfies $|V(A)\cap V(B)|=2$ and $|E(A)\cap E(B)|=0$. In this paper, we investigate the cycle structure of 2-common (\textit{v}, \textit{0}) combination in reduced graphs, and give the characterizations of their Hamiltoncity.
Symmetric graphs of valency seven and their basic normal quotient graphs
Published
• View Publication
• BIB
A graph $Γ$ is basic if Aut$Γ$ has no normal subgroup $N\ne1$ such that $Γ$ is a normal cover of the normal quotient graph $Γ_N$. In this paper, we completely determine the basic normal quotient graphs of all connected 7-valent symmetric graphs of order $2pq^n$ with $p < q$ odd primes, which consist of an infinite family of dihedrants of order $2p$ with $p\equiv1$(mod 7), and 6 specific graphs with order at most 310. As a consequence, it shows that, for any given positive integer n, there are only finitely many connected 2-arc-transitive 7-valent graphs of order $2pq^n$ with $7\ne p<q$ primes, partially generalizing Theorem 1 of Conder, Li and Potocnik [On the orders of arc-transitive graphs, J. Algebra 421 (2015), 167-186].
A note on the linkage construction for constant dimension codes
Constant dimension codes are used for error control in random linear network coding, so that constructions for these codes with large cardinality have achieved wide attention in the last decade. Here, we improve the so-called linkage construction. Known upper bounds for constant dimension codes containing lifted MRD codes are generalized.
Task-based Solutions to Embedded Index Coding
Published
• View Publication
• BIB
In the index coding problem a sender holds a message $x \in \{0,1\}^n$ and wishes to broadcast information to $n$ receivers in a way that enables the $i$th receiver to retrieve the $i$th bit $x_i$. Every receiver has prior side information comprising a subset of the bits of $x$, and the goal is to minimize the length of the information sent via the broadcast channel. Porter and Wootters have recently introduced the model of embedded index coding, where the receivers also play the role of the sender and the goal is to minimize the total length of their broadcast information. An embedded index code is said to be task-based if every receiver retrieves its bit based only on the information provided by one of the receivers.
This paper studies the effect of the task-based restriction on linear embedded index coding. It is shown that for certain side information maps there exists a linear embedded index code of length quadratically smaller than that of any task-based embedded index code. The result attains, up to a multiplicative constant, the largest possible gap between the two quantities. The proof is by an explicit construction and the analysis involves spectral techniques.
A story of balls, randomness and PDEs
Several differential equations usually appearing in mathematical physics are solved through a power series expansion, which reduces in solving difference equations. In this paper a probability problem is presented whose solution follows a completely reversed but systematic approach. Hence, this work is about illustrating how complex probability problems could be tackled with the more powerful techniques of a better studied and well understood field, that of differential equations. The problem is defined as follows: Inside a box containing r red and w white balls random removals occur. The balls are removed successively according to the three following rules. Rule I: If a white ball is chosen it is immediately discarded. If a red ball is chosen, it is placed back into the box and a new ball is randomly chosen. The second ball is then removed irrespective of the color. Rule II: Once one ball is removed, the game continues from Rule I. Rule III: The game ends once all the red balls are removed. The question posed is the determination of the probability that k white balls remain where k = 0, 1, 2, ..., w. Ending the game once all the white balls are removed, a second question is the determination of the probability that k red balls remain where k = 0, 1, 2, ..., r. While inductive solutions are possible, the current approach demonstrates a different and algorithmic route. In particular, the law of total probability yields a recursion that is transformed into a linear inhomogeneous 2D PDE, with suitable boundary conditions. The PDE solutions, which are found analytically, provide the generating functionals of the required probabilities as a function of r, w and k. Using the functionals, the probability formulas for any r, w and k are finally obtained in a closed form. Reproducing existing results of the literature this method is quite generic and adaptable to a large class of problems.
On a problem of De Koninck
Published in Moscow J. Comb. Number Th. 10 (2021) 249-260
• View Publication
• BIB
Let $σ(n)$ and $γ(n)$ denote the sum of divisors and the product of distinct prime divisors of $n$ respectively. We shall show that, if $n\neq 1, 1782$ and $σ(n)=(γ(n))^2$, then there exist odd (not necessarily distinct) primes $p, p^\prime$ and (not necessarily odd) distinct primes $q_i (i=1, 2, \ldots, k)$ such that $p, p^\prime\mid\mid n$, $q_i^2\mid\mid n (i=1, 2, \ldots, k)$ and $q_1\mid σ(p^2), q_{i+1}\midσ(q_i^2) (1\leq i\leq k-1), p^\prime \midσ(q_k^2)$.
Hierarchical Colorings of Cographs
Cographs are exactly hereditarily well-colored graphs, i.e., the graphs for which a greedy coloring of every induced subgraph uses only the minimally necessary number of colors $χ(G)$. In recent work on reciprocal best match graphs so-called hierarchically coloring play an important role. Here we show that greedy colorings are a special case of hierarchical coloring, which also require no more than $χ(G)$ colors.
On the Erdős-Sós conjecture for trees with bounded degree
Published
• View Publication
• BIB
We prove the Erd\H os--Sós conjecture for trees with bounded maximum degree and large dense host graphs. As a corollary, we obtain an upper bound on the multicolour Ramsey number of large trees whose maximum degree is bounded by a constant.
Broken bricks and the pick-up sticks problem
Published
• View Publication
• BIB
We generalize the well-known broken stick problem in several ways, including a discrete "brick" analogue and a sequential "pick-up sticks/bricks" version. The limit behavior of the broken brick problem gives a combinatorial proof of the broken stick problem. The pick-up version gives a variation on those scenarios, and we conclude by showing a greater context---namely, that the broken stick/brick problem and the pick-up sticks/bricks problem are two extremes in a family of interesting, and largely open, questions.
Keisler's order is not simple (and simple theories may not be either)
Published
• View Publication
• BIB
Solving a decades-old problem we show that Keisler's 1967 order on theories has the maximum number of classes. The theories we build are simple unstable with no nontrivial forking, and reflect growth rates of sequences which may be thought of as densities of certain regular pairs, in the sense of Szemerédi's regularity lemma. The proof involves ideas from model theory, set theory, and finite combinatorics.
Boundary Independent Broadcasts in Graphs
A broadcast on a nontrivial connected graph G is a function f from the vertices of G to the non-negative integers such that f(v) does not exceed e(v) (the eccentricity of v) for each vertex v. If G is disconnected, we define a broadcast on G as the union of broadcasts on its components. In a search for the best way to generalise the concept of independent sets in graphs to independent broadcasts, there are several ways to look at an independent set X of a graph G. One way is from the point of view of the vertices in X: no two vertices are adjacent -- the usual definition. Another way is from the point of view of the edges of G: no edge is incident with (or covered by) more than one vertex in X. Using the latter approach we define boundary independent broadcasts as an alternative to independent broadcasts as defined by D. Erwin [Cost domination in graphs, Doctoral dissertation, Western Michigan University, 2001], which we refer to here as hearing or h-independent broadcasts. We compare the boundary independence broadcast number to the independence number and the h-independence broadcast number and show that the differences can be arbitrary, while the ratios are bounded; the bounds we present are asymptotically best possible. We also show that, although the difference between the boundary independence broadcast number and the independence number can be arbitrary for trees, they are equal for any 2-connected bipartite graph. We prove a tight upper bound for the boundary independence number and characterise graphs for which equality holds. Using this bound and the established ratio we obtain a new tight upper bound for Erwin's h-independence broadcast number.
Weak Modularity and $\widetilde{A}_n$ Buildings
The $\widetilde{A}_n$ Coxeter groups are known to not be systolic or cocompactly cubulated for $n\geq 3$. We prove that these groups act geometrically on weakly modular graphs, a weak notion of nonpositive curvature generalizing the 1-skeleta of $\mathrm{CAT}(0)$ cube complexes and systolic complexes. To prove weak modularity we describe the canonical emeddings of the 1-skeleta of $\widetilde{A}_n$ Coxeter complexes into the Euclidean spaces $\mathbb{R}^{n+1}$. We also prove weak modularity for buildings of type $\widetilde{A}_3$.
Biembeddings of cycle systems using integer Heffter arrays
Published
• View Publication
• BIB
In this paper we will show the existence of a face $2$-colourable biembedding of the complete graph onto an orientable surface where each face is a cycle of a fixed length $k$, for infinitely many values of $k$. In particular, under certain conditions, we show that there exists at least $(n-2)[(p-2)!]^2/(e^2 kn)$ non-isomorphic face $2$-colourable biembeddings of $K_{2nk+1}$ in which all faces are cycles of length $k=4p+3$. These conditions are: $n\equiv 1\mod 4$, $k\equiv 3\mod 4$ and either $n$ is prime or $n\gg k$ and $n\equiv 0\mod 3$ implies $p\equiv 1\mod 3$. To achieve this result we begin by verifying the existence of $(n-2)[(p-2)!/e]^2$ non-equivalent Heffter arrays, $H(n;k)$, which satisfy the conditions: (1) for each row and each column the sequential partial sums determined by the natural ordering must be distinct modulo $2nk+1$; (2) the composition of the natural orderings of the rows and columns is equivalent to a single cycle permutation on the entries in the array. The existence of Heffter arrays $H(n;k)$ that satisfy condition (1) was established earlier in \cite{BCDY} and in this current paper we vary this construction and show that there are at least $(n-2)[(p-2)!/e]^2$ such non-equivalent $H(n;k)$ that satisfy condition (1) and then show that each of these Heffter arrays also satisfy condition (2) under certain conditions.
Counting critical subgraphs in $k$-critical graphs
Published
• View Publication
• BIB
Gallai asked in 1984 if any $k$-critical graph on $n$ vertices contains at least $n$ distinct $(k-1)$-critical subgraphs. The answer is trivial for $k\leq 3$. Improving a result of Stiebitz, Abbott and Zhou proved in 1995 that for all $k\geq 4$, such graph contains $Ω(n^{1/(k-1)})$ distinct $(k-1)$-critical subgraphs. Since then no progress had been made until very recently, Hare resolved the case $k=4$ by showing that any $4$-critical graph on $n$ vertices contains at least $(8n-29)/3$ odd cycles.
In this paper, we mainly focus on 4-critical graphs and develop some novel tools for counting cycles of specified parity. Our main result shows that any $4$-critical graph on $n$ vertices contains $Ω(n^2)$ odd cycles, which is tight up to a constant factor by infinite many graphs. As a crucial step, we prove the same bound for 3-connected non-bipartite graphs, which may be of independent interest. Using the tools, we also give a very short proof for the case $k=4$. Moreover, we improve the longstanding lower bound of Abbott and Zhou to $Ω(n^{1/(k-2)})$ for the general case $k\geq 5$. We will also discuss some related problems on $k$-critical graphs in the final section.
On the genesis of BBP formulas
Published in Acta Arithmetica 198 (2021), 401-426
• View Publication
• BIB
We present a general procedure to generate infinitely many BBP and BBP-like formulas for the simplest transcendental numbers. This provides some insight and a better understanding into their nature. In particular, we can derive the main known BBP formulas for $π$. We can understand why many of these formulas are rearrangements of each other. We also understand better where some null BBP formulas representing $0$ come from. We also explain what is the observed relation between some BBP formulas for $\log 2$ and $π$, that are obtained by taking real and imaginary parts of a general complex BBP formula. Our methods are elementary, but motivated by transalgebraic considerations, and offer a new way to obtain and to search many new BBP formulas and, conjecturally, to better understand transalgebraic relations between transcendental constants.
Logarithmic concavity of Schur and related polynomials
Published
• View Publication
• BIB
We show that normalized Schur polynomials are strongly log-concave. As a consequence, we obtain Okounkov's log-concavity conjecture for Littlewood-Richardson coefficients in the special case of Kostka numbers.
Pattern Avoidance Over a Hypergraph
Published
• View Publication
• BIB
We consider the problem of bounding the number of permutations $σ\in S_n$ that avoid a fixed permutation $π\in S_k$ in specific indices given by a $k$-uniform hypergraph $Λ$. We obtain relatively sharp bounds in the case where $Λ$ is a random hypergraph, and find bounds in the case where $Λ$ contains many large cliques. Along the way, we prove a supersaturation version of Füredi-Hajnal, which may be of independent interest.
The order-$n$ minors of certain $(n+k) \times n$ matrices
Published in Linear Algebra and its Applications in 2020
• View Publication
• BIB
We determine sufficient conditions for certain classes of $(n+k) \times n$ matrices $E$ to have all order-$n$ minors to be nonzero. For a special class of $(n+1) \times n$ matrices $E,$ we give the formula for the order-$n$ minors. As an application we construct subspaces of $\C^m \otimes \C^n$ of maximal dimension, which does not contain any vector of Schmidt rank less than $k$ and which has a basis of Schmidt rank $k$ for $k=2,3,4$.
Trivalent dihedrants and bi-dihedrants
Published
• View Publication
• BIB
A Cayley (resp. bi-Cayley) graph on a dihedral group is called a {\em dihedrant} (resp. {\em bi-dihedrant}). In 2000, a classification of trivalent arc-transitive dihedrants was given by Maru\v si\v c and Pisanski, and several years later, trivalent non-arc-transitive dihedrants of order $4p$ or $8p$ $(p$ a prime) were classified by Feng et al. As a generalization of these results, our first result presents a classification of trivalent non-arc-transitive dihedrants. Using this, a complete classification of trivalent vertex-transitive non-Cayley bi-dihedrants is given, thus completing the study of trivalent bi-dihedrants initiated in our previous paper [Discrete Math. 340 (2017) 1757--1772]. As a by-product, we generalize a theorem in [The Electronic Journal of Combinatorics 19 (2012) $\#$P53].