Showing 20 papers (Total: 82505 papers, 47699 authors in database)
On the Ky Fan $k$-norm of the $LI$-matrix of graphs
Published
• View Publication
• BIB
Let $A(G)$ and $D(G)$ be the adjacency matrix and the degree diagonal matrix of a graph $G$, respectively. Then $L(G)=D(G)-A(G)$ is called Laplacian matrix of the graph $G$. Let $G$ be a graph with $n$ vertices and $m$ edges. Then the $LI$-matrix of $G$ are defined as $LI(G)=L(G)-\frac{2m}{n}I_n$, where $I_n$ is the identity matrix. In this paper, we are interested in extremal properties of the Ky Fan $k$-norm of the $LI$-matrix of graphs, which is closely related to the well known problems and results in spectral graph theory, such as the Laplacian spectral radius, the Laplacian spread, the sum of the $k$ largest Laplacian eigenvalues, the Laplacian energy, and other parameters. Some bounds on the Ky Fan $k$-norm of the $LI$-matrix of graphs are given, and the extremal graphs are partly characterized. In addition, upper and lower bounds on the Ky Fan $k$-norm of $LI$-matrix of trees, unicyclic graphs and bicyclic graphs are determined, and the corresponding extremal graphs are characterized.
Saturation problems with regularity constraints
Published
• View Publication
• BIB
For a graph $F$, we say that another graph $G$ is $F$-saturated, if $G$ is $F$-free and adding any edge to $G$ would create a copy of $F$. We study for a given graph $F$ and integer $n$ whether there exists a regular $n$-vertex $F$-saturated graph, and if it does, what is the smallest number of edges of such a graph. We mainly focus on the case when $F$ is a complete graph and prove for example that there exists a $K_3$-saturated regular graph on $n$ vertices for every large enough $n$.
We also study two relaxed versions of the problem: when we only require that no regular $F$-free supergraph of $G$ should exist or when we drop the $F$-free condition and only require that any newly added edge should create a new copy of $F$.
On the sum of the largest $A_α$-eigenvalues of graphs
Published
• View Publication
• BIB
For every real $0\leq α\leq 1$, Nikiforov defined the $A_α$-matrix of a graph $G$ as $A_α(G)=αD(G)+(1-α)A(G)$, where $A(G)$ and $D(G)$ are the adjacency matrix and the degree diagonal matrix of a graph $G$, respectively. The eigenvalues of $A_α(G)$ are called the $A_α$-eigenvalues of $G$. Let $S_k(A_α(G))$ be the sum of $k$ largest $A_α$-eigenvalues of $G$. In this paper, we present several upper and lower bounds on $S_k(A_α(G))$ and characterize the extremal graphs for certain cases, which can be regard as a common generalization of the sum of $k$ largest eigenvalues of adjacency matrix and signless Laplacian matrix of graphs. In addition, some graph operations on $S_k(A_α(G))$ are presented.
On exceptional Lie geometries
Published in Forum of Mathematics, Sigma 9 (2021) e2
• View Publication
• BIB
Parapolar spaces are point-line geometries introduced as a geometric approach to (exceptional) algebraic groups. We characterize a wide class of Lie geometries as parapolar spaces satisfying a simple intersection property. In particular many of the exceptional Lie incidence geometries occur. {In an appendix, we extend our result to the locally disconnected case and discuss the locally disconnected case of some other well known characterizations.
Irreducible metric maps and Weil-Petersson volumes
Published
• View Publication
• BIB
We consider maps on a surface of genus $g$ with all vertices of degree at least three and positive real lengths assigned to the edges. In particular, we study the family of such metric maps with fixed genus $g$ and fixed number $n$ of faces with circumferences $α_1,\ldots,α_n$ and a $β$-irreducibility constraint, which roughly requires that all contractible cycles have length at least $β$. Using recent results on the enumeration of discrete maps with an irreducibility constraint, we compute the volume $V_{g,n}^{(β)}(α_1,\ldots,α_n)$ of this family of maps that arises naturally from the Lebesgue measure on the edge lengths. It is shown to be a homogeneous polynomial in $β, α_1,\ldots, α_n$ of degree $6g-6+2n$ and to satisfy string and dilaton equations. Surprisingly, for $g=0,1$ and $β=2π$ the volume $V_{g,n}^{(2π)}$ is identical, up to powers of two, to the Weil-Petersson volume $V_{g,n}^{\mathrm{WP}}$ of hyperbolic surfaces of genus $g$ and $n$ geodesic boundary components of length $L_i = \sqrt{α_i^2 - 4π^2}$, $i=1,\ldots,n$. For genus $g\geq 2$ the identity between the volumes fails, but we provide explicit generating functions for both types of volumes, demonstrating that they are closely related. Finally we discuss the possibility of bijective interpretations via hyperbolic polyhedra.
On weak twins and up-and-down sub-permutations
Published
• View Publication
• BIB
Two permutations $(x_1,\dots,x_w)$ and $(y_1,\dots,y_w)$ are weakly similar if $x_i<x_{i+1}$ if and only if $y_i<y_{i+1}$ for all $1\leqslant i \leqslant w$. Let $π$ be a permutation of the set $[n]=\{1,2,\dots, n\}$ and let $wt(π)$ denote the largest integer $w$ such that $π$ contains a pair of disjoint weakly similar sub-permutations (called weak twins) of length $w$. Finally, let $wt(n)$ denote the minimum of $wt(π)$ over all permutations $π$ of $[n]$. Clearly, $wt(n)\le n/2$. In this paper we show that $\tfrac n{12}\le wt(n)\le\tfrac n2-Ω(n^{1/3})$.
We also study a variant of this problem. Let us say that $π'=(π(i_1),...,π(i_j))$, $i_1<\cdots<i_j$, is an alternating (or up-and-down) sub-permutation of $π$ if $π(i_1)>π(i_2)<π(i_3)>...$ or $π(i_1)<π(i_2)>π(i_3)<...$. Let $Π_n$ be a random permutation selected uniformly from all $n!$ permutations of $[n]$. It is known that the length of a longest alternating permutation in $Π_n$ is asymptotically almost surely (a.a.s.) close to $2n/3$. We study the maximum length $α(n)$ of a pair of disjoint alternating sub-permutations in $Π_n$ and show that there are two constants $1/3<c_1<c_2<1/2$ such that a.a.s. $c_1n\le α(n)\le c_2n$.
In addition, we show that the alternating shape is the most popular among all permutations of a given length.
Recoloring graphs of treewidth 2
Published
• View Publication
• BIB
Two (proper) colorings of a graph are adjacent if they differ on exactly one vertex. Jerrum proved that any $(d + 2)$-coloring of any d-degenerate graph can be transformed into any other via a sequence of adjacent colorings. A result of Bonamy et al. ensures that a shortest transformation can have a quadratic length even for $d = 1$. Bousquet and Perarnau proved that a linear transformation exists for between $(2d + 2)$-colorings. It is open to determine if this bound can be reduced. In this note, we prove that it can be reduced for graphs of treewidth 2, which are 2-degenerate. There exists a linear transformation between 5-colorings. It completes the picture for graphs of treewidth 2 since there exist graphs of treewidth 2 such a linear transformation between 4-colorings does not exist.
Positive Plücker tree certificates for non-realizability
Published
• View Publication
• BIB
We introduce a new method for finding a non-realizability certificate of a simplicial sphere Sigma: we exhibit a monomial combination of classical 3-term Plücker relations that yields a sum of products of determinants that are known to be positive in any realization of Sigma; but their sum should vanish, contradiction. Using this technique, we prove for the first time the non-realizability of a balanced 2-neighborly 3-sphere constructed by Zheng, a family of highly neighborly centrally symmetric spheres constructed by by Novik and Zheng, and several combinatorial prismatoids introduced by Criado and Santos. The method in fact works for orientable pseudo-manifolds, not just for spheres.
The generalized Gassert-Shor formula as combinatorial Stokes theorem
We generalize Gassert-Shor formula for numerical semigroups.
A variant of van Hoeij's algorithm to compute hypergeometric term solutions of holonomic recurrence equations
Published in J. Algorithm Comput., 53, 2021, 1--32
• View Publication
• BIB
Linear homogeneous recurrence equations with polynomial coefficients are said to be holonomic. Such equations have been introduced in the last century for proving and discovering combinatorial and hypergeometric identities. Given a field K of characteristic zero, a term a(n) is called hypergeometric with respect to K, if the ratio a(n+1)/a(n) is a rational function over K. The solutions space of holonomic recurrence equations gained more interest in the 1990s from the well known Zeilberger's algorithm. In particular, algorithms computing the subspace of hypergeometric term solutions which covers polynomial, rational, and some algebraic solutions of these equations were investigated by Marko Petkovšek (1993) and Mark van Hoeij (1999). The algorithm proposed by the latter is characterized by a much better efficiency than that of the other; it computes, in Gamma representations, a basis of the subspace of hypergeometric term solutions of any given holonomic recurrence equation, and is considered as the current state of the art in this area. Mark van Hoeij implemented his algorithm in the Computer Algebra System (CAS) Maple through the command $LREtools[hypergeomsols]$.
We propose a variant of van Hoeij's algorithm that performs the same efficiency and gives outputs in terms of factorials and shifted factorials, without considering certain recommendations of the original version. We have implementations of our algorithm for the CASs Maxima and Maple. Such an implementation is new for Maxima which is therefore used for general-purpose examples. Our Maxima code is currently available as a third-party package for Maxima. A comparison between van Hoeij's implementation and ours is presented for Maple 2020. It appears that both have the same efficiency, and moreover, for some particular cases, our code finds results where $LREtools[hypergeomsols]$ fails.
On the homotopy type of intersections of two real Bruhat cells
Published
• View Publication
• BIB
Real Bruhat cells give an important and well studied stratification of such spaces as $GL_{n+1}$, $Flag_{n+1} = SL_{n+1}/B$, $SO_{n+1}$ and $Spin_{n+1}$. We study the intersections of a top dimensional cell with another cell (for another basis). Such an intersection is naturally identified with a subset of the lower nilpotent group $Lo_{n+1}^{1}$. We are particularly interested in the homotopy type of such intersections. In this paper we define a stratification of such intersections. As a consequence, we obtain a finite CW complex which is homotopically equivalent to the intersection.
We compute the homotopy type for several examples. It turns out that for $n \le 4$ all connected components of such subsets of $Lo_{n+1}^1$ are contractible: we prove this by explicitly constructing the corresponding CW complexes. Conversely, for $n \ge 5$ and the top permutation, there is always a connected component with even Euler characteristic, and therefore not contractible. This follows from formulas for the number of cells per dimension of the corresponding CW complex. For instance, for the top permutation $S_6$, there exists a connected component with Euler characteristic equal to $2$. We also give an example of a permutation in $S_6$ for which there exists a connected component which is homotopically equivalent to the circle $S^1$.
A Polynomial Roth Theorem for Corners in Finite Fields
Published
• View Publication
• BIB
We prove a Roth type theorem for polynomial corners in the finite field setting. Let $φ_1$ and $φ_2$ be two polynomials of distinct degree. For sufficiently large primes $p$, any subset $ A \subset \mathbb F_p \times \mathbb F_p$ with $ \lvert A\rvert > p ^{2 - \frac1{16}} $ contains three points $ (x_1, x_2) , (x_1 + φ_1 (y), x_2), (x_1, x_2 + φ_2 (y))$. The study of these questions on $ \mathbb F_p$ was started by Bourgain and Chang. Our Theorem adapts the argument of Dong, Li and Sawin, in particular relying upon deep Weil type inequalities established by N. Katz.
Lambert $W$-Function Branch Identities
After defining in detail the Lambert $W$-function branches, we give a large number of exact identities involving (infinite) symmetric functions of these branches, as well as geometrically convergent series for all the branches. In doing so, we introduce a family of polynomials which may be of independent interest.
The family of bicircular matroids closed under duality
Published
• View Publication
• BIB
We characterize the 3-connected members of the intersection of the class of bicircular and cobicircular matroids. Aside from some exceptional matroids with rank and corank at most 5, this class consists of just the free swirls and their minors.
Some adjacency-invariant spaces on products of short cycles
Published
• View Publication
• BIB
We study certain spaces of vertex functions on the Cayley graphs corresponding to N-fold products of the group of integers modulo m, where m=3, 4, or 5, that are invariant under the adjacency operator that maps a value at a given vertex to each of its neighbors. An application to spatio-spectral limiting, an analogue of time and band limiting, is also discussed.
Outliers Detection Is Not So Hard: Approximation Algorithms for Robust Clustering Problems Using Local Search Techniques
Published
• View Publication
• BIB
In this paper, we consider two types of robust models of the $k$-median/$k$-means problems: the outlier-version ($k$-MedO/$k$-MeaO) and the penalty-version ($k$-MedP/$k$-MeaP), in which we can mark some points as outliers and discard them. In $k$-MedO/$k$-MeaO, the number of outliers is bounded by a given integer. In $k$-MedP/$k$-MeaP, we do not bound the number of outliers, but each outlier will incur a penalty cost. We develop a new technique to analyze the approximation ratio of local search algorithms for these two problems by introducing an adapted cluster that can capture useful information about outliers in the local and the global optimal solution. For $k$-MeaP, we improve the best known approximation ratio based on local search from $25+\varepsilon$ to $9+\varepsilon$. For $k$-MedP, we obtain the best known approximation ratio. For $k$-MedO/$k$-MeaO, there exists only two bi-criteria approximation algorithms based on local search. One violates the outlier constraint (the constraint on the number of outliers), while the other violates the cardinality constraint (the constraint on the number of clusters). We consider the former algorithm and improve its approximation ratios from $17+\varepsilon$ to $3+\varepsilon$ for $k$-MedO, and from $274+\varepsilon$ to $9+\varepsilon$ for $k$-MeaO.
Recursive methods for some problems in coding and random permutations
Published
• View Publication
• BIB
In this paper, we study three applications of recursion to problems in coding and random permutations. First, we consider locally recoverable codes with partial locality and use recursion to estimate the minimum distance of such codes. Next we consider weighted lattice representative codes and use recursive subadditive techniques to obtain convergence of the minimum code size. Finally, we obtain a recursive relation involving cycle moments in random permutations and as an illustration, evaluate recursions for the mean and variance.
Achieving positive rates with predetermined dictionaries
Published
• View Publication
• BIB
In the first part of the paper we consider binary input channels that are not necessarily stationary and show how positive rates can be achieved using codes constrained to be within predetermined dictionaries. We use a Gilbert-Varshamov-like argument to obtain the desired rate achieving codes. Next we study the corresponding problem for channels with arbitrary alphabets and use conflict-set decoding to show that if the dictionaries are contained within nice sets, then positive rates are achievable.
Puzzle Model for Bumpless Pipe Dream
In this note, a new puzzle is introduced where the pipe dream and bumpless pipe dream can be played simultaneously. Using these, a combinatorial proof of the (ordinary) Schubert polynomials in terms of bumpless pipe dream is given. The main tool is the Yang--Baxter equation.
A PROOF of Weak Graph Positivity, for a Large Range of the Parameters
One deals with r-regular bipartite graphs with 2n vertices. In a previous paper Butera, Pernici, and the author have introduced a quantity d(i), a function of the number of i-matchings, and conjectured that as n goes to infinity the fraction of graphs that satisfy Delta^k( d(i)) is non-negative, for all k and i, approaches 1. Here Delta is the finite difference operator. This conjecture we called the "graph positivity conjecture". "Weak graph positivity" is the conjecture that for each i and k the probability that Delta^k (d(i) is non-negative goes to 1 as n goes to infinity. Here we prove this for the range of parameters where r < 11, i+k < 101, k < 21, or i+k < 30 all r. A formalism of Wanless as systematized by Pernici is central to this effort.