Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Codes, Cubes, and Graphical Designs
Published
• View Publication
• BIB
Graphical designs are an extension of spherical designs to functions on graphs. We connect linear codes to graphical designs on cube graphs, and show that the Hamming code in particular is a highly effective graphical design. We show that even in highly structured graphs, graphical designs are distinct from the related concepts of extremal designs, maximum stable sets in distance graphs, and $t$-designs on association schemes.
Relative Turán Numbers for Hypergraph Cycles
Published
• View Publication
• BIB
For an $r$-uniform hypergraph $H$ and a family of $r$-uniform hypergraphs $\mathcal{F}$, the relative Turán number $\mathrm{ex}(H,\mathcal{F})$ is the maximum number of edges in an $\mathcal{F}$-free subgraph of $H$. In this paper we give lower bounds on $\mathrm{ex}(H,\mathcal{F})$ for certain families of hypergraph cycles $\mathcal{F}$ such as Berge cycles and loose cycles. In particular, if $\mathcal{C}_\ell^3$ denotes the set of all $3$-uniform Berge $\ell$-cycles and $H$ is a 3-uniform hypergraph with maximum degree $Δ$, we prove \[\mathrm{ex}(H,\mathcal{C}_4^{3})\ge Δ^{-3/4-o(1)}e(H),\] \[\mathrm{ex}(H,\mathcal{C}_5^{3})\ge Δ^{-3/4-o(1)}e(H),\] and these bounds are tight up to the $o(1)$ term.
To count clean triangles we count on $imph(n)$
A clean lattice triangle in ${\mathbb R}^2$ is a triangle that does not contain any lattice points on its sides other than its vertices. The central goal of this paper is to count the number of clean triangles of a given area up to unimodular equivalence. In doing so we use a variant of the Euler phi function which we call $imph(n)$ (imitation phi).
(2,3)-Cordial Oriented Hypercubes
Published
• View Publication
• BIB
In this article we investigate the existence of (2,3)-cordial labelings of oriented hypercubes. In this investigation, we determine that there exists a (2,3)-cordial oriented hypercube for any dimension divisible by 3. Next, we provide examples of (2,3)-cordial oriented hypercubes of dimension not divisible by 3 and state a conjecture on existence for dimension 3k + 1. We close by presenting the only 3D oriented hypercubes up to isomorphism that are not (2,3)-cordial.
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.