Showing 20 papers (Total: 82851 papers, 47869 authors in database)
The set of connective constants of Cayley graphs contains a Cantor space
Published
• View Publication
• BIB
The purpose of this note is to prove that the set of connective constants of Cayley graphs contains a Cantor space.
Veronesean almost binomial almost complete intersections
The second Veronese ideal $I_n$ contains a natural complete intersection $J_n$ generated by the principal $2$-minors of a symmetric $(n\times n)$-matrix. We determine subintersections of the primary decomposition of $J_n$ where one intersectand is omitted. If $I_n$ is omitted, the result is the other end of a complete intersection link as in liaison theory. These subintersections also yield interesting insights into binomial ideals and multigraded algebra. For example, if $n$ is even, $I_n$ is a Gorenstein ideal and the intersection of the remaining primary components of $J_n$ equals $J_n+\langle f \rangle$ for an explicit polynomial $f$ constructed from the fibers of the Veronese grading map.
Trees with distinguishing index equal distinguishing number plus one
Published
• View Publication
• BIB
The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has an vertex (edge) labeling with $d$ labels that is preserved only by the trivial automorphism. It is known that for every graph $G$ we have $D'(G) \leq D(G) + 1$. In this note we characterize trees for which this inequality is sharp. We also show that if $G$ is a connected unicyclic graph, then $D'(G) = D(G)$.
Eta-diagonal distributions and infinite divisibility for R-diagonals
Published in Annales de l'Institut Henri Poincare, Probabilites et Statistiques 54 (2018), 907-937
• View Publication
• BIB
The class of R-diagonal *-distributions is fairly well understood in free probability. In this class, we consider the concept of infinite divisibility with respect to the operation $\boxplus$ of free additive convolution. We exploit the relation between free probability and the parallel (and simpler) world of Boolean probability. It is natural to introduce the concept of an eta-diagonal distribution that is the Boolean counterpart of an R-diagonal distribution. We establish a number of properties of eta-diagonal distributions, then we examine the canonical bijection relating eta-diagonal distributions to infinitely divisible R-diagonal ones. The overall result is a parametrization of an arbitrary $\boxplus$-infinitely divisible R-diagonal distribution that can arise in a C*-probability space, by a pair of compactly supported Borel probability measures on $[ 0, \infty )$. Among the applications of this parametrization, we prove that the set of $\boxplus$-infinitely divisible R-diagonal distributions is closed under the operation $\boxtimes$ of free multiplicative convolution.
Monochromatic factorisations of words and periodicity
Published
• View Publication
• BIB
In 2006 T. Brown asked the following question: Given a non-periodic infinite word $x=x_1x_2x_3\cdots$ with values in a non-empty set $\mathbb{A},$ does there exist a finite coloring $\varphi: \mathbb{A}^+\rightarrow C$ relative to which $x$ does not admit a $\varphi$-monochromatic factorisation, i.e., a factorisation of the form $x=u_1u_2u_3\cdots$ with $\varphi(u_i)=\varphi(u_j)$ for all $i,j\geq 1$? Various partial results in support of an affirmative answer to this question have appeared in the literature in recent years. In particular it is known that the question admits an affirmative answer for all non-uniformly recurrent words and various classes of uniformly recurrent words including Sturmian words. In this note we answer this question in general by showing that if $x=x_1x_2x_3\cdots$ is an infinite word with values in a non-empty set $\mathbb{A},$ then $x$ is periodic if and only if for every $2$-coloring $\varphi: \mathbb{A}^+\rightarrow \{0,1\}$ there exists a $\varphi$-monochromatic factorisation of $x.$ This characterization of periodicity of infinite words may be reformulated in the language of ultrafilters. Let $β\mathbb{A}^+$ denote the Stone-Cech compactification of the discrete semigroup $\mathbb{A}^+$ which we regard as the set of all ultrafilters on $\mathbb{A}^+.$ Then $x$ is periodic if and only if there exists $p\in β\mathbb{A}^+$ such that for each $A\in p$ there exists a factorisation $x=u_1u_2u_3\cdots $ with each $u_i \in A.$
Cliques and Cavities in the Human Connectome
Published
• View Publication
• BIB
Encoding brain regions and their connections as a network of nodes and edges captures many of the possible paths along which information can be transmitted as humans process and perform complex behaviors. Because cognitive processes involve large and distributed networks of brain areas, examinations of multi-node routes within larger connection patterns can offer fundamental insights into the complexities of brain function. Here, we investigate both densely connected groups of nodes that could perform local computations as well as larger patterns of interactions that would allow for parallel processing. Finding such structures necessitates we move from considering pairwise interactions to capturing higher order relations, concepts naturally expressed in the language of algebraic topology. These tools can be used to study mesoscale structures arising from the arrangement of densely connected substructures called cliques in otherwise sparsely connected brain networks. We detect cliques (all-to-all connected sets of brain regions) in the average structural connectomes of 8 healthy adults and discover the presence of more large cliques than expected in null networks constructed via wiring minimization, providing architecture through which brain network can perform rapid, local processing. We then locate topological cavities of different dimensions, around which information may flow in either diverging or converging patterns. These cavities exist consistently across subjects, differ from those observed in null model networks, and link regions of early and late evolutionary origin in long loops, underscoring their unique role in controlling brain function. These results offer a first demonstration that techniques from algebraic topology offer a novel perspective on structural connectomics, highlighting loop-like paths as crucial features in the human brain's structural architecture.
On (a,b) Pairs in Random Fibonacci Sequences
Published
• View Publication
• BIB
We study the random Fibonacci tree, which is an infinite binary tree with non-negative integers at each node. The root consists of the number 1 with a single child, also the number 1. We define the tree recursively in the following way: if x is the parent of y, then y has two children, namely |x-y| and x+y. This tree was studied by Benoit Rittaud who proved that any pair of integers a,b that are coprime occur as a parent-child pair infinitely often. We extend his results by determining the probability that a random infinite walk in this tree contains exactly one pair (1,1), that being at the root of the tree. Also, we give tight upper and lower bounds on the number of occurrences of any specific coprime pair (a,b) at any given fixed depth in the tree.
On middle cube graphs
We study a family of graphs related to the $n$-cube. The middle cube graph of parameter $k$ is the subgraph of $Q_{2k-1}$ induced by the set of vertices whose binary representation has either $k-1$ or $k$ number of ones. The middle cube graphs can be obtained from the well-known odd graphs by doubling their vertex set. Here we study some of the properties of the middle cube graphs in the light of the theory of distance-regular graphs. In particular, we completely determine their spectra (eigenvalues and their multiplicities, and associated eigenvectors).
Forbidden Berge Hypergraphs
Published
• View Publication
• BIB
A \emph{simple} matrix is a (0,1)-matrix with no repeated columns. For a (0,1)-matrix $F$, we say that a (0,1)-matrix $A$ has $F$ as a \emph{Berge hypergraph} if there is a submatrix $B$ of $A$ and some row and column permutation of $F$, say $G$, with $G\le B$. Letting $||A||$ denote the number of columns in $A$, we define the extremal function $Bh(m,{ F})=\max\{||A||\,:\, A \hbox{ is }m\hbox{-rowed simple matrix with no Berge hypergraph }F\}$. We determine the asymptotics of $Bh(m,F)$ for all $3$- and $4$-rowed $F$ and most $5$-rowed $F$. For certain $F$, this becomes the problem of determining the maximum number of copies of $K_r$ in a $m$-vertex graph that has no $K_{s,t}$ subgraph, a problem studied by Alon and Shinkleman.
Euler's partition theorem for all moduli and new companions to Rogers-Ramanujan-Andrews-Gordon identities
Published
• View Publication
• BIB
We generalise Euler's partition theorem involving odd parts and different parts for all moduli and provide new companions to Rogers-Ramanujan- Andrews-Gordon identities related to this theorem.
Some sums over irreducible polynomials
Published in Alg. Number Th. 11 (2017) 1231-1241
• View Publication
• BIB
We prove a number of conjectures due to Dinesh Thakur concerning sums of the form $\sum_P h(P)$ where the sum is over monic irreducible polynomials $P$ in $\mathbb{F}_q[T]$, the function $h$ is a rational function and the sum is considered in the $T^{-1}$-adic topology. As an example of our results, in $\mathbb{F}_2[T]$, the sum $\sum_P \tfrac{1}{P^k - 1}$ always converges to a rational function, and is $0$ for $k=1$.
Majority Colourings of Digraphs
Published in Electronic J. Combinatorics 24:2.25, 2017
• View Publication
• BIB
We prove that every digraph has a vertex 4-colouring such that for each vertex $v$, at most half the out-neighbours of $v$ receive the same colour as $v$. We then obtain several results related to the conjecture obtained by replacing 4 by 3.
A relative $m$-cover of a Hermitian surface is a relative hemisystem
Published
• View Publication
• BIB
An $m$-cover of the Hermitian surface $H(3,q^2)$ of $PG(3,q^2)$ is a set $\mathcal{S}$ of lines of $H(3,q^2)$ such that every point of $H(3,q^2)$ lies on exactly $m$ lines of $\mathcal{S}$, and $0<m<q+1$. Segre (1965) proved that if $q$ is odd, then $m=(q+1)/2$, and called such a set $\mathcal{S}$ of lines a hemisystem. Penttila and Williford (2011) introduced the notion of a relative hemisystem: a set of lines $\mathcal{R}$ of $H(3,q^2)$, $q$ even, disjoint from a symplectic subgeometry $W(3,q)$ such that every point of $H(3,q^2)\setminus W(3,q)$ lies on exactly $q/2$ elements of $\mathcal{R}$. In this paper, we provide an analogue of Segre's result by introducing relative $m$-covers of $H(3,q^2)$ with respect to a symplectic subgeometry and proving that $m$ must necessarily be $q/2$.
Lower Bounds for On-line Interval Coloring with Vector and Cardinality Constraints
Published
• View Publication
• BIB
We propose two strategies for Presenter in the on-line interval graph coloring games. Specifically, we consider a setting in which each interval is associated with a $d$-dimensional vector of weights and the coloring needs to satisfy the $d$-dimensional bandwidth constraint, and the $k$-cardinality constraint. Such a variant was first introduced by Epstein and Levy and it is a natural model for resource-aware task scheduling with $d$ different shared resources where at most $k$ tasks can be scheduled simultaneously on a single machine.
The first strategy forces any on-line interval coloring algorithm to use at least $(5m-3)\frac{d}{\log d + 3}$ different colors on an $m(\frac{d}{k} + \log{d} + 3)$-colorable set of intervals. The second strategy forces any on-line interval coloring algorithm to use at least $\lfloor\frac{5m}{2}\rfloor\frac{d}{\log d + 3}$ different colors on an $m(\frac{d}{k} + \log{d} + 3)$-colorable set of unit intervals.
Hamiltonian cycles in some family of cubic $3$-connected plane graphs
Published
• View Publication
• BIB
Barnette conjectured that all cubic $3$-connected plane graphs with maximum face size at most $6$ are hamiltonian. We provide a method of construction of a hamiltonian cycle (in dual terms) in an arbitrary cubic, $3$-connected plane graph possessing such a face $g$ that every face incident with $g$ has at most $5$ edges and every other face has at most $6$ edges.
Squareness for the Monopole-Dimer model
Published in Annals of Combinatorics, Volume 24, Issue 2 (2020), 237-255
• View Publication
• BIB
The monopole-dimer model introduced recently is an exactly-solvable signed generalisation of the dimer model. We show that the partition function of the monopole-dimer model on a graph invariant under a fixed-point free involution is a perfect square. We give a combinatorial interpretation of the square-root of the partition function for such graphs in terms of a monopole-dimer model on a new kind of graph with two types of edges which we call a dicot. The partition function of the latter can be written as a determinant, this time of a complex adjacency matrix. This formulation generalises T. T. Wu's assignment of imaginary orientation for the grid graph to planar dicots. As an application, we compute the partition function for a family of non-planar dicots with positive weights.
Ehrhart Theory of Spanning Lattice Polytopes
Published in Int. Math. Res. Not. IMRN 2018, no. 19, 5947-5973
• View Publication
• BIB
A lattice polytope is called spanning if its lattice points affinely span the ambient lattice. We show as a corollary to a general result in the Ehrhart theory of lattice polytopes that the $h^*$-vector of a spanning lattice polytope has no gaps, i. e., $h^*_i =0$ implies $h^*_{i+1}=0$. This generalizes a recent result by Blekherman, Smith, and Velasco, and implies a polyhedral consequence of the Eisenbud-Goto conjecture. We also discuss how this relates to unimodality questions of lattice polytopes and previously achieved decomposition results on lattice polytopes of given degree.
Sampling bipartite graphs with given vertex degrees and fixed edges and non-edges
We consider the problem of sampling a bipartite graph with given vertex degrees where a set $F$ of edges and non-edges which need to be contained is predefined. Our general result shows that the repeated swap of edges and non-edges in alternating cycles of at most size $2\ell-2$ ('$j$-swaps' with $j \leq 2 \ell-2$) in a current graph lead to an ergodic Metropolis Markov chain whenever $F$ does not contain a cycle of length $2 \ell$ with $\ell \geq 4.$ This leads to useful Markov chains whenever $\ell$ is not too large. If $F$ is a forest, $4$- and $6$-swaps are sufficient. Furthermore, we prove that $4$-swaps are sufficient when $F$ does not contain a matching of size $3.$ We extend the Curveball algorithm of Strona et al. \cite{Strona2014b} to our cases.
Polytopes of Stochastic Tensors
Published in Ann. Funct. Anal. 7, no. 3 (2016), 386-393
• View Publication
• BIB
Considering $n\times n\times n$ stochastic tensors $(a_{ijk})$ (i.e., nonnegative hypermatrices in which every sum over one index $i$, $j$, or $k$, is 1), we study the polytope ($Ω_{n}$) of all these tensors, the convex set ($L_n$) of all tensors in $Ω_{n}$ with some positive diagonals, and the polytope ($Δ_n$) generated by the permutation tensors. We show that $L_n$ is almost the same as $Ω_{n}$ except for some boundary points. We also present an upper bound for the number of vertices of $Ω_{n}$.
Drift Analysis and Evolutionary Algorithms Revisited
Published
• View Publication
• BIB
One of the easiest randomized greedy optimization algorithms is the following evolutionary algorithm which aims at maximizing a boolean function $f:\{0,1\}^n \to {\mathbb R}$. The algorithm starts with a random search point $ξ\in \{0,1\}^n$, and in each round it flips each bit of $ξ$ with probability $c/n$ independently at random, where $c>0$ is a fixed constant. The thus created offspring $ξ'$ replaces $ξ$ if and only if $f(ξ') \ge f(ξ)$. The analysis of the runtime of this simple algorithm on monotone and on linear functions turned out to be highly non-trivial. In this paper we review known results and provide new and self-contained proofs of partly stronger results.