Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The Terwilliger algebra of the doubled Odd graph
Let $2.O_{m+1}$ denote the doubled Odd graph with vertex set $X$ on a set of cardinality $2m+1$, where $m\geq 1$. Fix a vertex $x_0\in X$. Let $\mathcal{A}:=\mathcal{A}(x_0)$ denote the centralizer algebra of the stabilizer of $x_0$ in the automorphism group of $2.O_{m+1}$, and $T:=T(x_0)$ the Terwilliger algebra of $2.O_{m+1}$. In this paper, we first give a basis of $\mathcal{A}$ by considering the action of the stabilizer of $x_0$ on $X\times X$ and determine the dimension of $\mathcal{A}$. Furthermore, we give three subalgebras of $\mathcal{A}$ such that their direct sum is $\mathcal{A}$ as vector space. Next, for $m\geq 3$ we find all isomorphism classes of irreducible $T$-modules to display the decomposition of $T$ in a block-diagonalization form. Finally, we show that the two algebras $\mathcal{A}$ and $T$ coincide. This result tells us that the graph $2.O_{m+1}$ may be the first example of bipartite but not $Q$-polynomial distance-transitive graph for which the corresponding centralizer algebra and Terwilliger algebra are equal.
Another Approach on Power Sums
We show that explicit forms for certain polynomials~$ψ^{(a)}_m(n)$ with the property \[ ψ^{(a+1)}_m(n) = \sum_{ν=1}^n ψ_m^{(a)}(ν) \] can be found (here, $a,m,n\in\mathbb{N}_0$). We use these polynomials as a basis to express the monomials~$n^m$. Once the expansion coefficients are determined, we can express the $m$-th power sums~$S^{(a)}_m(n)$ of any order $a$, \[ S^{(a)}_m(n) = \sum_{ν_a = 1}^n \cdots \sum_{ν_2 = 1}^{ν_3} \sum_{ν_1=1}^{ν_2} ν_1^m, \] in a very convenient way by exploiting the summation property of the $ψ_m^{(a)}$, \[ S^{(a)}_m(n) = \sum_k c_{mk} ψ_k^{(a)}(n). \]
Many regular triangulations and many polytopes
Published in Math. Ann. 389 (2024), 745-763
• View Publication
• BIB
We show that for fixed $d>3$ and $n$ growing to infinity there are at least $(n!)^{d-2 \pm o(1)}$ different labeled combinatorial types of $d$-polytopes with $n$ vertices. This is about the square of the previous best lower bounds. As an intermediate step, we show that certain neighborly polytopes (such as particular realizations of cyclic polytopes) have at least $(n!)^{ \lfloor(d-1)/2\rfloor \pm o(1)}$ regular triangulations.
Motzkin numbers and flag codes
Motzkin numbers have been widely studied since they count many different combinatorial objects. In this paper we present a new appearance of this remarkable sequence in the network coding setting through a particular case of multishot codes called flag codes. A flag code is a set of sequences of nested subspaces (flags) of a vector space over the finite field $\mathbb{F}_q$. If the list of dimensions is $(1, \dots, n-1)$, we speak about a full flag code. The flag distance is defined as the sum of the respective subspace distances and can be represented by means of the so-called distance vectors. We show that the number of distance vectors corresponding to the full flag variety on $\mathbb{F}_q^n$ is exactly the $n$-th Motzkin number. Moreover, we can identify the integer sequence that counts the number of possible distance vectors associated to a full flag code with prescribed minimum distance.
On unigraphic $3$-polytopes of radius one
We ask which degree sequences admit a unique realisation as a $3$-polytopal graph (polyhedron) on $p$ vertices. We give an exhaustive list of these sequences for the case where one degree equals $p-1$ and exactly two or three of them equal $3$. We also find all $3$-polytopes of radius one with $p\leq 17$, and those with $q\leq 41$ edges, by developing a fast algorithm and making use of High Performance Computing.
Extension of sectional pseudocomplementation in posets
Sectional pseudocomplementation (sp-complementation) on a poset is a partial operation $*$ which associates with every pair $(x,y)$ of elements, where $x \ge y$, the pseudocomplement $x*y$ of $x$ in the upper section $[y)$. Any total extension $\to$ of $*$ is said to be an extended sp-complementation and is considered as an implication-like operation. Extended sp-complementations have already be studied on semilattices and lattices. We describe several naturally arising classes of general posets with extended sp-complementation, present respective elementary properties of this operation, demonstrate that two other known attempts to isolate particular such classes are in fact not quite correct, and suggest suitable improvements.
Small subgraphs with large average degree
Published
• View Publication
• BIB
In this paper we study the fundamental problem of finding small dense subgraphs in a given graph. For a real number $s>2$, we prove that every graph on $n$ vertices with average degree at least $d$ contains a subgraph of average degree at least $s$ on at most $nd^{-\frac{s}{s-2}}(\log d)^{O_s(1)}$ vertices. This is optimal up to the polylogarithmic factor, and resolves a conjecture of Feige and Wagner. In addition, we show that every graph with $n$ vertices and average degree at least $n^{1-\frac{2}{s}+\varepsilon}$ contains a subgraph of average degree at least $s$ on $O_{\varepsilon,s}(1)$ vertices, which is also optimal up to the constant hidden in the $O(.)$ notation, and resolves a conjecture of Verstraëte.
Maximum size of a triangle-free graph with bounded maximum degree and matching number
Published
• View Publication
• BIB
Determining the maximum number of edges under degree and matching number constraints have been solved for general graphs by Chvátal and Hanson (1976), and by Balachandran and Khare (2009). It follows from the structure of those extremal graphs that deciding whether this maximum number decreases or not when restricted to claw-free graphs, to $C_4$-free graphs or to triangle-free graphs are separately interesting research questions. The first two cases being already settled, respectively by Dibek, Ekim and Heggernes (2017), and by Blair, Heggernes, Lima and D.Lokshtanov (2020). In this paper we focus on triangle-free graphs. We show that unlike most cases for claw-free graphs and $C_4$-free graphs, forbidding triangles from extremal graphs causes a strict decrease in the number of edges and adds to the hardness of the problem. We provide a formula giving the maximum number of edges in a triangle-free graph with degree at most $d$ and matching number at most $m$ for all cases where $d\geq m$, and for the cases where $d<m$ with either $d\leq 6$ or $Z(d)\leq m < 2d$ where $Z(d)$ is a function of $d$ which is roughly $5d/4$. We also provide an integer programming formulation for the remaining cases and as a result of further discussion on this formulation, we conjecture that our formula giving the size of triangle-free extremal graphs is also valid for these open cases.
Hierarchies of Minion Tests for PCSPs through Tensors
Published
• View Publication
• BIB
We provide a unified framework to study hierarchies of relaxations for Constraint Satisfaction Problems and their Promise variant. The idea is to split the description of a hierarchy into an algebraic part, depending on a minion capturing the "base level", and a geometric part - which we call tensorisation - inspired by multilinear algebra. We exploit the geometry of the tensor spaces arising from our construction to prove general properties of hierarchies. We identify certain classes of minions, which we call linear and conic, whose corresponding hierarchies have particularly fine features. We establish that the (combinatorial) bounded width, Sherali-Adams LP, affine IP, Sum-of-Squares SDP, and combined "LP + affine IP" hierarchies are all captured by this framework. In particular, in order to analyse the Sum-of-Squares SDP hierarchy, we also characterise the solvability of the standard SDP relaxation through a new minion.
Permutons, meanders, and SLE-decorated Liouville quantum gravity
Published
• View Publication
• BIB
We study a class of random permutons which can be constructed from a pair of space-filling Schramm-Loewner evolution (SLE) curves on a Liouville quantum gravity (LQG) surface. This class includes the skew Brownian permutons introduced by Borga (2021), which describe the scaling limit of various types of random pattern-avoiding permutations. Another interesting permuton in our class is the meandric permuton, which corresponds to two independent SLE$_8$ curves on a $γ$-LQG surface with $γ= \sqrt{\frac13 \left( 17 - \sqrt{145} \right)}$. Building on work by Di Francesco, Golinelli, and Guitter (2000), we conjecture that the meandric permuton describes the scaling limit of uniform meandric permutations, i.e., the permutations induced by a simple loop in the plane which crosses a line a specified number of times.
We show that for any sequence of random permutations which converges to one of the above random permutons, the length of the longest increasing subsequence is sublinear. This proves that the length of the longest increasing subsequence is sublinear for Baxter, strong-Baxter, and semi-Baxter permutations and leads to the conjecture that the same is true for meandric permutations. We also prove that the closed support of each of the random permutons in our class has Hausdorff dimension one. Finally, we prove a re-rooting invariance property for the meandric permuton and write down a formula for its expected pattern densities in terms of LQG correlation functions (which are known explicitly) and the probability that an SLE$_8$ hits a given set of points in numerical order (which is not known explicitly). We conclude with a list of open problems.
Many cliques in bounded-degree hypergraphs
Published in SIAM Journal on Discrete Mathematics, Volume 37, Issue 3 (2023), pages 1436-1456
• View Publication
• BIB
Recently Chase determined the maximum possible number of cliques of size $t$ in a graph on $n$ vertices with given maximum degree. Soon afterward, Chakraborti and Chen answered the version of this question in which we ask that the graph have $m$ edges and fixed maximum degree (without imposing any constraint on the number of vertices). In this paper we address these problems on hypergraphs. For $s$-graphs with $s\ge 3$ a number of issues arise that do not appear in the graph case. For instance, for general $s$-graphs we can assign degrees to any $i$-subset of the vertex set with $1\le i\le s-1$.
We establish bounds on the number of $t$-cliques in an $s$-graph $\mathcal{H}$ with $i$-degree bounded by $Δ$ in three contexts: $\mathcal{H}$ has $n$ vertices; $\mathcal{H}$ has $m$ (hyper)edges; and (generalizing the previous case) $\mathcal{H}$ has a fixed number $p$ of $u$-cliques for some $u$ with $s\le u \le t$. When $Δ$ is of a special form we characterize the extremal $s$-graphs and prove that the bounds are tight. These extremal examples are the shadows of either Steiner systems or partial Steiner systems. On the way to proving our uniqueness results, we extend results of Füredi and Griggs on uniqueness in Kruskal-Katona from the shadow case to the clique case.
Derangements in wreath products of permutation groups
Published
• View Publication
• BIB
Given a finite group $G$ acting on a set $X$ let $δ_k(G,X)$ denote the proportion of elements in $G$ that have exactly $k$ fixed points in $X$. Let $\mathrm{S}_n$ denote the symmetric group acting on $[n]=\{1,2,\dots,n\}$. For $A\le\mathrm{S}_m$ and $B\le\mathrm{S}_n$, the permutational wreath product $A\wr B$ has two natural actions and we give formulas for both, $δ_k(A\wr B,[m]{\times}[n])$ and $δ_k(A\wr B,[m]^{[n]})$. We prove that for $k=0$ the values of these proportions are dense in the intervals $[δ_0(B,[n]),1]$ and $[δ_0(A,[m]),1]$. Among further result, we provide estimates for $δ_0(G,[m]^{[n]})$ for subgroups $G\leq \mathrm{S}_m\wr\mathrm{S}_n$ containing $\mathrm{A}_m^{[n]}$.
Non-normal edge rings satisfying $(S_2)$-condition
Let $G$ be a finite simple connected graph on the vertex set $V(G)=[d]=\{1,\dots ,d\}$, with edge set $E(G)=\{e_{1},\dots , e_{n}\}$. Let $K[\mathbf{t}]=K[t_{1},\dots , t_{d}]$ be the polynomial ring in $d$ variables over a field $K$. The edge ring of $G$ is the semigroup ring $K[G]$ generated by monomials $\mathbf{t}^{e}:=t_{i}t_{j}$, for $e=\{i,j\} \in E(G)$. In this paper, we will prove that, given integers $d$ and $n$, where $d\geq 7$ and $d+1\leq n\leq \frac{d^{2}-7d+24}{2}$, there exists a finite simple connected graph $G$ with $|V(G)|=d$ and $|E(G)|=n$, such that $K[G]$ is non-normal and satisfies $(S_{2})$-condition.
Global information from local observations of the noisy voter model on a graph
Published
• View Publication
• BIB
We observe the outcome of the discrete time noisy voter model at a single vertex of a graph. We show that certain pairs of graphs can be distinguished by the frequency of repetitions in the sequence of observations. We prove that this statistic is asymptotically normal and that it distinguishes between (asymptotically) almost all pairs of finite graphs. We conjecture that the noisy voter model distinguishes between any two graphs other than stars.
Refutation of Spectral Graph Theory Conjectures with Monte Carlo Search
Published
• View Publication
• BIB
We demonstrate how Monte Carlo Search (MCS) algorithms, namely Nested Monte Carlo Search (NMCS) and Nested Rollout Policy Adaptation (NRPA), can be used to build graphs and find counter-examples to spectral graph theory conjectures in minutes.
A Study Of Some Generalized Central Sets Theorem Along Phulara's Way
Published in Palestine Journal of Mathematics, 14(2) 2025, 410-415
• Search Publication
The Central Sets Theorem near zero was originally proved by Hindman and Leader. Later a version of Central Sets Theorem was proved by De, Hindman and Strauss known to be the stronger Central Sets Theorem. Subsequently many other versions of Central Sets Theorem came, among which Dev Phulara proved the theorem for a sequence of central sets instead of taking one set. In this paper, we provide various general versions of the theorem along Dev Phulara's way with some Ramsey theoretic applications.
The Terwilliger algebra of the Odd graph revisited from the viewpoint of group action
Let $O_{m+1}$ denote the Odd graph on a set of cardinality $2m+1$, where $m$ is a positive integer. Denote by $X$ its vertex set and by $T:=T(x_0)$ its Terwilliger algebra with respect to any fixed vertex $x_0\in X$. In this paper, we first prove that $T$ coincides with the centralizer algebra of the stabilizer of $x_0$ in the automorphism group of $O_{m+1}$ by considering the action of this automorphism group on $X\times X\times X$. Then we give the decomposition of $T$ for $m\geq 3$ by using all the homogeneous components of $V:=\mathbb{C}^X$, each of which is a nonzero subspace of $V$ spanned by the irreducible $T$-modules that are isomorphic. Finally, we display an orthogonal basis for every homogeneous component of $V$.
Bitangents to plane quartics via tropical geometry: rationality, $\mathbb{A}^1$-enumeration, and real signed count
Published in Res. Math. Sci. 10 (2023), no. 2, Paper No. 21
• View Publication
• BIB
We explore extensions of tropical methods to arithmetic enumerative problems such as $\mathbb{A}^1$-enumeration with values in the Grothendieck-Witt ring, and rationality over Henselian valued fields, using bitangents to plane quartics as a test case. We consider quartic curves over valued fields whose tropicalizations are smooth and satisfy a mild genericity condition. We then express obstructions to rationality of bitangents and their points of tangency in terms of twisting of edges of the tropicalization; the latter depends only on the tropicalization and the initial coefficients of the defining equation modulo squares. We also show that the GW-multiplicity of a tropical bitangent, i.e., the multiplicity with which its lifts contribute to the $\mathbb{A}^1$-enumeration of bitangents as defined by Larson and Vogt, can be computed from the tropicalization of the quartic together with the initial coefficients of the defining equation. As an application, we show that the four lifts of most tropical bitangent classes contribute $2\mathbb{H}$, twice the class of the hyperbolic plane, to the $\mathbb{A}^1$-enumeration. These results rely on a degeneration theorem relating the Grothendieck-Witt ring of a Henselian valued field to the Grothendieck-Witt ring of its residue field, in residue characteristic not equal to two.
Nodal domain theorem of signed hypergraphs
Published
• View Publication
• BIB
In 2001, Davies, Gladwell, Leydold, and Stadler proved discrete nodal domain theorems for eigenfunctions of generalized Laplacians. In 2019, Jost and Mulas generalized the normalized combinatorial Laplace operator of graphs to signed hypergraphs. In this paper, we establish nodal domain theorems for the normalized combinatorial Laplace operator in signed hypergraphs. We also obtain a lower bound estimates for the number of strong nodal domains.
The Binary Enots Wolley Sequence
It is an open conjecture that the Enots Wolley sequence is surjective onto the set of positive integers with a binary weight of at least 2. In this paper, this property is proved for an analog of the Enots Wolley sequence which operates on the binary representation of a number rather than the prime factorization.