Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Non covered vertices in Fibonacci cubes by a maximum set of disjoint hypercubes
Published
• View Publication
• BIB
The Fibonacci cube of dimension n, denoted as $Γ$ n , is the subgraph of n-cube Q n induced by vertices with no consecutive 1's. In this short note we prove that asymptotically all vertices of $Γ$ n are covered by a maximum set of disjoint subgraphs isomorphic to Q k , answering an open problem proposed in [2].
Matroid Filtrations and Computational Persistent Homology
This technical report introduces a novel approach to efficient computation in homological algebra over fields, with particular emphasis on computing the persistent homology of a filtered topological cell complex. The algorithms here presented rely on a novel relationship between discrete Morse theory, matroid theory, and classical matrix factorizations. We provide background, detail the algorithms, and benchmark the software implementation in the Eirene package.
Tropical totally positive matrices
Published in Journal of Algebra, 515 :511 -- 544, 2018
• View Publication
• BIB
We investigate the tropical analogues of totally positive and totally nonnegative matrices. These arise when considering the images by the nonarchimedean valuation of the corresponding classes of matrices over a real nonarchimedean valued field, like the field of real Puiseux series. We show that the nonarchimedean valuation sends the totally positive matrices precisely to the Monge matrices. This leads to explicit polyhedral representations of the tropical analogues of totally positive and totally nonnegative matrices. We also show that tropical totally nonnegative matrices with a finite permanent can be factorized in terms of elementary matrices. We finally determine the eigenvalues of tropical totally nonnegative matrices, and relate them with the eigenvalues of totally nonnegative matrices over nonarchimedean fields.
Crossing Numbers of Random Two-Bridge Knots
Published in Topology and its Applications, Volume 247, 15 September 2018, Pages 100-114
• View Publication
• BIB
In a previous work, the first and third authors studied a random knot model for all two-bridge knots using billiard table diagrams. Here we present a closed formula for the distribution of the crossing numbers of such random knots. We also show that the probability of any given knot appearing in this model decays to zero at an exponential rate as the length of the billiard table goes to infinity. This confirms a conjecture from the previous work.
Enumerating simple paths from connected induced subgraphs
Published
• View Publication
• BIB
We present an exact formula for the ordinary generating series of the simple paths between any two vertices of a graph. Our formula involves the adjacency matrix of the connected induced subgraphs and remains valid on weighted and directed graphs. As a particular case, we obtain a relation linking the Hamiltonian paths and cycles of a graph to its dominating connected sets.
Sums of multiplicative characters with additive convolutions
Published
• View Publication
• BIB
In the paper we obtain new estimates for binary and ternary sums of multiplicative characters with additive convolutions of characteristic functions of sets, having small additive doubling. In particular, we improve a result of M.-C. Chang. The proof uses Croot-Sisask almost periodicity lemma.
Stream Clipper: Scalable Submodular Maximization on Stream
We propose a streaming submodular maximization algorithm "stream clipper" that performs as well as the offline greedy algorithm on document/video summarization in practice. It adds elements from a stream either to a solution set $S$ or to an extra buffer $B$ based on two adaptive thresholds, and improves $S$ by a final greedy step that starts from $S$ adding elements from $B$. During this process, swapping elements out of $S$ can occur if doing so yields improvements. The thresholds adapt based on if current memory utilization exceeds a budget, e.g., it increases the lower threshold, and removes from the buffer $B$ elements below the new lower threshold. We show that, while our approximation factor in the worst case is $1/2$ (like in previous work, and corresponding to the tight bound), we show that there are data-dependent conditions where our bound falls within the range $[1/2, 1-1/e]$. In news and video summarization experiments, the algorithm consistently outperforms other streaming methods, and, while using significantly less computation and memory, performs similarly to the offline greedy algorithm.
Scaling Submodular Maximization via Pruned Submodularity Graphs
We propose a new random pruning method (called "submodular sparsification (SS)") to reduce the cost of submodular maximization. The pruning is applied via a "submodularity graph" over the $n$ ground elements, where each directed edge is associated with a pairwise dependency defined by the submodular function. In each step, SS prunes a $1-1/\sqrt{c}$ (for $c>1$) fraction of the nodes using weights on edges computed based on only a small number ($O(\log n)$) of randomly sampled nodes. The algorithm requires $\log_{\sqrt{c}}n$ steps with a small and highly parallelizable per-step computation. An accuracy-speed tradeoff parameter $c$, set as $c = 8$, leads to a fast shrink rate $\sqrt{2}/4$ and small iteration complexity $\log_{2\sqrt{2}}n$. Analysis shows that w.h.p., the greedy algorithm on the pruned set of size $O(\log^2 n)$ can achieve a guarantee similar to that of processing the original dataset. In news and video summarization tasks, SS is able to substantially reduce both computational costs and memory usage, while maintaining (or even slightly exceeding) the quality of the original (and much more costly) greedy algorithm.
Monochromatic paths for the integers
Published in European Journal of Combinatorics (2016), pp. 283-288
• View Publication
• BIB
Recall that van der Waerden's theorem states that any finite coloring of the naturals has arbitrarily long monochromatic arithmetic sequences. We explore questions about the set of differences of those sequences.
Complete permutation polynomials from exceptional polynomials
Published
• View Publication
• BIB
We classify complete permutation polynomials of type $aX^{\frac{q^n-1}{q-1}+1}$ over the finite field with $q^n$ elements, for $n+1$ a prime and $n^4 < q$. For the case $n+1$ a power of the characteristic we study some known families. We also classify indecomposable exceptional polynomials of degree $8$ and $9$.
Automorphism groups of edge-transitive maps
For each of the 14 classes of edge-transitive maps described by Graver and Watkins, necessary and sufficient conditions are given for a group to be the automorphism group of a map, or of an orientable map without boundary, in that class. Extending earlier results of Siran, Tucker and Watkins, these are used to determine which symmetric groups $S_n$ can arise in this way for each class. Similar results are obtained for all finite simple groups, building on work of Leemans and Liebeck, Nuzhin and others on generating sets for such groups. It is also shown that each edge-transitive class realises finite groups of every sufficiently large nilpotence class or derived length, and also realises uncountably many non-isomorphic infinite groups. Edge-transitive embeddings of complete graphs are classified, and there is a detailed discussion of edge-transitive maps with boundary.
A Simpler Self-reduction Algorithm for Matroid Path-width
Path-width of matroids naturally generalizes the better known parameter of path-width for graphs, and is NP-hard by a reduction from the graph case. While the term matroid path-width was formally introduced by Geelen-Gerards-Whittle [JCTB 2006] in pure matroid theory, it was soon recognized by Kashyap [SIDMA 2008] that it is the same concept as long-studied so called trellis complexity in coding theory, later named trellis-width, and hence it is an interesting notion also from the algorithmic perspective. It follows from a result of Hlineny [JCTB 2006] that the decision problem, whether a given matroid over a finite field has path-width at most t, is fixed-parameter tractable (FPT) in t, but this result does not give any clue about constructing a path-decomposition. The first constructive and rather complicated FPT algorithm for path-width of matroids over a finite field was given by Jeong-Kim-Oum [SODA 2016]. Here we propose a simpler "self-reduction" FPT algorithm for a path-decomposition. Precisely, we design an efficient routine that constructs an optimal path-decomposition of a matroid by calling any subroutine for testing whether the path-width of a matroid is at most t (such as the aforementioned decision algorithm for matroid path-width).
Hopf algebras of rooted forests, cocyles and free Rota-Baxter algebras
Published in Journal of Mathematical Physics 2016, 101701, 16 pp
• View Publication
• BIB
The Hopf algebra and the Rota-Baxter algebra are the two algebraic structures underlying the algebraic approach of Connes and Kreimer to renormalization of perturbative quantum field theory. In particular the Hopf algebra of rooted trees serves as the "baby model" of Feynman graphs in their approach and can be characterized by certain universal properties involving a Hochschild 1-cocycle. Decorated rooted trees have also been applied to study Feynman graphs. We will continue the study of universal properties of various spaces of decorated rooted trees with such a 1-cocycle, leading to the concept of a cocycle Hopf algebra. We further apply the universal properties to equip a free Rota-Baxter algebra with the structure of a cocycle Hopf algebra or a cocycle bialgebra.
Minimal digraph obstructions for small matrices
Given a $\{ 0, 1, \ast \}$-matrix $M$, a minimal $M$-obstruction is a digraph $D$ such that $D$ is not $M$-partitionable, but every proper induced subdigraph of $D$ is. In this note we present a list of all the $M$-obstructions for every $2 \times 2$ matrix $M$.
Notice that this note will be part of a larger paper, but we are archiving it now so we can cite the results.
A dichotomy for the kernel by $H$-walks problem in digraphs
Published
• View Publication
• BIB
Let $H = (V_H, A_H)$ be a digraph which may contain loops, and let $D = (V_D, A_D)$ be a loopless digraph with a coloring of its arcs $c: A_D \to V_H$. An $H$-walk of $D$ is a walk $(v_0, \dots, v_n)$ of $D$ such that $(c(v_{i-1}, v_i), c(v_i, v_{i+1}))$ is an arc of $H$, for every $1 \le i \le n-1$. For $u, v \in V_D$, we say that $u$ reaches $v$ by $H$-walks if there exists an $H$-walk from $u$ to $v$ in $D$. A subset $S \subseteq V_D$ is a kernel by $H$-walks of $D$ if every vertex in $V_D \setminus S$ reaches by $H$-walks some vertex in $S$, and no vertex in $S$ can reach another vertex in $S$ by $H$-walks.
A panchromatic pattern is a digraph $H$ such that every arc-colored digraph $D$ has a kernel by $H$-walks. In this work, we prove that every digraph $H$ is either a panchromatic pattern, or the problem of determining whether an arc-colored digraph $D$ has a kernel by $H$-walks is $NP$-complete.
Ergodic measures on spaces of infinite matrices over non-Archimedean locally compact fields
Published in Compositio Math. 153 (2017) 2482-2533
• View Publication
• BIB
Let $F$ be a non-discrete non-Archimedean locally compact field and $\mathcal{O}_F$ the ring of integers in $F$. The main results of this paper are Theorem 1.2 that classifies ergodic probability measures on the space $\mathrm{Mat}(\mathbb{N}, F)$ of infinite matrices with enties in $F$ with respect to the natural action of the group $\mathrm{GL}(\infty,\mathcal{O}_F) \times \mathrm{GL}(\infty,\mathcal{O}_F)$ and Theorem 1.6 that, for non-dyadic $F$, classifies ergodic probability measures on the space $\mathrm{Sym}(\mathbb{N}, F)$ of infinite symmetric matrices with respect to the natural action of the group $\mathrm{GL}(\infty,\mathcal{O}_F)$.
Shuffling matrices, Kronecker product and Discrete Fourier Transform
Published in Discrete Applied Mathematics 233 (2017), 1-18
• View Publication
• BIB
We define and investigate a family of permutations matrices, called shuffling matrices, acting on a set of $N=n_1\cdots n_m$ elements, where $m\geq 2$ and $n_i\geq 2$ for any $i=1,\ldots, m$. These elements are identified with the vertices of the $m$-th level of a rooted tree with branch indices $(n_1,\ldots, n_m)$. Each of such matrices is induced by a permutation of $Sym(m)$ and it turns out that, in the case in which one considers the cyclic permutation $(1\ \ldots\ m)$, the corresponding permutation is the classical perfect shuffle. We give a combinatorial interpretation of these permutations in terms of lexicographic order of the vertices of the tree. This allows us to describe their fixed points. We show that our permutation matrices can be used to let the Kronecker product of matrices commute or, more generally, rearrange in an arbitrary order. Moreover, we show that the group generated by such permutations does depend only on the branch indices of the tree, but it is independent from their order. In the case in which such indices coincide, we prove that the corresponding group is a copy of $Sym(m)$ inside $Sym(n^m)$. Finally, we give an application of shuffling matrices in the context of the Discrete Fourier Transform.
Area-width scaling in generalised Motzkin paths
Published
• View Publication
• BIB
We consider a generalised version of Motzkin paths, where horizontal steps have length $\ell$, with $\ell$ being a fixed positive integer. We first give the general functional equation for the area-length generating function of this model. Using a heuristic ansatz, we derive the area-length scaling behaviour in terms of a scaling function in one variable for the special cases of Dyck, (standard) Motzkin and Schröder paths, before generalising our approach to arbitrary $\ell$. We then derive an expression for the generating function of Schröder paths and analyse the scaling behaviour of this function rigorously in the vicinity of the tri-critical point of the model by applying the method of steepest descents for the case of two coalescing saddle points. Our results show that for Dyck and Schröder paths, the heuristic scaling ansatz reproduces the rigorous results.
Path Planning for Cooperative Routing of Air-Ground Vehicles
Published
• View Publication
• BIB
We consider a cooperative vehicle routing problem for surveillance and reconnaissance missions with communication constraints between the vehicles. We propose a framework which involves a ground vehicle and an aerial vehicle; the vehicles travel cooperatively satisfying the communication limits, and visit a set of targets. We present a mixed integer linear programming (MILP) formulation and develop a branch-and-cut algorithm to solve the path planning problem for the ground and air vehicles. The effectiveness of the proposed approach is corroborated through extensive computational experiments on several randomly generated instances.
Matroid multiple cyclic exchange property
We prove a new exchange property for bases of a matroid that generalizes the multiple symmetric exchange property. For every bases $B_1,\dots,B_k$ of a matroid and a subset $A_1\subset B_1$ there exist subsets $A_2\subset B_2,\dots,A_k\subset B_k$ such that all sets $(B_i\setminus A_i)\cup A_{i-1}$ achieved by a cyclic shift of $A_i$'s by one are bases.