Showing 20 papers (Total: 84125 papers, 48472 authors in database)
Generating countable groups by discrete subsets
Published
• View Publication
• BIB
Every countable topological group $G$ has a closed discrete subset $A$ such that $G=AA^{-1}.$
Box Resolvability
Published
• View Publication
• BIB
We say that a topological group $G$ is partially box $κ$-resolvable if there exist a dense subset $B$ of $G$ and a subset $A $ of $G$, $|A|=κ$ such that the subsets $\{ aB: a\in A\}$ are pairwise disjoint. If $G=AB$ then $G$ is called box $κ$-resolvable. We prove two theorems. If a topological group $G$ contains an injective convergent sequence then $G$ is box $ω$-resolvable. Every infinite totally bounded topological group $G$ is partially box $n$-resolvable for each natural number $n$, and $G$ is box $κ$-resolvable for each infinite cardinal $κ, κ<|G|$.
Abelian logic gates
Published in Combinator. Probab. Comp. 28 (2019) 388-422
• View Publication
• BIB
An abelian processor is an automaton whose output is independent of the order of its inputs. Bond and Levine have proved that a network of abelian processors performs the same computation regardless of processing order (subject only to a halting condition). We prove that any finite abelian processor can be emulated by a network of certain very simple abelian processors, which we call gates. The most fundamental gate is a "toppler", which absorbs input particles until their number exceeds some given threshold, at which point it topples, emitting one particle and returning to its initial state. With the exception of an adder gate, which simply combines two streams of particles, each of our gates has only one input wire. Our results can be reformulated in terms of the functions computed by processors, and one consequence is that any increasing function from N^k to N^l that is the sum of a linear function and a periodic function can be expressed in terms of (possibly nested) sums of floors of quotients by integers.
Number of right ideals and a $q$-analogue of indecomposable permutations
Published
• View Publication
• BIB
We prove that the number of right ideals of codimension $n$ in the algebra of noncommutative Laurent polynomials in two variables over the finite field $\mathbb F\_q$ is equal to $(q-1)^{n+1} q^{\frac{(n+1)(n-2)}{2}}\sum\_θq^{inv(θ)}$, where the sum is over all indecomposable permutations in $S\_{n+1}$ and where $inv(θ)$stands for the number of inversions of $θ$.
Structure theory of flip graphs with applications to Weak Symmetry Breaking
Published
• View Publication
• BIB
This paper is devoted to advancing the theoretical understanding of the iterated immediate snapshot (IIS) complexity of the Weak Symmetry Breaking task (WSB). Our rather unexpected main theorem states that there exist infinitely many values of n, such that WSB for n~processes is solvable by a certain explicitly constructed 3-round IIS protocol. In particular, the minimal number of rounds, which an IIS protocol needs in order to solve the WSB task, does not go to infinity, when the number of processes goes to infinity. Our methods can also be used to generate such values of n.
We phrase our proofs in combinatorial language, while avoiding using topology. To this end, we study a~certain class of graphs, which we call flip graphs. These graphs encode adjacency structure in certain subcomplexes of iterated standard chromatic subdivisions of a simplex. While keeping the geometric background in mind for an additional intuition, we develop the structure theory of matchings in flip graphs in a purely combinatorial way. Our bound for the IIS complexity is then a corollary of this general theory.
As an afterthought of our result, we suggest to change the overall paradigm. Specifically, we think, that the bounds on the IIS complexity of solving WSB for n processes should be formulated in terms of the size of the solutions of the associated Diophantine equation, rather than in terms of the value n itself.
$2\times 2$ monotone grid classes are finitely based
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (February 11, 2016) dmtcs:1325
• View Publication
• BIB
In this note, we prove that all $2 \times 2$ monotone grid classes are finitely based, i.e., defined by a finite collection of minimal forbidden permutations. This follows from a slightly more general result about certain $2 \times 2$ (generalized) grid classes having two monotone cells in the same row.
Upper bounds for the achromatic and coloring numbers of a graph
Published
• View Publication
• BIB
Dvořák \emph{et al.} introduced a variant of the Randić index of a graph $G$, denoted by $R'(G)$, where $R'(G)=\sum_{uv\in E(G)}\frac 1 {\max\{d(u), d(v)\}}$, and $d(u)$ denotes the degree of a vertex $u$ in $G$. The coloring number $col(G)$ of a graph $G$ is the smallest number $k$ for which there exists a linear ordering of the vertices of $G$ such that each vertex is preceded by fewer than $k$ of its neighbors. It is well-known that $χ(G)\leq col(G)$ for any graph $G$, where $χ(G)$ denotes the chromatic number of $G$. In this note, we show that for any graph $G$ without isolated vertices, $col(G)\leq 2R'(G)$, with equality if and only if $G$ is obtained from identifying the center of a star with a vertex of a complete graph. This extends some known results. In addition, we present some new spectral bounds for the coloring and achromatic numbers of a graph.
Hedgehogs are not colour blind
Published
• View Publication
• BIB
We exhibit a family of $3$-uniform hypergraphs with the property that their $2$-colour Ramsey numbers grow polynomially in the number of vertices, while their $4$-colour Ramsey numbers grow exponentially. This is the first example of a class of hypergraphs whose Ramsey numbers show a strong dependence on the number of colours.
On the Beck-Fiala Conjecture for Random Set Systems
Published
• View Publication
• BIB
Motivated by the Beck-Fiala conjecture, we study discrepancy bounds for random sparse set systems. Concretely, these are set systems $(X,Σ)$, where each element $x \in X$ lies in $t$ randomly selected sets of $Σ$, where $t$ is an integer parameter. We provide new bounds in two regimes of parameters. We show that when $|Σ| \ge |X|$ the hereditary discrepancy of $(X,Σ)$ is with high probability $O(\sqrt{t \log t})$; and when $|X| \gg |Σ|^t$ the hereditary discrepancy of $(X,Σ)$ is with high probability $O(1)$. The first bound combines the Lov{á}sz Local Lemma with a new argument based on partial matchings; the second follows from an analysis of the lattice spanned by sparse vectors.
Maximal matchings in polyspiro and benzenoid chains
Published
• View Publication
• BIB
A matching $M$ of a graph $G$ is maximal if it is not a proper subset of any other matching in $G$. Maximal matchings are much less known and researched than their maximum and perfect counterparts. In particular, almost nothing is known about their enumerative properties. In this paper we present the recurrences and generating functions for the sequences enumerating maximal matchings in two classes of chemically interesting linear polymers: polyspiro chains and benzenoid chains. We also analyze the asymptotic behavior of those sequences and determine the extremal cases.
On the Number of Many-to-Many Alignments of Multiple Sequences
Published in Journal of Automata, Languages and Combinatorics 20 (2015) 1, 53-65
• Search Publication
We count the number of alignments of $N \ge 1$ sequences when match-up types are from a specified set $S\subseteq \mathbb{N}^N$. Equivalently, we count the number of nonnegative integer matrices whose rows sum to a given fixed vector and each of whose columns lie in $S$. We provide a new asymptotic formula for the case $S=\{(s_1,\ldots,s_N) \:|\: 1\le s_i\le 2\}$.
The Separated Box Product of Two Digraphs
A new product construction of graphs and digraphs, based on the standard box product of graphs and called the separated box product, is presented, and several of its properties are discussed. Questions about the symmetries of the product and their relations to symmetries of the factor graphs are considered. An application of this construction to the case of tetravalent edge-transitive graphs is discussed in detail.
Discrete Riemann surfaces based on quadrilateral cellular decompositions
Published in Advances in Mathematics 311 (2017), pp. 885-932
• View Publication
• BIB
Our aim in this paper is to provide a theory of discrete Riemann surfaces based on quadrilateral cellular decompositions of Riemann surfaces together with their complex structure encoded by complex weights. Previous work, in particular of Mercat, mainly focused on real weights corresponding to quadrilateral cells having orthogonal diagonals. We discuss discrete coverings, discrete exterior calculus, and discrete Abelian integrals. Our presentation includes several new notions and results such as branched coverings of discrete Riemann surfaces, the discrete Riemann-Hurwitz Formula, double poles of discrete one-forms and double values of discrete meromorphic functions that enter the discrete Riemann-Roch Theorem, and a discrete Abel-Jacobi map.
Mixing time and eigenvalues of the abelian sandpile Markov chain
Published
• View Publication
• BIB
The abelian sandpile model defines a Markov chain whose states are integer-valued functions on the vertices of a simple connected graph $G$. By viewing this chain as a (nonreversible) random walk on an abelian group, we give a formula for its eigenvalues and eigenvectors in terms of `multiplicative harmonic functions' on the vertices of $G$. We show that the spectral gap of the sandpile chain is within a constant factor of the length of the shortest non-integer vector in the dual Laplacian lattice, while the mixing time is at most a constant times the smoothing parameter of the Laplacian lattice. We find a surprising inverse relationship between the spectral gap of the sandpile chain and that of simple random walk on $G$: If the latter has a sufficiently large spectral gap, then the former has a small gap! In the case where $G$ is the complete graph on $n$ vertices, we show that the sandpile chain exhibits cutoff at time $\frac{1}{4π^{2}}n^{3}\log n$.
GL_n(F_q)-analogues of factorization problems in the symmetric group
Published in European Journal of Combinatorics 58 (2016), pp. 75--95
• View Publication
• BIB
We consider GL_n(F_q)-analogues of certain factorization problems in the symmetric group S_n: rather than counting factorizations of the long cycle (1, 2, ..., n) given the number of cycles of each factor, we count factorizations of a regular elliptic element given the fixed space dimension of each factor. We show that, as in S_n, the generating function counting these factorizations has attractive coefficients after an appropriate change of basis. Our work generalizes several recent results on factorizations in GL_n(F_q) and also uses a character-based approach.
As an application of our results, we compute the asymptotic growth rate of the number of factorizations of fixed genus of a regular elliptic element in GL_n(F_q) into two factors as n goes to infinity. We end with a number of open questions.
Irreducible triangulations of the once-punctured torus
Published in Siberian Electronic Mathematical Reports 15 (2018), 277-304
• View Publication
• BIB
A triangulation of a surface with fixed topological type is called irreducible if no edge can be contracted to a vertex while remaining in the category of simplicial complexes and preserving the topology of the surface. A complete list of combinatorial structures of irreducible triangulations is made by hand for the once-punctured torus, consisting of exactly 297 non-isomorphic triangulations.
Pattern avoidance for set partitions à la Klazar
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (September 7, 2016) dmtcs:1327
• View Publication
• BIB
In 2000 Klazar introduced a new notion of pattern avoidance in the context of set partitions of $[n]=\{1,\ldots, n\}$. The purpose of the present paper is to undertake a study of the concept of Wilf-equivalence based on Klazar's notion. We determine all Wilf-equivalences for partitions with exactly two blocks, one of which is a singleton block, and we conjecture that, for $n\geq 4$, these are all the Wilf-equivalences except for those arising from complementation. If $τ$ is a partition of $[k]$ and $Π_n(τ)$ denotes the set of all partitions of $[n]$ that avoid $τ$, we establish inequalities between $|Π_n(τ_1)|$ and $|Π_n(τ_2)|$ for several choices of $τ_1$ and $τ_2$, and we prove that if $τ_2$ is the partition of $[k]$ with only one block, then $|Π_n(τ_1)| <|Π_n(τ_2)|$ for all $n>k$ and all partitions $τ_1$ of $[k]$ with exactly two blocks. We conjecture that this result holds for all partitions $τ_1$ of $[k]$. Finally, we enumerate $Π_n(τ)$ for all partitions $τ$ of $[4]$.
Unmixed r-partite graphs
Unmixed bipartite graphs have been characterized by Ravadra and Villarreal independently. Our aim in this paper is to characterize unmixed r-partite graphs under a certain condition, witch is a generalization of villarreal's theorem on bipartite graphs. Also we give some examples and counterexamples in relevance this subject.
New congruences for 2-color partitions
Published in J. Number Theory 163 (2016), 474--481
• View Publication
• BIB
Let $p_k(n)$ denote the number of $2$-color partitions of $n$ where one of the colors appears only in parts that are multiples of $k$. We will prove a conjecture of Ahmed, Baruah, and Dastidar on congruences modulo $5$ for $p_k(n)$. Moreover, we will present some new congruences modulo $7$ for $p_4(n)$.
A New Approach to Euler Calculus for Continuous Integrands
Euler calculus is based on integrating simple functions with respect to the Euler characteristic. This paper makes the case for extending Euler calculus to continuous integrands by integrating with respect to (Gaussian) curvature. This requires a metric but is nevertheless defined within any O-minimal theory. It satisfies a Fubini theorem and extends to a functor. Euler calculus is the "adiabatic limit" of this "curvature calculus". All this suggests new applications of differential geometry to data analysis.