sequence
6845 papers tagged with this keyword
The mixing time of the switch Markov chains: a unified approach
Published in European Journal of Combinatorics 99 (2022) 103421
• View Publication
• BIB
Since 1997 a considerable effort has been spent to study the mixing time of switch Markov chains on the realizations of graphic degree sequences of simple graphs. Several results were proved on rapidly mixing Markov chains on unconstrained, bipartite, and directed sequences, using different mechanisms. The aim of this paper is to unify these approaches. We will illustrate the strength of the unified method by showing that on any $P$-stable family of unconstrained/bipartite/directed degree sequences the switch Markov chain is rapidly mixing. This is a common generalization of every known result that shows the rapid mixing nature of the switch Markov chain on a region of degree sequences. Two applications of this general result will be presented. One is an almost uniform sampler for power-law degree sequences with exponent $γ>1+\sqrt{3}$. The other one shows that the switch Markov chain on the degree sequence of an Erdős-Rényi random graph $G(n,p)$ is asymptotically almost surely rapidly mixing if $p$ is bounded away from 0 and 1 by at least $\frac{5\log n}{n-1}$.
Keyed hash function from large girth expander graphs
In this paper we present an algorithm to compute keyed hash function (message authentication code MAC). Our approach uses a family of expander graphs of large girth denoted $D(n,q)$, where $n$ is a natural number bigger than one and $q$ is a prime power. Expander graphs are known to have excellent expansion properties and thus they also have very good mixing properties. All requirements for a good MAC are satisfied in our method and a discussion about collisions and preimage resistance is also part of this work. The outputs closely approximate the uniform distribution and the results we get are indistinguishable from random sequences of bits. Exact formulas for timing are given in term of number of operations per bit of input. Based on the tests, our method for implementing DMAC shows good efficiency in comparison to other techniques. 4 operations per bit of input can be achieved. The algorithm is very flexible and it works with messages of any length. Many existing algorithms output a fixed length tag, while our constructions allow generation of an arbitrary length output, which is a big advantage.
Proximity Induced by Order Relations
This paper introduces an order proximity on a collection of objects induced by a partial order using the Smirnov closeness measure on a Száz relator space. A Száz relator is a nonempty family of relations defined on a nonvoid set $K$. The Smirnov closeness measure provides a straightforward means of assembling partial ordered of pairwise close sets. In its original form, Ju. M. Smirnov closeness measure $δ(A,B) = 0$ for a pair of nonempty sets $A,B$ with nonvoid intersection and $δ(A,B) = 1$ for non-close sets. A main result in this paper is that the graph obtained by the proximity is equivalent to the Hasse diagram of the order relation that induces it. This paper also includes an application of order proximity in detecting sequences of video frames that have order proximity.
A polynomial version of Cereceda's conjecture
Let $k$ and $d$ be such that $k \ge d+2$. Consider two $k$-colourings of a $d$-degenerate graph $G$. Can we transform one into the other by recolouring one vertex at each step while maintaining a proper coloring at any step? Cereceda et al. answered that question in the affirmative, and exhibited a recolouring sequence of exponential length. However, Cereceda conjectured that there should exist one of quadratic length.
The $k$-reconfiguration graph of $G$ is the graph whose vertices are the proper $k$-colourings of $G$, with an edge between two colourings if they differ on exactly one vertex. Cereceda's conjecture can be reformulated as follows: the diameter of the $(d+2)$-reconfiguration graph of any $d$-degenerate graph on $n$ vertices is $O(n^2)$. So far, the existence of a polynomial diameter is open even for $d=2$.
In this paper, we prove that the diameter of the $k$-reconfiguration graph of a $d$-degenerate graph is $O(n^{d+1})$ for $k \ge d+2$. Moreover, we prove that if $k \ge \frac 32 (d+1)$ then the diameter of the $k$-reconfiguration graph is quadratic, improving the previous bound of $k \ge 2d+1$. We also show that the $5$-reconfiguration graph of planar bipartite graphs has quadratic diameter, confirming Cereceda's conjecture for this class of graphs.
On completely multiplicative automatic sequences
In this article we prove that all completely multiplicative automatic sequences $(a_n)_{n \in \mathbf{N}}$ defined on $\mathbf{C}$, vanishing or not, can be written in the form $a_n=b_nχ_n$ where $(b_n)_{n \in \mathbf{N}}$ is an almost constant sequence, and $(χ_n)_{n \in \mathbf{N}}$ is a Dirichlet character.
The Iterated Local Model for Social Networks
On-line social networks, such as in Facebook and Twitter, are often studied from the perspective of friendship ties between agents in the network. Adversarial ties, however, also play an important role in the structure and function of social networks, but are often hidden. Underlying generative mechanisms of social networks are predicted by structural balance theory, which postulates that triads of agents, prefer to be transitive, where friends of friends are more likely friends, or anti-transitive, where adversaries of adversaries become friends. The previously proposed Iterated Local Transitivity (ILT) and Iterated Local Anti-Transitivity (ILAT) models incorporated transitivity and anti-transitivity, respectively, as evolutionary mechanisms. These models resulted in graphs with many observable properties of social networks, such as low diameter, high clustering, and densification.
We propose a new, generative model, referred to as the Iterated Local Model (ILM) for social networks synthesizing both transitive and anti-transitive triads over time. In ILM, we are given a countably infinite binary sequence as input, and that sequence determines whether we apply a transitive or an anti-transitive step. The resulting model exhibits many properties of complex networks observed in the ILT and ILAT models. In particular, for any input binary sequence, we show that asymptotically the model generates finite graphs that densify, have clustering coefficient bounded away from 0, have diameter at most 3, and exhibit bad spectral expansion. We also give a thorough analysis of the chromatic number, domination number, Hamiltonicity, and isomorphism types of induced subgraphs of ILM graphs.
LLT polynomials, elementary symmetric functions and melting lollipops
Published in J. Algebr. Comb (2020)
• View Publication
• BIB
We conjecture an explicit positive combinatorial formula for the expansion of unicellular LLT polynomials in the elementary symmetric basis. This is an analogue of the Shareshian-Wachs conjecture and previously studied by Panova and the author in 2018. We show that the conjecture for unicellular LLT polynomials implies a similar formula for vertical-strip LLT polynomials.
We prove positivity in the elementary basis in for the class of graphs called `melting lollipops' previously considered by Huh, Nam and Yoo. This is done by proving a curious relationship between a generalization of charge and orientations of unit-interval graphs.
We also provide short bijective proofs of Lee's three-term recurrences for unicellular LLT polynomials and we show that these recurrences are enough to generate all unicellular LLT polynomials associated with abelian area sequences.
Moser Polynomials and Eulerian Numbers
Article presents a short investigation into some properties of the Moser polynomials which appear in various problems from algebraic combinatorics. For instance, these polynomials can be used to solve the Generalized Moser's Problem on multiset recovery: Can a collection (multiset) of $n$ numbers can be uniquely restored given the collection of its $s$-sums? We prove some explicit formulas showing relationships between Moser polynomials and such popular algebraic combinatorial sequences as Eulerian and Stirling numbers.
Opportunity costs in the game of best choice
The game of best choice, also known as the secretary problem, is a model for sequential decision making with many variations in the literature. Notably, the classical setup assumes that the sequence of candidate rankings is uniformly distributed over time and that there is no expense associated with the candidate interviews. Here, we weight each ranking permutation according to the position of the best candidate in order to model costs incurred from conducting interviews with candidates that are ultimately not hired. We compare our weighted model with the classical (uniform) model via a limiting process. It turns out that imposing even infinitesimal costs on the interviews results in a probability of success that is about 28%, as opposed to 1/e (about 37%) in the classical case.
Good weights for the Erdős discrepancy problem
Published in Discrete Analysis, 2020:8, 23 pp
• Search Publication
The Erdős discrepancy problem, now a theorem by T. Tao, asks whether every sequence with values plus or minus one has unbounded discrepancy along all homogeneous arithmetic progressions. We establish weighted variants of this problem, for weights given either by structured sequences that enjoy some irrationality features, or certain random sequences. As an intermediate result, we establish unboundedness of weighted sums of bounded multiplicative functions and products of shifts of such functions. A key ingredient in our analysis for the structured weights, is a structural result for measure preserving systems naturally associated with bounded multiplicative functions that was recently obtained in joint work with B. Host.
On the period mod $m$ of polynomially-recursive sequences: a case study
Polynomially-recursive sequences generally have a periodic behavior mod $m$. In this paper, we analyze the period mod $m$ of a second order polynomially-recursive sequence. The problem originally comes from an enumeration of avoiding pattern permutations and appears to be linked with nice number theory notions (the Carmichael function, Wieferich primes, algebraic integers). We give the mod $a^k$ supercongruences, and generalize these results to a class of recurrences.
On finite width questionable representations of orders
In this article, we study "questionable representations" of (partial or total) orders, introduced in our previous article "A class of orders with linear? time sorting algorithm". (Later, we consider arbitrary binary functional/relational structures instead of orders.) A "question" is the first difference between two sequences (with ordinal index) of elements of orders/sets. In finite width "questionable representations" of an order O, comparison can be solved by looking at the "question" that compares elements of a finite order O'. A corollary of a theorem by Cantor (1895)is that all countable total orders have a binary (width 2) questionable representation. We find new classes of orders on which testing isomorphism or counting the number of linear extensions can be done in polynomial time. We also present a generalization of questionable-width, called balanced tree-questionable-width, and show that if a class of binary structures has bounded tree-width or clique-width, then it has bounded balanced tree-questionable-width. But there are classes of graphs of bounded balanced tree-questionable-width and unbounded tree-width or clique-width.
Uniform Length Dominating Sequence Graphs
Published in Graphs and Combinatorics (2020) 36:1819-1825
• View Publication
• BIB
A sequence of vertices $(v_1,\, \dots , \,v_k)$ of a graph $G$ is called a {\it dominating closed neighborhood sequence} if $\{v_1,\, \dots , \,v_k\}$ is a dominating set of $G$ and $N[v_i]\nsubseteq \cup _{j=1}^{i-1} N[v_j]$ for every $i$. A graph $G$ is said to be {\it $k-$uniform} if all dominating closed neighborhood sequences have equal length $k$. Bre{\v s}ar et al. (2014) characterized $k$-uniform graphs with $k\leq 3$. In this article we extend their work by giving a complete characterization of all $k$-uniform graphs with $k\geq 4$.
On the spectral properties of Feigenbaum graphs
Published
• View Publication
• BIB
A Horizontal Visibility Graph (HVG) is a simple graph extracted from an ordered sequence of real values, and this mapping has been used to provide a combinatorial encryption of time series for the task of performing network based time series analysis. While some properties of the spectrum of these graphs --such as the largest eigenvalue of the adjacency matrix-- have been routinely used as measures to characterise time series complexity, a theoretic understanding of such properties is lacking. In this work we explore some algebraic and spectral properties of these graphs associated to periodic and chaotic time series. We focus on the family of Feigenbaum graphs, which are HVGs constructed in correspondence with the trajectories of one-parameter unimodal maps undergoing a period-doubling route to chaos (Feigenbaum scenario). For the set of values of the map's parameter $μ$ for which the orbits are periodic with period $2^n$, Feigenbaum graphs are fully characterised by two integers (n,k) and admit an algebraic structure. We explore the spectral properties of these graphs for finite n and k, and among other interesting patterns we find a scaling relation for the maximal eigenvalue and we prove some bounds explaining it. We also provide numerical and rigorous results on a few other properties including the determinant or the number of spanning trees. In a second step, we explore the set of Feigenbaum graphs obtained for the range of values of the map's parameter $μ$ for which the system displays chaos. We show that in this case, Feigenbaum graphs form an ensemble for each value of $μ$ and the system is typically weakly self-averaging. Unexpectedly, we find that while the largest eigenvalue can distinguish chaos from an iid process, it is not a good measure to quantify the chaoticity of the process, and that the eigenvalue density does a better job.
Decomposing tournaments into paths
Published
• View Publication
• BIB
We consider a generalisation of Kelly's conjecture which is due to Alspach, Mason, and Pullman from 1976. Kelly's conjecture states that every regular tournament has an edge decomposition into Hamilton cycles, and this was proved by Kühn and Osthus for large tournaments. The conjecture of Alspach, Mason, and Pullman asks for the minimum number of paths needed in a path decomposition of a general tournament $T$. There is a natural lower bound for this number in terms of the degree sequence of $T$ and it is conjectured that this bound is correct for tournaments of even order. Almost all cases of the conjecture are open and we prove many of them.
Sarnak's Conjecture for nilsequences on arbitrary number fields and applications
We formulate the generalized Sarnak's Möbius disjointness conjecture for an arbitrary number field $K$, and prove a quantitative disjointness result between polynomial nilsequences $(Φ(g(n)Γ))_{n\in\mathbb{Z}^{D}}$ and aperiodic multiplicative functions on $\mathcal{O}_{K}$, the ring of integers of $K$. Here $D=[K\colon\mathbb{Q}]$, $X=G/Γ$ is a nilmanifold, $g\colon\mathbb{Z}^{D}\to G$ is a polynomial sequence, and $Φ\colon X\to \mathbb{C}$ is a Lipschitz function. The proof uses tools from multi-dimensional higher order Fourier analysis, multi-linear analysis, orbit properties on nilmanifold, and an orthogonality criterion of Kátai in $\mathcal{O}_{K}$.
We also use variations of this result to derive applications in number theory and combinatorics: (1) we prove a structure theorem for multiplicative functions on $K$, saying that every bounded multiplicative function can be decomposed into the sum of an almost periodic function (the structural part) and a function with small Gowers uniformity norm of any degree (the uniform part); (2) we give a necessary and sufficient condition for the Gowers norms of a bounded multiplicative function in $\mathcal{O}_{K}$ to be zero; (3) we provide partition regularity results over $K$ for a large class of homogeneous equations in three variables. For example, for $a,b\in\mathbb{Z}\backslash\{0\}$, we show that for every partition of $\mathcal{O}_{K}$ into finitely many cells, where $K=\mathbb{Q}(\sqrt{a},\sqrt{b},\sqrt{a+b})$, there exist distinct and non-zero $x,y$ belonging to the same cell and $z\in\mathcal{O}_{K}$ such that $ax^{2}+by^{2}=z^{2}$.
Ordered graphs and large bi-cliques in intersection graphs of curves
An ordered graph $G_<$ is a graph with a total ordering $<$ on its vertex set. A monotone path of length $k$ is a sequence of vertices $v_1<v_2<\ldots<v_k$ such that $v_iv_{j}$ is an edge of $G_<$ if and only if $|j-i|=1$. A bi-clique of size $m$ is a complete bipartite graph whose vertex classes are of size $m$.
We prove that for every positive integer $k$, there exists a constant $c_k>0$ such that every ordered graph on $n$ vertices that does not contain a monotone path of length $k$ as an induced subgraph has a vertex of degree at least $c_kn$, or its complement has a bi-clique of size at least $c_kn/\log n$. A similar result holds for ordered graphs containing no induced ordered subgraph isomorphic to a fixed ordered matching.
As a consequence, we give a short combinatorial proof of the following theorem of Fox and Pach. There exists a constant $c>0$ such the intersection graph $G$ of any collection of $n$ $x$-monotone curves in the plane has a bi-clique of size at least $cn/\log n$ or its complement contains a bi-clique of size at least $cn$. (A curve is called $x$-monotone if every vertical line intersects it in at most one point.) We also prove that if $G$ has at most $\left(\frac14 -ε\right){n\choose 2}$ edges for some $ε>0$, then $\overline{G}$ contains a linear sized bi-clique. We show that this statement does not remain true if we replace $\frac14$ by any larger constants.
Weighted games of best choice
The game of best choice (also known as the secretary problem) is a model for sequential decision making with a long history and many variations. The classical setup assumes that the sequence of candidate rankings are uniformly distributed. Given a statistic on the symmetric group, one can instead weight each permutation according to an exponential function in the statistic. We play the game of best choice on the Ewens and Mallows distributions that are obtained in this way from the number of left-to-right maxima and number of inversions in the permutation, respectively. For each of these, we give the optimal strategy and probability of winning. Moreover, we introduce a general class of permutation statistics that always produces games of best choice whose optimal strategies are positional, which simplifies their analysis considerably.
Compact graphings
Published in Acta. Math. Hung. 161 (2020), 185--196
• View Publication
• BIB
Graphings are special bounded-degree graphs on probability spaces, representing limits of graph sequences that are convergent in a local or local-global sense. We describe a procedure for turning the underlying space into a compact metric space, where the edge set is closed and nearby points have nearby graph neighborhoods.
On Greedy Algorithms for Binary de Bruijn Sequences
Published in Applicable Algebra in Engineering, Communication and Computing, 2021
• View Publication
• BIB
We propose a general greedy algorithm for binary de Bruijn sequences, called Generalized Prefer-Opposite (GPO) Algorithm, and its modifications. By identifying specific feedback functions and initial states, we demonstrate that most previously-known greedy algorithms that generate binary de Bruijn sequences are particular cases of our new algorithm.