Showing 20 papers (Total: 82736 papers, 47815 authors in database)
The Brownian plane with minimal neck baby universe
Published
• View Publication
• BIB
For each $n\in\mathbb{N}$, let $\mathbf{Q}_n$ be a uniform rooted measured quadrangulation of size $n$ conditioned to have $r(n)$ vertices in its root block. We prove that for a suitable function $r(n)$, after rescaling graph distance by $\left(\frac{21}{40\cdot r(n)}\right)^{1/4}$, with an appropriate rescaling of measure, $\mathbf{Q}_n$ converges to a random pointed measured non-compact metric space $\boldsymbol{ \mathcal{S}}$, in the local Gromov-Hausdorff-Prokhorov topology; the space $\boldsymbol{ \mathcal{S}}$ is built by identifying a uniform point of the Brownian map with the distinguished point of the Brownian plane.
Our result relies upon both the convergence of uniform quadrangulations towards the Brownian plane by \citet{CLG}, and the convergence of uniform $2$-connected quadrangulations to the Brownian map, recently proved by \citet{ABW}. The main steps of the proof are as follows. First, we show that the sizes of submaps pendant to the root block have an asymptotically stable distribution. Second, we deduce asymptotics for occupancy in a random allocation model with a varying balls-to-boxes ratio. Third, we establish a bound for the number of pendant submaps of the root block, which allow us to apply the occupancy bounds to uniformly control the sizes of pendant submaps. This entails us to show that the pendant submaps act as uniformly asymptotically negligible "decorations" which do not affect the scaling limit.
On the Number of Non-zero Elements of Joint Degree Vectors
Published
• View Publication
• BIB
Joint degree vectors give the number of edges between vertices of degree $i$ and degree $j$ for $1\le i\le j\le n-1$ in an $n$-vertex graph. We find lower and upper bounds for the maximum number of nonzero elements in a joint degree vector as a function of $n$. This provides an upper bound on the number of estimable parameters in the exponential random graph model with bidegree-distribution as its sufficient statistics.
An Erdős--Hajnal analogue for permutation classes
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 2, Permutation Patterns 2015, Permutation Patterns (March 24, 2016) dmtcs:1328
• View Publication
• BIB
Let $\mathcal{C}$ be a permutation class that does not contain all layered permutations or all colayered permutations. We prove that there is a constant $c$ such that every permutation in $\mathcal{C}$ of length $n$ contains a monotone subsequence of length $cn$.
Packing paths in a $(λ+μ)K_{v+u}-λK_v$
Following standard terminology, $λK_v$ is a multigraph on $v$ vertices such that $λ$ edges join each pair of vertices. Let $(λ+μ)K_{v+u}-λK_v$ be the graph $(V\cup U,E)$ with $|V|=v$, $|U|=u$, and $(λ+μ)-λ=μ$ edges between the vertices $x$ and $y$ if $x$ and $y$ both lie in $V$ and $λ+μ$ edges between $x$ and $y$ otherwise. The main result of this paper establishes necessary and sufficient conditions for an $m$-path decomposition of $(λ+μ)K_{v+u}-λK_v$.
Asymmetric Simple Exclusion Process with open boundaries and Quadratic Harnesses
Published in Journal of Statistical Physics 167 (2017), 383-415
• View Publication
• BIB
We show that the joint probability generating function of the stationary measure of a finite state asymmetric exclusion process with open boundaries can be expressed in terms of joint moments of Markov processes called quadratic harnesses. We use our representation to prove the large deviations principle for the total number of particles in the system. We use the generator of the Markov process to show how explicit formulas for the average occupancy of a site arise for special choices of parameters. We also give similar representations for limits of stationary measures as the number of sites tends to infinity.
Beyond Degree Choosability
Published in Electronic Journal of Combinatorics. Vol. 24(3), 2017, #P3.29
• View Publication
• BIB
Let $G$ be a connected graph with maximum degree $Δ$. Brooks' theorem states that $G$ has a $Δ$-coloring unless $G$ is a complete graph or an odd cycle. A graph $G$ is \emph{degree-choosable} if $G$ can be properly colored from its lists whenever each vertex $v$ gets a list of $d(v)$ colors. In the context of list coloring, Brooks' theorem can be strengthened to the following. Every connected graph $G$ is degree-choosable unless each block of $G$ is a complete graph or an odd cycle; such a graph $G$ is a \emph{Gallai tree}.
This degree-choosability result was further strengthened to Alon--Tarsi orientations; these are orientations of $G$ in which the number of spanning Eulerian subgraphs with an even number of edges differs from the number with an odd number of edges. A graph $G$ is \emph{degree-AT} if $G$ has an Alon--Tarsi orientation in which each vertex has indegree at least 1. Alon and Tarsi showed that if $G$ is degree-AT, then $G$ is also degree-choosable. Hladky, Kral, and Schauz showed that a connected graph is degree-AT if and only if it is not a Gallai tree. In this paper, we consider pairs $(G,x)$ where $G$ is a connected graph and $x$ is some specified vertex in $V(G)$. We characterize pairs such that $G$ has no Alon--Tarsi orientation in which each vertex has indegree at least 1 and $x$ has indegree at least 2. When $G$ is 2-connected, the characterization is simple to state.
Domination parameters with number 2: interrelations and algorithmic consequences
Published in Discrete Applied Mathematics 235 (2018), 23-50
• View Publication
• BIB
In this paper, we study the most basic domination invariants in graphs, in which number 2 is intrinsic part of their definitions. We classify them upon three criteria, two of which give the following previously studied invariants: the weak $2$-domination number, $γ_{w2}(G)$, the $2$-domination number, $γ_2(G)$, the $\{2\}$-domination number, $γ_{\{2\}}(G)$, the double domination number, $γ_{\times 2}(G)$, the total $\{2\}$-domination number, $γ_{t\{2\}}(G)$, and the total double domination number, $γ_{t\times 2}(G)$, where $G$ is a graph in which a corresponding invariant is well defined. The third criterion yields rainbow versions of the mentioned six parameters, one of which has already been well studied, and three other give new interesting parameters. Together with a special, extensively studied Roman domination, $γ_R(G)$, and two classical parameters, the domination number, $γ(G)$, and the total domination number, $γ_t(G)$, we consider 13 domination invariants in graphs $G$. In the main result of the paper we present sharp upper and lower bounds of each of the invariants in terms of every other invariant, large majority of which are new results proven in this paper. As a consequence of the main theorem we obtain some complexity results for the studied invariants, in particular regarding the existence of approximation algorithms and inapproximability bounds.
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.