natural ↗ reference
4894 papers tagged with this keyword
Universal Properties of Some Quivers
In this paper, I characterize four particular classes of directed multigraphs, or quivers, as images under left and right adjoints to the natural vertex and edge functors. In particular, the following notions coincide: (1) independent sets of vertices with a left adjoint functor to the vertex functor, (2) independent sets of edges with a left adjoint functor to the edge functor, (3) complete digraphs with a right adjoint functor to the vertex functor, (4) bouquets with a right adjoint functor to the edge functor.
Infinite symmetric group and combinatorial descriptions of semigroups of double cosets
Published in Zap. Nauchn. Sem. POMI, 462 (2017), 65-92 (a version of the paper)
• View Publication
• BIB
We show that double cosets of the infinite symmetric group with respect to some special subgroups admit natural structures of semigroups. We interpret elements of such semigroups in combinatorial terms (chips, colored graphs, two-dimensional surfaces with polygonal tiling) and describe explicitly the multiplications.
Enumerations deciding the weak Lefschetz property
We introduce a natural correspondence between artinian monomial almost complete intersections in three variables and punctured hexagonal regions. We use this correspondence to investigate the algebras for the presence of the weak Lefschetz property. In particular, we relate the field characteristics in which such an algebra fails to have the weak Lefschetz property to the prime divisors of the enumeration of signed lozenge tilings of the associated punctured hexagonal region. On the one side this allows us to establish the weak Lefschetz property in many new cases.
For numerous classes of punctured hexagonal regions we find closed formulae for the enumerations of signed lozenge tilings, and thus the field characteristics in which the associated algebras fail to the have the weak Lefschetz property. Further, we offer a conjecture for a closed formula for the enumerations of signed lozenge tilings of symmetric punctured hexagonal regions. These formulae are exploited to lend further evidence to a conjecture by Migliore, Miró-Roig, and the second author that classifies the {\em level} artinian monomial almost complete intersections in three variables that have the weak Lefschetz property in characteristic zero. Moreover, the formulae are used to generate families of algebras which never, or always, have the weak Lefschetz property, regardless of field characteristic. Finally, we determine (in one case, depending on the presence of the weak Lefschetz property) the splitting type of the syzygy bundle of an artinian monomial almost complete intersection in three variables, when the characteristic of the base field is zero.
Our results convey an intriguing interplay between problems in algebra, combinatorics, and algebraic geometry, which raises new questions and deserves further investigation.
Double Catalan monoids
Published in J. Algebraic Combin. 36 (2012), no. 3, 333-354
• View Publication
• BIB
In this paper we define and study what we call the double Catalan monoid. This monoid is the image of a natural map from the 0-Hecke monoid to the monoid of binary relations. We show that the double Catalan monoid provides an algebraization of the (combinatorial) set of 4321-avoiding permutations and relate its combinatorics to various off-shoots of both the combinatorics of Catalan numbers and the combinatorics of permutations. In particular, we give an algebraic interpretation of the first derivative of the Kreweras involution on Dyck paths, of 4321-avoiding involutions and of recent results of Barnabei {\em et al.} on admissible pairs of Dyck paths. We compute a presentation and determine the minimal dimension of an effective representation for the double Catalan monoid. We also determine the minimal dimension of an effective representation for the 0-Hecke monoid.
On the poset of computation rules for nonassociative calculus
Published
• View Publication
• BIB
The symmetric maximum, denoted by v, is an extension of the usual max operation so that 0 is the neutral element, and -x is the symmetric (or inverse) of x, i.e., x v(-x)=0. However, such an extension does not preserve the associativity of max. This fact asks for systematic ways of parenthesing (or bracketing) terms of a sequence (with more than two arguments) when using such an extended maximum. We refer to such systematic (predefined) ways of parenthesing as computation rules. As it turns out there are infinitely many computation rules each of which corresponding to a systematic way of bracketing arguments of sequences. Essentially, computation rules reduce to deleting terms of sequences based on the condition x v(-x)=0. This observation gives raise to a quasi-order on the set of such computation rules: say that rule 1 is below rule 2 if for all sequences of numbers, rule 1 deletes more terms in the sequence than rule 2. In this paper we present a study of this quasi-ordering of computation rules. In particular, we show that the induced poset of all equivalence classes of computation rules is uncountably infinite, has infinitely many maximal elements, has infinitely many atoms, and it embeds the powerset of natural numbers ordered by inclusion.
On the derivative cones of polyhedral cones
Published
• View Publication
• BIB
Hyperbolic polynomials elegantly encode a rich class of convex cones that includes polyhedral and spectrahedral cones. Hyperbolic polynomials are closed under taking polars and the corresponding cones, the derivative cones, yield relaxations for the associated optimization problem and exhibit interesting facial properties. While it is unknown if every hyperbolicity cone is a section of the positive semidefinite cone, it is natural to ask whether spectrahedral cones are closed under taking polars. In this note we give an affirmative answer for polyhedral cones by exhibiting an explicit spectrahedral representation for the first derivative cone. We also proof that higher polars do not have an determinantal representation which shows that the problem for general spectrahedral cones is considerably more difficult.
Solving Non-homogeneous Nested Recursions Using Trees
Published in Ann. Comb. 17 no. 4 (2013), 695-710
• View Publication
• BIB
The solutions to certain nested recursions, such as Conolly's C(n) = C(n-C(n-1))+C(n-1-C(n-2)), with initial conditions C(1)=1, C(2)=2, have a well-established combinatorial interpretation in terms of counting leaves in an infinite binary tree. This tree-based interpretation, which has a natural generalization to a k-term nested recursion of this type, only applies to homogeneous recursions, and only solves each recursion for one set of initial conditions determined by the tree. In this paper, we extend the tree-based interpretation to solve a non-homogeneous version of the k-term recursion that includes a constant term. To do so we introduce a tree-grafting methodology that inserts copies of a finite tree into the infinite k-ary tree associated with the solution of the corresponding homogeneous k-term recursion. This technique can also be used to solve the given non-homogeneous recursion with various sets of initial conditions.
Daisies and Other Turan Problems
We make some conjectures about extremal densities of daisy-free families, where a `daisy' is a certain hypergraph. These questions turn out to be related to some Turan problems in the hypercube, but they are also natural in their own right.
Generalizations and Variants of the Largest Non-crossing Matching Problem in Random Bipartite Graphs
We are interested in the statistics of the length of the longest increasing subsequence of 2-rowed lexicographically sorted arrays chosen according to distinct families of distributions D = (D_n)_n, and when n goes to infinity. This framework encompasses well studied problems such as the so called Longest Increasing Subsequence problem, the Longest Common Subsequence problem, problems concerning directed bond percolation models, among others. We define several natural families of distinct distributions and characterize the asymptotic behavior of the expected length of a longest increasing subsequence chosen according to them. In particular, we consider generalizations to d-rowed arrays as well as symmetry restricted two-rowed arrays.
Coalitions and Cliques in the School Choice Problem
Published in Involve 8 (2015) 801-823
• View Publication
• BIB
The school choice mechanism design problem focuses on assignment mechanisms matching students to public schools in a given school district. The well-known Gale Shapley Student Optimal Stable Matching Mechanism (SOSM) is the most efficient stable mechanism proposed so far as a solution to this problem. However its inefficiency is well-documented, and recently the Efficiency Adjusted Deferred Acceptance Mechanism (EADAM) was proposed as a remedy for this weakness. In this note we describe two related adjustments to SOSM with the intention to address the same inefficiency issue. In one we create possibly artificial coalitions among students where some students modify their preference profiles in order to improve the outcome for some other students. Our second approach involves trading cliques among students where those involved improve their assignments by waiving some of their priorities. The coalition method yields the EADAM outcome among other Pareto dominations of the SOSM outcome, while the clique method yields all possible Pareto optimal Pareto dominations of SOSM. The clique method furthermore incorporates a natural solution to the problem of breaking possible ties within preference and priority profiles. We discuss the practical implications and limitations of our approach in the final section of the article.
Path-search in the pyramid and in other graphs
Published
• View Publication
• BIB
We are given an acyclic directed graph with one source, and a subset of its edges which contains exactly one outgoing edge for every non-sink vertex. These edges determine a unique path from the source to a sink. We can think of it as a switch in every vertex, which determines which way the water arriving to that vertex flows further. We are interested in determining either the sink the flow arrives, or the whole path, with as few questions as possible. The questions we can ask correspond to the vertices of the graph, and the answer describes the switch, i.e. tells which outgoing edge is in our given subset. Originally the problem was proposed by Soren Riis (who posed the question for pyramid graphs) in the following more general form. We are given a natural number k, and k questions can be asked in a round. The goal is to minimize the number of rounds. We completely solve this problem for complete t-ary trees. Also, for pyramid graphs we present some non-trivial partial results.
Black-and-white threshold graphs
Let k be a natural number. We introduce k-threshold graphs. We show that there exists an O(n^3) algorithm for the recognition of k-threshold graphs for each natural number k. k-Threshold graphs are characterized by a finite collection of forbidden induced subgraphs. For the case k=2 we characterize the partitioned 2-threshold graphs by forbidden induced subgraphs. We introduce restricted -, and special 2-threshold graphs. We characterize both classes by forbidden induced subgraphs. The restricted 2-threshold graphs coincide with the switching class of threshold graphs. This provides a decomposition theorem for the switching class of threshold graphs.
On topological properties of families of finite sets
Published in Journal of Combinatorial Theory, Series A, Volume 119, Issue 5, July 2012, Pages 1066-1077
• Search Publication
We present results about the Cantor-Bendixson index of some subspaces of a uniform family F of finite subsets of natural numbers with respect to the lexicographic order topology. As a corollary of our results we get that for any omega-uniform family F the restriction F|M is homeomorphic to F iff M contains intervals of arbitrary length of consecutive integers. We show the connection of these results with a topological partition problem of uniform families.
An application of global Weyl modules of $\lie{sl}_{n+1}[t]$ to invariant theory
Published
• View Publication
• BIB
We identify $\lie{sl}_{n+1}$--isotypical components of global Weyl modules with natural subspaces in a polynomial ring, and then apply the representation theory of current algebras to classical problems in invariant theory.
Rainbow Matchings: existence and counting
Published
• View Publication
• BIB
A perfect matching M in an edge-colored complete bipartite graph K_{n,n} is rainbow if no pair of edges in M have the same color. We obtain asymptotic enumeration results for the number of rainbow matchings in terms of the maximum number of occurrences of a color. We also consider two natural models of random edge-colored K_{n,n} and show that, if the number of colors is at least n, then there is with high probability a random matching. This in particular shows that almost every square matrix of order n in which every entry appears at most n times has a Latin transversal.
Demazure crystals, Kirillov-Reshetikhin crystals, and the energy function
Published in The Electronic Journal of Combinatorics, Vol. 19 Issue 2, P4 (2012)
• View Publication
• BIB
It has previously been shown that, at least for non-exceptional Kac-Moody Lie algebras, there is a close connection between Demazure crystals and tensor products of Kirillov-Reshetikhin crystals. In particular, certain Demazure crystals are isomorphic as classical crystals to tensor products of Kirillov-Reshetikhin crystals via a canonically chosen isomorphism. Here we show that this isomorphism intertwines the natural affine grading on Demazure crystals with a combinatorially defined energy function. As a consequence, we obtain a formula of the Demazure character in terms of the energy function, which has applications to Macdonald polynomials and q-deformed Whittaker functions.
The probability of the Alabama paradox
Published
• View Publication
• BIB
Hamilton's method (also called method of largest remainder) is a natural and common method to distribute seats proportionally between states (or parties) in a parliament. In USA it has been abandoned due to some drawbacks, in particular the possibility of the Alabama paradox, but it is still in use in many other countries. In this paper we give, under certain assumptions, a closed formula for the asymptotic probability, as the number of seats tends to infinity, that the Alabama paradox occurs given the vector p_1,...,p_m of relative sizes of the states.
From the theorem we deduce a number of consequences. For example it is shown that the expected number of states that will suffer from the Alabama paradox is asymptotically bounded above by 1/e. For random (uniformly distributed) relative sizes p_1,...,p_m the expected number of states to suffer from the Alabama paradox converges to slightly more than a third of this, or approximately 0.335/e=0.123, as m tends to infinity.
We leave open the generalization of our formula to all possible (in particular rational) p_1,...,p_m.
Symbolic dynamics and the category of graphs
Published
• View Publication
• BIB
Symbolic dynamics is partly the study of walks in a directed graph. By a walk, here we mean a morphism to the graph from the Cayley graph of the monoid of non-negative integers. Sets of these walks are also important in other areas, such as stochastic processes, automata, combinatorial group theory, $C^*$-algebras, etc. We put a Quillen model structure on the category of directed graphs, for which the weak equivalences are those graph morphisms which induce bijections on the set of walks. We determine the resulting homotopy category. We also introduce a "finite-level" homotopy category which respects the natural topology on the set of walks. To each graph we associate a basal graph, well defined up to isomorphism. We show that the basal graph is a homotopy invariant for our model structure, and that it is a finer invariant than the zeta series of a finite graph. We also show that, for finite walkable graphs, if $B$ is basal and separated then the walk spaces for $X$ and $B$ are topologically conjugate if and only if $X$ and $B$ are homotopically equivalent for our model structure.
Sequences of Integers with Missing Quotients and Dense Points Without Neighbors
Published in Discrete Mathematics 312 (2012), pp 1776-1787
• View Publication
• BIB
Let A be a pre-defined set of rational numbers. We say a set of natural numbers S is an A-quotient-free set if no ratio of two elements in S belongs to A. We find the maximal asymptotic density and the maximal upper asymptotic density of A-quotient-free sets when A belongs to a particular class. It is known that in the case A = {p, q}, where p, q are coprime integers greater than one, the latest problem is reduced to evaluation of the largest number of lattice non-adjacent points in a triangle whose legs lie on coordinate axis. We prove that this number is achieved by choosing points of the same color in the checkerboard coloring.
Lie algebras and 3-transpositions
Published in J. Algebra 368 (2012), 21-39
• View Publication
• BIB
We describe a construction of an algebra over the field of order 2 starting from a conjugacy class of 3-transpositions in a group. In particular, we determine which simple Lie algebras arise by this construction. Among other things, this construction yields a natural embedding of the sporadic simple group $\Fi{22}$ in the group $^2E_6(2)$.