Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Teoria Geometrica dei Gruppi Spazi CAT(0), Teorema di Gromov e oriented right-angled Artin groups
The aim of this thesis is to present the notion of spaces whose curvature is bounded above, and to give some of its application in the context of Combinatorial Algebra. The thesis is made of two parts, one of theoretic purpose, and the other applicative. In particular, we present an application to the notion of $CAT(0)$-space and one to the Gromov Theorem for cubical complexes. In the final part we present a new class of discrete groups generalizing the well-known right-angled Artin groups. We concoct a cubical CAT(0)-complex on which the group acts, from whom we extract some algebraic properties of such groups.
Distinct Fringe Subtrees in Random Trees
Published
• View Publication
• BIB
A fringe subtree of a rooted tree is a subtree induced by one of the vertices and all its descendants. We consider the problem of estimating the number of distinct fringe subtrees in two types of random trees: simply generated trees and families of increasing trees (recursive trees, $d$-ary increasing trees and generalized plane-oriented recursive trees). We prove that the order of magnitude of the number of distinct fringe subtrees (under rather mild assumptions on what `distinct' means) in random trees with $n$ vertices is $n/\sqrt{\log n}$ for simply generated trees and $n/\log n$ for increasing trees.
Rational points of lattice ideals on a toric variety and toric codes
We show that the number of rational points of a subgroup inside a toric variety over a finite field defined by a homogeneous lattice ideal can be computed via Smith normal form of the matrix whose columns constitute a basis of the lattice. This generalizes and yields a concise toric geometric proof of the same fact proven purely algebraically by Lopez and Villarreal for the case of a projective space and a standard homogeneous lattice ideal of dimension one. We also prove a Nullstellensatz type theorem over a finite field establishing a one to one correspondence between subgroups of the dense split torus and certain homogeneous lattice ideals. As application, we compute the main parameters of generalized toric codes on subgroups of the torus of Hirzebruch surfaces, generalizing the existing literature.
Edge general position problem
Published
• View Publication
• BIB
Given a graph $G$, the general position problem is to find a largest set $S$ of vertices of $G$ such that no three vertices of $S$ lie on a common geodesic. Such a set is called a ${\rm gp}$-$set$ of $G$ and its cardinality is the ${\rm gp}$-$number$, ${\rm gp}(G)$, of $G$. In this paper, the edge general position problem is introduced as the edge analogue of the general position problem. The edge general position number, ${\rm gp_{e}}(G)$, is the size of a largest edge general position set of $G$. It is proved that ${\rm gp_{e}}(Q_r) = 2^r$ and that if $T$ is a tree, then ${\rm gp_{e}}(T)$ is the number of its leaves. The value of ${\rm gp_{e}}(P_r\, \square\, P_s)$ is determined for every $r,s\ge 2$. To derive these results, the theory of partial cubes is used. Mulder's meta-conjecture on median graphs is also discussed along the way.
Asymptotic Analysis of q-Recursive Sequences
Published in Algorithmica volume 84, pages 2480-2532 (2022)
• View Publication
• BIB
For an integer $q\ge2$, a $q$-recursive sequence is defined by recurrence relations on subsequences of indices modulo some powers of~$q$. In this article, $q$-recursive sequences are studied and the asymptotic behavior of their summatory functions is analyzed. It is shown that every $q$-recursive sequence is $q$-regular in the sense of Allouche and Shallit and that a $q$-linear representation of the sequence can be computed easily by using the coefficients from the recurrence relations. Detailed asymptotic results for $q$-recursive sequences are then obtained based on a general result on the asymptotic analysis of $q$-regular sequences.
Three particular sequences are studied in detail: We discuss the asymptotic behavior of the summatory functions of Stern's diatomic sequence, the number of non-zero elements in some generalized Pascal's triangle and the number of unbordered factors in the Thue--Morse sequence. For the first two sequences, our analysis even leads to precise formulæ without error terms.
Globally rigid graphs are fully reconstructible
Published
• View Publication
• BIB
A $d$-dimensional framework is a pair $(G,p)$, where $G=(V,E)$ is a graph and $p$ is a map from $V$ to $\mathbb{R}^d$. The length of an edge $uv\in E$ in $(G,p)$ is the distance between $p(u)$ and $p(v)$. The framework is said to be globally rigid in $\mathbb{R}^d$ if the graph $G$ and its edge lengths uniquely determine $(G,p)$, up to congruence. A graph $G$ is called globally rigid in $\mathbb{R}^d$ if every $d$-dimensional generic framework $(G,p)$ is globally rigid.
In this paper, we consider the problem of reconstructing a graph from the set of edge lengths arising from a generic framework. Roughly speaking, a graph $G$ is strongly reconstructible in $\mathbb{C}^d$ if the set of (unlabeled) edge lengths of any generic framework $(G,p)$ in $d$-space, along with the number of vertices of $G$, uniquely determine both $G$ and the association between the edges of $G$ and the set of edge lengths. It is known that if $G$ is globally rigid in $\mathbb{R}^d$ on at least $d+2$ vertices, then it is strongly reconstructible in $\mathbb{C}^d$. We strengthen this result and show that under the same conditions, $G$ is in fact fully reconstructible in $\mathbb{C}^d$, which means that the set of edge lengths alone is sufficient to uniquely reconstruct $G$, without any constraint on the number of vertices (although still under the assumption that the edge lengths come from a generic realization).
As a key step in our proof, we also prove that if $G$ is globally rigid in $\mathbb{R}^d$ on at least $d+2$ vertices, then the $d$-dimensional generic rigidity matroid of $G$ is connected. Finally, we provide new families of fully reconstructible graphs and use them to answer some questions regarding unlabeled reconstructibility posed in recent papers.
The Typical Non-Linear Code over Large Alphabets
Published
• View Publication
• BIB
We consider the problem of describing the typical (possibly) non-linear code of minimum distance bounded from below over a large alphabet. We concentrate on block codes with the Hamming metric and on subspace codes with the injection metric. In sharp contrast with the behavior of linear block codes, we show that the typical non-linear code in the Hamming metric of cardinality $q^{n-d+1}$ is far from having minimum distance $d$, i.e., from being MDS. We also give more precise results about the asymptotic proportion of block codes with good distance properties within the set of codes having a certain cardinality. We then establish the analogous results for subspace codes with the injection metric, showing also an application to the theory of partial spreads in finite geometry.
Matroids are not Ehrhart positive
Published
• View Publication
• BIB
In this article we disprove the conjectures asserting the positivity of the coefficients of the Ehrhart polynomial of matroid polytopes by De Loera, Haws and Köppe (2007) and of generalized permutohedra by Castillo and Liu (2015). We prove constructively that for every $n\geq 19$ there exist connected matroids on $n$ elements that are not Ehrhart positive. Also, we prove that for every $k\geq 3$ there exist connected matroids of rank $k$ that are not Ehrhart positive. Our proofs rely on our previous results on the geometric interpretation of the operation of circuit-hyperplane relaxation and our formulas for the Ehrhart polynomials of hypersimplices and minimal matroids. This allows us to give a precise expression for the Ehrhart polynomials of all sparse paving matroids, a class of matroids which is conjectured to be predominant and which contains the counterexamples arising from our construction.
Resilience for tight Hamiltonicity
Published
• View Publication
• BIB
We prove that random hypergraphs are asymptotically almost surely resiliently Hamiltonian. Specifically, for any $γ>0$ and $k\ge3$, we show that asymptotically almost surely, every subgraph of the binomial random $k$-uniform hypergraph $G^{(k)}\big(n,n^{γ-1}\big)$ in which all $(k-1)$-sets are contained in at least $\big(\tfrac12+2γ\big)pn$ edges has a tight Hamilton cycle. This is a cyclic ordering of the $n$ vertices such that each consecutive $k$ vertices forms an edge.
$2$-Modular Matrices
Published in SIAM J. Disc. Math. 36 (2022), 1231-1248
• View Publication
• BIB
A rank-$r$ integer matrix $A$ is $Δ$-modular if the determinant of each $r \times r$ submatrix has absolute value at most $Δ$. The class of $1$-modular, or unimodular, matrices is of fundamental significance in both integer programming theory and matroid theory. A 1957 result of Heller shows that the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ unimodular matrix is ${r + 1 \choose 2}$. We prove that, for each sufficiently large integer $r$, the maximum number of nonzero, pairwise non-parallel rows of a rank-$r$ $2$-modular matrix is ${r + 2 \choose 2} - 2$.
Partitioning H-Free Graphs of Bounded Diameter
Published
• View Publication
• BIB
A natural way of increasing our understanding of NP-complete graph problems is to restrict the input to a special graph class. Classes of $H$-free graphs, that is, graphs that do not contain some graph $H$ as an induced subgraph, have proven to be an ideal testbed for such a complexity study. However, if the forbidden graph $H$ contains a cycle or claw, then these problems often stay NP-complete. A recent complexity study on the $k$-Colouring problem shows that we may still obtain tractable results if we also bound the diameter of the $H$-free input graph. We continue this line of research by initiating a complexity study on the impact of bounding the diameter for a variety of classical vertex partitioning problems restricted to $H$-free graphs. We prove that bounding the diameter does not help for Independent Set, but leads to new tractable cases for problems closely related to 3-Colouring. That is, we show that Near-Bipartiteness, Independent Feedback Vertex Set, Independent Odd Cycle Transversal, Acyclic 3-Colouring and Star 3-Colouring are all polynomial-time solvable for chair-free graphs of bounded diameter. To obtain these results we exploit a new structural property of 3-colourable chair-free graphs.
Combinatorial invariance conjecture for $\widetilde{A}_2$
Published
• View Publication
• BIB
The combinatorial invariance conjecture (due independently to G. Lusztig and M. Dyer) predicts that if $[x,y]$ and $[x',y']$ are isomorphic Bruhat posets (of possibly different Coxeter systems), then the corresponding Kazhdan-Lusztig polynomials are equal, that is, $P_{x,y}(q)=P_{x',y'}(q)$. We prove this conjecture for the affine Weyl group of type $\widetilde{A}_2$. This is the first infinite group with non-trivial Kazhdan-Lusztig polynomials where the conjecture is proved.
Lower Boundary Independent Broadcasts in Trees
Published
• View Publication
• BIB
A broadcast on a connected graph $G=(V,E)$ is a function $f:V\rightarrow \{0,1,\dots,\operatorname{diam}(G)\}$ such that $f(v)\leq e(v)$ (the eccentricity of $v$) for all $v\in V$ if $|V|\geq2$, and $f(v)=1$ if $V=\{v\}$. The cost of $f$ is $σ(f)=\sum_{v\in V}f(v)$. Let $V_{f}% ^{+}$ denote the set of vertices $v$ such that $f(v)$ is positive. A vertex $u$ hears $f$ from $v\in V_{f}^{+}$ if the distance $d(u,v)\leq f(v)$. When $f$ is a broadcast such that every vertex $x$ that hears $f$ from more than one vertex in $V_{f}^{+}$ also satisfies $d(x,u)\geq f(u)$ for all $u\in V_{f}^{+}$, we say that the broadcast only overlaps in boundaries. A broadcast $f$ is boundary independent if it overlaps only in boundaries. Denote by $i_{\operatorname{bn}}(G)$ the minimum cost of a maximal boundary independent broadcast.
We obtain a characterization of maximal boundary independent broadcasts, show that $i_{\operatorname{bn}}(T^{\prime})\leq i_{\operatorname{bn}}(T)$ for any subtree $T^{\prime}$ of a tree $T$, and determine an upper bound for $i_{\operatorname{bn}}(T)$ in terms of the broadcast domination number of $T$. We show that this bound is sharp for an infinite class of trees.
Correction of the Lusztig-Williamson Billiards Conjecture
A new algorithm allows us to calculate many new tilting characters for $SL_3$, $SP_4$, $G_2$, $SL_4$ and potentially many other groups. These calculations show that the Lusztig-Williamson Billiards Conjecture needs to be corrected. In this paper we present the new results calculated for $SL_3$ and a correction of the conjecture.
Doubled patterns with reversal and square-free doubled patterns
Published
• View Publication
• BIB
In combinatorics on words, a word $w$ over an alphabet $Σ$ is said to avoid a pattern $p$ over an alphabet $Δ$ if there is no factor $f$ of $w$ such that $f=h(p)$ where $h:Δ^*\toΣ^*$ is a non-erasing morphism. A pattern $p$ is said to be $k$-avoidable if there exists an infinite word over a $k$-letter alphabet that avoids $p$. A pattern is \emph{doubled} if every variable occurs at least twice. Doubled patterns are known to be $3$-avoidable. Currie, Mol, and Rampersad have considered a generalized notion which allows variable occurrences to be reversed. That is, $h(V^R)$ is the mirror image of $h(V)$ for every $V\inΔ$. We show that doubled patterns with reversal are $3$-avoidable. We also conjecture that (classical) doubled patterns that do not contain a square are $2$-avoidable. We confirm this conjecture for patterns with at most 4 variables. This implies that for every doubled pattern $p$, the growth rate of ternary words avoiding $p$ is at least the growth rate of ternary square-free words. A previous version of this paper containing only the first result has been presented at WORDS 2021.
Two-arc-transitive graphs of odd order -- II
Published in European Journal of Combinatorics 96 (2021) 103354
• View Publication
• BIB
It is shown that each subgroup of odd index in an alternating group of degree at least 10 has all insoluble composition factors to be alternating. A classification is then given of 2-arc-transitive graphs of odd order admitting an alternating group or a symmetric group. This is the second of a series of papers aiming towards a classification of 2-arc-transitive graphs of odd order.
Arithmetic-Geometric Spectral Radius of Trees and Unicyclic Graphs
The arithmetic-geometric matrix $A_{ag}(G)$ of a graph $G$ is a square matrix, where the $(i,j)$-entry is equal to $\displaystyle \frac{d_{i}+d_{j}}{2\sqrt{d_{i}d_{j}}}$ if the vertices $v_{i}$ and $v_{j}$ are adjacent, and 0 otherwise. The arithmetic-geometric spectral radius of $G$, denoted by $ρ_{ag}(G)$, is the largest eigenvalue of the arithmetic-geometric matrix $A_{ag}(G)$. Let $S_{n}$ be the star of order $n\geq3$ and $S_{n}+e$ be the unicyclic graph obtained from $S_{n}$ by adding an edge. In this paper, we prove that for any tree $T$ of order $n\geq2$, $\displaystyle 2\cos\fracπ{n+1}\leqρ_{ag}(P_{n})\leqρ_{ag}(T)\leqρ_{ag}(S_{n})=\frac{n}{2},$ with equality if and only if $T\cong P_{n}$ for the lower bound, and if and only if $T\cong S_{n}$ for the upper bound. We also prove that for any unicyclic graph $G$ of order $n\geq3$, $\displaystyle 2=ρ_{ag}(C_{n})\leqρ_{ag}(G)\leqρ_{ag}(S_{n}+e),$ the lower (upper, respectively) bound is attained if and only if $T\cong C_{n}$ ($T\cong S_{n}+e$, respectively) and $\displaystyleρ_{ag}(S_{n}+e)<\frac{n}{2}$ for $n\geq7$.
Optimal strategies in fractional games: vertex cover and domination
In a hypergraph with vertex set $V$ and edge set $E$, a real-valued function $f: V \to [0, 1]$ is a fractional transversal if $\sum_{v\in e} f(v) \ge 1$ for every edge $e \in E$. Its size is $|f| := \sum_{v \in V} f(v)$, and the fractional transversal number is the smallest possible $|f|$.
We consider a game scenario where two players with opposite goals construct a fractional transversal incrementally, trying to minimize and maximize $|f|$, respectively. We prove that both players have strategies to achieve their common optimum, and they can reach their goals using rational weights.
The "Young" and "reverse" dichotomy of polynomials
Published
• View Publication
• BIB
A "flip-and-reversal" involution arising in the study of quasisymmetric Schur functions provides a passage between what we term "Young" and "reverse" variants of bases of polynomials or quasisymmetric functions. Building on this perspective, which has found recent application in the study of $q$-analogues of combinatorial Hopf algebras and generalizations of dual immaculate functions, we develop and explore Young analogues of well-known bases for polynomials. We prove several combinatorial formulas for the Young analogue of the key polynomials, show that they form the generating functions for left keys, and provide a representation-theoretic interpretation of Young key polynomials as traces on certain modules. We also give combinatorial formulas for the Young analogues of Schubert polynomials, including their crystal graph structure. We moreover determine the intersections of (reverse) bases and their Young counterparts, further clarifying their relationships to one another.
Subgroup regular sets in Cayley graphs
Published
• View Publication
• BIB
Let $Γ$ be a graph with vertex set $V$, and let $a$ and $b$ be nonnegative integers. A subset $C$ of $V$ is called an $(a,b)$-regular set in $Γ$ if every vertex in $C$ has exactly $a$ neighbors in $C$ and every vertex in $V\setminus C$ has exactly $b$ neighbors in $C$. In particular, $(0, 1)$-regular sets and $(1, 1)$-regular sets in $\Ga$ are called perfect codes and total perfect codes in $\Ga$, respectively. A subset $C$ of a group $G$ is said to be an $(a,b)$-regular set of $G$ if there exists a Cayley graph of $G$ which admits $C$ as an $(a,b)$-regular set. In this paper we prove that, for any generalized dihedral group $G$ or any group $G$ of order $4p$ or $pq$ for some primes $p$ and $q$, if a nontrivial subgroup $H$ of $G$ is a $(0, 1)$-regular set of $G$, then it must also be an $(a,b)$-regular set of $G$ for any $0\leqslant a\leqslant|H|-1$ and $0\leqslant b\leqslant |H|$ such that $a$ is even when $|H|$ is odd. A similar result involving $(1, 1)$-regular sets of such groups is also obtained in the paper.