Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Helly-type theorem for eigenvectors
We prove that if any $\lfloor3d/2 \rfloor$ or fewer elements of a finite family of linear operators $\mathbb K^d\to \mathbb K^d$ ($\mathbb K$ is an arbitrary field) have a common eigenvector then all operators in the family have a common eigenvector. Moreover, $\lfloor 3d/2\rfloor$ cannot be replaced by a smaller number. Also, we study the following problem, achieving partial results: prove that if any $l=O(d)$ or fewer elements of a finite family of linear operators $\mathbb K^d\to \mathbb K^d$ have a common non-trivial invariant subspace then all operators in the family have a common non-trivial invariant subspace.
Monochromatic loose path partitions in k-uniform hypergraphs
Published
• View Publication
• BIB
A conjecture of Gyárfás and Sárközy says that in every $2$-coloring of the edges of the complete $k$-uniform hypergraph $K_n^k$, there are two disjoint monochromatic loose paths of distinct colors such that they cover all but at most $k-2$ vertices. A weaker form of this conjecture with $2k-5$ uncovered vertices instead of $k-2$ is proved, thus the conjecture holds for $k=3$. The main result of this paper states that the conjecture is true for all $k\ge 3$.
A Formal Definition for Configuration
There exists a wide set of techniques to perform keyword-based search over relational databases but all of them match the keywords in the users' queries to elements of the databases to be queried as first step. The matching process is a time-consuming and complex task. So, improving the performance of this task is a key issue to improve the keyword based search on relational data sources.In this work, we show how to model the matching process on keyword-based search on relational databases by means of the symmetric group. Besides, how this approach reduces the search space is explained in detail.
Higher order corrections for anisotropic bootstrap percolation
Published
• View Publication
• BIB
We study the critical probability for the metastable phase transition of the two-dimensional anisotropic bootstrap percolation model with $(1,2)$-neighbourhood and threshold $r = 3$. The first order asymptotics for the critical probability were recently determined by the first and second authors. Here we determine the following sharp second and third order asymptotics: \[
p_c\big( [L]^2,\mathcal{N}_{(1,2)},3 \big) \; = \; \frac{(\log \log L)^2}{12\log L} \, - \, \frac{\log \log L \, \log \log \log L}{ 3\log L}
+ \frac{\left(\log \frac{9}{2} + 1 \pm o(1) \right)\log \log L}{6\log L}. \] We note that the second and third order terms are so large that the first order asymptotics fail to approximate $p_c$ even for lattices of size well beyond $10^{10^{1000}}$.
The number of subgroups of the group $\Bbb{Z}_m\times \Bbb{Z}_n \times \Bbb{Z}_r \times \Bbb{Z}_s$
We deduce direct formulas for the total number of subgroups and the number of subgroups of a given order of the group $\Bbb{Z}_m\times \Bbb{Z}_n \times \Bbb{Z}_r \times \Bbb{Z}_s$, where $m,n,r,s\in \Bbb{N}$. The proofs are by some simple group theoretical and number theoretical arguments based on Goursat's lemma for groups. Two conjectures are also formulated.
On Fixing number of Functigraphs
The fixing number of a graph $G$ is the order of the smallest subset $S$ of its vertex set $V(G)$ such that stabilizer of $S$ in $G$, $Γ_{S}(G)$ is trivial. Let $G_{1}$ and $G_{2}$ be disjoint copies of a graph $G$, and let $g:V(G_{1})\rightarrow V(G_{2})$ be a function. A functigraph $F_{G}$ consists of the vertex set $V(G_{1})\cup V(G_{2})$ and the edge set $E(G_{1})\cup E(G_{2})\cup \{uv:v=g(u)\}$. In this paper, we study the behavior of the fixing number in passing from $G$ to $F_{G}$ and find its sharp lower and upper bounds. We also study the fixing number of functigraphs of some well known families of graphs like complete graphs, trees and join graphs.
Approximately Sampling Elements with Fixed Rank in Graded Posets
Published in Proceedings of the 28th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2017) 1823-1838
• View Publication
• BIB
Graded posets frequently arise throughout combinatorics, where it is natural to try to count the number of elements of a fixed rank. These counting problems are often $\#\textbf{P}$-complete, so we consider approximation algorithms for counting and uniform sampling. We show that for certain classes of posets, biased Markov chains that walk along edges of their Hasse diagrams allow us to approximately generate samples with any fixed rank in expected polynomial time. Our arguments do not rely on the typical proofs of log-concavity, which are used to construct a stationary distribution with a specific mode in order to give a lower bound on the probability of outputting an element of the desired rank. Instead, we infer this directly from bounds on the mixing time of the chains through a method we call $\textit{balanced bias}$.
A noteworthy application of our method is sampling restricted classes of integer partitions of $n$. We give the first provably efficient Markov chain algorithm to uniformly sample integer partitions of $n$ from general restricted classes. Several observations allow us to improve the efficiency of this chain to require $O(n^{1/2}\log(n))$ space, and for unrestricted integer partitions, expected $O(n^{9/4})$ time. Related applications include sampling permutations with a fixed number of inversions and lozenge tilings on the triangular lattice with a fixed average height.
Chained permutations and alternating sign matrices - inspired by three-person chess
Published in Discrete Mathematics 340 (2017) pp. 2732-2752
• View Publication
• BIB
We define and enumerate two new two-parameter permutation families, namely, placements of a maximum number of non-attacking rooks on $k$ chained-together $n\times n$ chessboards, in either a circular or linear configuration. The linear case with $k=1$ corresponds to standard permutations of $n$, and the circular case with $n=4$ and $k=6$ corresponds to a three-person chessboard. We give bijections of these rook placements to matrix form, one-line notation, and matchings on certain graphs. Finally, we define chained linear and circular alternating sign matrices, enumerate them for certain values of $n$ and $k$, and give bijections to analogues of monotone triangles, square ice configurations, and fully-packed loop configurations.
Injective choosability of subcubic planar graphs with girth 6
Published
• View Publication
• BIB
An injective coloring of a graph $G$ is an assignment of colors to the vertices of $G$ so that any two vertices with a common neighbor have distinct colors. A graph $G$ is injectively $k$-choosable if for any list assignment $L$, where $|L(v)| \geq k$ for all $v \in V(G)$, $G$ has an injective $L$-coloring. Injective colorings have applications in the theory of error-correcting codes and are closely related to other notions of colorability. In this paper, we show that subcubic planar graphs with girth at least 6 are injectively 5-choosable. This strengthens a result of Lužar, Škrekovski, and Tancer that subcubic planar graphs with girth at least 7 are injectively 5-colorable. Our result also improves several other results in particular cases.
Combinatorics of canonical bases revisited: Type A
Published
• View Publication
• BIB
We initiate a new approach to the study of the combinatorics of several parametrizations of canonical bases. In this work we deal with Lie algebras of type $A$. Using geometric objects called Rhombic tilings we derive a "crossing formula" to compute the actions of the crystal operators on Lusztig data for an arbitrary reduced word of the longest Weyl group element. We provide the following three applications of this result. Using the tropical Chamber Ansatz of Berenstein-Fomin-Zelevinsky we prove an enhanced version of the Anderson-Mirković conjecture for the crystal structure on MV polytopes. We establish a duality between Kashiwara's string and Lusztig's parametrization, revealing that each of them is controlled by the crystal structure of the other. We identify the potential functions of the unipotent radical of $SL_n$ defined by Berenstein-Kazhdan and Gross-Hacking-Keel-Kontsevich, respectively, with a function arising from the crystal structure on Lusztig data.
A family of formulas with reversal of high avoidability index
Published in Internat. J. Algebra Comput. 27(5): 477-494 (2017)
• View Publication
• BIB
We present an infinite family of formulas with reversal whose avoidability index is bounded between 4 and 5, and we show that several members of the family have avoidability index 5. This family is particularly interesting due to its size and the simple structure of its members. For each $k\in\{4,5\}$, there are several previously known avoidable formulas (without reversal) of avoidability index $k$, but they are small in number and they all have rather complex structure.
Splice Graphs and Their Topological Indices
Published in Kragujevac J. Sci. 35 (2013) 89-98
• Search Publication
Let $G_1=(V_1,E_1)$ and $G_2=(V_2,E_2)$ be two graphs with disjoint vertex sets $V_1$ and $V_2$. Let $u_1 \in V_1$ and $u_2 \in V_2$. A splice of $G_1$ and $G_2$ by vertices $u_1$ and $u_2$, $\mathcal{S}(G_1,G_2;u_1,u_2)$, is defined by identifying the vertices $u_1$ and $u_2$ in the union of $G_1$ and $G_2$. In this paper we calculate the Szeged, edge-Szeged, $PI$, vertex-$PI$ and eccentric connectivity indices of splice graphs.
Refined universal laws for hull volumes and perimeters in large planar maps
Published in Journal of Physics A: Mathematical and Theoretical, Volume 50, Number 27, 275203, 2017
• View Publication
• BIB
We consider ensembles of planar maps with two marked vertices at distance k from each other and look at the closed line separating these vertices and lying at distance d from the first one (d<k). This line divides the map into two components, the hull at distance d which corresponds to the part of the map lying on the same side as the first vertex and its complementary. The number of faces within the hull is called the hull volume and the length of the separating line the hull perimeter. We study the statistics of the hull volume and perimeter for arbitrary d and k in the limit of infinitely large planar quadrangulations, triangulations and Eulerian triangulations. We consider more precisely situations where both d and k become large with the ratio d/k remaining finite. For infinitely large maps, two regimes may be encountered: either the hull has a finite volume and its complementary is infinitely large, or the hull itself has an infinite volume and its complementary is of finite size. We compute the probability for the map to be in either regime as a function of d/k as well as a number of universal statistical laws for the hull perimeter and volume when maps are conditioned to be in one regime or the other.
Computing tropical points and tropical links
Published in Discrete Comput. Geom. (2018)
• View Publication
• BIB
We present an algorithm for computing zero-dimensional tropical varieties based on triangular decomposition and Newton polygon methods. From it, we derive algorithms for computing points on and links of higher-dimensional tropical varieties, using intersections with affine hyperplanes to reduce the dimension to zero. We use the algorithms to show that the tropical Grassmannians $\mathcal G_{3,8}$ and $\mathcal G_{4,8}$ are not simplicial.
Bipartite graphs and their dessins d'enfants
Each finite and connected bipartite graph induces a finite collection of non-isomorphic dessins d'enfants, that is, $2$-cell embeddings of it into some closed orientable surface. We describe an algorithm to compute all these dessins d'enfants, together their automorphims group, monodromy group and duality type.
Maximising $H$-Colourings of Graphs
Published
• View Publication
• BIB
For graphs $G$ and $H$, an $H$-colouring of $G$ is a map $ψ:V(G)\rightarrow V(H)$ such that $ij\in E(G)\Rightarrowψ(i)ψ(j)\in E(H)$. The number of $H$-colourings of $G$ is denoted by $\hom(G,H)$.
We prove the following: for all graphs $H$ and $δ\geq3$, there is a constant $κ(δ,H)$ such that, if $n\geqκ(δ,H)$, the graph $K_{δ,n-δ}$ maximises the number of $H$-colourings among all connected graphs with $n$ vertices and minimum degree $δ$. This answers a question of Engbers.
We also disprove a conjecture of Engbers on the graph $G$ that maximises the number of $H$-colourings when the assumption of the connectivity of $G$ is dropped.
Finally, let $H$ be a graph with maximum degree $k$. We show that, if $H$ does not contain the complete looped graph on $k$ vertices or $K_{k,k}$ as a component and $δ\geqδ_0(H)$, then the following holds: for $n$ sufficiently large, the graph $K_{δ,n-δ}$ maximises the number of $H$-colourings among all graphs on $n$ vertices with minimum degree $δ$. This partially answers another question of Engbers.
Minimum Spanning trees with Neighborhoods
Published
• View Publication
• BIB
This paper studies Minimum Spanning Trees under incomplete information for its vertices. We assume that no information is available on the precise placement of vertices so that it is only known that vertices belong to some neighborhoods that are second order cone representable and distances are measured with a $\ell_q$-norm. Two mixed integer non linear mathematical programming formulations are presented, based on alternative representations of subtour elimination constraints. A solution scheme is also proposed, resulting from a reformulation suitable for a Benders-like decomposition, which is embedded within an exact branch-and-cut framework. Furthermore, a mathheuristic is developed, which alternates in solving convex subproblems in different solution spaces, and is able to solve larger instances. The results of extensive computational experiments are reported and analyzed.
Asymptotic analysis of the cyclic structure of permutations
This is my dissertation. Its research object is a symmetric group of permutations acting on a finite set. The density of permutations with a given cycle structure pattern is explored when the group order tends to infinity. New and sharper asymptotic formulas are obtained. The latter are applied in approximations of the cycle vector distribution of a random permutation. The saddle-point method, Lagrange-Bürmann inversion formula, Laplace transformations, and other techniques of complex analysis are applied.
New CRT sequence sets for a collision channel without feedback
Published
• View Publication
• BIB
Protocol sequences are binary and periodic sequences used for deterministic multiple access in a collision channel without feedback. In this paper, we focus on user-irrepressible (UI) protocol sequences that can guarantee a positive individual throughput per sequence period with probability one for a slot-synchronous channel, regardless of the delay offsets among the users. As the sequence period has a fundamental impact on the worst-case channel access delay, a common objective of designing UI sequences is to make the sequence period as short as possible. Consider a communication channel that is shared by $M$ active users, and assume that each protocol sequence has a constant Hamming weight $w$. To attain a better delay performance than previously known UI sequences, this paper presents a CRTm construction of UI sequences with $w=M+1$, which is a variation of the previously known CRT construction. For all non-prime $M\geq 8$, our construction produces the shortest known sequence period and the shortest known worst-case delay of UI sequences. Numerical results show that the new construction enjoys a better average delay performance than the optimal random access scheme and other constructions with the same sequence period, in a variety of traffic conditions. In addition, we derive an asymptotic lower bound on the minimum sequence period for $w=M+1$ if the sequence structure satisfies some technical conditions, called equi-difference, and prove the tightness of this lower bound by using the CRTm construction.
Cluster algebraic interpretation of infinite friezes
Published in European Journal of Combinatorics 81 (2019), 22-57
• View Publication
• BIB
Originally studied by Conway and Coxeter, friezes appeared in various recreational mathematics publications in the 1970s. More recently, in 2015, Baur, Parsons, and Tschabold constructed periodic infinite friezes and related them to matching numbers in the once-punctured disk and annulus. In this paper, we study such infinite friezes with an eye towards cluster algebras of type D and affine A, respectively. By examining infinite friezes with Laurent polynomial entries, we discover new symmetries and formulas relating the entries of this frieze to one another. Lastly, we also present a correspondence between Broline, Crowe and Isaacs's classical matching tuples and combinatorial interpretations of elements of cluster algebras from surfaces.