Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Natural Partial Order on Rings with Involution
Published
• View Publication
• BIB
In this paper, we introduce a partial order on rings with involution, which is a generalization of the partial order on the set of projections in a Rickart *-ring. We prove that a *-ring with the natural partial order form a sectionally semi-complemented poset. It is proved that every interval [0,x] forms an orthomodular lattice in case of abelian Rickart *-rings. The concepts of generalized comparability (GC) and partial comparability (PC) are extended to involve all the elements of a *-ring. Further, it is proved that these concepts are equivalent in finite abelian Rickart *-rings.
Zeta Series Generating Function Transformations Related to Generalized Stirling Numbers and Partial Sums of the Hurwitz Zeta Function
Published
• View Publication
• BIB
We define a generalized class of modified zeta series transformations generating the partial sums of the Hurwitz zeta function and series expansions of the Lerch transcendent function. The new transformation coefficients we define within the article satisfy expansions by generalized harmonic number sequences, or the partial sums of the Hurwitz zeta function, which are analogous to known properties for the Stirling numbers of the first kind and for the known transformation coefficients employed to enumerate variants of the polylogarithm function series. Applications of the new results we prove in the article include new series expansions of the Dirichlet beta function, the Legendre chi function, BBP-type series identities for special constants, alternating and exotic Euler sum variants, alternating zeta functions with powers of quadratic denominators, and particular series defining special cases of the Riemann zeta function constants at the positive integers $s \geq 3$.
Turán numbers for disjoint paths
Published
• View Publication
• BIB
The Turán number of a graph $H$, $ex(n,H)$, is the maximum number of edges in any graph of order $n$ which does not contain $H$ as a subgraph. Lidický, Liu and Palmer determined $ex(n, F_m)$ for $n$ sufficiently large and proved that the extremal graph is unique, where $F_m$ is disjoint paths of $P_{k_1}, \ldots, P_{k_m}$ [Lidický,B., Liu,H. and Palmer,C. (2013). On the Turán number of forests. Electron. J. Combin. 20(2) Paper 62, 13 pp]. In this paper, by mean of a different approach, we determine $ex(n, F_m)$ for all integers $n$ with minor conditions, which extends their partial results. Furthermore, we partly confirm the conjecture proposed by Bushaw and Kettle for $ex(n, k\cdot P_l)$ [Bushaw,N. and Kttle,N. (2011) Turán numbers of multiple paths and equibipartite forests. Combin. Probab. Comput. 20 837-853]. Moreover, we show that there exist two family graphs $F_m$ and $F_m^{\prime}$ such that $ex(n, F_m)=ex(n, F_m^{\prime})$ for all integers $n$, which is related to an old problem of Erdős and Simonovits.
Half-integral linkages in highly connected directed graphs
We study the half-integral $k$-Directed Disjoint Paths Problem ($\tfrac12$kDDPP) in highly strongly connected digraphs. The integral kDDPP is NP-complete even when restricted to instances where $k=2$, and the input graph is $L$-strongly connected, for any $L\geq 1$. We show that when the integrality condition is relaxed to allow each vertex to be used in two paths, the problem becomes efficiently solvable in highly connected digraphs (even with $k$ as part of the input). Specifically, we show that there is an absolute constant $c$ such that for each $k\geq 2$ there exists $L(k)$ such that $\tfrac12$kDDPP is solvable in time $O(|V(G)|^c)$ for a $L(k)$-strongly connected directed graph $G$. As the function $L(k)$ grows rather quickly, we also show that $\tfrac12$kDDPP is solvable in time $O(|V(G)|^{f(k)})$ in $(36k^3+2k)$-strongly connected directed graphs. We also show that for each $ε<1$ deciding half-integral feasibility of kDDPP instances is NP-complete when $k$ is given as part of the input, even when restricted to graphs with strong connectivity $εk$.
Even and odd plane labelled bipartite trees
Let $T(n,m)$ be the set of all plane labelled bipartite trees with $n$ white vertices and $m$ black. If the number $n+m$ of vertices is even, then the set $T(n,m)$ is a union of two disjoint subsets --- subset od "even" trees and subset of "odd" trees. This partition has a clear geometric meaning.
Local limits of large Galton-Watson trees rerooted at a random vertex
Published
• View Publication
• BIB
We discuss various forms of convergence of the vicinity of a uniformly at random selected vertex in random simply generated trees, as the size tends to infinity. For the standard case of a critical Galton-Watson tree conditioned to be large the limit is the invariant random sin-tree constructed by Aldous (1991). In the condensation regime, we describe in complete generality the asymptotic local behaviour from a random vertex up to its first ancestor with large degree. Beyond this distinguished ancestor, different behaviour may occur, depending on the branching weights. In a subregime of complete condensation, we obtain convergence toward a novel limit tree, that describes the asymptotic shape of the vicinity of the full path from a random vertex to the root vertex. This includes the case where the offspring distribution follows a power law up to a factor that varies slowly at infinity.
A Self-Referential Property of Zimin Words
This paper gives a short overview of Zimin words, and proves an interesting property of their distribution. Let $L_q^m$ to be the lexically ordered sequence of $q$-ary words of length $m$, and let $T_n(L_q^m)$ to be the binary sequence where the $i$-th term is $1$ if and only if the $i$-th word of $L_q^m$ encounters the $n$-th Zimin word, $Z_n$. We show that the sequence $T_n(L_q^m)$ is an instance of $Z_{n+1}$ when $1 < n$ and $m=2^n-1$.
Classifying unavoidable Tverberg partitions
Published in Journal of Computational Geometry 8(1):174-205, 2017
• View Publication
• BIB
Let $T(d,r) = (r-1)(d+1)+1$ be the parameter in Tverberg's theorem, and call a partition $\mathcal I$ of $\{1,2,\ldots,T(d,r)\}$ into $r$ parts a "Tverberg type". We say that $\mathcal I$ "occurs" in an ordered point sequence $P$ if $P$ contains a subsequence $P'$ of $T(d,r)$ points such that the partition of $P'$ that is order-isomorphic to $\mathcal I$ is a Tverberg partition. We say that $\mathcal I$ is "unavoidable" if it occurs in every sufficiently long point sequence.
In this paper we study the problem of determining which Tverberg types are unavoidable. We conjecture a complete characterization of the unavoidable Tverberg types, and we prove some cases of our conjecture for $d\le 4$. Along the way, we study the avoidability of many other geometric predicates.
Our techniques also yield a large family of $T(d,r)$-point sets for which the number of Tverberg partitions is exactly $(r-1)!^d$. This lends further support for Sierksma's conjecture on the number of Tverberg partitions.
Phase Coexistence for the Hard-Core Model on ${\mathbb Z}^2$
Published
• View Publication
• BIB
The hard-core model has attracted much attention across several disciplines, representing lattice gases in statistical physics and independent sets in discrete mathematics and computer science. On finite graphs, we are given a parameter $λ$, and an independent set $I$ arises with probability proportional to $λ^{|I|}$. On infinite graphs a Gibbs measure is defined as a suitable limit with the correct conditional probabilities, and we are interested in determining when this limit is unique and when there is phase coexistence, i.e., existence of multiple Gibbs measures.
It has long been conjectured that on ${\mathbb Z}^2$ this model has a critical value $λ_c \approx 3.796$ with the property that if $λ< λ_c$ then it exhibits uniqueness of phase, while if $λ> λ_c$ then there is phase coexistence. Much of the work to date on this problem has focused on the regime of uniqueness, with the state of the art being recent work of Sinclair, Srivastava, Štefankovič and Yin showing that there is a unique Gibbs measure for all $λ< 2.538$. Here we give the first non-trivial result in the other direction, showing that there are multiple Gibbs measures for all $λ> 5.3506$. There is some potential for lowering this bound, but with the methods we are using we cannot hope to replace $5.3506$ with anything below about $4.8771$.
Our proof begins along the lines of the standard Peierls argument, but we add two innovations. First, following ideas of Kotecký and Randall, we construct an event that distinguishes two boundary conditions and always has long contours associated with it, obviating the need to accurately enumerate short contours. Second, we obtain improved bounds on the number of contours by relating them to a new class of self-avoiding walks on an oriented version of ${\mathbb Z}^2$.
On well quasi-order of graph classes under homomorphic image orderings
In this paper we consider the question of well quasi-order for classes defined by a single obstruction within the classes of all graphs, digraphs and tournaments, under the homomorphic image ordering (in both its standard and strong forms). The homomorphic image ordering was introduced by the authors in a previous paper and corresponds to the existence of a surjective homomorphism between two structures. We obtain complete characterizations in all cases except for graphs under the strong ordering, where some open questions remain.
Plabic graphs and zonotopal tilings
Published in Proc. Lond. Math. Soc., 117: 661-681, 2018
• View Publication
• BIB
We say that two sets $S,T\subset\{1,2,\dots,n\}$ are chord separated if there does not exist a cyclically ordered quadruple $a,b,c,d$ of integers satisfying $a,c\in S-T$ and $b,d\in T-S$. This is a weaker version of Leclerc and Zelevinsky's weak separation. We show that every maximal by inclusion collection of pairwise chord separated sets is also maximal by size. Moreover, we prove that such collections are precisely vertex label collections of fine zonotopal tilings of the three-dimensional cyclic zonotope. In our construction, plabic graphs and square moves appear naturally as horizontal sections of zonotopal tilings and their mutations respectively.
Directed Lovász Local Lemma and Shearer's Lemma
Published
• View Publication
• BIB
Moser and Tardos (2010) gave an algorithmic proof of the lopsided Lovász local lemma (LLL) in the variable framework, where each of the undesirable events is assumed to depend on a subset of a collection of independent random variables. For the proof, they define a notion of a lopsided dependency between the events suitable for this framework. In this work, we strengthen this notion, defining a novel directed notion of dependency and prove LLL for the corresponding graph. We show that this graph can be strictly sparser (thus the sufficient condition for LLL weaker) compared with graphs that correspond to other extant lopsided versions of dependency. Thus, in a sense, we address the problem "find other simple local conditions for the constraints (in the variable framework) that advantageously translate to some abstract lopsided condition" posed by Szegedy (2013). We also give an example where our notion of dependency graph gives better results than the classical Shearer lemma. Finally, we prove Shearer's lemma for the dependency graph we define. For the proofs, we perform a direct probabilistic analysis that yields an exponentially small upper bound for the probability of the algorithm that searches for the desired assignment to the variables not to return a correct answer within $n$ steps. In contrast, the method of proof that became known as the entropic method, gives an estimate of only the expectation of the number of steps until the algorithm returns a correct answer, unless the probabilities are tinkered with.
Degrees of cohomological classes of multisinguliarities in Hurwitz spaces of rational functions
Published
• View Publication
• BIB
The main goal of the present paper are new formulae for degrees of strata in Hurwitz spaces of rational functions having two degenerate critical values with preimages of prescribed multiplicities. We consider the case where the multiplicities of the preimages of one critical value are arbitrary, while the second critical value has degeneracy of codimension~$1$. Our formulae are based on the universal cohomological expressions for codimension~$1$ strata in terms of certain basic cohomology classes in general Hurwitz spaces of rational functions obtained by M.~Kazarian and S.~Lando. We prove new relations valid in cohomology of Hurwitz spaces that were conjectured by M.~Kazarian on the base of computer experiments. As a corollary, we obtain new, previously unknown, explicit formulae for certain families of double Hurwitz numbers in genus~$0$. One may hope that the methods developed in the present paper are applicable to proving more general relations in cohomology rings of Hurwitz spaces and deducing more general formulae for double Hurwitz numbers.
Packing Sets
For a given subset $A\subseteq \mathbb F_q^*$, we study the problem of finding a large packing set $B$ of $A$, that is, a set $B \subseteq \mathbb F_q^*$ such that $|AB|=|A||B|$. We prove the existence of such a $B$ of size $|B|\ge (q-1)/|A/A|$ and show that this bound is in general optimal.
The case that $q=p$ is a prime and $A=\{1,2,\ldots,λ\}$ for some positive integer $λ$ is particularly interesting in view of the construction of limited-magnitude error correcting codes. Here we construct a packing set $B$ of size $|B|\gg p (λ\log p)^{-1}$ for any $λ\le c p^{1/2}$ for some explicitly calcuable constant $c$. This result is optimal up to the logarithmic factor.
What is a graphon?
Published in Notices Amer. Math. Soc., 62(1):46-48, 2015
• Search Publication
Graphons, short for graph functions, are limiting objects for sequences of large, finite graphs with respect to the so-called cut metric. In this expository piece, we define graphons, motivate them, and discuss how they complete the space of finite graphs. We conclude by stating three theorems that connect the finite world of graphs with the continuous world of graphons.
Below all subsets for Minimal Connected Dominating Set
Published
• View Publication
• BIB
A vertex subset $S$ in a graph $G$ is a dominating set if every vertex not contained in $S$ has a neighbor in $S$. A dominating set $S$ is a connected dominating set if the subgraph $G[S]$ induced by $S$ is connected. A connected dominating set $S$ is a minimal connected dominating set if no proper subset of $S$ is also a connected dominating set. We prove that there exists a constant $\varepsilon > 10^{-50}$ such that every graph $G$ on $n$ vertices has at most $O(2^{(1-\varepsilon)n})$ minimal connected dominating sets. For the same $\varepsilon$ we also give an algorithm with running time $2^{(1-\varepsilon)n}\cdot n^{O(1)}$ to enumerate all minimal connected dominating sets in an input graph $G$.
Sampling and Estimation for (Sparse) Exchangeable Graphs
Published
• View Publication
• BIB
Sparse exchangeable graphs on $\mathbb{R}_+$, and the associated graphex framework for sparse graphs, generalize exchangeable graphs on $\mathbb{N}$, and the associated graphon framework for dense graphs. We develop the graphex framework as a tool for statistical network analysis by identifying the sampling scheme that is naturally associated with the models of the framework, and by introducing a general consistent estimator for the parameter (the graphex) underlying these models. The sampling scheme is a modification of independent vertex sampling that throws away vertices that are isolated in the sampled subgraph. The estimator is a dilation of the empirical graphon estimator, which is known to be a consistent estimator for dense exchangeable graphs; both can be understood as graph analogues to the empirical distribution in the i.i.d. sequence setting. Our results may be viewed as a generalization of consistent estimation via the empirical graphon from the dense graph regime to also include sparse graphs.
Faces of highest weight modules and the universal Weyl polyhedron
Published in Advances in Mathematics 319 (2017), 111-152
• View Publication
• BIB
Let $V$ be a highest weight module over a Kac-Moody algebra $\mathfrak{g}$, and let conv $V$ denote the convex hull of its weights. We determine the combinatorial isomorphism type of conv $V$, i.e. we completely classify the faces and their inclusions. In the special case where $\mathfrak{g}$ is semisimple, this brings closure to a question studied by Cellini-Marietti [IMRN 2015] for the adjoint representation, and by Khare [J. Algebra 2016; Trans. Amer. Math. Soc. 2017] for most modules. The determination of faces of finite-dimensional modules up to the Weyl group action and some of their inclusions also appears in previous work of Satake [Ann. of Math. 1960], Borel-Tits [IHES Publ. Math. 1965], Vinberg [Izv. Akad. Nauk 1990], and Casselman [Austral. Math. Soc. 1997].
For any subset of the simple roots, we introduce a remarkable convex cone which we call the universal Weyl polyhedron, which controls the convex hulls of all modules parabolically induced from the corresponding Levi factor. Namely, the combinatorial isomorphism type of the cone stores the classification of faces for all such highest weight modules, as well as how faces degenerate as the highest weight gets increasingly singular. To our knowledge, this cone is new in finite and infinite type.
We further answer a question of Michel Brion, by showing that the localization of conv $V$ along a face is always the convex hull of the weights of a parabolically induced module. Finally, as we determine the inclusion relations between faces representation-theoretically from the set of weights, without recourse to convexity, we answer a similar question for highest weight modules over symmetrizable quantum groups.
Jacobi-Trudi determinants over finite fields
Published
• View Publication
• BIB
In this paper, we work toward answering the following question: given a uniformly random algebra homomorphism from the ring of symmetric functions over the integers to a finite field $\mathbb{F}_q$, what is the probability that the Schur function $s_λ$ maps to zero? We show that this probability is always at least $1/q$ and is asymptotically $1/q$. Moreover, we give a complete classification of all shapes that can achieve probability $1/q$. In addition, we identify certain families of shapes where the corresponding Schur functions being sent to zero are independent events, and we look into the probability that a Schur functions is mapped to nonzero values in $\mathbb{F}_q$.
On the phylogeny graphs of degree-bounded digraphs
Published
• View Publication
• BIB
Hefner [K. A. S. Hefner, K. F. Jones, S. -R. Kim, R. J. Lundgren and F. S. Roberts: $(i,j)$ competition graphs, Discrete Applied Mathematics, 32, (1991) 241-262] characterized acyclic digraphs each vertex of which has inderee and outdegree at most two and whose competition graphs are interval. They called acyclic digraphs each vertex of which has inderee and outdegree at most two $(2,2)$ digraphs. In this paper, we study the phylogeny graphs of $(2,2)$ digraphs. Especially, we give a sufficient condition and necessary conditions for $(2,2)$ digraphs having chordal phylogeny graphs. Phylogeny graphs are also called moral graphs in Bayesian network theory. Our work is motivated by problems related to evidence propagation in a Bayesian network for which it is useful to know which acyclic digraphs have their moral graphs being chordal.