Showing 20 papers (Total: 84285 papers, 48548 authors in database)
Lattice theory of torsion classes: Beyond $τ$-tilting theory
Published in Trans. Amer. Math. Soc. Ser. B 10 (2023), 542-612
• View Publication
• BIB
The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}} A$ is a complete lattice which enjoys very strong properties, as bialgebraicity and complete semidistributivity. Thus its Hasse quiver carries the important part of its structure, and we introduce the brick labelling of its Hasse quiver and use it to study lattice congruences of $\operatorname{\mathsf{tors}} A$. In particular, we give a representation-theoretical interpretation of the so-called forcing order, and we prove that $\operatorname{\mathsf{tors}} A$ is completely congruence uniform. When $I$ is a two-sided ideal of $A$, $\operatorname{\mathsf{tors}} (A/I)$ is a lattice quotient of $\operatorname{\mathsf{tors}} A$ which is called an algebraic quotient, and the corresponding lattice congruence is called an algebraic congruence. The second part of this paper consists in studying algebraic congruences. We characterize the arrows of the Hasse quiver of $\operatorname{\mathsf{tors}} A$ that are contracted by an algebraic congruence in terms of the brick labelling. In the third part, we study in detail the case of preprojective algebras $Π$, for which $\operatorname{\mathsf{tors}} Π$ is the Weyl group endowed with the weak order. In particular, we give a new, more representation theoretical proof of the isomorphism between $\operatorname{\mathsf{tors}} k Q$ and the Cambrian lattice when $Q$ is a Dynkin quiver. We also prove that, in type $A$, the algebraic quotients of $\operatorname{\mathsf{tors}} Π$ are exactly its Hasse-regular lattice quotients.
Directed Graph Minors and Serial-Parallel Width
Graph minors are a primary tool in understanding the structure of undirected graphs, with many conceptual and algorithmic implications. We propose new variants of \emph{directed graph minors} and \emph{directed graph embeddings}, by modifying familiar definitions. For the class of 2-terminal directed acyclic graphs (TDAGs) our two definitions coincide, and the class is closed under both operations. The usefulness of our directed minor operations is demonstrated by characterizing all TDAGs with serial-parallel width at most $k$; a class of networks known to guarantee bounded negative externality in nonatomic routing games. Our characterization implies that a TDAG has serial-parallel width of $1$ if and only if it is a directed series-parallel graph. We also study the computational complexity of finding a directed minor and computing the serial-parallel width.
The covering radii of the $2$-transitive unitary, Suzuki, and Ree groups
Published
• View Publication
• BIB
We study the covering radii of $2$-transitive permutation groups of Lie rank one, giving bounds and links to finite geometry.
$\left( n , k , k - 1 \right)$-Steiner Systems in Random Hypergraphs
Let $H$ be a random $k$-uniform $n$-vertex hypergraph where every $k$-tuple belongs to $H$ independently with probability $p$. We show that for some $\varepsilon_k > 0$, if $p \geq n^{-\varepsilon_k}$, then asymptotically almost surely $H$ contains an $\left( n , k , k - 1 \right)$-Steiner System. Our main tool is Keevash's method of Randomized Algebraic Constructions.
Convex Ramsey matrices and non-amenability of automophism groups of generic structures
In this paper we prove that the automorphism groups of certain countable generic structures are not amenable. For doing that, we first prove the existence of particular matrices that do not satisfy the convex Ramsey condition. For a pair of elements in a smooth class, we introduce the property of forming a free-pseudoplane in the generic structure. We then prove the non-amenability of the automorphism group of a generic structure obtained from a smooth class with a pair that forms a free-pseudoplane. As an application we show that the automorphism group of an ab-initio generic structure that is constructed using a pre-dimension function with irrational coefficients is not amenable.
Tropical formulae for summation over a part of SL(2, Z)
Published in European Journal of Mathematics, 2019, Volume 5, Issue 3, 909-928
• View Publication
• BIB
Let $f(a,b,c,d)=\sqrt{a^2+b^2}+\sqrt{c^2+d^2}-\sqrt{(a+c)^2+(b+d)^2}$, let $(a,b,c,d)$ stand for $a,b,c,d\in\mathbb Z_{\geq 0}$ such that $ad-bc=1$. Define \begin{equation} \label{eq_main} F(s) = \sum_{(a,b,c,d)} f(a,b,c,d)^s. \end{equation} In other words, we consider the sum of the powers of the triangle inequality defects for the lattice parallelograms (in the first quadrant) of area one.
We prove that $F(s)$ converges when $s>1$ and diverges at $s=1/2$. (This papers differs from its published version: Fedor Petrov showed us how to easily prove that $F(s)$ converges for $s>2/3$ and diverges for $s\leq 2/3$, see below.) We also prove $$\sum\limits_{\substack{(a,b,c,d), 1\leq a\leq b, 1\leq c\leq d}} \frac{1}{(a+b)^2(c+d)^2(a+b+c+d)^2} = 1/24,$$ and show a general method to obtain such formulae. The method comes from the consideration of the tropical analogue of the caustic curves, whose moduli give a complete set of continuous invariants on the space of convex domains.
Inverting the Turán Problem
Published
• View Publication
• BIB
Classical questions in extremal graph theory concern the asymptotics of $\operatorname{ex}(G, \mathcal{H})$ where $\mathcal{H}$ is a fixed family of graphs and $G=G_n$ is taken from a `standard' increasing sequence of host graphs $(G_1, G_2, \dots)$, most often $K_n$ or $K_{n,n}$. Inverting the question, we can instead ask how large $e(G)$ can be with respect to $\operatorname{ex}(G,\mathcal{H})$. We show that the standard sequences indeed maximize $e(G)$ for some choices of $\mathcal{H}$, but not for others. Many interesting questions and previous results arise very naturally in this context, which also, unusually, gives rise to sensible extremal questions concerning multigraphs and non-uniform hypergraphs.
A note on dispersing particles on a line
Published
• View Publication
• BIB
We consider a synchronous dispersion process introduced in \cite{CRRS} and we show that on the infinite line the final set of occupied sites takes up $O(n)$ space, where $n$ is the number of particles involved.
Erdős-Ulam ideals vs. simple density ideals
Published in J. Math. Anal. App. 462 (2018), 114-130
• View Publication
• BIB
The main aim of this paper is to bridge two directions of research generalizing asymptotic density zero sets. This enables to transfer results concerning one direction to the other one.
Consider a function $g\colonω\to [0,\infty)$ such that $\lim_{n\to\infty}g(n)=\infty$ and $\frac{n}{g(n)}$ does not converge to $0$. Then the family $\mathcal{Z}_g=\{A\subseteqω:\ \lim_{n\to\infty}\frac{\text{card}(A\cap n)}{g(n)}=0\}$ is an ideal called simple density ideal (or ideal associated to upper density of weight $g$). We compare this class of ideals with Erdős-Ulam ideals. In particular, we show that there are $\sqsubseteq$-antichains of size $\mathfrak{c}$ among Erdős-Ulam ideals which are and are not simple density ideals.
We characterize simple density ideals which are Erdős-Ulam as those containing the classical ideal of sets of asymptotic density zero. We also characterize Erdős-Ulam ideals which are simple density ideals. In the latter case we need to introduce two new notions. One of them, called increasing-invariance of an ideal $\mathcal{I}$, asserts that given $B\in\mathcal{I}$ and $C\subseteqω$ with $\text{card}(C\cap n)\leq\text{card}(B\cap n)$ for all $n$, we have $C\in\mathcal{I}$.
Finally, we pose some open problems.
Lower bounding the Folkman numbers $F_v(a_1, ..., a_s; m - 1)$
Published in Ann. Univ. Sofia Fac. Math. Inform., 104:39-53, 2017
• Search Publication
For a graph $G$ the expression $G \overset{v}{\rightarrow} (a_1, ..., a_s)$ means that for every $s$-coloring of the vertices of $G$ there exists $i \in \{1, ..., s\}$ such that there is a monochromatic $a_i$-clique of color $i$. The vertex Folkman numbers $$F_v(a_1, ..., a_s; m - 1) = \min\{\vert V(G)\vert : G \overset{v}{\rightarrow} (a_1, ..., a_s) \mbox{ and } K_{m - 1} \not\subseteq G\}.$$ are considered, where $m = \sum_{i = 1}^{s}(a_i - 1) + 1$. We know the exact values of all the numbers $F_v(a_1, ..., a_s; m - 1)$ when $\max\{a_1, ..., a_s\} \leq 6$ and also the number $F_v(2, 2, 7; 8) = 20$. In \cite{BN15a} we present a method for obtaining lower bounds on these numbers. With the help of this method and a new improved algorithm, in the special case when $\max\{a_1, ..., a_s\} = 7$ we prove that $F_v(a_1, ..., a_s; m - 1) \geq m + 11$ and this bound is exact for all $m$. The known upper bound for these numbers is $m + 12$. At the end of the paper we also prove the lower bounds $19 \leq F_v(2, 2, 2, 4; 5)$ and $29 \leq F_v(7, 7; 8)$.
On Powers of the Catalan Number Sequence
Published in Discrete Mathematics (2018)
• View Publication
• BIB
The Catalan number sequence is one of the most famous number sequences in combinatorics and is well studied in the literature. In this paper we further investigate its fundamental properties related to the moment problem and prove for the first time that it is an infinitely divisible Stieltjes moment sequence in the sense of S.-G. Tyan. Besides, any positive real power of the sequence is still a Stieltjes determinate sequence. Some more cases including (a) the central binomial coefficient sequence (related to the Catalan sequence), (b) a double factorial number sequence and (c) the generalized Catalan (or Fuss-Catalan) sequence are also investigated. Finally, we pose two conjectures including the determinacy equivalence between powers of nonnegative random variables and powers of their moment sequences, which is supported by some existing results.
Vertex covering with monochromatic pieces of few colours
Published
• View Publication
• BIB
In 1995, Erdős and Gyárfás proved that in every $2$-colouring of the edges of $K_n$, there is a vertex cover by $2\sqrt{n}$ monochromatic paths of the same colour, which is optimal up to a constant factor. The main goal of this paper is to study the natural multi-colour generalization of this problem: given two positive integers $r,s$, what is the smallest number $\text{pc}_{r,s}(K_n)$ such that in every colouring of the edges of $K_n$ with $r$ colours, there exists a vertex cover of $K_n$ by $\text{pc}_{r,s}(K_n)$ monochromatic paths using altogether at most $s$ different colours? For fixed integers $r>s$ and as $n\to\infty$, we prove that $\text{pc}_{r,s}(K_n) = Θ(n^{1/χ})$, where $χ=\max{\{1,2+2s-r\}}$ is the chromatic number of the Kneser gr aph $\text{KG}(r,r-s)$. More generally, if one replaces $K_n$ by an arbitrary $n$-vertex graph with fixed independence number $α$, then we have $\text{pc}_{r,s}(G) = O(n^{1/χ})$, where this time around $χ$ is the chromatic number of the Kneser hypergraph $\text{KG}^{(α+1)}(r,r-s)$. This result is tight in the sense that there exist graphs with independence number $α$ for which $\text{pc}_{r,s}(G) = Ω(n^{1/χ})$. This is in sharp contrast to the case $r=s$, where it follows from a result of Sárközy (2012) that $\text{pc}_{r,r}(G)$ depends only on $r$ and $α$, but not on the number of vertices. We obtain similar results for the situation where instead of using paths, one wants to cover a graph with bounded independence number by monochromatic cycles, or a complete graph by monochromatic $d$-regular graphs.
On the Computational Complexity of Non-dictatorial Aggregation
Published in Journal of Artificial Intelligence Research 72 (2021) 137-183
• View Publication
• BIB
We investigate when non-dictatorial aggregation is possible from an algorithmic perspective, where non-dictatorial aggregation means that the votes cast by the members of a society can be aggregated in such a way that there is no single member of the society that always dictates the collective outcome. We consider the setting in which the members of a society take a position on a fixed collection of issues, where for each issue several different alternatives are possible, but the combination of choices must belong to a given set X of allowable voting patterns. Such a set X is called a possibility domain if there is an aggregator that is non-dictatorial, operates separately on each issue, and returns values among those cast by the society on each issue. We design a polynomial-time algorithm that decides, given a set X of voting patterns, whether or not X is a possibility domain. Furthermore, if X is a possibility domain, then the algorithm constructs in polynomial time a non-dictatorial aggregator for X. Furthermore, we show that the question of whether a Boolean domain X is a possibility domain is in NLOGSPACE. We also design a polynomial-time algorithm that decides whether X is a uniform possibility domain, that is, whether X admits an aggregator that is non-dictatorial even when restricted to any two positions for each issue. As in the case of possibility domains, the algorithm also constructs in polynomial time a uniform non-dictatorial aggregator, if one exists. Then, we turn our attention to the case where X is given implicitly, either as the set of assignments satisfying a propositional formula, or as a set of consistent evaluations of a sequence of propositional formulas. In both cases, we provide bounds to the complexity of deciding if X is a (uniform) possibility domain.
Extremal Theta-free planar graphs
Published
• View Publication
• BIB
Given a family $\mathcal{F}$, a graph is $\mathcal{F}$-free if it does not contain any graph in $\mathcal{F}$ as a subgraph. We study the topic of "extremal" planar graphs initiated by Dowden [J. Graph Theory 83 (2016) 213--230], that is, how many edges can an $\mathcal{F}$-free planar graph on $n$ vertices have? We define $ex_{_\mathcal{P}}(n,\mathcal{F})$ to be the maximum number of edges in an $\mathcal{F}$-free planar graph on $n $ vertices. Dowden obtained the tight bounds $ex_{_\mathcal{P}}(n,C_4)\leq15(n-2)/7$ for all $n\geq4$ and $ex_{_\mathcal{P}}(n,C_5)\leq(12n-33)/5$ for all $n\geq11$. In this paper, we continue to promote the idea of determining $ex_{_\mathcal{P}}(n,\mathcal{F})$ for certain classes $\mathcal{F}$. Let $Θ_k$ denote the family of Theta graphs on $k\ge4$ vertices, that is, graphs obtained from a cycle $C_k$ by adding an additional edge joining two non-consecutive vertices. The study of $ex_{_\mathcal{P}}(n,Θ_4)$ was suggested by Dowden. We show that $ex_{_\mathcal{P}}(n,Θ_4)\leq12(n-2)/5$ for all $n\geq 4$, $ex_{_\mathcal{P}}(n,Θ_5)\leq5(n-2)/2$ for all $n\ge5$, and then demonstrate that these bounds are tight, in the sense that there are infinitely many values of $n$ for which they are attained exactly. We also prove that $ex_{_\mathcal{P}}(n,C_6)\le ex_{_\mathcal{P}}(n,Θ_6)\le 18(n-2)/7$ for all $n\ge6$.
Triangle-roundedness in matroids
Published in Discrete Mathematics 343 (2020) 111680
• View Publication
• BIB
A matroid $N$ is said to be triangle-rounded in a class of matroids $\mathcal{M}$ if each $3$-connected matroid $M\in \mathcal{M}$ with a triangle $T$ and an $N$-minor has an $N$-minor with $T$ as triangle. Reid gave a result useful to identify such matroids as stated next: suppose that $M$ is a binary $3$-connected matroid with a $3$-connected minor $N$, $T$ is a triangle of $M$ and $e\in T\cap E(N)$; then $M$ has a $3$-connected minor $M'$ with an $N$-minor such that $T$ is a triangle of $M'$ and $|E(M')|\le |E(N)|+2$. We strengthen this result by dropping the condition that such element $e$ exists and proving that there is a $3$-connected minor $M'$ of $M$ with an $N$-minor $N'$ such that $T$ is a triangle of $M'$ and $E(M')-E(N')\subseteq T$. This result is extended to the non-binary case and, as an application, we prove that $M(K_5)$ is triangle-rounded in the class of the regular matroids.
EW-tableaux, Le-tableaux, tree-like tableaux and the Abelian sandpile model
Published
• View Publication
• BIB
A EW-tableau is a certain 0/1-filling of a Ferrers diagram, corresponding uniquely to an acyclic orientation, with a unique sink, of a certain bipartite graph called a Ferrers graph. We give a bijective proof of a result of Ehrenborg and van Willigenburg showing that EW-tableaux of a given shape are equinumerous with permutations with a given set of excedances. This leads to an explicit bijection between EW-tableaux and the much studied Le-tableaux, as well as the tree-like tableaux introduced by Aval, Boussicault and Nadeau.
We show that the set of EW-tableaux on a given Ferrers diagram are in 1-1 correspondence with the minimal recurrent configurations of the Abelian sandpile model on the corresponding Ferrers graph.
Another bijection between EW-tableaux and tree-like tableaux, via spanning trees on the corresponding Ferrers graphs, connects the tree-like tableaux to the minimal recurrent configurations of the Abelian sandpile model on these graphs. We introduce a variation on the EW-tableaux, which we call NEW-tableaux, and present bijections from these to Le-tableaux and tree-like tableaux. We also present results on various properties of and statistics on EW-tableaux and NEW-tableaux, as well as some open problems on these.
Sparse Kneser graphs are Hamiltonian
Published in J. London Math. Soc. 103 (2021) 1253-1275
• View Publication
• BIB
For integers $k\geq 1$ and $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph whose vertices are the $k$-element subsets of $\{1,\ldots,n\}$ and whose edges connect pairs of subsets that are disjoint. The Kneser graphs of the form $K(2k+1,k)$ are also known as the odd graphs. We settle an old problem due to Meredith, Lloyd, and Biggs from the 1970s, proving that for every $k\geq 3$, the odd graph $K(2k+1,k)$ has a Hamilton cycle. This and a known conditional result due to Johnson imply that all Kneser graphs of the form $K(2k+2^a,k)$ with $k\geq 3$ and $a\geq 0$ have a Hamilton cycle. We also prove that $K(2k+1,k)$ has at least $2^{2^{k-6}}$ distinct Hamilton cycles for $k\geq 6$. Our proofs are based on a reduction of the Hamiltonicity problem in the odd graph to the problem of finding a spanning tree in a suitably defined hypergraph on Dyck words.
Finding branch-decompositions of matroids, hypergraphs, and more
Published in SIAM J. Discrete Math., 35(4):2544-2617, November 2021
• View Publication
• BIB
Given $n$ subspaces of a finite-dimensional vector space over a fixed finite field $\mathbb F$, we wish to find a "branch-decomposition" of these subspaces of width at most $k$ that is a subcubic tree $T$ with $n$ leaves mapped bijectively to the subspaces such that for every edge $e$ of $T$, the sum of subspaces associated to the leaves in one component of $T-e$ and the sum of subspaces associated to the leaves in the other component have the intersection of dimension at most $k$. This problem includes the problems of computing branch-width of $\mathbb F$-represented matroids, rank-width of graphs, branch-width of hypergraphs, and carving-width of graphs.
We present a fixed-parameter algorithm to construct such a branch-decomposition of width at most $k$, if it exists, for input subspaces of a finite-dimensional vector space over $\mathbb F$. Our algorithm is analogous to the algorithm of Bodlaender and Kloks (1996) on tree-width of graphs. To extend their framework to branch-decompositions of vector spaces, we developed highly generic tools for branch-decompositions on vector spaces. The only known previous fixed-parameter algorithm for branch-width of $\mathbb F$-represented matroids was due to Hliněný and Oum (2008) that runs in time $O(n^3)$ where $n$ is the number of elements of the input $\mathbb F$-represented matroid. But their method is highly indirect. Their algorithm uses the nontrivial fact by Geelen et al. (2003) that the number of forbidden minors is finite and uses the algorithm of Hliněný (2006) on checking monadic second-order formulas on $\mathbb F$-represented matroids of small branch-width. Our result does not depend on such a fact and is completely self-contained, and yet matches their asymptotic running time for each fixed $k$.
Ryuo Nim: A Variant of the classical game of Wythoff Nim
The authors introduce the impartial game of the generalized Ryūō Nim, a variant of the classical game of Wythoff Nim. In the latter game, two players take turns in moving a single queen on a large chessboard, attempting to be the first to put her in the upper left corner, position $(0,0)$. Instead of the queen used in Wythoff Nim, we use the generalized Ryūō for a given natural number $p$. The generalized Ryūō for $p$ can be moved horizontally and vertically, as far as one wants. It also can be moved diagonally from $(x,y)$ to $(x-s,y-t)$, where $s,t$ are non-negative integers such that $1 \leq s \leq x, 1 \leq t \leq y \textit{and} s+t \leq p-1$. When $p$ is $3$, the generalized Ryūō for $p$ is a Ryūō, i.e., a promoted hisha piece of Japanese chess. A Ryūō combines the power of the rook and the king in Western chess. The generalized Ryūō Nim for $p$ is mathematically the same as the Nim with two piles of counters in which a player may take any number from either heap, and a player may also simultaneously remove $s$ counters from either of the piles and $t$ counters from the other, where $s+t \leq p-1$ and $p$ is a given natural number. The Grundy number of the generalized Ryūō Nim for $p$ is given by $\bmod(x+y,p) + p(\lfloor \frac{x}{p} \rfloor \oplus \lfloor \frac{y}{p}\rfloor)$. The authors also study the generalized Ryūō Nim for $p$ with a pass move. The generalized Ryūō Nim for $p$ without a pass move has simple formulas for Grundy numbers. This is not the case after the introduction of a pass move, but it still has simple formulas for the previous player's positions. We also study the Ryūō Nim that restricted the diagonal and side movement. Moreover, we extended the Ryūō Nim dimension to the $n$-dimension.
The Second Moment Phenomenon for Monochromatic Subgraphs
Published in SIAM Journal on Discrete Mathematics, Vol. 34 (1), 794-824, 2020
• View Publication
• BIB
What is the chance that among a group of $n$ friends, there are $s$ friends all of whom have the same birthday? This is the celebrated birthday problem which can be formulated as the existence of a monochromatic $s$-clique $K_s$ ($s$-matching birthdays) in the complete graph $K_n$, where every vertex of $K_n$ is uniformly colored with $365$ colors (corresponding to birthdays). More generally, for a general connected graph $H$, let $T(H, G_n)$ be the number of monochromatic copies of $H$ in a uniformly random coloring of the vertices of the graph $G_n$ with $c_n$ colors. In this paper we show that $T(H, G_n)$ converges to $\mathrm{Pois}(λ)$ whenever $\mathbb E T(H, G_n) \rightarrow λ$ and $\mathrm{Var} T(H, G_n) \rightarrow λ$, that is, the asymptotic Poisson distribution of $T(H, G_n)$ is determined just by the convergence of its mean and variance. Moreover, this condition is necessary if and only if $H$ is a star-graph. In fact, the second-moment phenomenon is a consequence of a more general theorem about the convergence of $T(H,G_n)$ to a finite linear combination of independent Poisson random variables. As an application, we derive the limiting distribution of $T(H, G_n)$, when $G_n\sim G(n, p)$ is the Erd\H os-Rényi random graph. Multiple phase-transitions emerge as $p$ varies from 0 to 1, depending on whether the graph $H$ is balanced or unbalanced.