Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Rainbow Numbers of $\mathbb{Z}_n$ for $a_1x_1+a_2x_2+a_3x_3 =b$
An exact $r$-coloring of a set $S$ is a surjective function $c:S\to [r]$. The rainbow number of a set $S$ for equation $eq$ is the smallest integer $r$ such that every exact $r$-coloring of $S$ contains a rainbow solution to $eq$. In this paper, the rainbow number of $\Z_p$, for $p$ prime and the equation $a_1x_1 + a_2x_2 + a_3x_3 = b$ is determined. The rainbow number of $\Z_{n}$, for a natural number $n$, is determined under certain conditions.
Partitions and the maximal excludant
Published
• View Publication
• BIB
For each nonempty integer partition $π$, we define the maximal excludant of $π$ to be the largest nonnegative integer smaller than the largest part of $π$ that is not a part of $π$. Let $σ\!\operatorname{maex}(n)$ be the sum of maximal excludants over all partitions of $n$. We show that the generating function of $σ\!\operatorname{maex}(n)$ is closely related to a mock theta function studied by Andrews \textit{et al.} and Cohen. Further, we show that, as $n\to \infty$, $σ\!\operatorname{maex}(n)$ is asymptotic to the sum of largest parts of all partitions of $n$. Finally, the expectation of the difference of the largest part and the maximal excludant over all partitions of $n$ is shown to converge to $1$ as $n\to \infty$.
Eulerian Properties of Design Hypergraphs and Hypergraphs with Small Edge Cuts
Published in uO Research, Theses, 2011- (2019). Retrieved from https://ruor.uottawa.ca/bitstream/10393/39092/5/Wagner_Andrew_2019_thesis.pdf
• Search Publication
An Euler tour of a hypergraph is a closed walk that traverses every edge exactly once; if a hypergraph admits such a walk, then it is called eulerian. Although this notion is one of the progenitors of graph theory --- dating back to the eighteenth century --- treatment of this subject has only begun on hypergraphs in the last decade. Other authors have produced results about rank-2 universal cycles and 1-overlap cycles, which are equivalent to our definition of Euler tours. In contrast, an Euler family is a collection of nontrivial closed walks that jointly traverse every edge of the hypergraph exactly once and cannot be concatenated simply. Since an Euler tour is an Euler family comprising a single walk, having an Euler family is a weaker attribute than being eulerian; we call a hypergraph quasi-eulerian if it admits an Euler family. A triple system is a 3-uniform hypergraph in which every pair of vertices lie in exactly $λ$ edges together, for some parameter $λ$. We first prove that all triple systems with at least two edges are eulerian. We then define a new kind of hypergraph, which we call $\ell$-covering $k$-hypergraphs: these are $k$-uniform hypergraphs in which every $\ell$-subset of the vertices lie in at least one edge together. We are able to show that such hypergraphs are eulerian when $\ell=k-1$ and quasi-eulerian otherwise, as long as they have at least two edges. Finally, we give some constructive results on hypergraphs with small edge cuts. There has been analogous work by other authors on hypergraphs with small vertex cuts. We reduce the problem of finding an Euler tour in a hypergraph to finding an Euler tour in each of the connected components of the edge-deleted subhypergraph, then show how these individual Euler tours can be concatenated.
The scaling limit of a critical random directed graph
Published
• View Publication
• BIB
We consider the random directed graph $\vec{G}(n,p)$ with vertex set $\{1,2,\ldots,n\}$ in which each of the $n(n-1)$ possible directed edges is present independently with probability $p$. We are interested in the strongly connected components of this directed graph. A phase transition for the emergence of a giant strongly connected component is known to occur at $p = 1/n$, with critical window $p= 1/n + λn^{-4/3}$ for $λ\in \mathcal{R}$. We show that, within this critical window, the strongly connected components of $\vec{G}(n,p)$, ranked in decreasing order of size and rescaled by $n^{-1/3}$, converge in distribution to a sequence $(\mathcal{C}_1,\mathcal{C}_2,\ldots)$ of finite strongly connected directed multigraphs with edge lengths which are either 3-regular or loops. The convergence occurs the sense of an $\ell^1$ sequence metric for which two directed multigraphs are close if there are compatible isomorphisms between their vertex and edge sets which roughly preserve the edge-lengths. Our proofs rely on a depth-first exploration of the graph which enables us to relate the strongly connected components to a particular spanning forest of the undirected Erdős-Rényi random graph $G(n,p)$, whose scaling limit is well understood. We show that the limiting sequence $(\mathcal{C}_1,\mathcal{C}_2,\ldots)$ contains only finitely many components which are not loops. If we ignore the edge lengths, any fixed finite sequence of 3-regular strongly connected directed multigraphs occurs with positive probability.
Gorenstein graphic matroids
Published in Israel Journal of Mathematics 243 (2021), no. 1, 1-26
• View Publication
• BIB
The toric variety of a matroid is projectively normal, and therefore it is Cohen-Macaulay. We provide a complete graph-theoretic classification when the toric variety of a graphic matroid is Gorenstein.
A new algebraic approach to the graph isomorphism and clique problems
As it follows from Gödel's incompleteness theorems, any consistent formal system of axioms and rules of inference should imply a true unprovable statement. Actually, this fundamental principle can be efficiently applicable in computational mathematics and complexity theory concerning the computational complexity of problems from the class NP, particularly and especially the NP-complete ones. While there is a wide set of algorithms for these problems that we call heuristic, the correctness or/and complexity of each concrete algorithm (or the probability of its correct and polynomial-time work) on a class of instances is often too difficult to determine, although we may also assume the existence of a variety of algorithms for NP-complete problems that are both correct and polynomial-time on all the instances from a given class (where the given problem remains NP-complete), but whose correctness or/and polynomial-time complexity on the class is impossible to prove as an example for Gödel's theorems. However, supposedly such algorithms should possess a certain complicatedness of processing the input data and treat it in a certain algebraically "entangled" manner. The same algorithmic analysis in fact concerns all the other significant problems and subclasses of NP, such as the graph isomorphism problem and its associated complexity class GI.
The following short article offers a couple of algebraically entangled polynomial-time algorithms for the graph isomorphism and clique problems whose correctness is yet to be determined either empirically or through attempting to find proofs. The authors are grateful to Prof. Anuj Dawar (University of Cambridge) for kindly endorsing the present article for publishing in arXiv.
Maximum Frustration in Signed Generalized Petersen Graphs
Published in Indian journal of discrete mathematics, vol 5, no. 2 (2019) , 77-93
• Search Publication
A \textit{signed graph} is a simple graph whose edges are labelled with positive or negative signs. A cycle is \textit{positive} if the product of its edge signs is positive. A signed graph is \textit{balanced} if every cycle in the graph is positive. The \textit{frustration index} of a signed graph is the minimum number of edges whose deletion makes the graph balanced. The \textit{maximum frustration} of a graph is the maximum frustration index over all sign labellings. In this paper, first, we prove that the maximum frustration of generalized Petersen graphs $P_{n,k}$ is bounded above by $\left\lfloor \frac{n}{2} \right\rfloor + 1$ for $\gcd(n,k)=1$, and this bound is achieved for $k=1,2,3$. Second, we prove that the maximum frustration of $P_{n,k}$ is bounded above by $d\left\lfloor \frac{n}{2d} \right\rfloor + d + 1$, where $\gcd(n,k)=d\geq2$.
Finding Dominating Induced Matchings in $S_{1,1,5}$-Free Graphs in Polynomial Time
Let $G=(V,E)$ be a finite undirected graph. An edge set $E' \subseteq E$ is a {\em dominating induced matching} ({\em d.i.m.}) in $G$ if every edge in $E$ is intersected by exactly one edge of $E'$. The \emph{Dominating Induced Matching} (\emph{DIM}) problem asks for the existence of a d.i.m.\ in $G$; this problem is also known as the \emph{Efficient Edge Domination} problem; it is the Efficient Domination problem for line graphs.
The DIM problem is \NP-complete even for very restricted graph classes such as planar bipartite graphs with maximum degree 3 but is solvable in linear time for $P_7$-free graphs, and in polynomial time for $S_{1,2,4}$-free graphs as well as for $S_{2,2,2}$-free graphs and for $S_{2,2,3}$-free graphs. In this paper, combining two distinct approaches, we solve it in polynomial time for $S_{1,1,5}$-free graphs.
Further improving of upper bound on a geometric Ramsey problem
We consider following geometric Ramsey problem: find the least dimension $n$ such that for any 2-coloring of edges of complete graph on the points $\{\pm 1\}^n$ there exists 4-vertex coplanar monochromatic clique. Problem was first analyzed by Graham and Rothschild and they gave an upper bound: $n\le F(F(F(F(F(F(F(12)))))))$, where $F(m) = 2\uparrow^m3$. In 2014 Lavrov, Lee and Mackey greatly improved this result by giving upper bound $n< 2\uparrow\uparrow\uparrow 6 < F(5)$. In this paper we revisit their estimates and reduce upper bound to $n< 2\uparrow\uparrow\uparrow 5$
Finite automata, probabilistic method, and occurrence enumeration of a pattern in words and permutations
Published
• View Publication
• BIB
The main theme of this paper is the enumeration of the occurrence of a pattern in words and permutations. We mainly focus on asymptotic properties of the sequence $f_r^v(k,n),$ the number of $n$-array $k$-ary words that contain a given pattern $v$ exactly $r$ times. In addition, we study the asymptotic behavior of the random variable $X_n,$ the number of pattern occurrences in a random $n$-array word. The two topics are closely related through the identity $P(X_n=r) = $ $\frac{1}{k^n}f_r^v(k,n).$ In particular, we show that for any $r\geq 0,$ the Stanley-Wilf sequence $\bigl(f_r^v(k,n)\bigr)^{1/n}$ converges to a limit independent of $r,$ and determine the value of the limit. We then obtain several limit theorems for the distribution of $X_n,$ including a CLT, large deviation estimates, and the exact growth rate of the entropy of $X_n.$ Furthermore, we introduce a concept of weak avoidance and link it to a certain family of non-product measures on words that penalize pattern occurrences but do not forbid them entirely. We analyze this family of probability measures in a small parameter regime, where the distributions can be understood as a perturbation of a uniform measure. Finally, we extend some of our results for words, including the one regarding the equivalence of the limits of the Stanley-Wilf sequences, to pattern occurrences in permutations.
Positivity determines the quantum cohomology of Grassmannians
Published
• View Publication
• BIB
We prove that if X is a Grassmannian of type A, then the Schubert basis of the (small) quantum cohomology ring QH(X) is the only homogeneous deformation of the Schubert basis of the ordinary cohomology ring of X that multiplies with non-negative structure constants. This implies that the (three point, genus zero) Gromov-Witten invariants of X are uniquely determined by Witten's presentation of QH(X) and the fact that they are non-negative. We conjecture that the same is true for any flag variety X = G/P of simply laced Lie type. For the variety GL(n)/B of complete flags, this conjecture is equivalent to Fomin, Gelfand, and Postnikov's conjecture that the quantum Schubert polynomials of type A are uniquely determined by positivity properties. Our proof for Grassmannians answers a question of Fulton.
Stable components and layers
Published in Can. Math. Bull. 63 (2020) 562-576
• View Publication
• BIB
Component graphs $Γ_{0}(F)$ are defined for arrays of sets $F$, and in particular for arrays of path components for Vietoris-Rips complexes and Lesnick complexes. The path components of $Γ_{0}(F)$ are the {\it stable components} of the array $F$. The stable components for the system of Lesnick complexes $\{ L_{s,k}(X) \}$ for a finite data set $X$ decompose into layers, which are themselves path components of a graph. Combinatorial scoring functions are defined for layers and stable components.
Dehn-Sommerville from Gauss-Bonnet
We give a zero curvature proof of Dehn-Sommerville for finite simple graphs. It uses a parametrized Gauss-Bonnet formula telling that the curvature of the valuation G to f_G(t)=1+f0 t + ... + fd t^(d+1) defined by the f-vector of G is the anti-derivative F of f evaluated on the unit sphere S(x). Gauss Bonnet is then parametrized, f_G(t) = sum_x F_(S(x))(t), and holds for all simplicial complexes G. The Gauss-Bonnet formula chi(G)=sum_x K(x) for Euler characteristic chi(G) is the special case t=-1. Dehn-Sommerville is equivalent to the reflection symmetry f_G(t)+(-1)^d f_G(-1-t)=0 which is equivalent to the same symmetry for F. Gauss-Bonnet therefore relates Dehn-Sommerville for G with Dehn-Sommerville for the unit spheres S(x), where it is a zero curvature condition. A class X_d of complexes for which Dehn-Sommerville holds is defined inductively by requiring chi(G)=1+(-1)^d and S(x) in X_(d-1) for all x. It starts with X_(-1)={}. Examples are simplicial spheres, including homology spheres, any odd-dimensional discrete manifold, any even-dimensional discrete manifold with chi(G)=2. It also contains non-orientable ones for which Poincar'e-duality fails or stranger spaces like spaces where the unit spheres allow for two disjoint copies of manifolds with chi(G)=1. Dehn-Sommerville is present in the Barycentric limit. It is a symmetry for the Perron-Frobenius eigenvector of the Barycentric refinement operator A. The even eigenfunctions of A^T, the Barycentric Dehn-Sommerville functionals, vanish on X like 22 f1 - 33 f2 + 40 f3 - 45f4=0 for all 4-manifolds.
Reduction of Quasi-Lattices to Lattices
Published
• View Publication
• BIB
Quasi-lattices are introduced in terms of 'join' and 'meet' operations. It is observed that quasi-lattices become lattices when these operations are associative and when these operations satisfy 'modularity' conditions. A fundamental theorem of homomorphism proved in this article states that a quasi-lattice can be mapped onto a lattice when some conditions are satisfied.
On a smoothness characterization for good moduli spaces
Published
• View Publication
• BIB
Let $\mathcal{X}$ be a smooth Artin stack with properly stable good moduli space $π\colon\mathcal{X} \to X$. The purpose of this paper is to prove that a simple geometric criterion can often characterize when the moduli space $X$ is smooth and the morphism $π$ is flat.
A Hales--Jewett type property of finite solvable groups
Published
• View Publication
• BIB
A conjecture of Leader, Russell and Walters in Euclidean Ramsey theory says that a finite set is Ramsey if and only if it is congruent to a subset of a set whose symmetry group acts transitively. As they have shown the ``if" direction of their conjecture follows if all finite groups have a Hales--Jewett type property. In this paper, we show that this property is satisfied in the case of finite solvable groups. Our result can be used to recover the work of Kříž in Euclidean Ramsey theory.
Group distance magic Cartesian product of two cycles
Published in Discrete Mathematics 343 (2020)
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $Γ$ an Abelian group both of order $n$. A $Γ$-distance magic labeling of $G$ is a bijection $\ell \colon V\rightarrow Γ$ for which there exists $μ\in Γ$ such that $% \sum_{x\in N(v)}\ell (x)=μ$ for all $v\in V$, where $N(v)$ is the neighborhood of $v$. Froncek %(\cite{ref_CicAus}) showed that the Cartesian product $C_m \square C_n$, $m, n\geq3$ is a $\mathbb{Z}_{mn}$-distance magic graph if and only if $mn$ is even. It is also known that if $mn$ is even then $C_m \square C_n$ has $\mathbb{Z}_α\times \mathcal{A}$-magic labeling for any $α\equiv 0 \pmod {{\rm lcm}(m,n)}$ and any Abelian group $\mathcal{A}$ of order $mn/α$. %\cite{ref_CicAus} However, the full characterization of group distance magic Cartesian product of two cycles is still unknown.
In the paper we make progress towards the complete solution this problem by proving some necessary conditions. We further prove that for $n$ even the graph $C_{n}\square C_{n}$ has a $Γ$-distance magic labeling for any Abelian group $Γ$ of order $n^{2}$. Moreover we show that if $m\neq n$, then there does not exist a $(\mathbb{Z}_2)^{m+n}$-distance magic labeling of the Cartesian product $C_{2^m} \square C_{2^{n}}$. We also give necessary and sufficient condition for $C_{m} \square C_{n}$ with $\gcd(m,n)=1$ to be $Γ$-distance magic.
Counting and sampling gene family evolutionary histories in the duplication-loss and duplication-loss-transfer models
Published
• View Publication
• BIB
Given a set of species whose evolution is represented by a species tree, a gene family is a group of genes having evolved from a single ancestral gene. A gene family evolves along the branches of a species tree through various mechanisms, including - but not limited to - speciation, gene duplication, gene loss, horizontal gene transfer. The reconstruction of a gene tree representing the evolution of a gene family constrained by a species tree is an important problem in phylogenomics. However, unlike in the multispecies coalescent evolutionary model, very little is known about the search space for gene family histories accounting for gene duplication, gene loss and horizontal gene transfer (the DLT-model). We introduce the notion of evolutionary histories defined as a binary ordered rooted tree describing the evolution of a gene family, constrained by a species tree in the DLT-model. We provide formal grammars describing the set of all evolutionary histories that are compatible with a given species tree, whether it is ranked or unranked. These grammars allow us, using either analytic combinatorics or dynamic programming, to efficiently compute the number of histories of a given size, and also to generate random histories of a given size under the uniform distribution. We apply these tools to obtain exact asymptotics for the number of gene family histories for two species trees, the rooted caterpillar and the complete binary tree, as well as estimates of the range of the exponential growth factor of the number of histories for random species trees of size up to 25. Our results show that including horizontal gene transfer induce a dramatic increase of the number of evolutionary histories. We also show that, within ranked species trees, the number of evolutionary histories in the DLT-model is almost independent of the species tree topology.
Small weight code words arising from the incidence of points and hyperplanes in PG($\boldsymbol{n,q}$)
Published in Des. Codes Cryptogr. 88 (4), 771-788 (2020)
• View Publication
• BIB
Let $C_{n-1}(n,q)$ be the code arising from the incidence of points and hyperplanes in the Desarguesian projective space PG($n,q$). Recently, Polverino and Zullo proved that within this code, all non-zero code words of weight at most $2q^{n-1}$ are scalar multiples of either the incidence vector of one hyperplane, or the difference of the incidence vectors of two distinct hyperplanes. We improve this result, proving that when $q>17$ and $q\notin\{25,27,29,31,32,49,121\}$, all code words of weight at most $(4q-\sqrt{8q}-\frac{33}{2})q^{n-2}$ are linear combinations of incidence vectors of hyperplanes through a fixed $(n-3)$-space. Depending on the omitted value for $q$, we can lower the bound on the weight of $c$ to obtain the same results.
Mixing time of PageRank surfers on sparse random digraphs
Published
• View Publication
• BIB
We consider the generalised PageRank walk on a digraph $G$, with refresh probability $α$ and resampling distribution $λ$. We analyse convergence to stationarity when $G$ is a large sparse random digraph with given degree sequences, in the limit of vanishing $α$. We identify three scenarios: when $α$ is much smaller than the inverse of the mixing time of $G$ the relaxation to equilibrium is dominated by the simple random walk and displays a cutoff behaviour; when $α$ is much larger than the inverse of the mixing time of $G$ on the contrary one has pure exponential decay with rate $α$; when $α$ is comparable to the inverse of the mixing time of $G$ there is a mixed behaviour interpolating between cutoff and exponential decay. This trichotomy is shown to hold uniformly in the starting point and uniformly in the resampling distribution $λ$.