Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Using Symbolic Computation to analyze some Children's Board Games
In a delightful article that recently appeared in Mathematics Magazine, David and Lori Mccune analyze the board game "Count Your Chickens!", recommended to children three and up. Alas, they use the advanced theory of Markov chains, that presupposes a knowledge of linear algebra, that few three-years-olds are likely to understand. Here we present a much simpler, more intuitive, approach, that while unlikely to be understood by three-year-olds, will probably be understood by a smart 14-year-old. Moreover, our approach accomplishes much more, and is more efficient. It uses symbolic, rather than numeric computation.
On special matrices related to Cauchy and Toeplitz matrices
In this paper, we are going to calculate the determinant of a certain type of square matrices, which are related to the well-known Cauchy and Toeplitz matrices. Then, we will use the results to determine the rank of special non-square matrices.
Null Decomposition of Unicyclic Graphs
Published
• View Publication
• BIB
In this work we obtain basis for the null space of unicyclic graphs. We extend the null decomposition of trees from [11] for unicyclic graphs. As an application, we obtain closed formulas for the independence and matching numbers of unicyclic graphs just using the support of the graph.
Asymptotic resolvents of a product of two marginals of a random tensor
Random tensors can be used to produce random matrices. This idea is, for instance, very natural when one studies random quantum states with the aim of exploring properties that are generically true, or true with some probability. We hereby study the moments generating function, in the sense of the Stieltjes transform - i.e. the resolvent -, of a random matrix defined as a product of two different marginals of the same random tensor. We study the resolvent in two different asymptotical regimes.
In the first regime, the resolvent is easily computed thanks to freeness results for the two different marginals and straightforward application of free harmonic analysis. In the second regime, we show that the resolvent satisfies an algebraic equation of degree six. This algebraic equation possesses roots whose expressions can be given explicitly in terms of radicals. We obtain this result by using an enumerative combinatorics approach. One of the interesting aspects of the second regime is that the corresponding probability density function interpolates between the square of a Marchenko-Pastur and the free multiplicative square of a Marchenko-Pastur law.
An extension of the Andrews-Warnaar partial theta function identity
Published
• View Publication
• BIB
In this paper, by applying a range of classic summation and transformation formulas for basic hypergeometric series, we obtain a three-term identity for partial theta functions. It extends the Andrews-Warnaar partial theta function identity, and also unifies several results on partial theta functions due to Ramanujan, Lovejoy and Kim. We also establish a two-term version of the extension, which can be used to derive identities for partial and false theta functions. Finally, we present a relation between the big $q$-Jacobi polynomials and the Andrews-Warnaar partial theta function identity.
A new sufficient condition for a Digraph to be Hamiltonian-A proof of Manoussakis Conjecture
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (January 18, 2021) dmtcs:6086
• View Publication
• BIB
Y. Manoussakis (J. Graph Theory 16, 1992, 51-59) proposed the following conjecture.
\noindent\textbf{Conjecture}. {\it Let $D$ be a 2-strongly connected digraph of order $n$ such that for all distinct pairs of non-adjacent vertices $x$, $y$ and $w$, $z$, we have $d(x)+d(y)+d(w)+d(z)\geq 4n-3$. Then $D$ is Hamiltonian.}
In this paper, we confirm this conjecture. Moreover, we prove that if a digraph $D$ satisfies the conditions of this conjecture and has a pair of non-adjacent vertices $\{x,y\}$ such that $d(x)+d(y)\leq 2n-4$, then $D$ contains cycles of all lengths $3, 4, \ldots , n$.
A note of generalization of fractional ID-factor-critical graphs
Published in Fundamenta Informaticae, Volume 187, Issue 1 (October 21, 2022) fi:9975
• View Publication
• BIB
In communication networks, the binding numbers of graphs (or networks) are often used to measure the vulnerability and robustness of graphs (or networks). Furthermore, the fractional factors of graphs and the fractional ID-$[a,b]$-factor-critical covered graphs have a great deal of important applications in the data transmission networks. In this paper, we investigate the relationship between the binding numbers of graphs and the fractional ID-$[a,b]$-factor-critical covered graphs, and derive a binding number condition for a graph to be fractional ID-$[a,b]$-factor-critical covered, which is an extension of Zhou's previous result [S. Zhou, Binding numbers for fractional ID-$k$-factor-critical graphs, Acta Mathematica Sinica, English Series 30(1)(2014)181--186].
Favourite distances in 3-space
Published
• View Publication
• BIB
Let $S$ be a set of $n$ points in Euclidean $3$-space. Assign to each $x\in S$ a distance $r(x)>0$, and let $e_r(x,S)$ denote the number of points in $S$ at distance $r(x)$ from $x$. Avis, Erdős and Pach (1988) introduced the extremal quantity $f_3(n)=\max\sum_{x\in S}e_r(x,S)$, where the maximum is taken over all $n$-point subsets $S$ of 3-space and all assignments $r\colon S\to(0,\infty)$ of distances. We show that if the pair $(S,r)$ maximises $f_3(n)$ and $n$ is sufficiently large, then, except for at most $2$ points, $S$ is contained in a circle $\mathcal{C}$ and the axis of symmetry $\mathcal{L}$ of $\mathcal{C}$, and $r(x)$ equals the distance from $x$ to $C$ for each $x\in S\cap\mathcal{L}$. This, together with a new construction, implies that $f_3(n)=n^2/4 + 5n/2 + O(1)$.
On k-rainbow domination in regular graphs
Published
• View Publication
• BIB
The $k$-rainbow domination problem is studied for regular graphs. We prove that the $k$-rainbow domination number $γ_{rk}(G)$ of a $d$-regular graph for $d\leq k\leq 2d$ is bounded below by $\displaystyle{\left\lceil kn/2d\right\rceil}$, where $n$ is the order of a graph. We determine necessary conditions for regular graphs to attain this bound and find several examples. As an application, we determine exact $k$-rainbow domination numbers for all cubic Cayley graphs over abelian groups.
Spanning Structures in Walker--Breaker Games
Published in Fundamenta Informaticae, Volume 185, Issue 1 (March 10, 2022) fi:9064
• View Publication
• BIB
We study the biased $(2:b)$ Walker--Breaker games, played on the edge set of the complete graph on $n$ vertices, $K_n$. These games are a variant of the Maker--Breaker games with the restriction that Walker (playing the role of Maker) has to choose her edges according to a walk. We look at the two standard graph games -- the Connectivity game and the Hamilton Cycle game and show that Walker can win both games even when playing against Breaker whose bias is of the order of magnitude $n/ \ln n$.
Primality of multiply connected polyominoes
Published in Illinois J. Math. 64, no. 3 (2020), 291-304
• View Publication
• BIB
It is known that the polyomino ideal of simple polyominoes is prime. In this paper, we focus on multiply connected polyominoes, namely polyominoes with holes, and observe that the non-existence of a certain sequence of inner intervals of the polyomino, called zig-zag walk, gives a necessary condition for the primality of the polyomino ideal. Moreover, by computational approach, we prove that for all polyominoes with rank less than or equal to 14 the above condition is also sufficient. Lastly, we present an infinite class of prime polyomino ideals.
Further bounds in the polynomial Szemerédi theorem over finite fields
Published
• View Publication
• BIB
We provide upper bounds for the size of subsets of finite fields lacking the polynomial progression $$ x, x+y, ..., x+(m-1)y, x+y^m, ..., x+y^{m+k-1}.$$ These are the first known upper bounds in the polynomial Szemerédi theorem for the case when polynomials are neither linearly independent nor homogeneous of the same degree. We moreover improve known bounds for subsets of finite fields lacking arithmetic progressions with a difference coming from the set of $k$-th power residues, i.e. configurations of the form $$ x, x+y^k, ..., x+(m-1)y^k.$$ Both results follow from an estimate of the number of such progressions in an arbitrary subset of a finite field.
Fractional decompositions and the smallest-eigenvalue separation
Published
• View Publication
• BIB
A new method is introduced for bounding the separation between the value of $-k$ and the smallest eigenvalue of a non-bipartite $k$-regular graph. The method is based on fractional decompositions of graphs. As a consequence we obtain a very short proof of a generalization and strengthening of a recent result of Qiao, Jing, and Koolen [Non-bipartite distance-regular graphs with a small smallest eigenvalue, Electronic J. Combin. 26(2) (2019), P2.41] about the smallest eigenvalue of non-bipartite distance-regular graphs.
The sandpile group of a polygon flower
Published
• View Publication
• BIB
Let $C_t$ be a cycle of length $t$, and let $P_1,\ldots,P_t$ be $t$ polygon chains. A polygon flower $F=(C_t; P_1,\ldots,P_t)$ is a graph obtained by identifying the $i$th edge of $C_t$ with an edge $e_i$ that belongs to an end-polygon of $P_i$ for $i=1,\ldots,t$. In this paper, we first give an explicit formula for the sandpile group $S(F)$ of $F$, which shows that the structure of $S(F)$ only depends on the numbers of spanning trees of $P_i$ and $P_i/ e_i$, $i=1,\ldots,t$. By analyzing the arithmetic properties of those numbers, we give a simple formula for the minimum number of generators of $S(F)$, by which a sufficient and necessary condition for $S(F)$ being cyclic is obtained. Finally, we obtain a classification of edges that generate the sandpile group.
Although the main results concern only a class of outerplanar graphs, the proof methods used in the paper may be of much more general interest. We make use of the graph structure to find a set of generators and a relation matrix $R$, which has the same form for any $F$ and has much smaller size than that of the (reduced) Laplacian matrix, which is the most popular relation matrix used to study the sandpile group of a graph.
A Practical Fixed-Parameter Algorithm for Constructing Tree-Child Networks from Multiple Binary Trees
Published
• View Publication
• BIB
We present the first fixed-parameter algorithm for constructing a tree-child phylogenetic network that displays an arbitrary number of binary input trees and has the minimum number of reticulations among all such networks. The algorithm uses the recently introduced framework of cherry picking sequences and runs in $O((8k)^k \mathrm{poly}(n, t))$ time, where $n$ is the number of leaves of every tree, $t$ is the number of trees, and $k$ is the reticulation number of the constructed network. Moreover, we provide an efficient parallel implementation of the algorithm and show that it can deal with up to $100$ input trees on a standard desktop computer, thereby providing a major improvement over previous phylogenetic network construction methods.
A polynomial bound for the number of maximal systems of imprimitivity of a finite transitive permutation group
Published
• View Publication
• BIB
We show that, there exists a constant $a$ such that, for every subgroup $H$ of a finite group $G$, the number of maximal subgroups of $G$ containing $H$ is bounded above by $a|G:H|^{3/2}$. In particular, a transitive permutation group of degree $n$ has at most $an^{3/2}$ maximal systems of imprimitivity. When $G$ is soluble, generalizing a classic result of Tim Wall, we prove a much stroger bound, that is, the number of maximal subgroups of $G$ containing $H$ is at most $|G:H|-1$.
An approximate version of Jackson's conjecture
Published
• View Publication
• BIB
In 1981 Jackson showed that the diregular bipartite tournament (a complete bipartite graph whose edges are oriented so that every vertex has the same in- and outdegree) contains a Hamilton cycle, and conjectured that in fact the edge set of it can be partitioned into Hamilton cycles. We prove an approximate version of this conjecture: For every $c>1/2$ and $\varepsilon>0$ there exists $n_0$ such that every $cn$-regular bipartite digraph on $2n\geq n_0$ vertices contains $(1-\varepsilon)cn$ edge-disjoint Hamilton cycles.
A Short Proof of Bernoulli Disjointness via the Local Lemma
Published
• View Publication
• BIB
Recently, Glasner, Tsankov, Weiss, and Zucker showed that if $Γ$ is an infinite discrete group, then every minimal $Γ$-flow is disjoint from the Bernoulli shift $2^Γ$. Their proof is somewhat involved; in particular, it invokes separate arguments for different classes of groups. In this note, we give a short and self-contained proof of their result using purely combinatorial methods applicable to all groups at once. Our proof relies on the Lovász Local Lemma, an important tool in probabilistic combinatorics that has recently found several applications in the study of dynamical systems.
Random cographs: Brownian graphon limit and asymptotic degree distribution
Published
• View Publication
• BIB
We consider uniform random cographs (either labeled or unlabeled) of large size. Our first main result is the convergence towards a Brownian limiting object in the space of graphons. We then show that the degree of a uniform random vertex in a uniform cograph is of order $n$, and converges after normalization to the Lebesgue measure on $[0,1]$. We finally analyze the vertex connectivity (i.e. the minimal number of vertices whose removal disconnects the graph) of random connected cographs, and show that this statistics converges in distribution without renormalization. Unlike for the graphon limit and for the degree of a random vertex, the limiting distribution is different in the labeled and unlabeled settings.
Our proofs rely on the classical encoding of cographs via cotrees. We then use mainly combinatorial arguments, including the symbolic method and singularity analysis.
Positively Hyperbolic Varieties, Tropicalization, and Positroids
A variety of codimension $c$ in complex affine space is called positively hyperbolic if the imaginary part of any point in it does not lie in any positive linear subspace of dimension $c$. Positively hyperbolic hypersurfaces are defined by stable polynomials. We give a new characterization of positively hyperbolic varieties using sign variations, and show that they are equivalently defined by being hyperbolic with respect to the positive part of the Grassmannian, in the sense of Shamovich and Vinnikov. We prove that positively hyperbolic projective varieties have tropicalizations that are locally subfans of the type $A$ hyperplane arrangement defined by $x_i = x_j$, in which the maximal cones satisfy a non-crossing condition. This gives new proofs of some results of Choe--Oxley--Sokal--Wagner and Brändén on Newton polytopes and tropicalizations of stable polynomials. We settle the question of which tropical varieties can be obtained as tropicalizations of positively hyperbolic varieties in the case of tropical toric varieties, constant-coefficient tropical curves, and Bergman fans. Along the way, we also give a new characterization of positroids in terms of a non-crossing condition on their Bergman fans.