Showing 20 papers (Total: 83133 papers, 48023 authors in database)
Unlabeled Compression Schemes Exceeding the VC-dimension
In this note we disprove a conjecture of Kuzmin and Warmuth claiming that every family whose VC-dimension is at most d admits an unlabeled compression scheme to a sample of size at most d. We also study the unlabeled compression schemes of the joins of some families and conjecture that these give a larger gap between the VC-dimension and the size of the smallest unlabeled compression scheme for them.
Randomized Schützenberger's jeu de taquin and approximate calculation of co-transition probabilities of a central Markov process on the 3D Young graph
There exists a well-known hook-length formula for calculating the dimensions of 2D Young diagrams. Unfortunately, the analogous formula for 3D case is unknown. We introduce an approach for calculating the estimations of dimensions of three-dimensional Young diagrams also known as plane partitions. The most difficult part of this task is the calculation of co-transition probabilities for a central Markov process. We propose an algorithm for approximate calculation of these probabilities. It generates numerous random paths to a given diagram. In case the generated paths are uniformly distributed, the proportion of paths passing through a certain branch gives us an approximate value of the co-transition probability. As our numerical experiments show, the random generator based on the randomized variant of the Schützenberger transformation allows to obtain accurate values of co-transition probabilities. Also a method to construct 3D Young diagrams with large dimensions is proposed.
Lobe, Edge, and Arc Transitivity of Graphs of Connectivity 1
We give necessary and sufficient conditions for lobe-transitivity of locally finite and locally countable graphs whose connectivity equals 1. We show further that, given any biconnected graph $Λ$ and a "code" assigned to each orbit of Aut($Λ$), there exists a unique lobe-transitive graph $Γ$ of connectivity 1 whose lobes are copies of $Λ$ and is consistent with the given code at every vertex of $Γ$. These results lead to necessary and sufficient conditions for a graph of connectivity $1$ to be edge-transitive and to be arc-transitive. Countable graphs of connectivity 1 the action of whose automorphism groups is, respectively, vertex-transitive, primitive, regular, Cayley, and Frobenius had been previously characterized in the literature.
The core index of a graph
For a graph $G,$ we denote the number of connected subgraphs of $G$ by $F(G)$. For a tree $T$, $F(T)$ has been studied extensively and it has been observed that $F(T)$ has a reverse correlation with Wiener index of $T$. Based on that, we call $F(G),$ the core index of $G$.
In this paper, we characterize the graphs which extremize the core index among all graphs on $n$ vertices with $k\geq 0$ connected components. We extend our study of core index to unicyclic graphs and connected graphs with fixed number of pendant vertices. We obtained the unicyclic graphs which extremize the core index over all unicyclic graphs on $n$ vertices. The graphs which extremize the core index among all unicyclic graphs with fixed girth are also obtained. Among all connected graphs on $n$ vertices with fixed number of pendant vertices, the graph which minimizes and the graph which maximizes the core index are characterized.
An infinite family of locally X graphs based on incidence geometries
A graph ${\mathcal G}$ is locally X if the graphs induced on the neighbours of every vertex of ${\mathcal G}$ are isomorphic to the graph $X$. We prove that the infinite family of incidence graphs of the $r$-rank incidence geometries, $Γ(KG(n,k),r)$, constructed using the Kneser graphs $KG(n,k)$, are locally $X$ with $X$ being the incidence graphs of the rank $r-1$ residues of $Γ(KG(n,k),r)$.
Topological Bounds on the Dimension of Orthogonal Representations of Graphs
An orthogonal representation of a graph is an assignment of nonzero real vectors to its vertices such that distinct non-adjacent vertices are assigned to orthogonal vectors. We prove general lower bounds on the dimension of orthogonal representations of graphs using the Borsuk-Ulam theorem from algebraic topology. Our bounds strengthen the Kneser conjecture, proved by Lovász in 1978, and some of its extensions due to Bárány, Schrijver, Dol'nikov, and Kriz. As applications, we determine the integrality gap of fractional upper bounds on the Shannon capacity of graphs and the quantum one-round communication complexity of certain promise equality problems.
Optimal arrangements of classical and quantum states with limited purity
Published
• View Publication
• BIB
We consider sets of trace-normalized non-negative operators in Hilbert-Schmidt balls that maximize their mutual Hilbert-Schmidt distance; these are optimal arrangements in the sets of purity-limited classical or quantum states on a finite-dimensional Hilbert space. Classical states are understood to be represented by diagonal matrices, with the diagonal entries forming a probability vector. We also introduce the concept of spectrahedron arrangements which provides a unified framework for classical and quantum arrangements and the flexibility to define new types of optimal packings. Continuing a prior work, we combine combinatorial structures and line packings associated with frames to arrive at optimal arrangements of higher-rank quantum states. One new construction that is presented involves generating an optimal arrangement we call a Gabor-Steiner equiangular tight frame as the orbit of a projective representation of the Weyl-Heisenberg group over any finite abelian group. The minimal sets of linearly dependent vectors, the so-called binder, of the Gabor-Steiner equiangular tight frames are then characterized; under certain conditions these form combinatorial block designs and in one case generate a new class of block designs. The projections onto the span of minimal linearly dependent sets in the Gabor-Steiner equiangular tight frame are then used to generate further optimal spectrahedron arrangements.
Hamiltonian cycles and paths in hypercubes with disjoint faulty edges
Published
• View Publication
• BIB
We consider hypercubes with pairwise disjoint faulty edges. An $n$-dimensional hypercube $Q_n$ is an undirected graph with $2^n$ nodes, each labeled with a distinct binary strings of length $n$. The parity of the vertex is 0 if the number of ones in its labels is even, and is 1 if the number of ones is odd. Two vertices $a$ and $b$ are connected by the edge iff $a$ and $b$ differ in one position. If $a$ and $b$ differ in position $i$, then we say that the edge $(a,b)$ goes in direction $i$ and we define the parity of the edge as the parity of the end with 0 on the position $i$. It was already known that $Q_n$ is not Hamiltonian if all edges going in one direction and of the same parity are faulty.
In this paper we show that if $n\ge4$ then all other hypercubes are Hamiltonian. In other words, every cube $Q_n$, with $n\ge4$ and disjoint faulty edges is Hamiltonian if and only if for each direction there are two healthy crossing edges of different parity.
Uniform sets in a family with restricted intersections
Let $\mathcal{F}$ be a family of subsets of $[n]=\{1,\ldots,n\}$ and let $L$ be a set of nonnegative integers. The family $\mathcal{F}$ is \emph{$L$-intersecting} if $|F\cap F'|\in L$ for every two distinct members $F,F'\in\mathcal{F}$; and $\mathcal{F}$ is $k$-uniform if all its members have the same size $k$. A large variety of problems and results in extremal set theory concern on $k$-uniform $L$-intersecting families. Many attentions are paid to finding the maximum size of a family among all $k$-uniform $L$-intersecting families with prescribed $n,k$ and $L$. In this paper, from another point of view, we propose and investigate the problem of estimating the maximum size of a member in a family among all uniform $L$-intersecting families with size $m$, here $n,m$ and $L$ are prescribed. Our results aim to find out more precise relations of $n,m,k$ and $L$.
A Note on Specializations of Grothendieck Polynomials
Buch and Rimányi proved a formula for specializations of double Grothendieck polynomials based on the Yang-Baxter equation related to the degenerate Hecke algebra. A geometric proof was found by Yong and Woo by constructing a Gröbner basis for the Kazhdan-Lusztig ideals. In this note, we give an elementary proof for this formula by using only divided difference operators.
Infinite Families of Asymmetric Graphs
A graph $G$ is \textit{asymmetric} if its automorphism group of vertices is trivial. Asymmetric graphs were introduced by Erdős and Rényi in 1963. They showed that the probability of a graph on $n$ vertices being asymmetric tends to $1$ as $n$ tends to infinity. In this paper, we first give consider the number of asymmetric trees, a question posed by Erdős and Rényi. We give a partial result, showing that the number of asymmetric subdivided stars is approximately $q(n-1) - \lfloor \frac{n-1}{2} \rfloor$ where $q(n)$ is the number of ways to sum to $n$ using distinct positive integers, found by Hardy and Ramanujan in 1918. We also investigate cubic Hamiltonian graphs where asymmetry, at least for small values of $n$, seems to be rare. It is known that none of the cubic Hamiltonian graphs on $4\leq n\leq 10$ vertices are asymmetric, and of the $80$ cubic Hamiltonian graphs on $12$ vertices only $5$ are asymmetric. We give a construction of an infinite family of cubic Hamiltonian graphs that are asymmetric. Then we present an infinite family of quartic Hamiltonian graphs that are asymmetric. We use both of the above results for cubic and quartic asymmetric Hamiltonian graphs to establish the existence of $k$-regular asymmetric Hamiltonian graphs for all $k\geq 3$.
Finding or counting all shellings of a simplicial complex
The shellability status of previously investigated simplicial complexes with up to 24 facets is settled. In case of shellability the exact number of shellings is determined. Our algorithm merely relies on the facets, and not on additional information such as the face-numbers.
Insertions Yielding Equivalent Double Occurrence Words
A double occurrence word (DOW) is a word in which every symbol appears exactly twice; two DOWs are equivalent if one is a symbol-to-symbol image of the other. We consider the so called repeat pattern ($αα$) and the return pattern ($αα^R$), with gaps allowed between the $α$'s. These patterns generalize square and palindromic factors of DOWs, respectively. We introduce a notion of inserting repeat/return words into DOWs and study how two distinct insertions into the same word can produce equivalent DOWs. Given a DOW $w$, we characterize the structure of $w$ which allows two distinct insertions to yield equivalent DOWs. This characterization depends on the locations of the insertions and on the length of the inserted repeat/return words and implies that when one inserted word is a repeat word and the other is a return word, then both words must be trivial (i.e., have only one symbol). The characterization also introduces a method to generate families of words recursively.
Fractional coloring with local demands and applications to degree-sequence bounds on the independence number
Published in Journal of Combinatorial Theory, Series B. Volume 169, November 2024, Pages 298-337
• View Publication
• BIB
In a fractional coloring, vertices of a graph are assigned measurable subsets of the real line and adjacent vertices receive disjoint subsets; the fractional chromatic number of a graph is at most $k$ if it has a fractional coloring in which each vertex receives a subset of $[0, 1]$ of measure at least $1/k$. We introduce and develop the theory of "fractional colorings with local demands" wherein each vertex "demands" a certain amount of color that is determined by local parameters such as its degree or the clique number of its neighborhood. This framework provides the natural setting in which to generalize degree-sequence type bounds on the independence number. Indeed, by Linear Programming Duality, all of the problems we study have an equivalent formulation as a problem concerning weighted independence numbers, and they often imply new bounds on the independence number.
Our results and conjectures are inspired by many of the most classical results and important open problems concerning the independence number and the chromatic number, often simultaneously. We conjecture a local strengthening of both Shearer's bound on the independence number of triangle-free graphs and the fractional relaxation of Molloy's recent bound on their chromatic number, as well as a longstanding problem of Ajtai et al.\ on the independence number of $K_r$-free graphs and the fractional relaxations of Reed's $ω, Δ, χ$ Conjecture and the Total Coloring Conjecture. We prove an approximate version of the first two, and we prove "local demands" versions of Vizing's Theorem and of some $χ$-boundedness results.
The center of the wreath product of symmetric groups algebra
Published in Algebra and Discrete Mathematics 31(2) (2021) 302-322
• View Publication
• BIB
We consider the wreath product of two symmetric groups as a group of blocks permutations and we study its conjugacy classes. We give a polynomiality property for the structure coefficients of the center of the wreath product of symmetric groups algebra. This allows us to recover an old result of Farahat and Higman about the polynomiality of the structure coefficients of the center of the symmetric group algebra and to generalize our recent result about the polynomiality property of the structure coefficients of the center of the hyperoctahedral group algebra. A particular attention is paid to the cases when the blocks contain two or three elements.
The number of partial Steiner systems and $d$-partitions
Published in Advances in Combinatorics, 2022:2, 23pp
• View Publication
• BIB
We prove asymptotic upper bounds on the number of $d$-partitions (paving matroids of fixed rank) and partial Steiner systems (sparse paving matroids of fixed rank), using a mixture of entropy counting, sparse encoding, and the probabilistic method.
Triangles in $C_5$-free graphs and Hypergraphs of Girth Six
We introduce a new approach and prove that the maximum number of triangles in a $C_5$-free graph on $n$ vertices is at most $$(1 + o(1)) \frac{1}{3 \sqrt 2} n^{3/2}.$$ We also show a connection to $r$-uniform hypergraphs without (Berge) cycles of length less than six, and estimate their maximum possible size.
Deformations of the Weyl Character Formula for $SO(2n+1,\mathbb{C})$ via Ice Models
We explore combinatorial formulas for deformations of highest weight characters of the odd orthogonal group $SO(2n+1)$. Our goal is to represent these deformations of characters as partition functions of statistical mechanical models -- in particular, two-dimensional solvable lattice models. In Cartan type $A$, Hamel and King [8] and Brubaker, Bump, and Friedberg [3] gave square ice models on a rectangular lattice which produced such a deformation. Outside of type $A$, ice-type models were found using rectangular lattices with additional boundary conditions that split into two classes -- those with `nested' and `non-nested bends.' Our results fill a gap in the literature, providing the first such formulas for type $B$ with non-nested bends. In type $B$, there are many known combinatorial parameterizations of highest weight representation basis vectors as catalogued by Proctor [19]. We show that some of these permit ice-type models via appropriate bijections (those of Sundaram [21] and Koike-Terada [15]) while other examples due to Proctor do not.
On Bollobás-Riordan random pairing model of preferential attachment graph
Bollobás-Riordan random pairing model of a preferential attachment graph $G_m^n$ is studied. Let $\{W_j\}_{j\le mn+1}$ be the process of sums of independent exponentials with mean $1$. We prove that the degrees of the first $ν_m^n:=n^{\frac{m}{m+2}-ε}$ vertices are jointly, and uniformly, asymptotic to $\{2(mn)^{1/2}\bigl(W^{1/2}_{mj}-W^{1/2}_{m(j-1)}\bigr)\}_{j\in [t]}$, and that with high probability (whp) the smallest of these degrees is $n^{\frac{ε(m+2)}{2m}}$, at least. In contrast, the degrees of vertices below the top by any fraction of $n$ are whp of $O(\log n)$ order. Next we bound the probability that there exists a pair of large vertex sets with no edges joining them, and apply the bound to several special cases. We propose to measure an influence of a vertex $v$ by the size of a maximal recursive tree (max-tree) rooted at $v$. The set of the first $ν_m^n$ vertices is shown whp not to contain a max-tree of any size. Whp the largest recursive tree has size of order $n$. We prove that, for $m>1$, $\Bbb P(G_m^n\text{ is connected})\ge 1- O\bigl((\log n)^{-(m-1)/3+o(1)}\bigr)$. We show that the distribution of the scaled size of a generic max-tree in $G_1^n$ converges to a mixture of two beta distributions.
Non-overlapping Dyck matrices
We define a set of binary matrices where any two of them can not be placed one on the other in a way such that the corresponding entries coincide. The rows of the matrices are obtained by means of Dyck words. The cardinality of the set of such matrices involves Catalan numbers.