Showing 20 papers (Total: 82139 papers, 47531 authors in database)
An asymptotic version of Cobham's theorem
Published
• View Publication
• BIB
We introduce the notion of an asymptotically automatic sequence, which generalises the notion of an automatic sequence, and we prove a variant of Cobham's theorem for the newly introduced class of sequences.
Complement Avoidance in Binary Words
Published
• View Publication
• BIB
The complement $\overline{x}$ of a binary word $x$ is obtained by changing each $0$ in $x$ to $1$ and vice versa. We study infinite binary words $\bf w$ that avoid sufficiently large complementary factors; that is, if $x$ is a factor of $\bf w$ then $\overline{x}$ is not a factor of $\bf w$. In particular, we classify such words according to their critical exponents.
Development of a Parallel BAT and Its Applications in Binary-state Network Reliability Problems
Various networks are broadly and deeply applied in real-life applications. Reliability is the most important index for measuring the performance of all network types. Among the various algorithms, only implicit enumeration algorithms, such as depth-first-search, breadth-search-first, universal generating function methodology, binary-decision diagram, and binary-addition-tree algorithm (BAT), can be used to calculate the exact network reliability. However, implicit enumeration algorithms can only be used to solve small-scale network reliability problems. The BAT was recently proposed as a simple, fast, easy-to-code, and flexible make-to-fit exact-solution algorithm. Based on the experimental results, the BAT and its variants outperformed other implicit enumeration algorithms. Hence, to overcome the above-mentioned obstacle as a result of the size problem, a new parallel BAT (PBAT) was proposed to improve the BAT based on compute multithread architecture to calculate the binary-state network reliability problem, which is fundamental for all types of network reliability problems. From the analysis of the time complexity and experiments conducted on 20 benchmarks of binary-state network reliability problems, PBAT was able to efficiently solve medium-scale network reliability problems.
Rotation inside convex Kakeya sets
Published
• View Publication
• BIB
Let $K$ be a convex body (a compact convex set) in $\mathbb{R}^d$, that contains a copy of another body $S$ in every possible orientation. Is it always possible to continuously move any one copy of $S$ into another, inside $K$? As a stronger question, is it always possible to continuously select, for each orientation, one copy of $S$ in that orientation? These questions were asked by Croft.
We show that, in two dimensions, the stronger question always has an affirmative answer. We also show that in three dimensions the answer is negative, even for the case when $S$ is a line segment -- but that in any dimension the first question has a positive answer when $S$ is a line segment. And we prove that, surprisingly, the answer to the first question is negative in dimension four for general $S$.
On additive MDS codes with linear projections
Published
• View Publication
• BIB
We support some evidence that a long additive MDS code over a finite field must be equivalent to a linear code. More precisely, let $C$ be an $\mathbb F_q$-linear $(n,q^{hk},n-k+1)_{q^h}$ MDS code over $\mathbb F_{q^h}$. If $k=3$, $h \in \{2,3\}$, $n > \max \{q^{h-1},h q -1\} + 3$, and $C$ has three coordinates from which its projections are equivalent to linear codes, we prove that $C$ itself is equivalent to a linear code. If $k>3$, $n > q+k$, and there are two disjoint subsets of coordinates whose combined size is at most $k-2$ from which the projections of $C$ are equivalent to linear codes, we prove that $C$ is equivalent to a code which is linear over a larger field than $\mathbb F_q$.
A tight bound for the number of edges of matchstick graphs
A matchstick graph is a plane graph with edges drawn as unit-distance line segments. Harborth introduced these graphs in 1981 and conjectured that the maximum number of edges for a matchstick graph on $n$ vertices is $\lfloor 3n-\sqrt{12n-3} \rfloor$. In this paper we prove this conjecture for all $n\geq 1$. The main geometric ingredient of the proof is an isoperimetric inequality related to L'Huilier's inequality.
Root polytopes, tropical types, and toric edge ideals
Published
• View Publication
• BIB
We consider arrangements of tropical hyperplanes where the apices of the hyperplanes are taken to infinity in certain directions. Such an arrangement defines a decomposition of Euclidean space where a cell is determined by its `type' data, analogous to the covectors of an oriented matroid. By work of Develin-Sturmfels and Fink-Rincón, these `tropical complexes' are dual to (regular) subdivisions of root polytopes, which in turn are in bijection with mixed subdivisions of certain generalized permutohedra. Extending previous work with Joswig-Sanyal, we show how a natural monomial labeling of these complexes describes polynomial relations (syzygies) among `type ideals' which arise naturally from the combinatorial data of the arrangement. In particular, we show that the cotype ideal is Alexander dual to a corresponding initial ideal of the lattice ideal of the underlying root polytope. This leads to novel ways of studying algebraic properties of various monomial and toric ideals, as well as relating them to combinatorial and geometric properties. In particular, our methods of studying the dimension of the tropical complex leads to new formulas for homological invariants of toric edge ideals of bipartite graphs, which have been extensively studied in the commutative algebra community.
Modified Macdonald polynomials and the multispecies zero range process: II
Published in Mathematische Zeitschrift, Vol 308 no. 31, (2024) 31, 45pp
• View Publication
• BIB
In a previous part of this work, we gave a new tableau formula for the modified Macdonald polynomials $\widetilde{H}_λ(X;q,t)$, using a weight on tableaux involving the \emph{queue inversion} (quinv) statistic. In this paper we explicitly describe a connection between these combinatorial objects and a class of multispecies totally asymmetric zero range processes (mTAZRP) on a ring, with site-dependent jump-rates. We construct a Markov chain on the space of tableaux of a given shape, which projects to the mTAZRP, and whose stationary distribution can be expressed in terms of quinv-weighted tableaux. We deduce that the mTAZRP has a partition function given by the modified Macdonald polynomial $\widetilde{H}_λ(X;1,t)$. The novelty here in comparison to previous works relating the stationary distribution of integrable systems to symmetric functions is that the variables $x_1,\ldots,x_n$ are explicitly present as hopping rates in the mTAZRP. We also obtain interesting symmetry properties of the mTAZRP probabilities under permutation of the jump-rates between the sites. Finally, we explore a number of interesting special cases of the mTAZRP, and give explicit formulas for particle densities and correlations of the process purely in terms of modified Macdonald polynomials.
Constructing Hamilton cycles and perfect matchings efficiently
Published
• View Publication
• BIB
Let $ε>0$. We consider the problem of constructing a Hamiltonian graph with $(1+ε)n$ edges in the following controlled random graph process. Starting with the empty graph on $[n]$, at each round a set of $K=K(n)$ edges is presented, chosen uniformly at random from the missing ones (or from the ones that have not been presented yet), and we are asked to choose at most one of them and add it to the current graph. We show that in this process one can build a Hamiltonian graph with at most $(1+ε)n$ edges in $(1+ε)(1+(\log n)/2K) n$ rounds w.h.p. The case $K=1$ implies that w.h.p. one can build a Hamiltonian graph by choosing $(1+ε)n$ edges in an on-line fashion as they appear along the first $(0.5+ε)n\log n$ steps of the random graph process, this refutes a conjecture of Frieze, Krivelevich and Michaeli. The case $K=Θ(\log n)$ implies that the Hamiltonicity threshold of the corresponding Achlioptas process is at most $(1+ε)(1+(\log n)/2K) n$. This matches the $(1-ε)(1+(\log n)/2K) n$ lower bound due to Krivelevich, Lubetzky and Sudakov and resolves the problem of determining the Hamiltonicity threshold of the Achlioptas process with $K=Θ(\log n)$.
We also show that in the above process w.h.p. one can construct a graph $G$ that spans a matching of size $\lfloor V(G)/2) \rfloor$, with $(0.5+ε)n$ edges, within $(1+ε)(0.5+(\log n)/2K) n$ rounds.
Our proof relies on a robust Hamiltonicity property of the strong $4$-core of the binomial random graph which we use as a black-box. This property allows it to absorb paths covering vertices outside the strong $4$-core into a cycle.
Lower bounds for piercing and coloring boxes
Published
• View Publication
• BIB
Given a family $\mathcal{B}$ of axis-parallel boxes in $\mathbb{R}^d$, let $τ$ denote its piercing number, and $ν$ its independence number. It is an old question whether $τ/ν$ can be arbitrarily large for given $d\geq 2$. Here, for every $ν$, we construct a family of axis-parallel boxes achieving $$τ\geq Ω_d(ν)\cdot\left(\frac{\log ν}{\log\log ν}\right)^{d-2}.$$ This not only answers the previous question for every $d\geq 3$ positively, but also matches the best known upper bound up to double-logarithmic factors.
Our main construction has further implications about the Ramsey and coloring properties of configurations of boxes as well. We show the existence of a family of $n$ boxes in $\mathbb{R}^{d}$, whose intersection graph has clique and independence number $O_d(n^{1/2})\cdot \left(\frac{\log n}{\log\log n}\right)^{-(d-2)/2}.$ This is the first improvement over the trivial upper bound $O_d(n^{1/2})$, and matches the best known lower bound up to double-logarithmic factors. Finally, for every $ω$ satisfying $\frac{\log n}{\log\log n}\ll ω\ll n^{1-\varepsilon}$, we construct an intersection graph of $n$ boxes with clique number at most $ω$, and chromatic number $Ω_{d,\varepsilon}(ω)\cdot \left(\frac{\log n}{\log\log n}\right)^{d-2}.$ This matches the best known upper bound up to a factor of $O_d((\log w)(\log \log n)^{d-2})$.
Relation between the Weyl group orbits of fundamental weights for multiply-laced finite dimensional simple Lie algebras and d-complete posets
Published
• View Publication
• BIB
It is known that there exists an order isomorphism between the Weyl group orbit through a minuscule weight of a simply-laced finite-dimensional simple Lie algebra and the set of all order filters in a self-dual connected d-complete poset. In this paper, we try to extend this fact to the case of multiply-laced finite-dimensional simple Lie algebras by using the "folding" technique with respect to a Dynkin diagram automorphism.
The maximum hook length of $d$-distinct simultaneous core partitions
Published
• View Publication
• BIB
We exactly determine the maximum possible hook length of $(s,t)$-core partitions with $d$-distinct parts when there are finitely many such partitions. Moreover, we provide an algorithm to construct a $d$-distinct $(s,t)$-core partition with this maximum possible hook length.
Corner-free sets via the torus
A corner is a triple of points in $\Bbb{Z}^2$ of the form $(x,y),(x+d,y),(x,y+d)$ where $d\neq 0$. One can think of them as being 2D-analogues to 3-term arithmetic progressions.
In this short note, we extend ideas of Green-Wolf from this latter setting to the former, achieving slightly better constructions of corner-free sets.
Lines in quasi-metric spaces with four points
Published
• View Publication
• BIB
A set of n non-collinear points in the Euclidean plane defines at least n different lines. Chen and Chvátal in 2008 conjectured that the same results is true in metric spaces for an adequate definition of line. More recently, this conjecture was studied in the context of quasi-metric spaces. In this work we prove that there is a quasi-metric space on four points a, b, c and d whose betweenness is B={(c,a,b),(a,b,c),(d,b,a),(b,a,d)}. Then, this space has only three lines none of which has four points. Moreover, we show that the betweenness of any quasi-metric space on four points with this property is isomorphic to B. Since B is not metric, we get that Chen and Chvátal's conjecture is valid for any metric space on four points.
New Lower Bounds for Cap Sets
Published
• View Publication
• BIB
A cap set is a subset of $\mathbb{F}_3^n$ with no solutions to $x+y+z=0$ other than when $x=y=z$. In this paper, we provide a new lower bound on the size of a maximal cap set. Building on a construction of Edel, we use improved computational methods and new theoretical ideas to show that, for large enough $n$, there is always a cap set in $\mathbb{F}_3^n$ of size at least $2.218^n$.
Euler Characteristics of Brill-Noether Loci on Prym Varieties
Published
• View Publication
• BIB
In this article we propose formulas for the connected K-theory class of the pointed Brill-Noether loci in Prym varieties, which extends the result by Concini and Pragacz. Applying the formulas, we compute the holomorphic Euler Characteristics of the loci.
Soliton cellular automata for the affine general linear Lie superalgebra
Published in Ann. Henri Poincaré 25 (2024) 1811--1868
• View Publication
• BIB
The box-ball system (BBS) is a cellular automaton that is an ultradiscrete analogue of the Korteweg--de Vries equation, a non-linear PDE used to model water waves. In 2001, Hikami and Inoue generalised the BBS to the general linear Lie superalgebra $\mathfrak{gl}(m|n)$. We further generalise the Hikami--Inoue BBS to column tableaux using the Kirillov--Reshetikhin crystals for $\hat{\mathfrak{gl}}{(m|n)}$ devised by Kwon and Okado (arXiv:1804.05456), where we find similar solitonic behaviour under certain conditions.
Quest for graphs of Frank number $3$
In an orientation $O$ of the graph $G$, the edge $e$ is deletable if and only if $O-e$ is strongly connected. For a $3$-edge-connected graph $G$, Hörsch and Szigeti defined the Frank number as the minimum $k$ for which $G$ admits $k$ orientations such that every edge $e$ of $G$ is deletable in at least one of the $k$ orientations. They conjectured the Frank number is at most $3$ for every $3$-edge-connected graph $G$. They proved the Petersen graph has Frank number $3$, but this was the only example with this property. We show an infinite class of graphs having Frank number $3$. Hörsch and Szigeti showed every $3$-edge-colorable $3$-edge-connected graph has Frank number at most $3$. It is tempting to consider non-$3$-edge-colorable graphs as candidates for having Frank number greater than $2$. Snarks are sometimes a good source of finding critical examples or counterexamples. One might suspect various snarks should have Frank number $3$. However, we prove several candidate infinite classes of snarks have Frank number $2$. As well as the generalized Petersen Graphs $GP(2s+1,s)$. We formulate numerous conjectures inspired by our experience.
Cactus groups, twin groups, and right-angled Artin groups
Published
• View Publication
• BIB
Cactus groups Jn are currently attracting considerable interest from diverse mathematical communities. This work explores their relations to right-angled Coxeter groups, and in particular twin groups Twn and Mostovoy's Gauss diagram groups Dn, which are better understood. Concretely, we construct an injective group 1-cocycle from Jn to Dn, and show that Twn (and its k-leaf generalisations) inject into Jn. As a corollary, we solve the word problem for cactus groups, determine their torsion (which is only even) and center (which is trivial), and answer the same questions for pure cactus groups, PJn. In addition, we yield a 1-relator presentation of the first non-abelian pure cactus group PJ4. Our tools come mainly from combinatorial group theory.
Number of paths in a graph
The $k$-th power of the adjacency matrix of a simple undirected graph represents the number of walks with length $k$ between pairs of nodes. As a walk where no node repeats, a path is a walk where each node is only visited once. The set of paths constitutes a relatively small subset of all possible walks. We introduce three types of walks, representing subsets of all possible walks. Considered types of walks allow for deriving an analytic solution for the number of paths of a certain length between node pairs in a matrix form. Depending on the path length, different approaches possess the lowest computational complexity. We also propose a recursive algorithm for determining all paths in a graph, which can be generalised to directed (un)weighted networks.