Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Transversals and bipancyclicity in bipartite graph families
Published
• View Publication
• BIB
A bipartite graph is called bipancyclic if it contains cycles of every even length from four up to the number of vertices in the graph. A theorem of Schmeichel and Mitchem states that for $n \geq 4$, every balanced bipartite graph on $2n$ vertices in which each vertex in one color class has degree greater than $\frac{n}{2}$ and each vertex in the other color class has degree at least $\frac{n}{2}$ is bipancyclic. We prove a generalization of this theorem in the setting of graph transversals. Namely, we show that given a family $\mathcal{G}$ of $2n$ bipartite graphs on a common set $X$ of $2n$ vertices with a common balanced bipartition, if each graph of $\mathcal G$ has minimum degree greater than $\frac{n}{2}$ in one color class and minimum degree at least $\frac{n}{2}$ in the other color class, then there exists a cycle on $X$ of each even length $4 \leq \ell \leq 2n$ that uses at most one edge from each graph of $\mathcal G$. We also show that given a family $\mathcal G$ of $n$ bipartite graphs on a common set $X$ of $2n$ vertices meeting the same degree conditions, there exists a perfect matching on $X$ that uses exactly one edge from each graph of $\mathcal G$.
On the support $t$-designs of extremal Type III and IV codes
Published
• View Publication
• BIB
Let $C$ be an extremal Type III or IV code and $D_{w}$ be the support design of $C$ for a weight $w$. We introduce the two numbers $δ(C)$ and $s(C)$: $δ(C)$ is the largest integer $t$ such that, for all weights, $D_{w}$ is a $t$-design; $s(C)$ denotes the largest integer $t$ such that there exists a $w$ such that $D_{w}$ is a $t$-design. In the present paper, we consider the possible values of $δ(C)$ and $s(C)$.
Measurable perfect matchings for acyclic locally countable Borel graphs
Published in Journal of Symbolic Logic 82 (1) (2017) 258-271
• View Publication
• BIB
We characterize the structural impediments to the existence of Borel perfect matchings for acyclic locally countable Borel graphs admitting a Borel selection of finitely many ends from their connected components. In particular, this yields the existence of Borel matchings for such graphs of degree at least three. As a corollary, it follows that acyclic locally countable Borel graphs of degree at least three generating $μ$-hyperfinite equivalence relations admit $μ$-measurable matchings. We establish the analogous result for Baire measurable matchings in the locally finite case, and provide a counterexample in the locally countable case.
New Lower Bounds for Tverberg Partitions with Tolerance in the Plane
Published
• View Publication
• BIB
Let $P$ be a set $n$ points in a $d$-dimensional space. Tverberg's theorem says that, if $n$ is at least $(k-1)(d+1)+1$, then $P$ can be partitioned into $k$ sets whose convex hulls intersect. Partitions with this property are called {\em Tverberg partitions}. A partition has tolerance $t$ if the partition remains a Tverberg partition after removal of any set of $t$ points from $P$. Tolerant Tverberg partitions exist in any dimension provided that $n$ is sufficiently large. Let $N(d,k,t)$ be the smallest value of $n$ such that tolerant Tverberg partitions exist for any set of $n$ points in $\mathbb{R}^d$. Only few exact values of $N(d,k,t)$ are known.
In this paper we establish a new tight bound for $N(2,2,2)$. We also prove many new lower bounds on $N(2,k,t)$ for $k\ge 2$ and $t\ge 1$.
A new solution to square matrix completion problem
Published
• View Publication
• BIB
In this paper we give a novel solution to a classical completion problem for square matrices. This problem was studied by many authors through time, and it is completely solved in [2, 3]. In this paper we relate this classical problem to a purely combinatorial question involving partitions of integers and their majorizations studied in [4]. We show surprising relations in these approaches and as a corollary, we obtain a new combinatorial result on partitions of integers.
Lifting for Simplicity: Concise Descriptions of Convex Sets
Published in SIAM Review 64, no. 4 (2022): 866-918
• View Publication
• BIB
This paper presents a selected tour through the theory and applications of lifts of convex sets. A lift of a convex set is a higher-dimensional convex set that projects onto the original set. Many convex sets have lifts that are dramatically simpler to describe than the original set. Finding such simple lifts has significant algorithmic implications, particularly for optimization problems. We consider both the classical case of polyhedral lifts, described by linear inequalities, as well as spectrahedral lifts, defined by linear matrix inequalities, with a focus on recent developments related to spectrahedral lifts.
Given a convex set, ideally we would either like to find a (low-complexity) polyhedral or spectrahedral lift, or find an obstruction proving that no such lift is possible. To this end, we explain the connection between the existence of lifts of a convex set and certain structured factorizations of its associated slack operator. Based on this characterization, we describe a uniform approach, via sums of squares, to the construction of spectrahedral lifts of convex sets and illustrate the method on several families of examples. Finally, we discuss two flavors of obstruction to the existence of lifts: one related to facial structure, and the other related to algebraic properties of the set in question.
Rather than being exhaustive, our aim is to illustrate the richness of the area. We touch on a range of different topics related to the existence of lifts, and present many examples of lifts from different areas of mathematics and its applications.
Progress on sufficient conditions for a graph to have a spanning $k-$ended tree
Published
• View Publication
• BIB
In 1998, Broersma and Tuinstra [J. Graph Theory \textbf{29} (1998), 227-237] proved that if $G$ is a connected graph satisfying $σ_2(G) \geq |G|-k+1$ then $G$ has a spanning $k-$ended tree. They also gave an example to show that the condition "$σ_2(G) \geq |G|-k+1$" is sharp. In this paper, we introduce a new progress for this result. Let $K_{m,m+k}$ be a complete bipartite graph with bipartition $V(K_{m,m+k})=A\cup B, |A|=m, |B|=m+k.$ Denote by $H$ to be the graph obtained from $K_{m,m+k}$ by adding (or no adding) some edges with two end vertices in $A.$ We prove that if $G$ is a connected graph satisfying $σ_2(G) \geq |G|-k$ then $G$ has a spanning $k-$ended tree except for the case $G$ is isomorphic to a graph $H.$ As a corollary of our main result, a sufficient condition for a graph to have a few branch vertices is given.
An Easy-to-implement Construction for $(k,n)$-threshold Progressive Visual Secret Sharing Schemes
Published
• View Publication
• BIB
Visual cryptography encrypts the secret image into $n$ shares (transparency) so that only stacking a qualified number of shares can recover the secret image by the human visual system while no information can be revealed without a large enough number of shares. This paper investigates the $(k,n)$-threshold Visual Secret Sharing (VSS) model, where one can decrypt the original image by stacking at least $k$ shares and get nothing with less than $k$ shares. There are two main approaches in the literature: codebook-based schemes and random-grid-based schemes; the former is the case of this paper. In general, given any positive integers $k$ and $n$, it is not easy to design a valid scheme for the $(k,n)$-threshold VSS model. In this paper, we propose a simple strategy to construct an efficient scheme for the $(k,n)$-threshold VSS model for any positive integers $2\leq k\leq n$. The crucial idea is to establish a seemingly unrelated connection between the $(k,n)$-threshold VSS scheme and a mathematical structure -- the generalized Pascal's triangle. This paper improves and extends previous results in four aspects:
Our construction offers a unified viewpoint and covers several known results;
The resulting scheme has a progressive-viewing property that means the more shares being stacked together the clearer the secret image would be revealed.
The proposed scheme can be constructed explicitly and efficiently based on the generalized Pascal's triangle without a computer.
Performance of the proposed scheme is comparable with known results.
Colored Tverberg problem, extensions and new results
Published
• View Publication
• BIB
We prove a "multiple colored Tverberg theorem" and a "balanced colored Tverberg theorem", by applying different methods, tools and ideas. The proof of the first theorem uses multiple chessboard complexes (as configuration spaces) and Eilenberg-Krasnoselskii theory of degrees of equivariant maps for non-free actions. The proof of the second result relies on high connectivity of the configuration space, established by discrete Morse theory.
Bruhat inversions in Weyl groups and torsion-free classes over preprojective algebras
Published in Comm. Algebra 49 (2021), no. 5, 2156--2189
• View Publication
• BIB
For an element $w$ of the simply-laced Weyl group, Buan-Iyama-Reiten-Scott defined a subcategory $\mathcal{F}(w)$ of a module category over a preprojective algebra of Dynkin type. This paper aims at studying categorical properties of $\mathcal{F}(w)$ via its connection with the root system. We show that by taking dimension vectors, simple objects in $\mathcal{F}(w)$ bijectively correspond to Bruhat inversion roots of $w$. As an application, we obtain a combinatorial criterion for $\mathcal{F}(w)$ to satisfy the Jordan-Hölder property (JHP). To achieve this, we develop a method to find simple objects in a general torsion-free class by using a brick sequence associated to a maximal green sequence of it. For type A case, we give a diagrammatic construction of simple objects, and show that (JHP) can be characterized via a forest-like permutation, introduced by Bousquet-Mélou and Butler in the study of Schubert varieties.
Toughness and Hamiltonicity in Random Apollonian Networks
In this paper we study the toughness of Random Apollonian Networks (RANs), a random graph model which generates planar graphs with power-law properties. We consider their important characteristics: every RAN is a uniquely representable chordal graph and a planar $3$-tree and as so, known results about these classes can be particularized. We establish a partition of the class in eight nontrivial subclasses and for each one of these subclasses we provide bounds for the toughness of their elements. We also study the hamiltonicity of the elements of these subclasses.
A family of operators generating domino tableaux of a fixed shape and a decomposition of left cells into isotypic components
We exhibit a set of operators on pairs of domino tableaux of the same shape sending them to other such pairs with the same right tableau, in such a way that any two pairs with the same right tableau are conjugate by some composition of the operators. Using these operators we give explicit bases for the isotypic components of a classical Kazhdan-Lusztig left cell in terms of Kazhdan-Lusztig basis vectors.
Tight paths in convex geometric hypergraphs
In this paper, we prove a theorem on tight paths in convex geometric hypergraphs, which is asymptotically sharp in infinitely many cases. Our geometric theorem is a common generalization of early results of Hopf and Pannwitz [12], Sutherland [19], Kupitz and Perles [16] for convex geometric graphs, as well as the classical Erdős-Gallai Theorem [6] for graphs. As a consequence, we obtain the first substantial improvement on the Turán problem for tight paths in uniform hypergraphs.
Hidden invariance of last passage percolation and directed polymers
Published
• View Publication
• BIB
Last passage percolation and directed polymer models on $\mathbb Z^2$ are invariant under translation and certain reflections. When these models have an integrable structure coming from either the RSK correspondence or the geometric RSK correspondence (e.g. geometric last passage percolation or the log-gamma polymer), we show that these basic invariances can be combined with a decoupling property to yield a rich new set of symmetries. Among other results, we prove shift and rearrangement invariance statements for last passage times, geodesic locations, disjointness probabilities, polymer partition functions, and quenched polymer measures. We also use our framework to find `scrambled' versions of the classical RSK correspondence, and to find an RSK correspondence for moon polyominoes. The results extend to limiting models, including the KPZ equation and the Airy sheet.
Geometric rank of tensors and subrank of matrix multiplication
Published
• View Publication
• BIB
Motivated by problems in algebraic complexity theory (e.g., matrix multiplication) and extremal combinatorics (e.g., the cap set problem and the sunflower problem), we introduce the geometric rank as a new tool in the study of tensors and hypergraphs. We prove that the geometric rank is an upper bound on the subrank of tensors and the independence number of hypergraphs. We prove that the geometric rank is smaller than the slice rank of Tao, and relate geometric rank to the analytic rank of Gowers and Wolf in an asymptotic fashion. As a first application, we use geometric rank to prove a tight upper bound on the (border) subrank of the matrix multiplication tensors, matching Strassen's well-known lower bound from 1987.
Gowers norms for automatic sequences
We show that any automatic sequence can be separated into a structured part and a Gowers uniform part in a way that is considerably more efficient than guaranteed by the Arithmetic Regularity Lemma. For sequences produced by strongly connected and prolongable automata, the structured part is rationally almost periodic, while for general sequences the description is marginally more complicated. In particular, we show that all automatic sequences orthogonal to periodic sequences are Gowers uniform. As an application, we obtain for any $l \geq 2$ and any automatic set $A \subset \mathbb{N}_0$ lower bounds on the number of $l$-term arithmetic progressions - contained in $A$ - with a given difference. The analogous result is false for general subsets of $\mathbb{N}_0$ and progressions of length $\geq 5$.
Improved bounds on sizes of generalized caps in $AG(n,q)$
Published
• View Publication
• BIB
An $m$-general set in $AG(n,q)$ is a set of points such that any subset of size $m$ is in general position. A $3$-general set is often called a capset. In this paper, we study the maximum size of an $m$-general set in $AG(n,q)$, significantly improving previous results. When $m=4$ and $q=2$ we give a precise estimate, solving a problem raised by Bennett.
Feedback game on Eulerian graphs
In this paper, we introduce a two-player impartial game on graphs, called a {\em feedback game}, which is a variant of the generalized geography. We study the feedback game on Eulerian graphs. In particular, we show that the PSPACE-completeness of the game and determine the winner of the game on several classes of Eulerian graphs.
The metric dimension of critical Galton-Watson trees and linear preferential attachment trees
Published in European Journal of Combinatorics 95 (2021) 103317
• View Publication
• BIB
The metric dimension of a graph $G$ is the minimal size of a subset $R$ of vertices of $G$ that, upon reporting their graph distance from a distingished (source) vertex $v^\star$, enable unique identification of the source vertex $v^\star$ among all possible vertices of $G$. In this paper we show a Law of Large Numbers (LLN) for the metric dimension of some classes of trees: critical Galton-Watson trees conditioned to have size $n$, and growing general linear preferential attachment trees. The former class includes uniform random trees, the latter class includes Yule-trees (also called random recursive trees), $m$-ary increasing trees, binary search trees, and positive linear preferential attachment trees. In all these cases, we are able to identify the limiting constant in the LLN explicitly. Our result relies on the insight that the metric dimension can be related to subtree properties, and hence we can make use of the powerful fringe-tree literature developed by Aldous and Janson et al.
The pyramidal growth
Can one build an arbitrary polytope from any polytope inside by iteratively stacking pyramids onto facets, without losing the convexity throughout the process? We prove that this is indeed possible for (i) 3-polytopes, (ii) 4-polytopes under a certain infinitesimal quasi-pyramidal relaxation, and (iii) all dimensions asymptotically. The motivation partly comes from our study of K-theory of monoid rings and of certain posets of discrete-convex objects.