Showing 20 papers (Total: 82505 papers, 47699 authors in database)
The Turán number of sparse spanning graphs
Published
• View Publication
• BIB
For a graph $H$, the {\em extremal number} $ex(n,H)$ is the maximum number of edges in a graph of order $n$ not containing a subgraph isomorphic to $H$. Let $δ(H)>0$ and $Δ(H)$ denote the minimum degree and maximum degree of $H$, respectively. We prove that for all $n$ sufficiently large, if $H$ is any graph of order $n$ with $Δ(H) \le \sqrt{n}/200$, then $ex(n,H)={{n-1} \choose 2}+δ(H)-1$. The condition on the maximum degree is tight up to a constant factor. This generalizes a classical result of Ore for the case $H=C_n$, and resolves, in a strong form, a conjecture of Glebov, Person, and Weps for the case of graphs. A counter-example to their more general conjecture concerning the extremal number of bounded degree spanning hypergraphs is also given.
The $S^1$-equivariant cohomology rings of $(n-k,k)$ Springer varieties
Published in Osaka J. Math. 52 (2015), no. 4, 1051-1063
• View Publication
• BIB
The main result of this note gives an explicit presentation of the $S^1$-equivariant cohomology ring of the $(n-k,k)$ Springer variety (in type $A$) as a quotient of a polynomial ring by an ideal $I$, in the spirit of the well-known Borel presentation of the cohomology of the flag variety.
How unproportional must a graph be?
Published
• View Publication
• BIB
Let $u_k(G,p)$ be the maximum over all $k$-vertex graphs $F$ of by how much the number of induced copies of $F$ in $G$ differs from its expectation in the binomial random graph with the same number of vertices as $G$ and with edge probability $p$. This may be viewed as a measure of how close $G$ is to being $p$-quasirandom. For a positive integer $n$ and $0<p<1$, let $D(n,p)$ be the distance from $p\binom{n}{2}$ to the nearest integer. Our main result is that, for fixed $k\ge 4$ and for $n$ large, the minimum of $u_k(G,p)$ over $n$-vertex graphs has order of magnitude $Θ\big(\max\{D(n,p), p(1-p)\} n^{k-2}\big)$ provided that $p(1-p)n^{1/2} \to \infty$.
Three classes of 1-planar graphs
Published in Filomat 31 (2017) 363-370, New title: Drawing Graph Joins in the Plane with Restrictions on Crossings
• View Publication
• BIB
A graph is called 1-planar if it can be drawn in the plane so that each of its edges is crossed by at most one other edge. In this paper we decompose the set of all 1-planar graphs into three classes $\mathcal C_0, \mathcal C_1$ and $\mathcal C_2$ with respect to the types of crossings and present the decomposition of 1-planar join products.
Zhang \cite{z} proved that every $n$-vertex 1-planar graph of class $\mathcal C_1$ has at most $\frac{18}{5}n-\frac{36}{5}$ edges and a $\mathcal C_1$-drawing with at most $\frac 35 n-\frac 65$ crossings. We improve these results. We show that every $\mathcal C_1$-drawing of a 1-planar graph has at most $\frac 35 n-\frac 65$ crossings. Consequently, every $n$-vertex 1-planar graph of class $\mathcal C_1$ has at most $\frac{18}{5}n-\frac{36}{5}$ edges. Moreover, we prove that this bound is sharp.
Enumeration of graphs with a heavy-tailed degree sequence
Published
• View Publication
• BIB
In this paper, we asymptotically enumerate graphs with a given degree sequence d=(d_1,...,d_n) satisfying restrictions designed to permit heavy-tailed sequences in the sparse case (i.e. where the average degree is rather small). Our general result requires upper bounds on functions of M_k= \sum_{i=1}^n [d_i]_k for a few small integers k\ge 1. Note that M_1 is simply the total degree of the graphs. As special cases, we asymptotically enumerate graphs with (i) degree sequences satisfying M_2=o(M_1^{ 9/8}); (ii) degree sequences following a power law with parameter gamma>5/2; (iii) power-law degree sequences that mimic independent power-law "degrees" with parameter gamma>1+\sqrt{3}\approx 2.732; (iv) degree sequences following a certain "long-tailed" power law; (v) certain bi-valued sequences. A previous result on sparse graphs by McKay and the second author applies to a wide range of degree sequences but requires Delta =o(M_1^{1/3}), where Delta is the maximum degree. Our new result applies in some cases when Delta is only barely o(M_1^ {3/5}). Case (i) above generalises a result of Janson which requires M_2=O(M_1) (and hence M_1=O(n) and Delta=O(n^{1/2})). Cases (ii) and (iii) provide the first asymptotic enumeration results applicable to degree sequences of real-world networks following a power law, for which it has been empirically observed that 2<gamma<3.
Periodicity of free subgroup numbers modulo prime powers
Published in J. Algebra 452 (2016), 372-389
• View Publication
• BIB
We completely characterise when the sequence of free subgroup numbers of a finitely generated virtually free group is ultimately periodic modulo a given prime power.
On the Finiteness property of negative cubic Pisot bases
We study arithmetical aspects of Ito-Sadahiro number systems with negative base. We show that the bases $-β<-1$, where $β$ is zero of $x^3-mx^2-mx-m,\ m\in\mathbb N,$ possess the so-called finiteness property. For the Tribonacci base $-γ,$ zero of $x^3-x^2-x-1$, we present an effective algorithm for addition and subtraction. In particular, we present a finite state transducer performing these operations. As a consequence of the structure of the transducer, we determine the maximal number of fractional digits arising from addition or subtraction of two $(-γ)$-integers.
Density of Range Capturing Hypergraphs
For a finite set $X$ of points in the plane, a set $S$ in the plane, and a positive integer $k$, we say that a $k$-element subset $Y$ of $X$ is captured by $S$ if there is a homothetic copy $S'$ of $S$ such that $X\cap S' = Y$, i.e., $S'$ contains exactly $k$ elements from $X$. A $k$-uniform $S$-capturing hypergraph $H = H(X,S,k)$ has a vertex set $X$ and a hyperedge set consisting of all $k$-element subsets of $X$ captured by $S$. In case when $k=2$ and $S$ is convex these graphs are planar graphs, known as convex distance function Delaunay graphs.
In this paper we prove that for any $k\geq 2$, any $X$, and any convex compact set $S$, the number of hyperedges in $H(X,S,k)$ is at most $(2k-1)|X| - k^2 + 1 - \sum_{i=1}^{k-1}a_i$, where $a_i$ is the number of $i$-element subsets of $X$ that can be separated from the rest of $X$ with a straight line. In particular, this bound is independent of $S$ and indeed the bound is tight for all "round" sets $S$ and point sets $X$ in general position with respect to $S$.
This refines a general result of Buzaglo, Pinchasi and Rote stating that every pseudodisc topological hypergraph with vertex set $X$ has $O(k^2|X|)$ hyperedges of size $k$ or less.
Principal minors and rhombus tilings
Published
• View Publication
• BIB
The algebraic relations between the principal minors of an $n\times n$ matrix are somewhat mysterious, see e.g. [lin-sturmfels]. We show, however, that by adding in certain \emph{almost} principal minors, the relations are generated by a single relation, the so-called hexahedron relation, which is a composition of six cluster mutations.
We give in particular a Laurent-polynomial parameterization of the space of $n\times n$ matrices, whose parameters consist of certain principal and almost principal minors. The parameters naturally live on vertices and faces of the tiles in a rhombus tiling of a convex $2n$-gon. A matrix is associated to an equivalence class of tilings, all related to each other by Yang-Baxter-like transformations.
By specializing the initial data we can similarly parametrize the space of Hermitian symmetric matrices over $\mathbb R, \mathbb C$ or $\mathbb H$ the quaternions. Moreover by further specialization we can parametrize the space of \emph{positive definite} matrices over these rings.
Domination game on forests
In the domination game studied here, Dominator and Staller alternately choose a vertex of a graph $G$ and take it into a set $D$. The number of vertices dominated by the set $D$ must increase in each single turn and the game ends when $D$ becomes a dominating set of $G$. Dominator aims to minimize whilst Staller aims to maximize the number of turns (or equivalently, the size of the dominating set $D$ obtained at the end). Assuming that Dominator starts and both players play optimally, the number of turns is called the game domination number $γ_g(G)$ of $G$.
Kinnersley, West and Zamani verified that $γ_g(G) \le 7n/11$ holds for every isolate-free $n$-vertex forest $G$ and they conjectured that the sharp upper bound is only $3n/5$. Here, we prove the 3/5-conjecture for forests in which no two leaves are at distance 4 apart. Further, we establish an upper bound $γ_g(G) \le 5n/8$, which is valid for every isolate-free forest $G$.
Gray code orders for $q$-ary words avoiding a given factor
Published
• View Publication
• BIB
Based on BRGC inspired order relations we give Gray codes and a generating algorithm for $q$-ary words avoiding a prescribed factor. These generalize an early 2001 result and a very recent one published by some of the present authors, and can be seen as an alternative to those of Squire published in 1996. Among the involved tools, we make use of generalized BRGC order relations, ultimate periodicity of infinite words, and word matching techniques.
The Minimal Total Irregularity of Graphs
Published
• View Publication
• BIB
In \cite{2012a}, Abdo and Dimitov defined the total irregularity of a graph $G=(V,E)$ as
\hskip3.3cm $\rm irr_{t}$$(G) = \frac{1}{2}\sum_{u,v\in V}|d_{G}(u)-d_{G}(v)|, $
\noindent where $d_{G}(u)$ denotes the vertex degree of a vertex $u\in V$. In this paper, we investigate the minimal total irregularity of the connected graphs, determine the minimal, the second minimal, the third minimal total irregularity of trees, unicyclic graphs, bicyclic graphs on $n$ vertices, and propose an open problem for further research.
$s$-Elusive Codes in Hamming Graphs
Published
• View Publication
• BIB
A code is a subset of the vertex set of a Hamming graph. The set of $s$-neighbours of a code is the set of all vertices at Hamming distance $s$ from their nearest codeword. A code $C$ is $s$-elusive if there exists a distinct code $C'$ that is equivalent to $C$ under the full automorphism group of the Hamming graph such that $C$ and $C'$ have the same set of $s$-neighbours.
It is proved here that the minimum distance of an $s$-elusive code is at most $2s+2$, and that an $s$-elusive code with minimum distance at least $2s+1$ gives rise to a $q$-ary $t$-design with certain parameters. This leads to the construction of: an infinite family of $1$-elusive and completely transitive codes, an infinite family of $2$-elusive codes, and a single example of a $3$-elusive code. Answers to several open questions on elusive codes are also provided.
The Algebra of Hurwitz Multizeta Functions
Published
• View Publication
• BIB
Multizeta values are real numbers which span a complicated algebra: there exist two different interacting products. A functional analog of these numbers is defined so as to obtain a better understanding of them, the Hurwitz multizeta functions, which span an algebra for which a precise description is wanted. In this note, we prove that the algebra of Hurwitz multizeta functions is a polynomial algebra.
On compositions with $x^2/(1-x)$
Published in Proc. Amer. Math. Soc. 143 (2015), 4583-4596
• View Publication
• BIB
In the past, empirical evidence has been presented that Hilbert series of symplectic quotients of unitary representations obey a certain universal system of infinitely many constraints. Formal series with this property have been called \emph{symplectic}. Here we show that a formal power series is symplectic if and only if it is a formal composite with the formal power series $x^2/(1-x)$. Hence the set of symplectic power series forms a subalgebra of the algebra of formal power series. The subalgebra property is translated into an identity for the coefficients of the even Euler polynomials, which can be interpreted as a cubic identity for the Bernoulli numbers. Furthermore we show that a rational power series is symplectic if and only if it is invariant under the idempotent Möbius transformation $x\mapsto x/(x-1)$. It follows that the Hilbert series of a graded Cohen-Macaulay algebra $A$ is symplectic if and only if $A$ is Gorenstein with its a-invariant and its Krull dimension adding up to zero. It is shown that this is the case for algebras of regular functions on symplectic quotients of unitary representations of tori.
On the Schur expansion of Hall-Littlewood and related polynomials via Yamanouchi words
Published
• View Publication
• BIB
This paper uses the theory of dual equivalence graphs to give explicit Schur expansions for several families of symmetric functions. We begin by giving a combinatorial definition of the modified Macdonald polynomials and modified Hall-Littlewood polynomials indexed by any diagram $δ\subset {\mathbb Z} \times {\mathbb Z}$, written as $\widetilde H_δ(X;q,t)$ and $\widetilde H_δ(X;0,t)$, respectively. We then give an explicit Schur expansion of $\widetilde H_δ(X;0,t)$ as a sum over a subset of the Yamanouchi words, as opposed to the expansion using the charge statistic given in 1978 by Lascoux and Schüztenberger. We further define the symmetric function $R_{γ,δ}(X)$ as a refinement of $\widetilde H_δ(X;0,t)$ and similarly describe its Schur expansion. We then analyze $R_{γ,δ}(X)$ to determine the leading term of its Schur expansion. We also provide a conjecture towards the Schur expansion of $\widetilde H_δ(X;q,t)$. To gain these results, we use a construction from the 2007 work of Sami Assaf to associate each Macdonald polynomial with a signed colored graph $\mathcal{H}_δ$. In the case where a subgraph of $\mathcal{H}_δ$ is a dual equivalence graph, we provide the Schur expansion of its associated symmetric function, yielding several corollaries.
Sun Bin's Legacy
A common format for sports contests involves pairwise matches between two teams, with the #1 player of team A matched against the #1 player of team B, the #2 player of team A against the #2 player of team B, and so on. This paper addresses the following question: What if team A wants to game the system? Can it gain an advantage by putting its players in a different order?
The first example of this problem in history (to the author's knowledge) was a match of three horse races between the King of Qi and general Tian Ji, in China, in the fourth century B.C. Tian Ji's protege, Sun Bin, advised the general to throw the first race, running his #3 horse against the king's #1, and then to race his #1 horse against the king's #2 and his #2 horse against the king's #3. In this way, Tian Ji won the match, 2-1, and Sun Bin ensured his reputation as a great strategist.
The paper introduces a card-game version of this puzzle, called One Round War, and derives the optimal strategy in case each side has N cards (the analogue of N horses). The problem is recast as a linear assignment problem. The optimal solution involves sacrificing the weakest k cards/horses (for some k = k(N)) against the opponent's strongest k in reverse order (weakest vs. strongest), and then playing the remaining N-k cards/horses against the opponent's remaining cards in forward order. An exact formula is derived for k(N), and asymptotically we show that k(N) ~ sqrt (N ln N/2).
Note: This paper proves that the strategy described above is optimal for sufficiently large N (e.g., for N greater than 10^7). It has also been verified by computer to be optimal for N less than 60. We conjecture that it is also true for N between 60 and 10^7. The upper bound 10^7 can be greatly improved, but closing the gap completely will probably require computer calculations that are beyond our resources.
New Asymptotic Metrics for Relative Generalized Hamming Weight
Published in Proc. 2014 IEEE International Symposium on Information Theory, pp. 3142-3144
• View Publication
• BIB
It was recently shown that RGHW (relative generalized Hamming weight) exactly expresses the security of linear ramp secret sharing scheme. In this paper we determine the true value of the asymptotic metric for RGHW previously proposed by Zhuang et al. in 2013. Then we propose new asymptotic metrics useful for investigating the optimal performance of linear ramp secret sharing scheme constructed from a pair of linear codes. We also determine the true values of the proposed metrics in many cases.
Tables, bounds and graphics of sizes of complete arcs in the plane $\mathrm{PG}(2,q)$ for all $q\le321007$ and sporadic $q$ in $[323761\ldots430007]$ obtained by an algorithm with fixed order of points (FOP)
In the previous works of the authors, a step-by-step algorithm FOP which uses any fixed order of points in the projective plane $\mathrm{PG}(2,q)$ is proposed to construct small complete arcs. In each step, the algorithm adds to a current arc the first point in the fixed order not lying on the bisecants of the arc. The algorithm is based on the intuitive postulate that $\mathrm{PG}(2,q)$ contains a sufficient number of relatively small complete arcs. Also, in the previous papers, it is shown that the type of order on the points of $\mathrm{PG}(2,q)$ is not relevant. A complete lexiarc in $\mathrm{PG}(2,q)$ is a complete arc obtained by the algorithm FOP using the lexicographical order of points. In this work, we collect and analyze the sizes of complete lexiarcs in the following regions: \begin{align*}& \textbf{all } q\le321007,~ q \mbox{ prime power}; & 15 \mbox{ sporadic $q$'s in the interval }[323761\ldots430007], \mbox{ see (1.10)}. \end{align*} In the work [9], the smallest known sizes of complete arcs in $\mathrm{PG}(2,q)$ are collected for all $q\leq160001$, $q$ prime power. The sizes of complete arcs, collected in this work and in [9], provide the following upper bounds on the smallest size $t_{2}(2,q)$ of a complete arc in the projective plane $\mathrm{PG}(2,q)$: \begin{align*} t_{2}(2,q)&<0.998\sqrt{3q\ln q}<1.729\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le160001;\\ t_{2}(2,q)&<1.05\sqrt{3q\ln q}<1.819\sqrt{q\ln q}&\mbox{ for }&&7&\le q\le321007. \end{align*} Our investigations and results allow to conjecture that the bound $t_{2}(2,q)<1.05\sqrt{3q\ln q}<1.819\sqrt{q\ln q}$ holds for all $q\ge7$. It is noted that sizes of the random complete arcs and complete lexiarcs behave similarly. This work can be considered as a continuation and development of the paper [11].
Characteristics of Finite Jaco Graphs, $J_n(1), n \in \Bbb N$
We introduce the concept of a family of finite directed graphs (order 1) which are directed graphs derived from an infinite directed graph (order 1), called the 1-root digraph. The 1-root digraph has four fundamental properties which are; $V(J_\infty(1)) = \{v_i|i \in \Bbb N\}$ and, if $v_j$ is the head of an edge (arc) then the tail is always a vertex $v_i, i<j$ and, if $v_k$, for smallest $k \in \Bbb N$ is a tail vertex then all vertices $v_\ell, k< \ell <j$ are tails of arcs to $v_j$ and finally, the degree of vertex $k$ is $d(v_k) = k.$ The family of finite directed graphs are those limited to $n \in \Bbb N$ vertices by lobbing off all vertices (and edges arcing to vertices) $v_t, t> n.$ Hence, trivially we have $d(v_i) \leq i$ for $i \in \Bbb N$. We present an interesting Fibonaccian-Zeckendorf result and present the Fisher Algorithm to table particular values of interest. It is meant to be an introductory paper to encourage exploratory research.