Showing 20 papers (Total: 81914 papers, 47441 authors in database)
The Laplacian spectral moments of power hypergraphs
Published
• View Publication
• BIB
The $d$-th order Laplacian spectral moment of a $k$-uniform hypergraph is the sum of the $d$-th powers of all eigenvalues of its Laplacian tensor. In this paper, we obtain some expressions of the Laplacian spectral moments for $k$-uniform power hypergraphs, and these expressions can be represented by some parameters of graphs. And we show that some graphs can be determined by their high-order Laplacian spectrum by using the Laplacian spectral moments of power hypergraphs.
Simplicial Turán problems
A simplicial complex $H$ consists of a pair of sets $(V,E)$ where $V$ is a set of vertices and $E\subseteq\mathscr{P}(V)$ is a collection of subsets of $V$ closed under taking subsets. Given a simplicial complex $F$ and $n\in \mathbb N$, the extremal number $\text{ex}(n,F)$ is the maximum number of edges that a simplicial complex on $n$ vertices can have without containing a copy of $F$. We initiate the systematic study of extremal numbers in this context by asymptotically determining the extremal numbers of several natural simplicial complexes. In particular, we asymptotically determine the extremal number of a simplicial complex for which the extremal example has more than one incomplete layer.
On the Recursive Behaviour of the Number of Irreducible Polynomials with Certain Properties over Finite Fields
Let $\mathbb{F}_q$ be the field with $q$ elements and of characteristic $p$. For $a\in\mathbb{F}_p$ consider the set \begin{equation*}
S_a(n)=\{f\in\mathbb{F}_q[x]\mid\operatorname{deg}(f)=n,~f\text{ irreducible, monic and} \operatorname{Tr}(f)=a\}. \end{equation*} In a recent paper, Robert Granger proved for $q=2$ and $n\ge 2$ that $|S_1(n)|-|S_0(n)|= 0$ if $2\nmid n$ and $|S_1(n)|-|S_0(n)|=|S_1(n/2)|$ if $2\mid n$.
We will prove a generalization of this result for all finite fields. This is possible due to an observation about the size of certain subsets of monic irreducible polynomials arising in the context of a group action of subgroups of $\operatorname{PGL}_2(\mathbb{F}_q)$ on monic polynomials. Additionally, it enables us to apply these methods to prove two further results that are very similar in nature.
Latin squares without proper subsquares
A $d$-dimensional Latin hypercube of order $n$ is a $d$-dimensional array containing symbols from a set of cardinality $n$ with the property that every axis-parallel line contains all $n$ symbols exactly once. We show that for $(n, d) \notin \{(4,2), (6,2)\}$ with $d \geq 2$ there exists a $d$-dimensional Latin hypercube of order $n$ that contains no $d$-dimensional Latin subhypercube of any order in $\{2,\dots,n-1\}$. The $d=2$ case settles a 50 year old conjecture by Hilton on the existence of Latin squares without proper subsquares.
Chern Numbers of Matroids
We define Chern numbers of a matroid. These numbers are obtained when intersecting appropriate matroid Chern-Schwartz-MacPherson cycles defined by López de Medrano, Rincón, and Shaw. We prove that when a matroid arises from a complex hyperplane arrangement the Chern numbers of the matroid correspond to the Chern numbers of the log cotangent bundle.
A matroid of rank 3 has two Chern numbers. We prove that they are positive and that their ratio is bounded by 3, which is analogous to the Bogomolov-Miyaoka-Yau inequality. If the matroid is orientable, we generalize a result of Eterović, Figuera, and Urzúa to prove that the ratio is bounded above by 5/2. Finally, we give a formula for the Chern numbers of the uniform matroid of any rank.
A Study on Filter Version of Strongly Central Sets
Using the notions of Topological dynamics, H. Furstenberg defined central sets and proved the Central Sets Theorem. Later V. Bergelson and N. Hindman characterized central sets in terms of algebra of the Stone-Čech compactification of discrete semigroup. They found that central sets are the members of the minimal idempotents of \b{eta}S, the Stone-Čech compactification of a semigroup (S, .). Hindman and leader introduced the notion of Central set near zero algebraically. Later dynamical and combinatorial characterization have also been established. For any given filter F in S a set A is said to be a F- central set if it is a member of a minimal idempotent of a closed subsemigroup of \b{eta}S, generated by the filter F. In a recent article Bergelson, Hindman and Strauss introduced strongly central and very strongly central sets in [BHS]. They also dynamically characterized the sets in the same paper. In the present article we will characterize the strongly F- central sets dynamically and combinatorially. Here we introduce the filter version of strongly central sets and very strongly central sets. We also provide dynamical and combinatorial characterization of such sets.
Scaling limit of the cluster size distribution for the random current measure on the complete graph
Published
• View Publication
• BIB
We study the percolation configuration arising from the random current representation of the near-critical Ising model on the complete graph. We compute the scaling limit of the cluster size distribution for an arbitrary set of sources in the single and the double current measures. As a byproduct, we compute the tangling probabilities recently introduced by Gunaratnam, Panagiotis, Panis, and Severo in [GPPS22]. This provides a new perspective on the switching lemma for the $\varphi^4$ model introduced in the same paper: in the Gaussian limit we recover Wick's law, while in the Ising limit we recover the corresponding tool for the Ising model.
Efficient Enumeration of Drawings and Combinatorial Structures for Maximal Planar Graphs
Published
• View Publication
• BIB
We propose efficient algorithms for enumerating the notorious combinatorial structures of maximal planar graphs, called canonical orderings and Schnyder woods, and the related classical graph drawings by de Fraysseix, Pach, and Pollack [Combinatorica, 1990] and by Schnyder [SODA, 1990], called canonical drawings and Schnyder drawings, respectively. To this aim (i) we devise an algorithm for enumerating special $e$-bipolar orientations of maximal planar graphs, called canonical orientations; (ii) we establish bijections between canonical orientations and canonical drawings, and between canonical orientations and Schnyder drawings; and (iii) we exploit the known correspondence between canonical orientations and canonical orderings, and the known bijection between canonical orientations and Schnyder woods. All our enumeration algorithms have $O(n)$ setup time, space usage, and delay between any two consecutively listed outputs, for an $n$-vertex maximal planar graph.
Hereditary Nordhaus-Gaddum Graphs
Published
• View Publication
• BIB
Nordhaus and Gaddum proved in 1956 that the sum of the chromatic number $χ$ of a graph $G$ and its complement is at most $|G|+1$. The Nordhaus-Gaddum graphs are the class of graphs satisfying this inequality with equality, and are well-understood. In this paper we consider a hereditary generalization: graphs $G$ for which all induced subgraphs $H$ of $G$ satisfy $χ(H) + χ(\overline{H}) \le |H|$. We characterize the forbidden induced subgraphs of this class and find its intersection with a number of common classes, including line graphs. We also discuss $χ$-boundedness and algorithmic results.
Estimating systemic importance with missing data in input-output graphs
In the context of the Cobb-Douglas productivity model we consider the $N \times N$ input-output linkage matrix $W$ for a network of $N$ firms $f_1, f_2, \cdots, f_N$. The associated influence vector $v_w$ of $W$ is defined in terms of the Leontief inverse $L_W$ of $W$ as $v_W = \fracα{N} L_W \vec{\mathbf{1}}$ where $L_W = (I - (1-α) W')^{-1}$, $W'$ denotes the transpose of $W$ and $I$ is the identity matrix. Here $\vec{\mathbf{1}}$ is the $N \times 1$ vector whose entries are all one. The influence vector is a metric of the importance for the firms in the production network. Under the realistic assumption that the data to compute the influence vector is incomplete, we prove bounds on the worst-case error for the influence vector that are sharp up to a constant factor. We also consider the situation where the missing data is binomially distributed and contextualize the bound on the influence vector accordingly. We also investigate how far off the influence vector can be when we only have data on nodes and connections that are within distance $k$ of some source node. A comparison of our results is juxtaposed against PageRank analogues. We close with a discussion on a possible extension beyond Cobb-Douglas to the Constant Elasticity of Substitution model, as well as the possibility of considering other probability distributions for missing data.
Binomial sum relations involving Fibonacci and Lucas numbers
Published
• View Publication
• BIB
In this paper, we introduce relations between binomial sums involving (generalized) Fibonacci and Lucas numbers, and different kinds of binomial coefficients. We also present some relations between sums with two and three binomial coefficients. In the course of exploration we rediscover a few relations presented as problem proposals.
Consistent Dimer Models on Surfaces with Boundary
Published in Forum of Mathematics, Sigma 13 (2025) e114
• View Publication
• BIB
A dimer model is a quiver with faces embedded in a surface. We define and investigate notions of consistency for dimer models on general surfaces with boundary which restrict to well-studied consistency conditions in the disk and torus case. We define weak consistency in terms of the associated dimer algebra and show that it is equivalent to the absence of bad configurations on the strand diagram. In the disk and torus case, weakly consistent models are nondegenerate, meaning that every arrow is contained in a perfect matching; this is not true for general surfaces. Strong consistency is defined to require weak consistency as well as nondegeneracy. We prove that the completed as well as the noncompleted dimer algebra of a strongly consistent dimer model are bimodule internally 3-Calabi-Yau with respect to their boundary idempotents. As a consequence, the Gorenstein-projective module category of the completed boundary algebra of suitable dimer models categorifies the cluster algebra given by their underlying quiver. We provide additional consequences of weak and strong consistency, including that one may reduce a strongly consistent dimer model by removing digons and that consistency behaves well under taking dimer submodels.
Conjectures on union-closed families of sets
Published in Graduate Journal of Mathematics, Volume 9, Issue 1 (2024), 51-59
• Search Publication
A family of sets $\mathcal{A}$ is union-closed if it is finite and nonempty with member sets that are all finite and distinct (at least one of which is nonempty) and it satisfies the property $X, Y \in \mathcal{A} \implies X \cup Y \in \mathcal{A}$. Let $\binom{S}{k}$ be the set of all $k$-element subsets of a set $S$, and let $[n]=\{1,2,\cdots,n\}$ represent $\bigcup_{A \in \mathcal{A}}A$. Further, let $\mathcal{A}_B=\{A\in\mathcal{A} \ | \ A \cap B = B\}$ and $\mathcal{A}_{\underline{B}}=\{A\in\mathcal{A} \ | \ A \cap B = \emptyset\}$. We consider, for any union-closed family $\mathcal{A}$, the class of conjectures $\textrm{UC}_x \colon \ \exists B \in \binom{[n]}{n-x+1} \ | \ |\mathcal{A}_B| \geq |\mathcal{A}_{\underline{B}}|$, where $x \in [n]$. The extremal case $x=n$ is equivalent to the union-closed sets conjecture, also known as Frankl's conjecture, which states that there exists an element of $[n]$ that is in at least $\frac{|\mathcal{A}|}{2}$ member sets of $\mathcal{A}$. We prove $\textrm{UC}_x$ for $x \in [\lceil \frac{n}{3} \rceil + 1]$, and also investigate two strengthenings of the union-closed sets conjecture.
Generalized spectral characterization of signed trees
Published
• View Publication
• BIB
Let $T$ be a tree with an irreducible characteristic polynomial $φ(x)$ over $\mathbb{Q}$. Let $Δ(T)$ be the discriminant of $φ(x)$. It is proved that if $2^{-\frac n2}\sqrt{Δ(T)}$ (which is always an integer) is odd and square free, then every signed tree with underlying graph $T$ is determined by its generalized spectrum.
Duality and $χ^<$-Boundedness of Ordered Graphs
We show that there exists only one duality pair for ordered graphs. We will also define a corresponding definition of $χ^<$-boundedness for ordered graphs and show that all ordered graphs are $χ^<$-bounded and prove an analogy of Gyárfás-Sumner conjecture for ordered graphs. We also prove an analogy of Sparse Incomparability Lemma for ordered graphs. We then use this result to show classes of ordered graphs that form a dense order under ordered homomorphisms. We also show that compared to graphs, ordered graphs have more gaps, defined by consecutive monotone matchings and by even more generic pairs of ordered graphs differing by one isolated edge.
The generalized 4-connectivity of burnt pancake graphs
Published
• View Publication
• BIB
The generalized $k$-connectivity of a graph $G$, denoted by $κ_k(G)$, is the minimum number of internally edge disjoint $S$-trees for any $S\subseteq V(G)$ and $|S|=k$. The generalized $k$-connectivity is a natural extension of the classical connectivity and plays a key role in applications related to the modern interconnection networks. An $n$-dimensional burnt pancake graph $BP_n$ is a Cayley graph which posses many desirable properties. In this paper, we try to evaluate the reliability of $BP_n$ by investigating its generalized 4-connectivity. By introducing the notation of inclusive tree and by studying structural properties of $BP_n$, we show that $κ_4(BP_n)=n-1$ for $n\ge 2$, that is, for any four vertices in $BP_n$, there exist ($n-1$) internally edge disjoint trees connecting them in $BP_n$.
Beyond the Pseudoforest Strong Nine Dragon Tree Theorem
Published in European Journal of Combinatorics 2025
• View Publication
• BIB
The pseudoforest version of the Strong Nine Dragon Tree Conjecture states that if a graph $G$ has maximum average degree $\text{mad}(G) = 2 \max_{H \subseteq G} \frac{e(G)}{v(G)}$ at most $2(k + \frac{d}{k+d+1})$, then it has a decomposition into $k+1$ pseudoforests where in one pseudoforest $F$ the components of $F$ have at most $d$ edges. This was proven in 2020. We strengthen this theorem by showing that we can find such a decomposition where additionally $F$ is acyclic, the diameter of the components of $F$ is at most $2\ell + 2$, where $\ell = \lfloor\frac{d-1}{k+1} \rfloor$, and at most $2\ell + 1$ if $d \equiv 1 \bmod k+1$. Furthermore, for any component $K$ of $F$ and any $z \in \mathbb N$, we have $diam(K) \leq 2z$ if $e(K) \geq d - z(k-1) + 1$. We also show that both diameter bounds are best possible as an extension for both the Strong Nine Dragon Tree Conjecture for pseudoforests and its original conjecture for forests. In fact, they are still optimal even if we only enforce $F$ to have any constant maximum degree, instead of enforcing every component of $F$ to have at most $d$ edges.
1-planar unit distance graphs
A matchstick graph is a plane graph with edges drawn as unit distance line segments. This class of graphs was introduced by Harborth who conjectured that a matchstick graph on $n$ vertices can have at most $\lfloor 3n - \sqrt{12n - 3}\rfloor$ edges. Recently, his conjecture was settled by Lavollée and Swanepoel. In this paper we consider $1$-planar unit distance graphs. We say that a graph is a $1$-planar unit distance graph if it can be drawn in the plane such that all edges are drawn as unit distance line segments while each of them are involved in at most one crossing. We show that such graphs on $n$ vertices can have at most $3n-\sqrt[4]{n}/15$ edges, which is almost tight. We also investigate some generalizations, namely $k$-planar and $k$-quasiplanar unit distance graphs.
Constrained Flows in Networks
Published
• View Publication
• BIB
The support of a flow $x$ in a network is the subdigraph induced by the arcs $uv$ for which $x(uv)>0$. We discuss a number of results on flows in networks where we put certain restrictions on structure of the support of the flow. Many of these problems are NP-hard because they generalize linkage problems for digraphs. For example deciding whether a network ${\cal N}=(D,s,t,c)$ has a maximum flow $x$ such that the maximum out-degree of the support $D_x$ of $x$ is at most 2 is NP-complete as it contains the 2-linkage problem as a very special case. Another problem which is NP-complete for the same reason is that of computing the maximum flow we can send from $s$ to $t$ along $p$ paths (called a maximum {\bf $p$-path-flow}) in ${\cal N}$. Baier et al. (2005) gave a polynomial time algorithm which finds a $p$-path-flow $x$ whose value is at least $\frac{2}{3}$ of the value of a optimum $p$-path-flow when $p\in \{2,3\}$, and at least $\frac{1}{2}$ when $p\geq 4$. When $p=2$, they show that this is best possible unless P=NP. We show for each $p\geq 2$ that the value of a maximum $p$-path-flow cannot be approximated by any ratio larger than $\frac{9}{11}$, unless P=NP. We also consider a variant of the problem where the $p$ paths must be disjoint. For this problem, we give an algorithm which gets within a factor $\frac{1}{H(p)}$ of the optimum solution, where $H(p)$ is the $p$'th harmonic number ($H(p) \sim \ln(p)$). We show that in the case where the network is acyclic, we can find such a maximum $p$-path-flow in polynomial time for every $p$. We determine the complexity of a number of related problems concerning the structure of flows. For the special case of acyclic digraphs, some of the results we obtain are in some sense best possible.
The $(α,β)$-Eulerian Polynomials and Descent-Stirling Statistics on Permutations
Published
• View Publication
• BIB
Carlitz and Scoville introduced the polynomials $A_n(x,y|α,β)$, which we refer to as the $(α, β)$-Eulerian polynomials. These polynomials count permutations based on Eulerian-Stirling statistics, including descents, ascents, left-to-right maxima, and right-to-left maxima. Carlitz and Scoville obtained the generating function of $A_n(x,y|α,β)$. In this paper, we introduce a new family of polynomials, $P_n(u_1,u_2,u_3,u_4|α,β)$, defined on permutations, incorporating descent-Stirling statistics including valleys, exterior peaks, right double descents, left double ascents, left-to-right maxima, and right-to-left maxima. By employing the grammatical calculus introduced by Chen, we establish the connection between the generating function of $P_n(u_1,u_2,u_3,u_4|α,β)$ and the generating function of the $(α,β)$-Eulerian polynomials $A_n(x,y|α,β)$ introduced by Carlitz and Scoville. Using this connection, we derive the generating function of $P_n(u_1,u_2,u_3,u_4|α,β)$, which can be specialized to obtain the $(α,β)$-extensions of generating functions for peaks, left peaks, double ascents, right double ascents and left-right double ascents given by David-Barton, Elizalde and Noy, Entringer, Gessel, Kitaev and Zhuang. Moreover, we establish two relations between $P_n(u_1,u_2,u_3,u_4|α,β)$ and $A_n(x,y|α,β)$, which enable us to derive $(α,β)$-extensions of results of Stembridge, Petersen, Brändén, and Zhuang. Specializing $(α,β)$-extensions of Stembridge's formula and the left peak version of Stembridge's formula allows us to derive the $(α,β)$-extensions of the tangent and secant numbers.