Showing 20 papers (Total: 82661 papers, 47773 authors in database)
A type B analogue of the category of finite sets with surjections
Published
• View Publication
• BIB
We define a type B analogue of the category of finite sets with surjections, and we study the representation theory of this category. We show that the opposite category is quasi-Grobner, which implies that submodules of finitely generated modules are again finitely generated. We prove that the generating functions of finitely generated modules have certain prescribed poles, and we obtain restrictions on the representations of type B Coxeter groups that can appear in such modules. Our main example is a module that categorifies the degree i Kazhdan-Lusztig coefficients of type B Coxeter arrangements.
Stability phenomena for resonance arrangements
Published
• View Publication
• BIB
We prove that the ith graded pieces of the Orlik-Solomon algebras or Cordovil algebras of resonance arrangements form a finitely generated FS^op-module, thus obtaining information about the growth of their dimensions and restrictions on the irreducible representations of symmetric groups that they contain.
Recent Advances on the Graph Isomorphism Problem
Published
• View Publication
• BIB
We give an overview of recent advances on the graph isomorphism problem. Our main focus will be on Babai's quasi-polynomial time isomorphism test and subsequent developments that led to the design of isomorphism algorithms with a quasi-polynomial parameterized running time of the from $n^{\text{polylog}(k)}$, where $k$ is a graph parameter such as the maximum degree. A second focus will be the combinatorial Weisfeiler-Leman algorithm.
Reeder's Conjecture for Even Orthogonal Lie algebras
In the paper we complete a case by case proof of Reeder's Conjecture started in our previous work, proving the conjecture for simple Lie algebras of type $D$ and for the exceptional cases.
Abelian Complexity and Synchronization
We present a general method for computing the abelian complexity $ρ^{\rm ab}_{\bf s} (n)$ of an automatic sequence $\bf s$ in the case where (a) $ρ^{\rm ab}_{\bf s} (n)$ is bounded by a constant and (b) the Parikh vectors of the length-$n$ prefixes of $\bf s$ form a synchronized sequence.
We illustrate the idea in detail, using the free software Walnut to compute the abelian complexity of the Tribonacci word ${\bf TR} = 0102010\cdots$, the fixed point of the morphism $0 \rightarrow 01$, $1 \rightarrow 02$, $2 \rightarrow 0$. Previously, Richomme, Saari, and Zamboni showed that the abelian complexity of this word lies in $\{ 3,4,5,6,7 \}$, and Turek gave a Tribonacci automaton computing it. We are able to "automatically" rederive these results, and more, using the method presented here.
Best Match Graphs with Binary Trees
Published
• View Publication
• BIB
Best match graphs (BMG) are a key intermediate in graph-based orthology detection and contain a large amount of information on the gene tree. We provide a near-cubic algorithm to determine whether a BMG is binary-explainable, i.e., whether it can be explained by a fully resolved gene tree and, if so, to construct such a tree. Moreover, we show that all such binary trees are refinements of the unique binary-resolvable tree (BRT), which in general is a substantial refinement of the also unique least resolved tree of a BMG. Finally, we show that the problem of editing an arbitrary vertex-colored graph to a binary-explainable BMG is NP-complete and provide an integer linear program formulation for this task.
Correcting the algorithm for the secure domination number of cographs by Jha, Pradhan, and Banerjee
Jha, Pradhan, and Banerjee devised a linear algorithm to compute the secure domination number of a cograph. Here it is shown that their Lemma~2, which is crucial for the computational complexity of the algorithm, is incomplete. An accordingly modified lemma is proved and it is demonstrated that the complexity of the modified algorithm remains linear.
A bound for $1$-cross intersecting set pair systems
Published
• View Publication
• BIB
A well-known result of Bollobás says that if $\{(A_i, B_i)\}_{i=1}^m$ is a set pair system such that $|A_i| \le a$ and $|B_i| \le b$ for $1 \le i \le m$, and $A_i \cap B_j \ne \emptyset$ if and only if $i \ne j$, then $m \le {a+b \choose a}$. Füredi, Gyárfás and Király recently initiated the study of such systems with the additional property that $|A_i \cap B_j| = 1$ for all $i \ne j$. Confirming a conjecture of theirs, we show that this extra condition allows an improvement of the upper bound (at least) by a constant factor.
A polynomial algorithm for minimizing discrete convic functions in fixed dimension
Published
• View Publication
• BIB
Recently classes of conic and discrete conic functions were introduced. In this paper we use the term convic instead conic. The class of convic functions properly includes the classes of convex functions, strictly quasiconvex functions and the class of quasiconvex polynomials. On the other hand, the class of convic functions is properly included in the class of quasiconvex functions. The discrete convic function is a discrete analogue of the convic function. Recently the lower bound $3^{n-1}\log (2 ρ-1)$ for the number of calls to the comparison oracle needed to find the minimum of the discrete convic function defined on integer points of some $n$-dimensional ball with radius $ρ$ was obtained. But the problem of the existence of a polynomial (in $\logρ$ for fixed $n$) algorithm for minimizing such functions has remained open. In this paper, we answer positively the question of the existence of such an algorithm. Namely, we propose an algorithm for minimizing discrete convic functions that uses $2^{O(n^2 \log n)} \log ρ$ calls to the comparison oracle and has $2^{O(n^2 \log n)} \mbox{poly }(\log ρ)$ bit complexity.
The generalized Frobenius problem via restricted partition functions
Published
• View Publication
• BIB
Given relatively prime positive integers, $a_1,\ldots,a_n$, the Frobenius number is the largest integer with no representations of the form $a_1x_1+\cdots+a_nx_n$ with nonnegative integers $x_i$. This classical value has recently been generalized: given a nonnegative integer $k$, what is the largest integer with at most $k$ such representations? Other classical values can be generalized too: for example, how many nonnegative integers are representable in at most $k$ ways? For sufficiently large $k$, we give formulas for these values by understanding the level sets of the restricted partition function (the function $f(t)$ giving the number of representations of $t$). Furthermore, we give the full asymptotics of all of these values, as well as reprove formulas for some special cases (such as the $n=2$ case and a certain extremal family from the literature). Finally, we obtain the first two leading terms of the restricted partition function as a so-called quasi-polynomial.
Support vector machines and Radon's theorem
Published
• View Publication
• BIB
A support vector machine (SVM) is an algorithm that finds a hyperplane which optimally separates labeled data points in $\mathbb{R}^n$ into positive and negative classes. The data points on the margin of this separating hyperplane are called support vectors. We connect the possible configurations of support vectors to Radon's theorem, which provides guarantees for when a set of points can be divided into two classes (positive and negative) whose convex hulls intersect. If the convex hulls of the positive and negative support vectors are projected onto a separating hyperplane, then the projections intersect if and only if the hyperplane is optimal. Further, with a particular type of general position, we show that (a) the projected convex hulls of the support vectors intersect in exactly one point, (b) the support vectors are stable under perturbation, (c) there are at most $n+1$ support vectors, and (d) every number of support vectors from 2 up to $n+1$ is possible. Finally, we perform computer simulations studying the expected number of support vectors, and their configurations, for randomly generated data. We observe that as the distance between classes of points increases for this type of randomly generated data, configurations with fewer support vectors become more likely.
Support Recovery for Sparse Multidimensional Phase Retrieval
Published
• View Publication
• BIB
We consider the \textit{phase retrieval} problem of recovering a sparse signal $\mathbf{x}$ in $\mathbb{R}^d$ from intensity-only measurements in dimension $d \geq 2$. Phase retrieval can be equivalently formulated as the problem of recovering a signal from its autocorrelation, which is in turn directly related to the combinatorial problem of recovering a set from its pairwise differences. In one spatial dimension, this problem is well studied and known as the \textit{turnpike problem}. In this work, we present MISTR (Multidimensional Intersection Sparse supporT Recovery), an algorithm which exploits this formulation to recover the support of a multidimensional signal from magnitude-only measurements. MISTR takes advantage of the structure of multiple dimensions to provably achieve the same accuracy as the best one-dimensional algorithms in dramatically less time. We prove theoretically that MISTR correctly recovers the support of signals distributed as a Gaussian point process with high probability as long as sparsity is at most $\mathcal{O}\left(n^{dθ}\right)$ for any $θ< 1/2$, where $n^d$ represents pixel size in a fixed image window. In the case that magnitude measurements are corrupted by noise, we provide a thresholding scheme with theoretical guarantees for sparsity at most $\mathcal{O}\left(n^{dθ}\right)$ for $θ< 1/4$ that obviates the need for MISTR to explicitly handle noisy autocorrelation data. Detailed and reproducible numerical experiments demonstrate the effectiveness of our algorithm, showing that in practice MISTR enjoys time complexity which is nearly linear in the size of the input.
The smallest $I_5$-free and triangle-free binary matroids
We determine the smallest simple triangle-free binary matroids that have no five-element independent flat. This solves a special case of a conjecture of Nelson and Norin.
One-pth Riordan Arrays in the Construction of Identities
For an integer $p\geq 2$ we construct vertical and horizontal one-pth Riordan arrays from a Riordan array. When $p=2$, one-pth Riordan arrays reduced to well known half Riordan arrays. The generating functions of the $A$-sequences of vertical and horizontal one-pth Riordan arrays are found. The vertical and horizontal one-pth Riordan arrays provide an approach to construct many identities. They can also be used to verify some well known identities readily.
Shadowing for families of endomorphisms of generalized group shifts
Published in Discrete Contin Dyn Syst Ser A (2022), 42 (1) : 285-299
• View Publication
• BIB
Let $G$ be a countable monoid and let $A$ be an Artinian group (resp. an Artinian module). Let $Σ\subset A^G$ be a closed subshift which is also a subgroup (resp. a submodule) of $A^G$. Suppose that $Γ$ is a finitely generated monoid consisting of pairwise commuting cellular automata $Σ\to Σ$ that are also homomorphisms of groups (resp. homomorphisms of modules) with monoid binary operation given by composition of maps. We show that the valuation action of $Γ$ on $Σ$ satisfies a natural intrinsic shadowing property. Generalizations are also established for families of endomorphisms of admissible group subshifts.
Capture times in the Bridge-burning Cops and Robbers game
Published
• View Publication
• BIB
In this paper, we consider a variant of the cops and robbers game on a graph, introduced by Kinnersley and Peterson, in which every time the robber uses an edge, it is removed from the graph, known as bridge-burning cops and robbers. In particular, we study the maximum time it takes the cops to capture the robber.
Classifying edge-biregular maps of negative prime Euler characteristic
An edge-biregular map arises as a smooth normal quotient of a unique index-two subgroup of a full triangle group acting with two edge-orbits. We give a classification of all finite edge-biregular maps on surfaces of negative prime Euler characteristic.
Graphs containing finite induced paths of unbounded length
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 2, special issue in honour of Maurice Pouzet, Special issues (March 8, 2022) dmtcs:6915
• View Publication
• BIB
The age $\mathcal{A}(G)$ of a graph $G$ (undirected and without loops) is the collection of finite induced subgraphs of $G$, considered up to isomorphy and ordered by embeddability. It is well-quasi-ordered (wqo) for this order if it contains no infinite antichain. A graph is \emph{path-minimal} if it contains finite induced paths of unbounded length and every induced subgraph $G'$ with this property embeds $G$. We construct $2^{\aleph_0}$ path-minimal graphs whose ages are pairwise incomparable with set inclusion and which are wqo. Our construction is based on uniformly recurrent sequences and lexicographical sums of labelled graphs.
Sign insertion and Kazhdan-Lusztig cells of affine symmetric groups
Published
• View Publication
• BIB
Combinatorics of Kazhdan-Lusztig cells in affine type $A$ was originally developed by Lusztig, Shi, and Xi. Building on their work, Chmutov, Pylyavskyy, and Yudovina introduced the affine matrix-ball construction (abbreviated AMBC) which gives an analog of Robinson-Schensted correspondence for affine symmetric groups. An alternative approach to Kazhdan-Lusztig theory in affine type $A$ was developed by Blasiak in his work on catabolism. He introduced sign insertion algorithm and conjectured that if one fixes the two-sided cell, the recording tableau of sign insertion process determines uniquely and is determined uniquely by the left cell. In this paper we unite these two approaches by proving Blasiak's conjecture. In the process, we show that certain new operations we introduce called partial rotations connect the elements in the intersection of a left cell and a right cell. Lastly, we investigate the connection between Blasiak's sign insertion and the standardization map acting on the set of semi-standard Young tableaux defined by Lascoux and Schützenberger.
Stability of pair graphs
Published in Journal of Combinatorial Theory, Series B, 147(2021): 71-95
• View Publication
• BIB
We start up the study of the stability of general graph pairs. This notion is a generalization of the concept of the stability of graphs. We say that a pair of graphs $(Γ,Σ)$ is stable if $Aut(Γ\timesΣ) \cong Aut(Γ)\times Aut(Σ)$ and unstable otherwise, where $Γ\timesΣ$ is the direct product of $Γ$ and $Σ$. An unstable graph pair $(Γ,Σ)$ is said to be a nontrivially unstable graph pair if $Γ$ and $Σ$ are connected coprime graphs, at least one of them is non-bipartite, and each of them has the property that different vertices have distinct neighbourhoods. We obtain necessary conditions for a pair of graphs to be stable. We also give a characterization of a pair of graphs $(Γ, Σ)$ to be nontrivially unstable in the case when both graphs are connected and regular with coprime valencies and $Σ$ is vertex-transitive. This characterization is given in terms of the $Σ$-automorphisms of $Γ$, which are a new concept introduced in this paper as a generalization of both automorphisms and two-fold automorphisms of a graph.