Showing 20 papers (Total: 84460 papers, 48641 authors in database)
Graphs with at most two nonzero distinct absolute eigenvalues
In his survey "Beyond graph energy: Norms of graphs and matrices" (2016), Nikiforov proposed two problems concerning characterizing the graphs that attain equality in a lower bound and in a upper bound for the energy of a graph, respectively. We show that these graphs have at most two nonzero distinct absolute eigenvalues and investigate the proposed problems organizing our study according to the type of spectrum they can have. In most cases all graphs are characterized. Infinite families of graphs are given otherwise. We also show that all graphs satifying the properties required in the problems are integral, except for complete bipartite graphs $K_{p,q}$ and disconnected graphs with a connected component $K_{p,q}$, where $pq$ is not a perfect square.
Counting Hypergraphs with Large Girth
Published
• View Publication
• BIB
Morris and Saxton used the method of containers to bound the number of $n$-vertex graphs with $m$ edges containing no $\ell$-cycles, and hence graphs of girth more than $\ell$. We consider a generalization to $r$-uniform hypergraphs. The {\em girth} of a hypergraph $H$ is the minimum $\ell$ such that for some $F \subseteq H$, there exists a bijection $φ: E(C_\ell) \to E(F)$ with $e\subseteq φ(e)$ for all $e\in E(C_\ell)$. Letting $N_m^r(n,\ell)$ denote the number of $n$-vertex $r$-uniform hypergraphs with $m$ edges and girth larger than $\ell$ and defining $λ= \lceil (r - 2)/(\ell - 2)\rfloor$, we show \[ N_m^r(n,\ell) \leq N_m^2(n,\ell)^{r - 1 + λ}\] which is tight when $\ell - 2 $ divides $r - 2$ up to a $1 + o(1)$ term in the exponent. This result is used to address the extremal problem for subgraphs of girth more than $\ell$ in random $r$-uniform hypergraphs.
A Sylvester-Gallai theorem for cubic curves
Published
• View Publication
• BIB
We prove a variant of the Sylvester-Gallai theorem for cubics (algebraic curves of degree three): If a finite set of sufficiently many points in $\mathbb{R}^2$ is not contained in a cubic, then there is a cubic that contains exactly nine of the points. This resolves the first unknown case of a conjecture of Wiseman and Wilson from 1988, who proved a variant of Sylvester-Gallai for conics and conjectured that similar statements hold for curves of any degree.
The smallest spectral radius of bicyclic uniform hypergraphs with a given size
Published
• View Publication
• BIB
Identifying graphs with extremal properties is an extensively studied topic in spectral graph theory. In this paper, we study the log-concavity of a type of iteration sequence related to the $α$-normal weighted incidence matrices which is presented by Lu and Man for computing the spectral radius of hypergraphs. By using results obtained about the sequence and the method of some edge operations, we will characterize completely extremal k-graphs with the smallest spectral radius among bicyclic hypergraphs with given size.
$q$-analogs of sinc sums and integrals
$q$-analogs of sum equals integral relations $\sum_{n\in\mathbb{Z}}f(n)=\int_{-\infty}^\infty f(x)dx$ for sinc functions and binomial coefficients are studied. Such analogs are already known in the context of $q$-hypergeometric series. This paper deals with multibasic `fractional' generalizations that are not $q$-hypergeometric functions.
Combinatorics arising from lax colimits of posets
Published
• View Publication
• BIB
In this paper we study maximal chains in certain lattices constructed from powers of chains by iterated lax colimits in the $2$-category of posets. Such a study is motivated by the fact that in lower dimensions, we get some familiar combinatorial objects such as Dyck paths and Kreweras walks.
On decidability of hyperbolicity
We prove that a wide range of coloring problems in graphs on surfaces can be resolved by inspecting a finite number of configurations.
Completeness of Positive Linear Recurrence Sequences
A sequence of positive integers is complete if every positive integer is a sum of distinct terms. A positive linear recurrence sequence (PLRS) is a sequence defined by a homogeneous linear recurrence relation with nonnegative coefficients of the form $H_{n+1} = c_1 H_n + \cdots + c_L H_{n-L+1}$ and a particular set of initial conditions.
We seek to classify various PLRS's by completeness. With results on how completeness is affected by modifying the recurrence coefficients of a PLRS, we completely characterize completeness of several families of PLRS's as well as conjecturing criteria for more general families. Our primary method is applying Brown's criterion, which says that an increasing sequence $\{H_n\}_{n = 1}^{\infty}$ is complete if and only if $H_1 = 1$ and $H_{n + 1} \leq 1 + \sum_{i = 1}^n H_i$.
%A survey of these results can be found in \cite{BHLLMT}.
Finally, we adopt previous analytic work on PLRS's to find a more efficient way to check completeness. Specifically, the characteristic polynomial of any PLRS has exactly one positive root; by bounding the size of this root, the majority of sequences may be classified as complete or incomplete. Additionally, we show there exists an indeterminate region where the principal root does not reveal any information on completeness. We have conjectured precise bounds for this region.
Properties of Rotational Symmetric multiple valued functions and their Reed-Muller-Fourier spectra
The concept of rotation symmetric functions from the Boolean domain is extended to the multiple-valued (MV) domain. It is shown that symmetric functions are a subset of the rotation symmetric functions. Functions exhibiting these kinds of symmetry may be given a compact value vector representation. It is shown that the Reed-Muller-Fourier spectrum of a function preserves the kind of symmetry and therefore it may be given a compact vector representation of the same length as the compact value vector of the corresponding function. A method is presented for calculating the RMF spectrum of symmetric and rotation symmetric functions from their compact representations. Examples are given for 3-valued and 4-valued functions.
A Sum-Product Estimate for Well Spaced Sets
We study the $δ$-discretized sum-product estimates for well spaced sets. Our main result is: for a fixed $α\in(1,\frac{3}{2}]$, we prove that for any $\sim|A|^{-1}$-separated set $A\subset[1,2]$ and $δ=|A|^{-α}$, we have: $\mathcal{N}(A+A, δ)\cdot \mathcal{N}(AA, δ) \gtrsim_ε|A|δ^{-1+ε}$.
Proof of a bi-symmetric septuple equidistribution on ascent sequences
Published
• View Publication
• BIB
It is well known since the seminal work by Bousquet-Mélou, Claesson, Dukes and Kitaev (2010) that certain refinements of the ascent sequences with respect to several natural statistics are in bijection with corresponding refinements of $({\bf2+2})$-free posets and permutations that avoid a bivincular pattern. Different multiply-refined enumerations of ascent sequences and other bijectively equivalent structures have subsequently been extensively studied by various authors.
In this paper, our main contributions are
1. a bijective proof of a bi-symmetric septuple equidistribution of statistics on ascent sequences, involving the number of ascents (asc), the number of repeated entries (rep), the number of zeros (zero), the number of maximal entries (max), the number of right-to-left minima (rmin) and two auxiliary statistics;
2. a new transformation formula for non-terminating basic hypergeometric $_4φ_3$ series expanded as an analytic function in base $q$ around $q=1$, which is utilized to prove two (bi)-symmetric quadruple equidistributions on ascent sequences.
A by-product of our findings includes the affirmation of a conjecture about the bi-symmetric equidistribution between the quadruples of Euler--Stirling statistics (asc,rep,zero,max) and (rep,asc,max,zero) on ascent sequences, that was motivated by a double Eulerian equidistribution due to Foata (1977) and recently proposed by Fu, Lin, Yan, Zhou and the first author (2018).
Burning Geometric Graphs
A procedure called \textit{graph burning} was introduced to facilitate the modelling of spread of an alarm, a social contagion, or a social influence or emotion on graphs and networks.
Graph burning runs on discrete time-steps (or rounds). At each step $t$, first (a) an unburned vertex is burned (as a \textit{fire source}) from "outside", and then (b) the fire spreads to vertices adjacent to the vertices which are burned till step $t-1$. This process stops after all the vertices of $G$ have been burned. The aim is to burn all the vertices in a given graph in minimum time-steps. The least number of time-steps required to burn a graph is called its \textit{burning number}. The less the burning number is, the faster a graph can be burned.
Burning a general graph optimally is an NP-Complete problem. It has been proved that optimal burning of path forests, spider graphs, and trees with maximum degree three is NP-Complete. We study the \textit{graph burning problem} on several sub-classes of \textit{geometric graphs}.
We show that burning interval graphs (Section 7.1, Theorem 7.1), permutation graphs (Section 7.2, Theorem 7.2) and disk graphs (Section 7.3, Theorem 7.3) optimally is NP-Complete. In addition, we opine that optimal burning of general graphs (Section 9.2, Conjecture 9.1) cannot be approximated better than 3-approximation factor.
$q$-Supercongruences with parameters
In terms of the creative microscoping method recently introduced by Guo and Zudilin [Adv. Math. 346 (2019), 329--358], we find a $q$-supercongruence with four parameters modulo $Φ_n(q)(1-aq^n)(a-q^n)$, where $Φ_n(q)$ denotes the $n$-th cyclotomic polynomial in $q$. Then we empoly it and the Chinese remainder theorem for coprime polynomials to derive a $q$-supercongruence with two parameters modulo $[n]Φ_n(q)^3$, where $[n]=(1-q^n)/(1-q)$ is the $q$-integer.
Exponential Independence in Subcubic Graphs
Published
• View Publication
• BIB
A set $S$ of vertices of a graph $G$ is exponentially independent if, for every vertex $u$ in $S$, $$\sum\limits_{v\in S\setminus \{ u\}}\left(\frac{1}{2}\right)^{{\rm dist}_{(G,S)}(u,v)-1}<1,$$ where ${\rm dist}_{(G,S)}(u,v)$ is the distance between $u$ and $v$ in the graph $G-(S\setminus \{ u,v\})$. The exponential independence number $α_e(G)$ of $G$ is the maximum order of an exponentially independent set in $G$. In the present paper we present several bounds on this parameter and highlight some of the many related open problems. In particular, we prove that subcubic graphs of order $n$ have exponentially independent sets of order $Ω(n/\log^2(n))$, that the infinite cubic tree has no exponentially independent set of positive density, and that subcubic trees of order $n$ have exponentially independent sets of order $(n+3)/4$.
The Bernardi formula for non-transitive deformations of the braid arrangement
Published in The Electronic Journal of Combinatorics 28 (2021), no. 4
• View Publication
• BIB
Bernardi has given a general formula for the number of regions of a deformation of the braid arrangement as a signed sum over boxed trees. We prove that each set of boxed trees which share an underlying (rooted labeled plane) tree contributes 0, +1, or -1 to this sum, and we give an algorithm for computing this value. For Ish-type arrangements, we further construct a sign-reversing involution which reduces Bernardi's signed sum to the enumeration of a set of (rooted labeled plane) trees. We conclude by explicitly enumerating the trees corresponding to the regions of Ish-type arrangements which are nested, recovering their known counting formula.
Splay trees on trees
Published
• View Publication
• BIB
Search trees on trees (STTs) are a far-reaching generalization of binary search trees (BSTs), allowing the efficient exploration of tree-structured domains. (BSTs are the special case in which the underlying domain is a path.) Trees on trees have been extensively studied under various guises in computer science and discrete mathematics.
Recently Bose, Cardinal, Iacono, Koumoutsos, and Langerman (SODA 2020) considered adaptive STTs and observed that, apart from notable exceptions, the machinery developed for BSTs in the past decades does not readily transfer to STTs. In particular, they asked whether the optimal STT can be efficiently computed or approximated (by analogy to Knuth's algorithm for optimal BSTs), and whether natural self-adjusting BSTs such as Splay trees (Sleator, Tarjan, 1983) can be extended to this more general setting.
We answer both questions affirmatively. First, we show that a $(1 + \frac{1}{t})$-approximation of an optimal size-$n$ STT for a given search distribution can be computed in time $O(n^{2t + 1})$ for all integers $t \geq 1$. Second, we identify a broad family of STTs with linear rotation-distance, allowing the generalization of Splay trees to the STT setting. We show that our generalized Splay satisfies a static optimality theorem, asymptotically matching the cost of the optimal STT in an online fashion, i.e. without knowledge of the search distribution. Our results suggest an extension of the dynamic optimality conjecture for Splay trees to the broader setting of trees on trees.
On Differentially Algebraic Generating Series for Walks in the Quarter Plane
Published
• View Publication
• BIB
We refine necessary and sufficient conditions for the generating series of a weighted model of a quarter plane walk to be differentially algebraic. In addition, we give algorithms based on the theory of Mordell-Weil lattices, that, for each weighted model, yield polynomial conditions on the weights determining this property of the associated generating series.
Geometry and symmetry in biochemical reaction systems
Published in Theory in Biosciences (2021)
• View Publication
• BIB
Complex systems of intracellular biochemical reactions have a central role in regulating cell identities and functions. Biochemical reaction systems are typically studied using the language and tools of graph theory. However, graph representations only describe pairwise interactions between molecular species, and so are not well suited to modelling complex sets of reactions that may involve numerous reactants and/or products. Here we make use of a recently-developed hypergraph theory of chemical reactions that naturally allows for higher-order interactions to explore the geometry and quantify functional redundancy in biochemical reactions systems. Our results constitute a general theory of automorphisms for oriented hypergraphs and describe the effect of automorphism group structure on hypergraph Laplacian spectra.
On the explicit formula for Gauss-Jordan elimination
Published
• View Publication
• BIB
The elements of the successive intermediate matrices of the Gauss-Jordan elimination procedure have the form of quotients of minors. Instead of the proof using identities of determinants of \cite{Li}, a direct proof by induction is given.
The Szemerédi-Petruska conjecture for a few small values
Published
• View Publication
• BIB
Let H be a 3-uniform hypergraph of order n with clique number k such that the intersection of all maximum cliques of H is empty. For fixed m=n-k, Szemerédi and Petruska conjectured the sharp bound $n\leq {m+2\choose 2}$. In this note the conjecture is verified for m=2,3 and 4.