Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Rainbow triangles
We seek conditions under which colorings of various vector spaces are guaranteed to have a copy of a unit equilateral triangle, having each vertex in a different color class. In particular, we explore the analogous question in the setting of vector spaces finite fields, with an appropriate notion of distance.
A Variation of the Erdős-Sós Conjecture in Bipartite Graphs
Published
• View Publication
• BIB
The Erdős-Sós Conjecture states that every graph with average degree more than $k-2$ contains all trees of order $k$ as subgraphs. In this paper, we consider a variation of the above conjecture: studying the maximum size of an $(n,m)$-bipartite graph which does not contain all $(k,l)$-bipartite trees for given integers $n\ge m$ and $k\ge l$. In particular, we determine that the maximum size of an $(n,m)$-bipartite graph which does not contain all $(n,m)$-bipartite trees as subgraphs (or all $(k,2)$-bipartite trees as subgraphs, respectively). Furthermore, all these extremal graphs are characterized.
A construction for directed in-out subgraphs of optimal size
We discuss the recently introduced concept of k-in-out graphs, and provide a construction for k-in-out graphs for any positive integer k. We derive a lower bound for the number of vertices of a k-in-out graph for any positive integer k, and demonstrate that our construction meets this bound in all cases. For even k, we also prove our construction is optimal with respect to the number of edges, and results in a planar graph. Among the possible uses of in-out graphs, they can convert the generalized traveling salesman problem to the asymmetric traveling salesman problem, avoiding the "big M" issue present in most other conversions. We give constraints satisfied by all in-out graphs to assist cutting-plane algorithms in solving instances of traveling salesman problem which contain in-out graphs.
Quantitative aspects of linear and affine closed lambda terms
Published
• View Publication
• BIB
Affine $λ$-terms are $λ$-terms in which each bound variable occurs at most once and linear $λ$-terms are $λ$-terms in which each bound variables occurs once. and only once. In this paper we count the number of closed affine $λ$-terms of size $n$, closed linear $λ$-terms of size $n$, affine $β$-normal forms of size $n$ and linear $β$-normal forms of ise $n$, for different ways of measuring the size of $λ$-terms. From these formulas, we show how we can derive programs for generating all the terms of size $n$ for each class. For this we use a specific data structure, which are contexts taking into account all the holes at levels of abstractions.
On jumped Wenger graphs
Published
• View Publication
• BIB
In this paper we introduce a new infinite class of bipartite graphs, called jumped Wenger graphs, which are closely related to Wenger graphs. An tight upper bound of the diameter and the exact girth of a jumped Wenger graph $J_m(q, i, j )$ for integers $i, j$, $1\leq i <j \leq m+2$, are determined. In particular, the exact diameter of the jumped Wenger graph $J_m(q, i, j)$ if $(i, j)=(m,m+2), (m+1,m+2)$ or $(m,m+1)$ is also obtained.
Selected topics on Toric Varieties
This article is based on a series of lectures on toric varieties given at RIMS, Kyoto. We start by introducing toric varieties, their basic properties and later pass to more advanced topics relating mostly to combinatorics.
On $t$-perfect triangulations of the projective plane
We prove that a triangulation of the projective plane is (strongly) $t$-perfect if and only if it is perfect and contains no $K_4$.
On 2-level polytopes arising in combinatorial settings
Published
• View Publication
• BIB
2-level polytopes naturally appear in several areas of pure and applied mathematics, including combinatorial optimization, polyhedral combinatorics, communication complexity, and statistics. In this paper, we present a study of some 2-level polytopes arising in combinatorial settings. Our first contribution is proving that v(P)*f(P) is upper bounded by d*2^(d+1), for a large collection of families of such polytopes P. Here v(P) (resp. f(P)) is the number of vertices (resp. facets) of P, and d is its dimension. Whether this holds for all 2-level polytopes was asked in [Bohn et al., ESA 2015], and experimental results from [Fiorini et al., ISCO 2016] showed it true up to dimension 7. The key to most of our proofs is a deeper understanding of the relations among those polytopes and their underlying combinatorial structures. This leads to a number of results that we believe to be of independent interest: a trade-off formula for the number of cliques and stable sets in a graph; a description of stable matching polytopes as affine projections of certain order polytopes; and a linear-size description of the base polytope of matroids that are 2-level in terms of cuts of an associated tree.
Rank of Submatrices of the Pascal Matrix
Published in Journal of Mathematical Sciences: Advances and Applications, 42, 1--12 (2016)
• Search Publication
In a previous paper, we derived necessary and sufficient conditions for the invertibility of square submatrices of the Pascal upper triangular matrix. To do so, we established a connection with the two-point Birkhoff interpolation problem. In this paper, we extend this result by deriving a formula for the rank of submatrices of the Pascal matrix. Our formula works for both square and non-square submatrices. We also provide bases for the row and column spaces of these submatrices. Further, we apply our result to one-point lacunary polynomial approximation.
Periodic balanced binary triangles
Published in Discrete Mathematics and Theoretical Computer Science, DMTCS, 2017
• View Publication
• BIB
A binary triangle of size $n$ is a triangle of zeroes and ones, with $n$ rows, built with the same local rule as the standard Pascal triangle modulo $2$. A binary triangle is said to be balanced if the absolute difference between the numbers of zeroes and ones that constitute this triangle is at most $1$. In this paper, the existence of balanced binary triangles of size $n$, for all positive integers $n$, is shown. This is achieved by considering periodic balanced binary triangles, that are balanced binary triangles where each row, column or diagonal is a periodic sequence.
Boundary correlations in planar LERW and UST
Published in Comm. Math. Phys., 376(3):2065-2145, 2020
• View Publication
• BIB
We find explicit formulas for the probabilities of general boundary visit events for planar loop-erased random walks, as well as connectivity events for branches in the uniform spanning tree. We show that both probabilities, when suitably renormalized, converge in the scaling limit to conformally covariant functions which satisfy partial differential equations of second and third order, as predicted by conformal field theory. The scaling limit connectivity probabilities also provide formulas for the pure partition functions of multiple $\mathrm{SLE}_κ$ at $κ=2$.
On Incidence Algebras and their Representations
Published
• View Publication
• BIB
We provide a unified approach, via deformations of incidence algebras, to several important types of representations with finiteness conditions, as well as the combinatorial algebras which produce them. We show that over finite dimensional algebras, representations with finitely many orbits, or finitely many invariant subspaces, or distributive coincide, and further coincide with thin modules in the acyclic case. Incidence algebras produce examples of such modules, and we show that algebras which are locally hereditary, and whose projective are distributive, or equivalently, which have finitely many ideals, are precisely the deformations of incidence algebras, and they are the finite dimensional algebra analogue of Pr${\rm \ddot{u}}$fer rings. New characterizations of incidence algebras are obtained, such as they are exactly algebras which have a faithful thin module. A main consequence is that "every thin module comes from an incidence algebra": if $V$ is either a thin module over a finite dimensional algebra $A$, or $V$ is distributive and $A$ is acyclic, then $A/{\rm ann}(V)$ is an incidence algebra and $V$ can be presented as its defining representation. We classify thin/distributive modules, and respectively deformations, of incidence algebras in terms of first and second cohomology of the simplicial realization of the poset. As a main application we obtain a complete classification of thin modules over any finite dimensional algebra. Their moduli spaces are multilinear varieties, and we show that any multilinear variety can be obtained in this way. A few other applications, to Grothendieck rings of combinatorial algebras, to graphs and their incidence matrices, to linear algebra (tori actions on matrices), and to a positive answer to the "no-gap conjecture" of Ringel and Bongartz, in the distributive case, are given. Other results in the literature are re-derived.
The maximum number of cycles in a graph with fixed number of edges
Published
• View Publication
• BIB
The main topic considered is maximizing the number of cycles in a graph with given number of edges. In 2009, Király conjectured that there is constant $c$ such that any graph with $m$ edges has at most $(1.4)^m$ cycles. In this paper, it is shown that for sufficiently large $m$, a graph with $m$ edges has at most $(1.443)^m$ cycles. For sufficiently large $m$, examples of a graph with $m$ edges and $(1.37)^m$ cycles are presented. For a graph with given number of vertices and edges an upper bound on the maximal number of cycles is given. Also, exponentially tight bounds are proved for the maximum number of cycles in a multigraph with given number of edges, as well as in a multigraph with given number of vertices and edges.
Topological Ramsey Spaces Dense in Forcings
Published
• View Publication
• BIB
Topological Ramsey spaces are spaces which support infinite dimensional Ramsey theory similarly to the Ellentuck space. Each topological Ramsey space is endowed with a partial ordering which can be modified to a $σ$-closed `almost reduction' relation analogously to the partial ordering of `mod finite' on $[ω]^ω$. Such forcings add new ultrafilters satisfying weak partition relations and have complete combinatorics. In cases where a forcing turned out to be equivalent to a topological Ramsey space, the strong Ramsey-theoretic techniques have aided in a fine-tuned analysis of the Rudin-Keisler and Tukey structures associated with the forced ultrafilter and in discovering new ultrafilters with complete combinatorics.This expository paper provides an overview of this collection of results and an entry point for those interested in using topological Ramsey space techniques to gain finer insight into ultrafilters satisfying weak partition relations.
Big Ramsey degrees and topological dynamics
Published
• View Publication
• BIB
We consider Fraïssé structures whose objects have finite big Ramsey degree and ask what consequences this has for the dynamics of the automorphism group. Motivated by a theorem of D. Devlin about the partition properties of the rationals, we define the notion of a big Ramsey structure, a single structure which codes the big Ramsey degrees of a given Fraïssé structure. This in turn leads to the definition of a completion flow; we show that if a Fraïssé structure admits a big Ramsey structure, then the automorphism group admits a unique universal completion flow. We also discuss the problem of when big Ramsey structures exist and explore connections to the notion of oscillation stability defined by Kechris, Pestov, and Todorčević
Gorenstein simplices and the associated finite abelian groups
Published in European Journal of Combinatorics 67 (2018) 145-157
• View Publication
• BIB
It is known that a lattice simplex of dimension $d$ corresponds a finite abelian subgroup of $(\mathbb{R}/\mathbb{Z})^{d+1}$. Conversely, given a finite abelian subgroup of $(\mathbb{R}/\mathbb{Z})^{d+1}$ such that the sum of all entries of each element is an integer, we can obtain a lattice simplex of dimension $d$. In this paper, we discuss a characterization of Gorenstein simplices in terms of the associated finite abelian groups. In particular, we present complete characterizations of Gorenstein simplices whose normalized volume equals $p,p^2$ and $pq$, where $p$ and $q$ are prime numbers with $p \neq q$. Moreover, we compute the volume of the dual simplices of Gorenstein simplices.
Enumeration of Tree-like Maps with Arbitrary Number of Vertices
This paper provides the generating series for the embedding of tree-like graphs of arbitrary number of vertices, accourding to their genus. It applies and extends the techniques of Chan, where it was used to give an alternate proof of the Goulden and Slofstra formula. Furthermore, this greatly generalizes the famous Harer-Zagier formula, which computes the Euler characteristic of the moduli space of curves, and is equivalent to the computation of one vertex maps.
Free Subshifts with Invariant Measures from the Lovász Local Lemma
Gao, Jackson, and Seward (see arXiv:1201.0513) proved that every countably infinite group $Γ$ admits a nonempty free subshift $X \subseteq \{0,1\}^Γ$. Furthermore, a theorem of Seward and Tucker-Drob (see arXiv:1402.4184) implies that every countably infinite group $Γ$ admits a free subshift $X \subseteq \{0,1\}^Γ$ that supports an invariant probability measure. Aubrun, Barbieri, and Thomassé (see arXiv:1507.03369) used the Lovász Local Lemma to give a short alternative proof of the Gao--Jackson--Seward theorem. Recently, Elek (see arXiv:1702.01631) followed another approach involving the Lovász Local Lemma to obtain a different proof of the existence of free subshifts with invariant probability measures for finitely generated sofic groups. Using the measurable version of the Lovász Local Lemma for shift actions established by the author (see arXiv:1604.07349), we give a short alternative proof of the existence of such subshifts for arbitrary groups. Moreover, we can find such subshifts in any nonempty invariant open set.
Hermitian rank distance codes
Published
• View Publication
• BIB
Let $X=X(n,q)$ be the set of $n\times n$ Hermitian matrices over $\mathbb{F}_{q^2}$. It is well known that $X$ gives rise to a metric translation association scheme whose classes are induced by the rank metric. We study $d$-codes in this scheme, namely subsets $Y$ of $X$ with the property that, for all distinct $A,B\in Y$, the rank of $A-B$ is at least $d$. We prove bounds on the size of a $d$-code and show that, under certain conditions, the inner distribution of a $d$-code is determined by its parameters. Except if $n$ and $d$ are both even and $4\le d\le n-2$, constructions of $d$-codes are given, which are optimal among the $d$-codes that are subgroups of $(X,+)$. This work complements results previously obtained for several other types of matrices over finite fields.
A new upper bound for the size of a sunflower-free family
We combine here Tao's slice-rank bounding method and Gröbner basis techniques and apply here to the Erdős-Rado Sunflower Conjecture.
Let $\frac{3k}{2}\leq n\leq 3k$ be integers. We prove that if $\mbox{$\cal F$}$ be a $k$-uniform family of subsets of $[n]$ without a sunflower with 3 petals, then $$ |\mbox{$\cal F$}|\leq 3{n \choose n/3}. $$
We give also some new upper bounds for the size of a sunflower-free family in $2^{[n]}$.