Showing 20 papers (Total: 82797 papers, 47838 authors in database)
Formulas for sums of powers of integers and their reciprocals
This paper gives new explicit formulas for sums of powers of integers and their reciprocals.
$C$-Vectors and Non-Self-Crossing Curves for Acyclic Quivers of Finite Type
Published in SIGMA 17 (2021), 010, 25 pages
• View Publication
• BIB
Let $Q$ be an acyclic quiver and $k$ be an algebraically closed field. The indecomposable exceptional modules of the path algebra $kQ$ have been widely studied. The real Schur roots of the root system associated to $Q$ are the dimension vectors of the indecomposable exceptional modules. It has been shown in [Nájera Chávez A., Int. Math. Res. Not. 2015 (2015), 1590-1600] that for acyclic quivers, the set of positive $c$-vectors and the set of real Schur roots coincide. To give a diagrammatic description of $c$-vectors, K-H. Lee and K. Lee conjectured that for acyclic quivers, the set of $c$-vectors and the set of roots corresponding to non-self-crossing admissible curves are equivalent as sets [Exp. Math., to appear, arXiv:1703.09113]. In [Adv. Math. 340 (2018), 855-882], A. Felikson and P. Tumarkin proved this conjecture for 2-complete quivers. In this paper, we prove a revised version of Lee-Lee conjecture for acyclic quivers of type $A$, $D$, and $E_{6}$ and $E_7$.
Robertson's conjecture I. Well-quasi-ordering bounded tree-width graphs by the topological minor relation
Robertson and Seymour's celebrated Graph Minor Theorem states that graphs are well-quasi-ordered by the minor relation. Unlike the minor relation, the topological minor relation does not well-quasi-order graphs in general. Among all known infinite antichains with respect to the topological containment, subdivisions of a graph obtained from an arbitrarily long path by duplicating each edge can be found. In the 1980's Robertson conjectured that this is the only obstruction. Formally, he conjectured that for every positive integer $k$, graphs that do not contain the graph obtained from a path of length $k$ by duplicating each edge as a topological minor are well-quasi-ordered by the topological minor relation. The case $k=1$ implies Kruskal's Tree Theorem, and the case $k=2$ implies a conjecture of Vázsonyi on subcubic graphs.
This series of papers dedicates a proof of Robertson's conjecture. We prove Robertson's conjecture for graphs of bounded tree-width in this paper. It is an essential step toward the complete proof of Robertson's conjecture, and the machinery developed in this paper will be applied in future papers of the series. This bounded tree-width case proved in this paper implies all known results about well-quasi-ordering graphs by the topological minor relation that can be proved without using the Graph Minor Theorem, and our proof in this paper is self-contained.
On Tilings of Asymmetric Limited-Magnitude Balls
Published
• View Publication
• BIB
We study whether an asymmetric limited-magnitude ball may tile $\mathbb{Z}^n$. This ball generalizes previously studied shapes: crosses, semi-crosses, and quasi-crosses. Such tilings act as perfect error-correcting codes in a channel which changes a transmitted integer vector in a bounded number of entries by limited-magnitude errors.
A construction of lattice tilings based on perfect codes in the Hamming metric is given. Several non-existence results are proved, both for general tilings, and lattice tilings. A complete classification of lattice tilings for two certain cases is proved.
Removahedral congruences versus permutree congruences
Published in Electron. J. Combin., vol. 28(4), #P4.8, pp. 38, 2021
• View Publication
• BIB
The associahedron is classically constructed as a removahedron, i.e. by deleting inequalities in the facet description of the permutahedron. This removahedral construction extends to all permutreehedra (which interpolate between the permutahedron, the associahedron and the cube). Here, we investigate removahedra constructions for all quotientopes (which realize the lattice quotients of the weak order). On the one hand, we observe that the permutree fans are the only quotient fans realized by a removahedron. On the other hand, we show that any permutree fan can be realized by a removahedron constructed from any realization of the braid fan. Our results finally lead to a complete description of the type cone of the permutree fans.
The rainbow Erdős-Rothschild problem for the Fano plane
Published
• View Publication
• BIB
The Fano plane is the unique linear 3-uniform hypergraph on seven vertices and seven hyperedges. It was recently proved that, for all $n \geq 8$, the balanced complete bipartite 3-uniform hypergraph on $n$ vertices, denoted by $B_n$, is the 3-uniform hypergraph on $n$ vertices with the largest number of hyperedges that does not contain a copy of the Fano plane. For sufficiently large $r$ and $n$, we show that $B_n$ admits the largest number of $r$-edge colorings with no rainbow copy of the Fano plane.
On sums of coefficients of Borwein type polynomials over arithmetic progressions
Published
• View Publication
• BIB
We obtain asymptotic formulas for sums over arithmetic progressions of coefficients of polynomials of the form
$$\prod_{j=1}^n\prod_{k=1}^{p-1}(1-q^{pj-k})^s,$$
where $p$ is an odd prime and $n, s$ are positive integers. Let us denote by $a_i$ the coefficient of $q^i$ in the above polynomial and suppose that $b$ is an integer. We prove that
$$\Big|\sum_{i\equiv b\ \text{mod}\ 2pn}a_i-\frac{v(b)p^{sn}}{2pn}\Big|\leq p^{sn/2},$$
where $v(b)=p-1$ if $b$ divisible by $p$ and $v(b)=-1$ otherwise. This improves a recent result of Goswami and Pantangi.
Restrictions on parameters of partial difference sets in nonabelian groups
Published
• View Publication
• BIB
A partial difference set $S$ in a finite group $G$ satisfying $1 \notin S$ and $S = S^{-1}$ corresponds to an undirected strongly regular Cayley graph ${\rm Cay}(G,S)$. While the case when $G$ is abelian has been thoroughly studied, there are comparatively few results when $G$ is nonabelian. In this paper, we provide restrictions on the parameters of a partial difference set that apply to both abelian and nonabelian groups and are especially effective in groups with a nontrivial center. In particular, these results apply to $p$-groups, and we are able to rule out the existence of partial difference sets in many instances.
Logarithmic derivations associated to line arrangements
Published
• View Publication
• BIB
In this paper we give full classification of rank 3 line arrangements in $\mathbb P^2$ (over a field of characteristic 0) that have a minimal logarithmic derivation of degree 3. The classification presents their defining polynomials, up to a change of variables, with their corresponding affine pictures. We also analyze the shape of such a logarithmic derivation, towards obtaining criteria for a line arrangement to possess a cubic minimal logarithmic derivation.
Integer colorings with forbidden rainbow sums
Published
• View Publication
• BIB
For a set of positive integers $A \subseteq [n]$, an $r$-coloring of $A$ is rainbow sum-free if it contains no rainbow Schur triple. In this paper we initiate the study of the rainbow Erdős-Rothchild problem in the context of sum-free sets, which asks for the subsets of $[n]$ with the maximum number of rainbow sum-free $r$-colorings. We show that for $r=3$, the interval $[n]$ is optimal, while for $r\geq8$, the set $[\lfloor n/2 \rfloor, n]$ is optimal. We also prove a stability theorem for $r\geq4$. The proofs rely on the hypergraph container method, and some ad-hoc stability analysis.
Poisson limit of bumping routes in the Robinson-Schensted correspondence
Published in Probab. Theory Relat. Fields 181, pages 1053-1103 (2021)
• View Publication
• BIB
We consider the Robinson-Schensted-Knuth algorithm applied to a random input and investigate the shape of the bumping route (in the vicinity of the $y$-axis) when a specified number is inserted into a large Plancherel-distributed tableau. We show that after a projective change of the coordinate system the bumping route converges in distribution to the Poisson process.
Two-Hop Connectivity to the Roadside in a VANET Under the Random Connection Model
Published
• View Publication
• BIB
In this paper, we compute the expected number of vehicles with at least one two-hop path to a fixed roadside unit (RSU) in a multi-hop, one-dimensional vehicular ad hoc network (VANET) where other cars can act as relays. The pairwise channels experience Rayleigh fading in the random connection model, and so exist, with a probability given by a function of the mutual distance between the cars, or between the cars and the RSU. We derive exact expressions for the expected number of cars with a two-hop connection to the RSU when the car density $ρ$ tends to zero and infinity, and determine its behaviour using an infinite oscillating power series in $ρ$, which is accurate for all regimes of traffic density. We also corroborate those findings with a realistic scenario, using snapshots of actual traffic data. Finally, a normal approximation is discussed for the probability mass function of the number of cars with a two-hop connection to the RSU.
Signless Normalized Laplacian for Hypergraphs
Published in Electronic Journal of Graph Theory and Applications, 10(2) (2022)
• View Publication
• BIB
The spectral theory of the normalized Laplacian for chemical hypergraphs is further investigated. The signless normalized Laplacian is introduced and it is shown that its spectrum for classical hypergraphs coincides with the spectrum of the normalized Laplacian for bipartite chemical hypergraphs. Furthermore, the spectra of special families of hypergraphs are established.
On the multihomogeneous Bézout bound on the number of embeddings of minimally rigid graphs
Published
• View Publication
• BIB
Rigid graph theory is an active area with many open problems, especially regarding embeddings in $\mathbb{R}^d$ or other manifolds, and tight upper bounds on their number for a given number of vertices. Our premise is to relate the number of embeddings to that of solutions of a well-constrained algebraic system and exploit progress in the latter domain. In particular, the system's complex solutions naturally extend the notion of real embeddings, thus allowing us to employ bounds on complex roots.
We focus on multihomogeneous B{é}zout (m-B{é}zout) bounds of algebraic systems since they are fast to compute and rather tight for systems exhibiting structure as in our case. We introduce two methods to relate such bounds to combinatorial properties of minimally rigid graphs in $\mathbb{C}^d$ and $S^d$. The first relates the number of graph orientations to the m-Bézout bound, while the second leverages a matrix permanent formulation. Using these approaches we improve the best known asymptotic upper bounds for planar graphs in dimension~3, and all minimally rigid graphs in dimension $d\geq 5$, both in the Euclidean and spherical case.
Our computations indicate that m-Bézout bounds are tight for embeddings of planar graphs in $S^2$ and $\mathbb{C}^3$. We exploit Bernstein's second theorem on the exactness of mixed volume, and relate it to the m-B{é}zout bound by analyzing the associated Newton polytopes. We reduce the number of checks required to verify exactness by an exponential factor, and conjecture further that it suffices to check a linear instead of an exponential number of cases overall.
No signed graph with the nullity $η(G,σ)=|V(G)|-2m(G)+2c(G)-1$
Published
• View Publication
• BIB
Let $G^σ=(G,σ)$ be a signed graph and $A(G,σ)$ be its adjacency matrix. Denote by $m(G)$ the matching number of $G$. Let $η(G,σ)$ be the nullity of $(G,σ)$. He et al. [Bounds for the matching number and cyclomatic number of a signed graph in terms of rank, Linear Algebra Appl. 572 (2019), 273--291] proved that $$|V(G)|-2m(G)-c(G)\leqη(G,σ)\leq |V(G)|-2m(G)+2c(G),$$ where $c(G)$ is the dimension of cycle space of $G$. Signed graphs reaching the lower bound or the upper bound are respectively characterized by the same paper. In this paper, we will prove that no signed graphs with nullity $|V(G)|-2m(G)+2c(G)-1$. We also prove that there are infinite signed graphs with nullity $|V(G)|-2m(G)+2c(G)-s,~(0\leq s\leq3c(G), s\neq1)$ for a given $c(G)$.
On Lattice Packings and Coverings of Asymmetric Limited-Magnitude Balls
Published
• View Publication
• BIB
We construct integer error-correcting codes and covering codes for the limited-magnitude error channel with more than one error. The codes are lattices that pack or cover the space with the appropriate error ball. Some of the constructions attain an asymptotic packing/covering density that is constant. The results are obtained via various methods, including the use of codes in the Hamming metric, modular $B_t$-sequences, $2$-fold Sidon sets, and sets avoiding arithmetic progression.
A Note on Generic Tangle Algorithms
In this note we gather the theoretical outlines of three basic algorithms for tangles in abstract separation systems: a naive tree search for finding tangles; an algorithm which outputs a certificate for the non-existence of tangles if possible, and otherwise a way to jump-start the naive tree search; and a way to obtain a tree-of-tangles.
Algorithmically distinguishing irreducible characters of the symmetric group
Published
• View Publication
• BIB
Suppose that $χ_λ$ and $χ_μ$ are distinct irreducible characters of the symmetric group $S_n$. We give an algorithm that, in time polynomial in $n$, constructs $π\in S_n$ such that $χ_λ(π)$ is provably different from $χ_μ(π)$. In fact, we show a little more. Suppose $f=χ_λ$ for some irreducible character $χ_λ$ of $S_n$, but we do not know $λ$, and we are given only oracle access to $f$. We give an algorithm that determines $λ$, using a number of queries to $f$ that is polynomial in $n$. Each query can be computed in time polynomial in $n$ by someone who knows $λ$.
Characterizing immutable sandpiles: A first look
Published
• View Publication
• BIB
By working with coefficients in $\mathbb{Z}$ or $\mathbb{R}$, one can define two different notions of stability for a sandpile on a graph. We call a sandpile immutable when these notions agree. Our main results give linear-algebraic characterizations for large classes of immutable sandpiles.
Complexity of Maximum Cut on Interval Graphs
Published
• View Publication
• BIB
We resolve the longstanding open problem concerning the computational complexity of Max Cut on interval graphs by showing that it is NP-complete.