Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Inequalities for doubly nonnegative functions
Published in Electronic Journal of Combinatorics, 28(1)(2021), #P1.32
• View Publication
• BIB
Let $g$ be a bounded symmetric measurable nonnegative function on $[0,1]^2$, and $\left\lVert g \right\rVert = \int_{[0,1]^2} g(x,y) dx dy$. For a graph $G$ with vertices $\{v_1,v_2,\ldots,v_n\}$ and edge set $E(G)$, we define \[
t(G,g) \; = \;
\int_{[0,1]^n} \prod_{\{v_i,v_j\} \in E(G)} g(x_i,x_j)
\: dx_1 dx_2 \cdots dx_n \; . \] We conjecture that $t(G,g) \geq \left\lVert g \right\rVert^{|E(G)|}$ holds for any graph $G$ and any function $g$ with nonnegative spectrum. We prove this conjecture for various graphs $G$, including complete graphs, unicyclic and bicyclic graphs, as well as graphs with $5$ vertices or less.
A shuffling theorem for lozenge tilings of doubly-dented hexagons
MacMahon's theorem on plane partitions yields a simple product formula for tiling number of a hexagon, and Cohn, Larsen and Propp's theorem provides an explicit enumeration for tilings of a dented semihexagon via semi-strict Gelfand--Tsetlin patterns. In this paper, we prove a natural hybrid of the two theorems for hexagons with an arbitrary set of unit triangles removed along a horizontal axis. In particular, we show that the `shuffling' of removed unit triangles only changes the tiling number of the region by a simple multiplicative factor. Our main result generalizes a number of known enumerations and asymptotic enumerations of tilings. We also reveal connections of the main result to the study of symmetric functions and $q$-series.
Asymptotic Semigroups and Two-sided Weak Orders
Published
• View Publication
• BIB
Various partial orders related to the structures of dual canonical monoids are investigated. It is shown that the nilpotent variety of a dual canonical monoid is equidimensional; its dimension is found. It is shown in type A that certain intervals of the Putcha poset of a dual canonical monoid are isomorphic to the Renner monoids of matrices. The notion of a two-sided weak order on a normal reductive monoid is introduced. A criterion, in terms of type maps, for the covering relations in a two-sided weak order to have degree 2 is found. It is shown that, for the unique equivariant divisor of a dual canonical monoid (the asymptotic semigroup), the covering relations of the two-sided weak order are always of degree 1. These computations provide new insights for the two-sided weak orders on Coxeter groups. In type A, some enumerative results for the covering relations are presented.
The $A_2$ Rogers-Ramanujan identities revisited
Published
• View Publication
• BIB
In this note we show how to rederive the $A_2$ Rogers-Ramanujan identities proven by Andrews, Schilling and Warnaar using cylindric partitions. This paper is dedicated to George Andrews for his $80^{th}$ birthday.
On some properties of the $α$-spectral radius of the $k$-uniform hypergraph
Published
• View Publication
• BIB
In this paper we show how the $α$-spectral radius changes under the edge grafting operations on connected $k$-uniform hypergraphs. We characterize the extremal hypertree for $α$-spectral radius among $k$-uniform non-caterpillar hypergraphs with given order, size and diameter. we also characerize the second largest $α$-spectral radius among all $k$-uniform supertrees on $n$ vertices by two methods.
Grothendieck polynomials and the Boson-Fermion correspondence
Published in Algebraic Combinatorics, Volume 3 (2020) no. 5, pp. 1023-1040
• View Publication
• BIB
In this paper we study algebraic and combinatorial properties of Grothendieck polynomials and their dual polynomials by means of the Boson-Fermion correspondence. We show that these symmetric functions can be expressed as a vacuum expectation value of some operator that is written in terms of free-fermions. By using the free-fermionic expressions, we obtain alternative proofs of determinantal formulas and Pieri type formulas.
Plus minus analogues for affine Tverberg type results
The classical 1966 theorem of Tverberg with its numerous variations was and still is a motivating force behind many important developments in convex and computational geometry as well as the testing ground for methods from equivariant algebraic topology. In 2018, Bárány and Soberón presented a new variation, the "Tverberg plus minus theorem." In this paper, we give a new proof of the Tverberg plus minus theorem, by using a projective transformation. The same tool allows us to derive plus minus analogues of all known affine Tverberg type results. In particular, we prove a plus minus analogue of the optimal colored Tverberg theorem.
Homotopy Theory in Digital Topology
Published
• View Publication
• BIB
Digital topology is part of the ongoing endeavour to understand and analyze digitized images. With a view to supporting this endeavour, many notions from algebraic topology have been introduced into the setting of digital topology. But some of the most basic notions from homotopy theory remain largely absent from the digital topology literature. We embark on a development of homotopy theory in digital topology, and define such fundamental notions as function spaces, path spaces, and cofibrations in this setting. We establish digital analogues of basic homotopy-theoretic properties such as the homotopy extension property for cofibrations, and the homotopy lifting property for certain evaluation maps that correspond to path fibrations in the topological setting. We indicate that some depth may be achieved by using these homotopy-theoretic notions to give a preliminary treatment of Lusternik-Schnirelmann category in the digital topology setting. This topic provides a connection between digital topology and critical points of functions on manifolds, as well as other topics from topological dynamics.
On the Average Maximal Number of Balls in a Bin Resulting from Throwing r Balls into n Bins T times
We use the holonomic ansatz to estimate the asymptotic behavior, in $T$, of the average maximal number of balls in a bin that is obtained when one throws uniformly at random (without replacement) $r$ balls into $n$ bins, $T$ times. Our approach works, in principle, for any fixed $n$ and $r$. We were able to do the cases $(n,r)$ = $(2,1),(3,1),(4,1), (4,2)$, but things get too complicated for larger values of $n$ and $r$. We are pledging a \$150 donation to the OEIS for an explicit expression, (in terms of $n$, $r$, and $π$) for the constant $C_{n,r}$ such that that average equals $\frac{n}{r}\,T+C_{n,r} \sqrt{T}+O(1/\sqrt{T})$. In this version we announce that the problem has been solved (to the extent possible) by Marcus Michelen.
Small unit-distance graphs in the plane
We prove that a graph on up to 9 vertices is a unit-distance graph if and only if it does not contain one of 74 so-called minimal forbidden graphs. This extends the work of Chilakamarri and Mahoney (1995), who provide a similar classification for unit-distance graphs on up to 7 vertices.
A Structure-Tensor Approach to Integer Matrix Completion with Applications to Differentiated Energy Services
Efficient resource allocation is one of the main driving forces of human civilizations. Of the many existing approaches to resource allocation, matrix completion is one that is frequently applied. In this paper, we investigate a special type of matrix completion problem concerning the class of $(0,1)$-matrices with given row/column sums and certain zeros prespecified. We provide a necessary and sufficient condition under which such a class is nonempty. The condition is stated in the form of the nonnegativity of a structure tensor constructed from the information regarding the given row/column sums and fixed zeros. Moreover, we show that a more general matrix completion problem can be studied in a similar manner, namely that involving the class of nonnegative integer matrices with prescribed row/column sums, predetermined zeros, and different bounds across the rows. To illustrate the utility of our results, we apply them to demand response applications in smart grids. Specifically, we address two adequacy problems in differentiated energy services, namely, the problems of supply/demand matching and minimum purchase profile.
Perfect 1-factorisations of $K_{16}$
Published in Bull. Aust. Math. Soc. 101 (2020), 177-185
• View Publication
• BIB
We report the results of a computer enumeration that found that there are 3155 perfect 1-factorisations (P1Fs) of the complete graph $K_{16}$. Of these, 89 have a non-trivial automorphism group (correcting an earlier claim of 88 by Meszka and Rosa).
We also (i) describe a new invariant which distinguishes between the P1Fs of $K_{16}$, (ii) observe that the new P1Fs produce no atomic Latin squares of order 15 and (iii) record P1Fs for a number of large orders that exceed prime powers by one.
Gallai-Ramsey number of an 8-cycle
Published
• View Publication
• BIB
Given graphs $G$ and $H$ and a positive integer $k$, the Gallai-Ramsey number $gr_{k}(G : H)$ is the minimum integer $N$ such that for any integer $n \geq N$, every $k$-edge-coloring of $K_{n}$ contains either a rainbow copy of $G$ or a monochromatic copy of $H$. These numbers have recently been studied for the case when $G = K_{3}$, where still only a few precise numbers are known for all $k$. In this paper, we extend the known precise Gallai-Ramsey numbers to include $H = C_{8}$ for all $k$.
The Foata correspondence, cycle lengths and anomalies
Published in J. Stat. Mech., 2020(1):013205, 2020
• View Publication
• BIB
In their study of the densest jammed configurations for theater models, Krapivsky and Luck observe that two classes of permutations have the same cardinalities and ask for a bijection between them. In this note we show that the Foata correspondence provides the desired bijection.
All group-based latin squares possess near transversals
Published
• View Publication
• BIB
In a latin square of order $n$, a near transversal is a collection of $n-1$ cells which intersects each row, column, and symbol class at most once. A longstanding conjecture of Brualdi, Ryser, and Stein asserts that every latin square possesses a near transversal. We show that this conjecture is true for every latin square that is main class equivalent to the Cayley table of a finite group.
Simplicial generation of Chow rings of matroids
Published
• View Publication
• BIB
We introduce a presentation of the Chow ring of a matroid by a new set of generators, called "simplicial generators." These generators are analogous to nef divisors on projective toric varieties, and admit a combinatorial interpretation via the theory of matroid quotients. Using this combinatorial interpretation, we (i) produce a bijection between a monomial basis of the Chow ring and a relative generalization of Schubert matroids, (ii) recover the Poincaré duality property, (iii) give a formula for the volume polynomial, which we show is log-concave in the positive orthant, and (iv) recover the validity of Hodge-Riemann relations in degree 1, which is the part of the Hodge theory of matroids that currently accounts for all combinatorial applications of [AHK18]. Our work avoids the use of "flips," the key technical tool employed in [AHK18].
Tiling Enumeration of Hexagons with Off-central Holes
Published
• View Publication
• BIB
In the prequel of the paper (arXiv:1803.02792), we considered exact enumerations of the cored versions of a doubly-intruded hexagon. The result generalized Ciucu's work about $F$-cored hexagons (Adv. Math. 2017). In this paper, we provide an extensive list of 30 tiling enumerations of hexagons with three collinear chains of triangular holes with alternating orientations. Besides two chains of holes attaching to the boundary of the hexagon, we remove one more chain of triangles that is slightly off the center of the hexagon. Two of our enumerations imply two conjectures posed by Ciucu, Eisenkölbl, Krattenthaler, and Zare (J. Combin. Theory Ser. A 2001) as two very special cases.
Separating many words by counting occurrences of factors
Published
• View Publication
• BIB
For a given language $L$, we study the languages $X$ such that for all distinct words $u, v \in L$, there exists a word $x \in X$ that appears a different number of times as a factor in $u$ and in $v$. In particular, we are interested in the following question: For which languages $L$ does there exist a finite language $X$ satisfying the above condition? We answer this question for all regular languages and for all sets of factors of infinite words.
Daisy cubes: a characterization and a generalization
Published
• View Publication
• BIB
Daisy cubes are a recently introduced class of isometric subgraphs of hypercubes $Q_n$. They are induced with intervals between chosen vertices of $Q_n$ and the vertex $0^n\in V(Q_n)$. In this paper we characterize daisy cubes in terms of an expansion procedure thus answering an open problem proposed by Klavžar and Mollard, 2018, in the introductory paper of daisy cubes \cite{KlaMol-18}. To obtain such a characterization several interesting properties of daisy cubes are presented. For a given graph $G$ isomorphic to a daisy cube, but without the corresponding embedding into a hypercube, we present an algorithm which finds a proper embedding of $G$ into a hypercube in $O(mn)$ time. Finally, daisy graphs of a rooted graph are introduced and shown to be a generalization of daisy cubes.
Flexible Schemes for Pattern-Avoiding Permutations
We modify the enumeration schemes of Zeilberger and Vatter so that they can efficiently enumerate many new classes of pattern-avoiding permutations including all such classes with a regular insertion encoding.