Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Hit-and-Run for Sampling and Planning in Non-Convex Spaces
We propose the Hit-and-Run algorithm for planning and sampling problems in non-convex spaces. For sampling, we show the first analysis of the Hit-and-Run algorithm in non-convex spaces and show that it mixes fast as long as certain smoothness conditions are satisfied. In particular, our analysis reveals an intriguing connection between fast mixing and the existence of smooth measure-preserving mappings from a convex space to the non-convex space. For planning, we show advantages of Hit-and-Run compared to state-of-the-art planning methods such as Rapidly-Exploring Random Trees.
The combinatorial Chow ring of products of graphs
We prove results describing the structure of a Chow ring associated to a product of graphs, which arises from the Gross-Schoen desingularization of a product of regular proper semi-stable curves over discrete valuation rings. By the works of Johannes Kolb and Shou-Wu Zhang, this ring controls the behavior of the non-Archimedean height pairing on products of smooth proper curves over non-Archimedean fields. We provide a complete description of the degree map, and prove vanishing results affirming a conjecture of Kolb, which, combined with his work, leads to an analytic formula for the arithmetic intersection number of adelic metrized line bundles on products of curves over complete discretely valued fields.
Exceptional times of the critical dynamical Erdős-Rényi graph
Published
• View Publication
• BIB
In this paper we introduce a network model which evolves in time, and study its largest connected component. We consider a process of graphs $(G_t:t\in [0,1])$, where initially we start with a critical Erdős-Rényi graph ER(n, 1/n), and then evolve forwards in time by resampling each edge independently at rate 1. We show that the size of the largest connected component that appears during the time interval $[0, 1]$ is of order $n^{2/3} log^{1/3} n$ with high probability. This is in contrast to the largest component in the static critical Erdős-Rényi graph, which is of order $n^{2/3}$.
Graphs of kei and their diameters
A kei on $[n]$ can be thought of as a set of maps $(f_x)_{x \in [n]}$, where each $f_x$ is an involution on $[n]$ such that $(x)f_x = x$ for all $x$ and $f_{(x)f_y} = f_yf_xf_y$ for all $x$ and $y$. We can think of kei as loopless, edge-coloured multigraphs on $[n]$ where we have an edge of colour $y$ between $x$ and $z$ if and only if $(x)f_y = z$; in this paper we show that any component of diameter $d$ in such a graph must have at least $2^d$ vertices and contain at least $2^{d-1}$ edges of the same colour. We also show that these bounds are tight for each value of $d$.
Coverings, Matchings and the number of maximal independent sets of graphs
We determine the maximum number of maximal independent sets of arbitrary graphs in terms of their covering numbers and we completely characterize the extremal graphs. As an application, we give a similar result for König-Egerváry graphs in terms of their matching numbers.
Perfect quantum state transfer using Hadamard diagonalizable graphs
Published in Linear Algebra and its Applications, 531:375-398, 2017
• View Publication
• BIB
Quantum state transfer within a quantum computer can be achieved by using a network of qubits, and such a network can be modelled mathematically by a graph. Here, we focus on the corresponding Laplacian matrix, and those graphs for which the Laplacian can be diagonalized by a Hadamard matrix. We give a simple eigenvalue characterization for when such a graph has perfect state transfer at time $π/2$; this characterization allows one to choose the correct eigenvalues to build graphs having perfect state transfer. We characterize the graphs that are diagonalizable by the standard Hadamard matrix, showing a direct relationship to cubelike graphs. We then give a number of constructions producing a wide variety of new graphs that exhibit perfect state transfer, and we consider several corollaries in the settings of both weighted and unweighted graphs, as well as how our results relate to the notion of pretty good state transfer. Finally, we give an optimality result, showing that among regular graphs of degree at most $4$, the hypercube is the sparsest Hadamard diagonalizable connected unweighted graph with perfect state transfer.
Strongly maximal intersection-complete neural codes on grids are convex
Published
• View Publication
• BIB
The brain encodes spacial structure through a combinatorial code of neural activity. Experiments suggest such codes correspond to convex areas of the subject's environment. We present an intrinsic condition that implies a neural code may correspond to a convex space and give a bound on the minimal dimension underlying such a realization.
Explicit linear kernels for packing problems
Published
• View Publication
• BIB
During the last years, several algorithmic meta-theorems have appeared (Bodlaender et al. [FOCS 2009], Fomin et al. [SODA 2010], Kim et al. [ICALP 2013]) guaranteeing the existence of linear kernels on sparse graphs for problems satisfying some generic conditions. The drawback of such general results is that it is usually not clear how to derive from them constructive kernels with reasonably low explicit constants. To fill this gap, we recently presented [STACS 2014] a framework to obtain explicit linear kernels for some families of problems whose solutions can be certified by a subset of vertices. In this article we enhance our framework to deal with packing problems, that is, problems whose solutions can be certified by collections of subgraphs of the input graph satisfying certain properties. ${\mathcal F}$-Packing is a typical example: for a family ${\mathcal F}$ of connected graphs that we assume to contain at least one planar graph, the task is to decide whether a graph $G$ contains $k$ vertex-disjoint subgraphs such that each of them contains a graph in ${\mathcal F}$ as a minor. We provide explicit linear kernels on sparse graphs for the following two orthogonal generalizations of ${\mathcal F}$-Packing: for an integer $\ell \geq 1$, one aims at finding either minor-models that are pairwise at distance at least $\ell$ in $G$ ($\ell$-${\mathcal F}$-Packing), or such that each vertex in $G$ belongs to at most $\ell$ minors-models (${\mathcal F}$-Packing with $\ell$-Membership). Finally, we also provide linear kernels for the versions of these problems where one wants to pack subgraphs instead of minors.
Contagious sets in a degree-proportional bootstrap percolation process
Published
• View Publication
• BIB
We study the following bootstrap percolation process: given a connected graph $G$, a constant $ρ\in [0, 1]$ and an initial set $A \subseteq V(G)$ of \emph{infected} vertices, at each step a vertex~$v$ becomes infected if at least a $ρ$-proportion of its neighbours are already infected (once infected, a vertex remains infected forever). Our focus is on the size $h_ρ(G)$ of a smallest initial set which is \emph{contagious}, meaning that this process results in the infection of every vertex of $G$.
Our main result states that every connected graph $G$ on $n$ vertices has $h_ρ(G) < 2ρn$ or $h_ρ(G) = 1$ (note that allowing the latter possibility is necessary because of the case $ρ\leq\tfrac{1}{2n}$, as every contagious set has size at least one). This is the best-possible bound of this form, and improves on previous results of Chang and Lyuu and of Gentner and Rautenbach. We also provide a stronger bound for graphs of girth at least five and sufficiently small $ρ$, which is asymptotically best-possible.
Sums of products of binomial coefficients mod 2 and run length transforms of sequences
Published in INTEGERS 22 (2022), #A81
• View Publication
• BIB
We study properties of functions of binomial coefficients mod 2 and derive a set of recurrence relations for sums of products of binomial coefficients mod 2. We show that they result in sequences that are the run length transforms of well known basic sequences. In particular, we obtain formulas for the run length transform of the positive integers, Fibonacci numbers, extended Lucas numbers and Narayana's cows sequence.
Generalized K-Shift Forbidden Substrings in Permutations
In this note we continue the analysis of permutations that avoid substrings j(j+k), 1 <= j <= n-k, k < n, as well as substrings j(j+k) (mod n), 1 <= j <= n. In the first case the number of such permutations can be obtained from recursions starting from derangement numbers, while in the (mod n) case the number of permutations depends on whether n is prime, and more generally, on whether n and k are relatively prime.
Arc-transitive digraphs with quasiprimitive local actions
Published
• View Publication
• BIB
Let $Γ$ be a finite $G$-vertex-transitive digraph. The in-local action of $(Γ,G)$ is the permutation group $L_-$ induced by the vertex-stabiliser on the set of in-neighbours of $v$. The out-local action $L_+$ is defined analogously. Note that $L_-$ and $L_+$ may not be isomorphic. We thus consider the problem of determining which pairs $(L_-,L_+)$ are possible. We prove some general results, but pay special attention to the case when $L_-$ and $L_+$ are both quasiprimitive. (Recall that a permutation group is quasiprimitive if each of its nontrivial normal subgroups is transitive.) Along the way, we prove a structural result about pairs of finite quasiprimitive groups of the same degree, one being (abstractly) isomorphic to a proper quotient of the other.
The Hodge theory of the Hecke category
Published
• View Publication
• BIB
Ideas from Hodge theory have found important applications in representation theory. We give a survey of joint work with Ben Elias which uncovers Hodge theoretic structure in the Hecke category ("Soergel bimodules"). We also outline similarities and differences to other combinatorial Hodge theories.
Conjectures involving a generalization of the sums of powers of integers
Published
• View Publication
• BIB
Some class of sums which naturally include the sums of powers of integers is considered. A number of conjectures concerning a representation of these sums is made.
Strong edge-colorings of sparse graphs with large maximum degree
Published
• View Publication
• BIB
A {\em strong $k$-edge-coloring} of a graph $G$ is a mapping from $E(G)$ to $\{1,2,\ldots,k\}$ such that every two adjacent edges or two edges adjacent to the same edge receive distinct colors. The {\em strong chromatic index} $χ_s'(G)$ of a graph $G$ is the smallest integer $k$ such that $G$ admits a strong $k$-edge-coloring. We give bounds on $χ_s'(G)$ in terms of the maximum degree $Δ(G)$ of a graph $G$. when $G$ is sparse, namely, when $G$ is $2$-degenerate or when the maximum average degree ${\rm Mad}(G)$ is small. We prove that the strong chromatic index of each $2$-degenerate graph $G$ is at most $5Δ(G) +1$. Furthermore, we show that for a graph $G$, if ${\rm Mad}(G)< 8/3$ and $Δ(G)\geq 9$, then $χ_s'(G)\leq 3Δ(G) -3$ (the bound $3Δ(G) -3$ is sharp) and if ${\rm Mad}(G)<3$ and $Δ(G)\geq 7$, then $χ_s'(G)\leq 3Δ(G)$ (the restriction ${\rm Mad}(G)<3$ is sharp).
A weak variant of Hindman's Theorem stronger than Hilbert's Theorem
Published
• View Publication
• BIB
Hirst investigated a slight variant of Hindman's Finite Sums Theorem -- called Hilbert's Theorem -- and proved it equivalent over $\RCA_0$ to the Infinite Pigeonhole Principle for all colors. This gave the first example of a natural restriction of Hindman's Theorem provably much weaker than Hindman's Theorem itself. We here introduce another natural variant of Hindman's Theorem -- which we name the Adjacent Hindman's Theorem -- and prove it to be provable from Ramsey's Theorem for pairs and strictly stronger than Hirst's Hilbert's Theorem. The lower bound is obtained by a direct combinatorial implication from the Adjacent Hindman's Theorem to the Increasing Polarized Ramsey's Theorem for pairs introduced by Dzhafarov and Hirst. In the Adjacent Hindman's Theorem homogeneity is required only for finite sums of adjacent elements.
A correction of a characterization of planar partial cubes
Published
• View Publication
• BIB
In this note we determine the set of expansions such that a partial cube is planar if and only if it arises by a sequence of such expansions from a single vertex. This corrects a result of Peterin.
The probability of unusually large components in the near-critical Erdős-Rényi graph
Published
• View Publication
• BIB
The largest components of the critical Erdős-Rényi graph, $G(n,p)$ with $p=1/n$, have size of order $n^{2/3}$ with high probability. We give detailed asymptotics for the probability that there is an unusually large component, i.e. of size $an^{2/3}$ for large $a$. Our results, which extend work of Pittel, allow $a$ to depend upon $n$ and also hold for a range of values of $p$ around $1/n$. We also provide asymptotics for the distribution of the size of the component containing a particular vertex.
Automorphisms of the Cube $n^d$
Published in Discrete mathematics, Vol. 344, Issue 3, 2021
• View Publication
• BIB
Consider a hypergraph $H_n^d$ where the vertices are points of the $d$-dimensional combinatorial cube $n^d$ and the edges are all sets of $n$ points such that they are in one line. We study the structure of the group of automorphisms of $H_n^d$, i.e., permutations of points of $n^d$ preserving the edges. In this paper we provide a complete characterization. Moreover, we consider the Colored Cube Isomorphism problem of deciding whether for two colorings of the vertices of $H_n^d$ there exists an automorphism of $H_n^d$ preserving the colors. We show that this problem is ${\sf GI}$-complete.
The constant of recognizability is computable for primitive morphisms
Mossé proved that primitive morphisms are recognizable. In this paper we give a computable upper bound for the constant of recognizability of such a morphism. This bound can be expressed only using the cardinality of the alphabet and the length of the longest image under the morphism of a letter.