Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Sandwich theorems and capacity bounds for non-commutative graphs
Published in J. Comb. Theory A, vol. 177, 105302, Jan 2021
• View Publication
• BIB
We define non-commutative versions of the vertex packing polytope, the theta convex body and the fractional vertex packing polytope of a graph, and establish a quantum version of the Sandwich Theorem of Grötschel, Lovász and Schrijver. We define new non-commutative versions of the Lovász number of a graph which lead to an upper bound of the zero-error capacity of the corresponding quantum channel that can be genuinely better than the one established previously by Duan, Severini and Winter. We define non-commutative counterparts of widely used classical graph parameters and establish their interrelation.
Bipartite Biregular Cages and Block Designs
A bipartite biregular $(n,m;g)$-graph $G$ is a bipartite graph of even girth $g$ having the degree set $\{n,m\}$ and satisfying the additional property that the vertices in the same partite set have the same degree. An $(n,m;g)$-bipartite biregular cage is a bipartite biregular $(n,m;g)$-graph of minimum order. In their 2019 paper, Filipovski, Ramos-Rivera and Jajcay present lower bounds on the orders of bipartite biregular $(n,m;g)$-graphs, and call the graphs that attain these bounds {\em bipartite biregular Moore cages}.
In parallel with the well-known classical results relating the existence of $k$-regular Moore graphs of even girths $g = 6,8 $ and $12$ to the existence of projective planes, generalized quadrangles, and generalized hexagons, we prove that the existence of $S(2,k,v)$-Steiner systems yields the existence of bipartite biregular $(k,\frac{v-1}{k-1};6)$-Moore cages. Moreover, in the special case of Steiner triple systems (i.e., in the case $k=3$), we completely solve the problem of the existence of $(3,m;6)$-bipartite biregular cages for all integers $m\geq 4$.
Considering girths higher than $6$ and prime powers $s$, we relate the existence of generalized polygons (quadrangles, hexagons and octagons) with the existence of $(n+1,n^2+1;8)$, $(n+1,n^3+1;12)$, and $(n+1,n^2+1;16)$-bipartite biregular Moore cages, respectively. Using this connection, we derive improved upper bounds for the orders of bipartite biregular cages of girths $8$, $12$ and $14$.
On Total Domination and Minimum Maximal Matchings in Graphs
A subset $M$ of the edges of a graph $G$ is a matching if no two edges in $M$ are incident. A maximal matching is a matching that is not contained in a larger matching. A subset $S$ of vertices of a graph $G$ with no isolated vertices is a total dominating set of $G$ if every vertex of $G$ is adjacent to at least one vertex in $S$. Let $μ^*(G)$ and $γ_t(G)$ be the minimum cardinalities of a maximal matching and a total dominating set in $G$, respectively. Let $δ(G)$ denote the minimum degree in graph $G$. We observe that $γ_t(G)\leq 2μ^*(G)$ when $1\leq δ(G)\leq 2$ and $γ_t(G)\leq 2μ^*(G)-δ(G)+2$ when $δ(G)\geq 3$. We show that the upper bound for the total domination number is tight for every fixed $δ(G)$. We provide a constructive characterization of graphs $G$ satisfying $γ_t(G)= 2μ^*(G)$ and a polynomial time procedure to determine whether $γ_t(G) = 2μ^*(G)$ for a graph $G$ with minimum degree two.
Edge-partitioning 3-edge-connected graphs into paths
We show that for every l, there exists d_l such that every 3-edge-connected graph with minimum degree d_l can be edge-partitioned into paths of length l (provided that its number of edges is divisible by l). This improves a result asserting that 24-edge-connectivity and high minimum degree provides such a partition. This is best possible as 3-edge-connectivity cannot be replaced by 2-edge connectivity.
On the extremal function for graph minors
Published
• View Publication
• BIB
For a graph $H$, let $c(H)=\inf\{c\,:\,e(G)\geq c|G| \mbox{ implies } G\succ H\,\}$, where $G\succ H$ means that $H$ is a minor of $G$. We show that if $H$ has average degree $d$, then $$ c(H)\le (0.319\ldots+o_d(1))|H|\sqrt{\log d} $$ where $0.319\ldots$ is an explicitly defined constant. This bound matches a corresponding lower bound shown to hold for almost all such $H$ by Norin, Reed, Wood and the first author.
On maximal isolation sets in the uniform intersection matrix
Let $A_{k,t}$ be the matrix that represents the adjacency matrix of the intersection bipartite graph of all subsets of size $t$ of $\{1,2,...,k\}$. We give constructions of large isolation sets in $A_{k,t}$, where, for a large enough $k$, our constructions are the best possible.
We first prove that the largest identity submatrix in $A_{k,t}$ is of size $k-2t+2$. Then we provide constructions of isolations sets in $A_{k,t}$ for any $t\geq 2$, as follows: \begin{itemize} \item If $k = 2t+r$ and $0 \leq r \leq 2t-3$, there exists an isolation set of size $2r+3 = 2k-4t+3$. \item If $k \geq 4t-3$, there exists an isolation set of size $k$. \end{itemize} The construction is maximal for $k\geq 4t-3$, since the Boolean rank of $A_{k,t}$ is $k$ in this case. As we prove, the construction is maximal also for $k = 2t, 2t+1$.
Finally, we consider the problem of the maximal triangular isolation submatrix of $A_{k,t}$ that has ones in every entry on the main diagonal and below it, and zeros elsewhere. We give an optimal construction of such a submatrix of size $({2t \choose t}-1) \times ({2t \choose t}-1)$, for any $t \geq 1$ and a large enough $k$. This construction is tight, as there is a matching upper bound, which can be derived from a theorem of Frankl about skew matrices.
Effective Impedance over Ordered Fields
Published in Journal of Mathematical Physics 62, 033502 (2021)
• View Publication
• BIB
In this paper, we study properties of effective impedance of finite electrical networks and calculate the effective impedance of a finite ladder network over an ordered field. Moreover, we consider two particular examples of infinite ladder networks (Feynman's network or LC-network and CL-network, both with zero on infinity) as networks over the ordered Levi-Civita field. We show, that effective impedances of finite LC-networks converge to the limit in order topology of Levi-Civita field, but the effective impedances of finite CL-networks do not converge in the same topology.
Partition of a Subset into Two Directed Cycles with Partial Degrees
Let $D=(V,A)$ be a directed graph of order $n\geq 6$. Let $W$ be a subset of $V$ with $|W|\geq 6$. Suppose that every vertex of $W$ has degree at least $(3n-3)/2$ in $D$. Then for any integer partition $|W|=n_1+n_2$ with $n_1\geq 3$ and $n_2\geq 3$, $D$ contains two disjoint directed cycles $C_1$ and $C_2$ such that $|V(C_1)\cap W|=n_1$ and $|V(C_2)\cap W|=n_2$. We conjecture that for any integer partition $|W|=n_1+n_2+\cdots +n_k$ with $k\geq 3$ and $n_i\geq 3(1\leq i\leq k)$, $D$ contains $k$ disjoint directed cycles $C_1,C_2,\ldots , C_k$ such that $|V(C_i)\cap W|=n_i$ for all $1\leq i\leq k$. The degree condition is sharp in general.
On the codimension of the singular locus
Let $k$ be a field and $V$ an $k$-vector space. For a family $\bar P=\{ P_i\}_{1\leq i\leq c}, $ of polynomials on $V$, we denote by $\mathbb X _{\bar P}\subset V$ the subscheme defined by the ideal generated by $ \bar P$. We show the existence of $γ(c,d)$ such that the varieties $\mathbb X_{\bar P}$ are smooth outside of codimension $m$, if deg$(P_i)\leq d$ and rank (strength) $r_{nc}(\bar P)\geq γ(d,c) (1+m)^{γ(d,c)}$.
The simplicity index of tournaments
An $n$-tournament $T$ with vertex set $V$ is simple if there is no subset $M$ of $V$ such that $2\leq \left \vert M\right \vert \leq n-1$ and for every $x\in V\setminus M$, either $M\rightarrow x$ or $x \rightarrow M$. The simplicity index of an $n$-tournament $T$ is the minimum number $s(T)$ of arcs whose reversal yields a non-simple tournament. Müller and Pelant (1974) proved that $s(T)\leq\frac{n-1}{2}$, and that equality holds if and only if $T$ is doubly regular. As doubly regular tournaments exist only if $n\equiv 3\pmod{4}$, $s(T)<\frac{n-1}{2}$ for $n\not\equiv3\pmod{4}$. In this paper, we study the class of $n$-tournaments with maximal simplicity index for $n\not\equiv3\pmod{4}$.
Proof of the $K(π,1)$ conjecture for affine Artin groups
Published in Inventiones mathematicae (2020)
• View Publication
• BIB
We prove the $K(π,1)$ conjecture for affine Artin groups: the complexified complement of an affine reflection arrangement is a classifying space. This is a long-standing problem, due to Arnol'd, Pham, and Thom. Our proof is based on recent advancements in the theory of dual Coxeter and Artin groups, as well as on several new results and constructions. In particular: we show that all affine noncrossing partition posets are EL-shellable; we use these posets to construct finite classifying spaces for dual affine Artin groups; we introduce new CW models for the orbit configuration spaces associated with arbitrary Coxeter groups; we construct finite classifying spaces for the braided crystallographic groups introduced by McCammond and Sulway.
Positive level, negative level and level zero
Published
• View Publication
• BIB
This is a survey on the combinatorics and geometry of integrable representations of quantum affine Lie algebras with a particular focus on level 0. Pictures and examples are included to illustrate the affine Weyl group orbits, crystal graphs and Macdonald polynomials that provide detailed understanding of the structure of the extremal weight modules and their characters. The final section surveys the alcove walk method of working with the positive level, negative level and level zero affine flag varieties and describes the corresponding actions of the affine Hecke algebra.
Construction of double coset system of a Coxeter group and its applications to Bruhat graphs
We develop combinatorics of parabolic double cosets in finite Coxeter groups as a follow-up of recent articles by Billey-Konvalinka-Petersen-Slofstra-Tenner and Petersen. (1) We construct a double coset system as a generalization of a two-sided analogue of a Coxeter complex and present its order structure with its local dimension function on certain connected components. As applications of double cosets to Bruhat graphs, we also prove: (2) every parabolic double coset is regular, (3) invariance of degree on Bruhat graph on lower intervals as an analogy of the one for Kazhdan-Lusztig polynomials, (4) every noncritical Bruhat interval satisfies out-Eulerian property.
Dual graphs from noncommutative and quasisymmetric Schur functions
Published
• View Publication
• BIB
By establishing relations between operators on compositions, we show that the posets of compositions arising from the right and left Pieri rules for noncommutative Schur functions can each be endowed with both the structure of dual graded graphs and dual filtered graphs when paired with the poset of compositions arising from the Pieri rules for quasisymmetric Schur functions and its deformation.
Weighted counting of Bruhat paths by shifted $R$-polynomials
We revisit $R$-polynomials with introducing the new idea ``shifted $R$-polynomials" (or Bruhat weight) for all Bruhat intervals in finite Coxeter groups. Then, we apply these polynomials to weighted counting of Bruhat paths. Further, we prove a new criterion of irregularity of lower intervals as analogy of Carrell-Peterson's and Dyer's results. Also, we present the upper bound of shifted $R$-polynomials for Bruhat intervals of fixed length by Jacobsthal numbers.
Number of arithmetic progressions in dense random subsets of $\mathbb{Z}/n\mathbb{Z}$
Published
• View Publication
• BIB
We examine the behavior of the number of $k$-term arithmetic progressions in a random subset of $\mathbb{Z}/n\mathbb{Z}$. We prove that if a set is chosen by including each element of $\mathbb{Z}/n\mathbb{Z}$ independently with constant probability $p$, then the resulting distribution of $k$-term arithmetic progressions in that set, while obeying a central limit theorem, does not obey a local central limit theorem. The methods involve decomposing the random variable into homogeneous degree $d$ polynomials with respect to the Walsh/Fourier basis. Proving a suitable multivariate central limit theorem for each component of the expansion gives the desired result.
Antipowers in Uniform Morphic Words and the Fibonacci Word
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23, no. 3, Combinatorics (December 9, 2021) dmtcs:7134
• View Publication
• BIB
Fici, Restivo, Silva, and Zamboni define a $k$-antipower to be a word composed of $k$ pairwise distinct, concatenated words of equal length. Berger and Defant conjecture that for any sufficiently well-behaved aperiodic morphic word $w$, there exists a constant $c$ such that for any $k$ and any index $i$, a $k$-antipower with block length at most $ck$ starts at the $i$th position of $w$. They prove their conjecture in the case of binary words, and we extend their result to alphabets of arbitrary finite size and characterize those words for which the result does not hold. We also prove their conjecture in the specific case of the Fibonacci word.
Queer Supercrystal Structure for Increasing Factorizations of Fixed-Point-Free Involution Words
Published
• View Publication
• BIB
We show that the set of increasing factorizations of fixed-point-free (FPF) involution words has the structure of queer supercrystals. By exploiting the algorithm of symplectic shifted Hecke insertion recently introduced by Marberg, we establish the one-to-one correspondence between the set of increasing factorizations of fixed-point-free involution words and the set of primed tableau (semistandard marked shifted tableaux) and the latter admits the structure of queer supercrystals. In order to establish the correspondence, we prove that the Coxeter-Knuth related FPF-involution words have the same insertion tableau in the symplectic shifted Hecke insertion, where the insertion tableau is an increasing shifted tableau and the recording tableau is a primed tableau.
Using Boolean cumulants to study multiplication and anticommutators of free random variables
Published in Transactions of the American Mathematical Society, 373(10) (2020), 7167 - 7205
• View Publication
• BIB
We study how Boolean cumulants can be used in order to address operations with freely independent random variables, particularly in connection to the $*$-distribution of the product of two selfadjoint freely independent random variables, and in connection to the distribution of the anticommutator of such random variables.
Quadratic Cyclic Sequences
Published
• View Publication
• BIB
We explore relations between cyclic sequences determined by a quadratic difference relation, cyclotomic polynomials, Eulerian digraphs and walks in the plane. These walks correspond to closed paths for which at each step one must turn either left or right through a fixed angle. In the case when this angle is $2 π/n$, then non-symmetric phenomena occurs for $n\geq 12$. Examples arise from algebraic numbers of modulus one which are not $n$'th roots of unity.