Showing 20 papers (Total: 84360 papers, 48587 authors in database)
The height distribution in root systems
We prove several formulas for the distribution of positive roots.
Enumeration of Unsensed Orientable Maps on Surfaces of a Given Genus
In this work for the first time we enumerate unlabelled maps on orientable genus $g$ surfaces with respect to all homeomorphisms, including both orientation-preserving and orientation-reversing. We show that in the latter case as an intermediate step one has to enumerate rooted maps of a special kind (quotient maps) on orientable and non-orientable surfaces possibly having a boundary and a certain number of branch points. In this work we develop a special technique for enumerating such maps.
The graphs of projective codes
Consider the Grassmann graph formed by $k$-dimensional subspaces of an $n$-dimensional vector space over the field of $q$ elements ($1<k<n-1$) and denote by $Π(n,k)_q$ the restriction of this graph to the set of projective $[n,k]_q$ codes. In the case when $q\ge \binom{n}{2}$, we show that the graph $Π(n,k)_q$ is connected, its diameter is equal to the diameter of the Grassmann graph and the distance between any two vertices coincides with the distance between these vertices in the Grassmann graph. Also, we give some observations concerning the graphs of simplex codes. For example, binary simplex codes of dimension $3$ are precisely maximal singular subspaces of a non-degenerate quadratic form.
Graded Expectations: Betti numbers and anti-lecture hall compositions of random threshold graphs
Published in Pacific J. Math. 319 (2022) 75-98
• View Publication
• BIB
This paper examines the one-to-one-to-one correspondence between threshold graphs, Betti numbers of quotients of polynomial rings by $2$-linear ideals, and anti-lecture hall compositions. In particular, we establish new explicit combinatorial mappings between each of these classes of objects and calculate the expected values of the Betti numbers and anti-lecture hall composition corresponding to a random threshold graph.
Cyclic descents for near-hook and two-row shapes
A notion of cyclic descents on standard Young tableaux (SYT) of rectangular shape was introduced by Rhoades, and extended to certain skew shapes by the last two authors. The cyclic descent set restricts to the usual descent set when the largest value is ignored, and has the property that the number of SYT of a given shape with a given cyclic descent set $D$ is invariant under cyclic shifts of the entries of $D$. Following these results, the existence of cyclic descent sets for standard Young tableaux of any skew shape other than a ribbon was conjectured by the authors, and recently proved by Adin, Reiner and Roichman. Unfortunately, the proof does not provide a natural definition of the cyclic descent set for a specific tableau.
In this paper we explicitly describe cyclic descent sets and resulting generating functions for SYT of (possibly skew) shapes which either have exactly two rows or are near-hooks, i.e., are one cell away from a hook. Our definition provides a constructive combinatorial proof of the existence of cyclic descent sets for these shapes, and coincides with that of Rhoades for two-row rectangular shapes. We also show that cyclic descent sets for near-hook shaped tableaux are unique.
On the Decision Tree Complexity of String Matching
String matching is one of the most fundamental problems in computer science. A natural problem is to determine the number of characters that need to be queried (i.e. the decision tree complexity) in a string in order to decide whether this string contains a certain pattern. Rivest showed that for every pattern $p$, in the worst case any deterministic algorithm needs to query at least $n-|p|+1$ characters, where $n$ is the length of the string and $|p|$ is the length of the pattern. He further conjectured that this bound is tight. By using the adversary method, Tuza disproved this conjecture and showed that more than one half of binary patterns are {\em evasive}, i.e. any algorithm needs to query all the characters (see Section 1.1 for more details).
In this paper, we give a query algorithm which settles the decision tree complexity of string matching except for a negligible fraction of patterns. Our algorithm shows that Tuza's criteria of evasive patterns are almost complete. Using the algebraic approach of Rivest and Vuillemin, we also give a new sufficient condition for the evasiveness of patterns, which is beyond Tuza's criteria. In addition, our result reveals an interesting connection to \emph{Skolem's Problem} in mathematics.
Every 4-equivalenced association scheme is Frobenius
For a positive integer $k$, we say that an association scheme $(Ω,S)$ is $k$-equivalenced if each non-diagonal element of $S$ has valency $k$. $k$-equivalenced is weaker than pseudocyclic. It is known that every $k$-equivalenced association scheme is Frobenius when $k=2,3$ and every $4$-equivalenced association scheme is pseudocyclic. In this paper, we will show that every $4$-equivalenced association scheme is Frobenius.
Singular string polytopes and functorial resolutions from Newton-Okounkov bodies
The main result of this note is that the toric degenerations of flag varieties associated to string polytopes and certain Bott-Samelson resolutions of flag varieties fit into a commutative diagram which gives a resolution of singularities of singular toric varieties corresponding to string polytopes. Our main tool is a result of Anderson which shows that the toric degenerations arising from Newton-Okounkov bodies are functorial in an appropriate sense. We also use results of Fujita which show that Newton-Okounkov bodies of Bott-Samelson varieties with respect to a certain valuation $ν_{max}$ coincide with generalized string polytopes, as well as previous results by the authors which explicitly describe the Newton-Okounkov bodies of Bott-Samelson varieties with respect to a different valuation $ν_{min}$ in terms of Grossberg-Karshon twisted cubes. A key step in our argument is that, under a technical condition, these Newton-Okounkov bodies coincide.
On a conjecture about a class of permutation trinomials
We prove a conjecture by Tu, Zeng, Li, and Helleseth concerning trinomials $f_{α,β}(x)= x + αx^{q(q-1)+1} + βx^{2(q-1)+1} \in \mathbb{F}_{q^2}[x]$, $αβ\neq 0$, $q$ even, characterizing all the pairs $(α,β)\in \mathbb{F}_{q^2}^2$ for which $f_{α,β}(x)$ is a permutation of $\mathbb{F}_{q^2}$.
Automated Conjecturing VII: The Graph Brain Project & Big Mathematics
The Graph Brain Project is an experiment in how the use of automated mathematical discovery software, databases, large collaboration, and systematic investigation provide a model for how mathematical research might proceed in the future.
Our Project began with the development of a program that can be used to generate invariant-relation and property-relation conjectures in many areas of mathematics. This program can produce conjectures which are not implied by existing (published) theorems. Here we propose a new approach to push forward existing mathematical research goals---using automated mathematical discovery software. We suggest how to initiate and harness large-scale collaborative mathematics. We envision mathematical research labs similar to what exist in other sciences, new avenues for funding, new opportunities for training students, and a more efficient and effective use of published mathematical research.
And our experiment in graph theory can be imitated in many other areas of mathematical research. Big Mathematics is the idea of large, systematic, collaborative research on problems of existing mathematical interest. What is possible when we put our skills, tools, and results together systematically?
Intersecting non-uniform families containing subfamilies
A family of sets is said to be intersecting if every pair of sets in the family have non-empty intersection. In this paper, we initiate the study of intersecting non-uniform families of sets of one of two sizes containing given subfamilies. For a set $X$ and integer $r$, let $\binom{X}{r}$ denote the family $\{A \subseteq X: |X| = r\}$. Let $a$, $b$, and $n$ be positive integers such that $a < b$. We determine the maximum size of an intersecting family in $\binom{[n]}{a} \cup \binom{[2n]}{b}$ whenever $n > b$. For $n$ sufficiently large, we also determine the maximum size of an intersecting family in $\binom{[2n]}{a} \cup \binom{[n+1, 3n]}{a} \cup \binom{[n] \cup [2n + 1, 3n]}{a} \cup \binom{[3n]}{b}$ whenever $3n > 2b$ and $b > a + 2$. Our results are, in some sense, best possible. Our methods include the use of Katona's shadow intersection theorem and a recent diversity theorem of Kupavskii and~Zakharov.
Two-sided infinite-bin models and analyticity for Barak-Erdős graphs
Published in Bernoulli, 25(4B), 3479-3495, 2019
• View Publication
• BIB
In this article, we prove that for any probability distribution $μ$ on $\mathbb{N}$ one can construct a two-sided stationary version of the infinite-bin model (an interacting particle system introduced by Foss and Konstantopoulos) with move distribution $μ$. Using this result, we obtain a new formula for the speed of the front of infinite-bin models, as a series of positive terms. This implies that the growth rate $C(p)$ of the longest path in a Barak-Erdős graph of parameter $p$ is analytic on $(0,1]$.
The genus of a random bipartite graph
Published in Can. J. Math.-J. Can. Math. 72 (2020) 1607-1623
• View Publication
• BIB
Archdeacon and Grable (1995) proved that the genus of the random graph $G\in\mathcal{G}_{n,p}$ is almost surely close to $pn^2/12$ if $p=p(n)\geq3(\ln n)^2n^{-1/2}$. In this paper we prove an analogous result for random bipartite graphs in $\mathcal{G}_{n_1,n_2,p}$. If $n_1\ge n_2 \gg 1$, phase transitions occur for every positive integer $i$ when $p=Θ((n_1n_2)^{-\frac{i}{2i+1}})$. A different behaviour is exhibited when one of the bipartite parts has constant size, $n_1\gg1$ and $n_2$ is a constant. In that case, phase transitions occur when $p=Θ(n_1^{-1/2})$ and when $p=Θ(n_1^{-1/3})$.
On the Intriguing Problem of Counting (n+1,n+2)-Core Partitions into Odd Parts
Tewodros Amdeberhan and Armin Straub initiated the study of enumerating subfamilies of the set of (s,t)-core partitions. While the enumeration of (n+1,n+2)-core partitions into distinct parts is relatively easy (in fact it equals the Fibonacci number F_{n+2}), the enumeration of (n+1,n+2)-core partitions into odd parts remains elusive.
Straub computed the first eleven terms of that sequence, and asked for a "formula," or at least a fast way, to compute many terms. While we are unable to find a "fast" algorithm, we did manage to find a "faster" algorithm, which enabled us to compute 23 terms of this intriguing sequence. We strongly believe that this sequence has an algebraic generating function, since a "sister sequence" (see the article), is OEIS sequence A047749 that does have an algebraic generating function. One of us (DZ) is pledging a donation of 100 dollars to the OEIS, in honor of the first person to generate sufficiently many terms to conjecture (and prove non-rigorously) an algebraic equation for the generating function of this sequence, and another 100 dollars for a rigorous proof of that conjecture.
Finally, we also develop algorithms that find explicit generating functions for other, more tractable, families of (n+1,n+2)-core partitions.
Amenability and unique ergodicity of automorphism groups of countable homogeneous directed graphs
We study the automorphism groups of countable homogeneous directed graphs (and some additional homogeneous structures) from the point of view of topological dynamics. We determine precisely which of these automorphism groups are amenable (in their natural topologies). For those which are amenable, we determine whether they are uniquely ergodic, leaving unsettled precisely one case (the "semi-generic" complete multipartite directed graph). We also consider the Hrushovski property. For most of our results we use the various techniques of [3], suitably generalized to a context in which the universal minimal flow is not necessarily the space of all orders. Negative results concerning amenability rely on constructions of the type considered in [26]. An additional class of structures (compositions) may be handled directly on the basis of very general principles. The starting point in all cases is the determination of the universal minimal flow for the automorphism group, which in the context of countable homogeneous directed graphs is given in [10] and the papers cited therein.
Using Ramsey theory to measure unavoidable spurious correlations in Big Data
Given a dataset we quantify how many patterns must always exist in the dataset. Formally this is done through the lens of Ramsey theory of graphs, and a quantitative bound known as Goodman's theorem. Combining statistical tools with Ramsey theory of graphs gives a nuanced understanding of how far away a dataset is from random, and what qualifies as a meaningful pattern.
This method is applied to a dataset of repeated voters in the 1984 US congress, to quantify how homogeneous a subset of congressional voters is. We also measure how transitive a subset of voters is. Statistical Ramsey theory is also used with global economic trading data to provide evidence that global markets are quite transitive.
The Strongly Antimagic labelings of Double Spiders
A graph $G=(V,E)$ is strongly antimagic, if there is a bijective mapping $f: E \to \{1,2,\ldots,|E|\}$ such that for any two vertices $u\neq v$, not only $\sum_{e \in E(u)}f(e) \ne \sum_{e\in E(v)}f(e)$ and also $\sum_{e \in E(u)}f(e) < \sum_{e\in E(v)}f(e)$ whenever $°(u)< °(v) $, where $E(u)$ is the set of edges incident to $u$. In this paper, we prove that double spiders, the trees contains exactly two vertices of degree at least 3, are strongly antimagic.
Positive Solutions of p-th Yamabe Type Equations on Infinite Graphs
Let $G=(V,E)$ be a connected infinite and locally finite weighted graph, $Δ_p$ be the $p$-th discrete graph Laplacian. In this paper, we consider the $p$-th Yamabe type equation $$-Δ_pu+h|u|^{p-2}u=gu^{α-1}$$ on $G$, where $h$ and $g$ are known, $2<α\leq p$. The prototype of this equation comes from the smooth Yamabe equation on an open manifold. We prove that the above equation has at least one positive solution on $G$.
From acute sets to centrally symmetric $2$-neighborly polytopes
What is the maximum number of vertices that a centrally symmetric 2-neighborly polytope of dimension $d$ can have? It is known that the answer does not exceed $2^d$. Here we provide an explicit construction showing that it is at least $2^{d-1}+2$.
Protected Vertices in Motzkin trees
In this paper we find recurrence relations for the asymptotic probability a vertex is $k$ protected in all Motzkin trees. We use a similar technique to calculate the probabilities for balanced vertices of rank $k$. From this we calculate upper and lower bounds for the probability a vertex is balanced and upper and lower bounds for the expected rank of balanced vertices.