Showing 20 papers (Total: 84460 papers, 48641 authors in database)
An action of the cactus group on shifted tableau crystals
Recently, Gillespie, Levinson and Purbhoo introduced a crystal-like structure for shifted tableaux, called the shifted tableau crystal. We introduce a shifted analogue of the crystal reflection operators, which coincides with the restriction of the shifted Schützenberger involution to any primed interval of two adjacent letters. Unlike type $A$ Young tableau crystals, these operators do not realize an action of the symmetric group on the shifted tableau crystal because braid relations do not hold. We exhibit a natural internal action of the cactus group, realized by restrictions of the shifted Schützenberger involution on primed intervals of the underlying crystal alphabet.
Estimating The Dimension Of The Subfield Subcodes of Hermitian Codes
Published
• View Publication
• BIB
In this paper, we study the behavior of the true dimension of the subfield subcodes of Hermitian codes. Our motivation is to use these classes of linear codes to improve the parameters of the McEliece cryptosystem, such that key size and security level. The McEliece scheme is one of the promising alternative cryptographic schemes to the current public key schemes since in the last four decades, they resisted all known quantum computing attacks. By analyzing computational data series of true dimension, we concluded that they can be estimated by the extreme value distribution function.
On the Kernel curves associated with walks in the quarter plane
Published in Springer Proceedings in Mathematics and Statistics. Vol. 373, (2021), p.61-89
• View Publication
• BIB
The kernel method is an essential tool for the study of generating series of walks in the quarter plane. This method involves equating to zero a certain polynomial, the kernel polynomial, and using properties of the curve, the kernel curve, this defines. In the present paper, we investigate the basic properties of the kernel curve (irreducibility, singularities, genus, uniformization, etc).
Incongruent equipartitions of the plane into quadrangles of equal perimeter
Motivated by a question of R.\ Nandakumar, we show that the Euclidean plane can be dissected into mutually incongruent convex quadrangles of the same area and the same perimeter. As a byproduct we obtain vertex-to-vertex dissections of the plane by mutually incongruent triangles of unit area that are arbitrarily close to the periodic vertex-to-vertex tiling by equilateral triangles.
Finding the fixed points of a Boolean network from a positive feedback vertex set
Published
• View Publication
• BIB
In the modeling of biological systems by Boolean networks a key problem is finding the set of fixed points of a given network. Some constructed algorithms consider certain structural properties of the interaction graph like those proposed by Akutsu et al. in \cite{akutsu1998system,zhang2007algorithms} which consider a feedback vertex set of the graph. However, these methods do not take into account the type of action (activation, inhibition) between its components.
In this paper we propose a new algorithm for finding the set of fixed points of a Boolean network, based on a positive feedback vertex set $P$ of its interaction graph and which works, by applying a sequential update schedule, in time $O(2^{|P|} \cdot n^2)$, where $n$ is the number of components. The theoretical foundation of this algorithm is due a nice characterization, that we give, of the dynamical behavior of the Boolean networks without positive cycles and with a fixed point.
An executable file of \Afp made in Java and some examples of input files are available at: \href{http://www.inf.udec.cl/~lilian/FPCollector/}{\url{www.inf.udec.cl/~lilian/FPCollector/}}
Lower bounds for regular genus and gem-complexity of PL 4-manifolds with boundary
Published in Forum Math. 33(2) (2021), 289--304
• View Publication
• BIB
Let $M$ be a connected compact PL 4-manifold with boundary. In this article, we have given several lower bounds for regular genus and gem-complexity of the manifold $M$. In particular, we have proved that if $M$ is a connected compact $4$-manifold with $h$ boundary components then its gem-complexity $\mathit{k}(M)$ satisfies the following inequalities:
$$\mathit{k}(M)\geq 3χ(M)+7m+7h-10 \mbox{ and }\mathit{k}(M)\geq \mathit{k}(\partial M)+3χ(M)+4m+6h-9,$$
and its regular genus $\mathcal{G}(M)$ satisfies the following inequalities:
$$\mathcal{G}(M)\geq 2χ(M)+3m+2h-4\mbox{ and }\mathcal{G}(M)\geq \mathcal{G}(\partial M)+2χ(M)+2m+2h-4,$$
where $m$ is the rank of the fundamental group of the manifold $M$. These lower bounds enable to strictly improve previously known estimations for regular genus and gem-complexity of a PL $4$-manifold with boundary. Further, the sharpness of these bounds has also been shown for a large class of PL $4$-manifolds with boundary.
Statistics of subgroups of the modular group
Published in International Journal of Algebra and Computation, 31:08 (2021), pages 1691-1751
• View Publication
• BIB
We count the finitely generated subgroups of the modular group $\textsf{PSL}(2,\mathbb{Z})$. More precisely: each such subgroup $H$ can be represented by its Stallings graph $Γ(H)$, we consider the number of vertices of $Γ(H)$ to be the size of $H$ and we count the subgroups of size $n$. Since an index $n$ subgroup has size $n$, our results generalize the known results on the enumeration of the finite index subgroups of $\textsf{PSL}(2,\mathbb{Z})$. We give asymptotic equivalents for the number of finitely generated subgroups of $\textsf{PSL}(2,\mathbb{Z})$, as well as of the number of finite index subgroups, free subgroups and free finite index subgroups. We also give the expected value of the isomorphism type of a size $n$ subgroup and prove a large deviations statement concerning this value. Similar results are proved for finite index and for free subgroups. Finally, we show how to efficiently generate uniformly at random a size $n$ subgroup (resp. finite index subgroup, free subgroup) of $\textsf{PSL}(2,\mathbb{Z})$.
Subgraphs of large connectivity and chromatic number
Resolving a problem raised by Norin, we show that for each $k \in \mathbb{N}$, there exists an $f(k) \le 7k$ such that every graph $G$ with chromatic number at least $f(k)+1$ contains a subgraph $H$ with both connectivity and chromatic number at least $k$. This result is best-possible up to multiplicative constants, and sharpens earlier results of Alon-Kleitman-Thomassen-Saks-Seymour from 1987 showing that $f(k) = O(k^3)$, and of Chudnovsky-Penev-Scott-Trotignon from 2013 showing that $f(k) = O(k^2)$. Our methods are robust enough to handle list colouring as well: we also show that for each $k \in \mathbb{N}$, there exists an $f_\ell(k) \le 4k$ such that every graph $G$ with list chromatic number at least $f_\ell(k)+1$ contains a subgraph $H$ with both connectivity and list chromatic number at least $k$. This result is again best-possible up to multiplicative constants; here, unlike with $f(\cdot)$, even the existence of $f_\ell(\cdot)$ appears to have been previously unknown.
On the set $\{π(kn):\ k=1,2,3,\ldots\}$
An open conjecture of Z.-W. Sun states that for any integer $n>1$ there is a positive integer $k\le n$ such that $π(kn)$ is prime, where $π(x)$ denotes the number of primes not exceeding $x$. In this paper, we show that for any positive integer $n$ the set $\{π(kn):\ k=1,2,3,\ldots\}$ contains infinitely many $P_2$-numbers which are products of at most two primes. We also prove that under the Bateman--Horn conjecture the set $\{π(4k):\ k=1,2,3,\ldots\}$ contains infinitely many primes.
Duality theorems for stars and combs IV: Undominating stars
In a series of four papers we determine structures whose existence is dual, in the sense of complementary, to the existence of stars or combs. In the first paper of our series we determined structures that are complementary to arbitrary stars or combs. Stars and combs can be combined, positively as well as negatively. In the second and third paper of our series we provided duality theorems for all but one of the possible combinations.
In this fourth and final paper of our series, we complete our solution to the problem of finding complementary structures for stars, combs, and their combinations, by presenting duality theorems for the missing piece: for undominating stars. Our duality theorems are phrased in terms of end-compactified subgraphs, tree-decompositions and tangle-distinguishing separators.
Duality theorems for stars and combs III: Undominated combs
In a series of four papers we determine structures whose existence is dual, in the sense of complementary, to the existence of stars or combs. Here, in the third paper of the series, we present duality theorems for a combination of stars and combs: undominated combs. We describe their complementary structures in terms of rayless trees and of tree-decompositions.
Applications include a complete characterisation, in terms of normal spanning trees, of the graphs whose rays are dominated but which have no rayless spanning tree. Only two such graphs had so far been constructed, by Seymour and Thomas and by Thomassen. As a corollary, we show that graphs with a normal spanning tree have a rayless spanning tree if and only if all their rays are dominated.
Duality theorems for stars and combs II: Dominating stars and dominated combs
In a series of four papers we determine structures whose existence is dual, in the sense of complementary, to the existence of stars or combs. Here, in the second paper of the series, we present duality theorems for combinations of stars and combs: dominating stars and dominated combs. As dominating stars exist if and only if dominated combs do, the structures complementary to them coincide. Like for arbitrary stars and combs, our duality theorems for dominated combs (and dominating stars) are phrased in terms of normal trees or tree-decompositions.
The complementary structures we provide for dominated combs unify those for stars and combs and allow us to derive our duality theorems for stars and combs from those for dominated combs. This is surprising given that our complementary structures for stars and combs are quite different: those for stars are locally finite whereas those for combs are rayless.
Duality theorems for stars and combs I: Arbitrary stars and combs
Published in Journal of Graph Theory (2021)
• View Publication
• BIB
Extending the well-known star-comb lemma for infinite graphs, we characterise the graphs that do not contain an infinite comb or an infinite star, respectively, attached to a given set of vertices. We offer several characterisations: in terms of normal trees, tree-decompositions, ranks of rayless graphs and tangle-distinguishing separators.
Functorially finite hearts, simple-minded systems in negative cluster categories, and noncrossing partitions
Let $Q$ be an acyclic quiver and $w \geq 1$ be an integer. Let $\mathsf{C}_{-w} (\mathbf{k} Q)$ be the $(-w)$-cluster category of $\mathbf{k} Q$. We show that there is a bijection between simple-minded collections in $\mathsf{D}^b (\mathbf{k} Q)$ lying in a fundamental domain of $\mathsf{C}_{-w} (\mathbf{k} Q)$ and $w$-simple-minded systems in $\mathsf{C}_{-w} (\mathbf{k} Q)$. This generalises the same result of Iyama-Jin in the case that $Q$ is Dynkin. A key step in our proof is the observation that the heart $\mathsf{H}$ of a bounded t-structure in a Hom-finite, Krull-Schmidt, $\mathbf{k}$-linear saturated triangulated category $\mathsf{D}$ is functorially finite in $\mathsf{D}$ if and only if $\mathsf{H}$ has enough injectives and enough projectives. We then establish a bijection between $w$-simple-minded systems in $\mathsf{C}_{-w} (\mathbf{k} Q)$ and positive $w$-noncrossing partitions of the corresponding Weyl group $W_Q$.
Tipsy cop and drunken robber: a variant of the cop and robber game on graphs
Published
• View Publication
• BIB
Motivated by a biological scenario illustrated in the YouTube video \url{ https://www.youtube.com/watch?v=Z_mXDvZQ6dU} where a neutrophil chases a bacteria cell moving in random directions, we present a variant of the cop and robber game on graphs called the tipsy cop and drunken robber game. In this game, we place a tipsy cop and a drunken robber at different vertices of a finite connected graph $G$. The game consists of independent moves where the robber begins the game by moving to an adjacent vertex from where he began, this is then followed by the cop moving to an adjacent vertex from where she began. Since the robber is inebriated, he takes random walks on the graph, while the cop being tipsy means that her movements are sometimes random and sometimes intentional. Our main results give formulas for the probability that the robber is still free from capture after $m$ moves of this game on highly symmetric graphs, such as the complete graphs, complete bipartite graphs, and cycle graphs. We also give the expected encounter time between the cop and robber for these families of graphs. We end the manuscript by presenting a general method for computing such probabilities and also detail a variety of directions for future research.
Spectral Edge in Sparse Random Graphs: Upper and Lower Tail Large Deviations
Published
• View Publication
• BIB
In this paper we consider the problem of estimating the joint upper and lower tail large deviations of the edge eigenvalues of an Erdős-Rényi random graph $\mathcal{G}_{n,p}$, in the regime of $p$ where the edge of the spectrum is no longer governed by global observables, such as the number of edges, but rather by localized statistics, such as high degree vertices. Going beyond the recent developments in mean-field approximations of related problems, this paper provides a comprehensive treatment of the large deviations of the spectral edge in this entire regime, which notably includes the well studied case of constant average degree. In particular, for $r \geq 1$ fixed, we pin down the asymptotic probability that the top $r$ eigenvalues are jointly greater/less than their typical values by multiplicative factors bigger/smaller than $1$, in the regime mentioned above. The proof for the upper tail relies on a novel structure theorem, obtained by building on estimates of Krivelevich and Sudakov (2003), followed by an iterative cycle removal process, which shows, conditional on the upper tail large deviation event, with high probability the graph admits a decomposition in to a disjoint union of stars and a spectrally negligible part. On the other hand, the key ingredient in the proof of the lower tail is a Ramsey-type result which shows that if the $K$-th largest degree of a graph is not atypically small (for some large $K$ depending on $r$), then either the top eigenvalue or the $r$-th largest eigenvalue is larger than that allowed by the lower tail event on the top $r$ eigenvalues, thus forcing a contradiction. The above arguments reduce the problems to developing a large deviation theory for the extremal degrees which could be of independent interest.
Linear programming bounds for spherical (k,k)-designs
Published
• View Publication
• BIB
We derive general linear programming bounds for spherical $(k,k)$-designs. This includes lower bounds for the minimum cardinality and lower and upper bounds for minimum and maximum energy, respectively. As applications we obtain a universal bound in sense of Levenshtein for the minimum possible cardinality of a $(k,k)$ design for fixed dimension and $k$ and corresponding optimality result. We also discuss examples and possibilities for attaining the universal bound.
A model for random braiding in graph configuration spaces
Published
• View Publication
• BIB
We define and study a model of winding for non-colliding particles in finite trees. We prove that the asymptotic behavior of this statistic satisfies a central limiting theorem, analogous to similar results on winding of bounded particles in the plane. We also propose certain natural open questions and conjectures, whose confirmation would provide new insights on configuration spaces of trees.
Universal Tutte polynomial
Published
• View Publication
• BIB
The Tutte polynomial is a well-studied invariant of graphs and matroids. We first extend the Tutte polynomial from graphs to hypergraphs, and more generally from matroids to polymatroids, as a two-variable polynomial. Our definition is related to previous works of Cameron and Fink and of Kálmán and Postnikov. We then define the universal Tutte polynomial $\T_n$, which is a polynomial of degree $n$ in $2+(2^n-1)$ variables that specializes to the Tutte polynomials of all polymatroids (hence all matroids) on a ground set with $n$ elements. The universal polynomial $\T_n$ admits three kinds of symmetries: translation invariance, $S_n$-invariance, and duality.
Combinatorics on lattice paths in strips
Published
• View Publication
• BIB
For lattice paths in strips which begin at $(0,0)$ and have only up steps $U: (i,j) \rightarrow (i+1,j+1)$ and down steps $D: (i,j)\rightarrow (i+1,j-1)$, let $A_{n,k}$ denote the set of paths of length $n$ which start at $(0,0)$, end on heights $0$ or $-1$, and are contained in the strip $-\lfloor\frac{k+1}{2}\rfloor \leq y \leq \lfloor\frac{k}{2}\rfloor$ of width $k$, and let $B_{n,k}$ denote the set of paths of length $n$ which start at $(0,0)$ and are contained in the strip $0 \leq y \leq k$. We establish a bijection between $A_{n,k}$ and $B_{n,k}$.
The generating functions for the subsets of these two sets are discussed as well. Furthermore, we provide another bijection between $A_{n,3}$ and $B_{n,3}$ by translating the paths to two types of trees.