Showing 20 papers (Total: 82374 papers, 47635 authors in database)
Categorical view of the Partite Lemma in structural Ramsey Theory
Published
• View Publication
• BIB
We construct of the main object of the Partite Lemma as the colimit over a certain diagram. This gives a purely category theoretic take on the Partite Lemma and establishes the canonicity of the object. Additionally, the categorical point of view allows us to unify the direct Partite Lemma in the Nešetřil--Rödl Theorem with the dual Paritite Lemma by Solecki.
Universality for low degree factors of random polynomials over finite fields
Published
• View Publication
• BIB
We show that the counts of low degree irreducible factors of a random polynomial $f$ over $\mathbb{F}_q$ with independent but non-uniform coefficients behave like that of a uniform random polynomial, exhibiting a form of universality for random polynomials over finite fields. Our strongest results require various assumptions on the parameters, but we are able to obtain results requiring only $q=p$ a prime with $p\leq \exp({n^{1/13}})$ where $n$ is the degree of the polynomial. Our proofs use Fourier analysis, and rely on tools recently applied by Breuillard and Varjú to study the $ax+b$ process, which show equidistribution for $f(α)$ at a single point. We extend this to handle multiple roots and the Hasse derivatives of $f$, which allow us to study the irreducible factors with multiplicity.
The girths of the cubic Pancake graphs
Published in Trudy Instituta Matematiki i Mekhaniki UrO RAN, 2022
• View Publication
• BIB
The Pancake graphs $P_n, n\geqslant 2$, are Cayley graphs over the symmetric group $\mathrm{Sym}_n$ generated by prefix-reversals. There are six generating sets of prefix-reversals of cardinality three which give connected Cayley graphs over the symmetric group known as cubic Pancake graphs. In this paper we study the girth of the cubic Pancake graphs. It is proved that considered cubic Pancake graphs have the girths at most twelve.
Self-Adaptive Binary-Addition-Tree Algorithm-Based Novel Monte Carlo Simulation for Binary-State Network Reliability Approximation
Published
• View Publication
• BIB
The Monte Carlo simulation (MCS) is a statistical methodology used in a large number of applications. It uses repeated random sampling to solve problems with a probability interpretation to obtain high-quality numerical results. The MCS is simple and easy to develop, implement, and apply. However, its computational cost and total runtime can be quite high as it requires many samples to obtain an accurate approximation with low variance. In this paper, a novel MCS, called the self-adaptive BAT-MCS, based on the binary-adaption-tree algorithm (BAT) and our proposed self-adaptive simulation-number algorithm is proposed to simply and effectively reduce the run time and variance of the MCS. The proposed self-adaptive BAT-MCS was applied to a simple benchmark problem to demonstrate its application in network reliability. The statistical characteristics, including the expectation, variance, and simulation number, and the time complexity of the proposed self-adaptive BAT-MCS are discussed. Furthermore, its performance is compared to that of the traditional MCS extensively on a large-scale problem.
On Strict Brambles
Published
• View Publication
• BIB
A strict bramble of a graph $G$ is a collection of pairwise-intersecting connected subgraphs of $G.$ The order of a strict bramble ${\cal B}$ is the minimum size of a set of vertices intersecting all sets of ${\cal B}.$ The strict bramble number of $G,$ denoted by ${\sf sbn}(G),$ is the maximum order of a strict bramble in $G.$ The strict bramble number of $G$ can be seen as a way to extend the notion of acyclicity, departing from the fact that (non-empty) acyclic graphs are exactly the graphs where every strict bramble has order one. We initiate the study of this graph parameter by providing three alternative definitions, each revealing different structural characteristics. The first is a min-max theorem asserting that ${\sf sbn}(G)$ is equal to the minimum $k$ for which $G$ is a minor of the lexicographic product of a tree and a clique on $k$ vertices (also known as the lexicographic tree product number). The second characterization is in terms of a new variant of a tree decomposition called lenient tree decomposition. We prove that ${\sf sbn}(G)$ is equal to the minimum $k$ for which there exists a lenient tree decomposition of $G$ of width at most $k.$ The third characterization is in terms of extremal graphs. For this, we define, for each $k,$ the concept of a $k$-domino-tree and we prove that every edge-maximal graph of strict bramble number at most $k$ is a $k$-domino-tree. We also identify three graphs that constitute the minor-obstruction set of the class of graphs with strict bramble number at most two. We complete our results by proving that, given some $G$ and $k,$ deciding whether ${\sf sbn}(G) \leq k$ is an ${\sf NP}$-complete problem.
Generalized weights of codes over rings and invariants of monomial ideals
Published
• View Publication
• BIB
We develop an algebraic theory of supports for $R$-linear codes of fixed length, where $R$ is a finite commutative unitary ring. A support naturally induces a notion of generalized weights and allows one to associate a monomial ideal to a code. Our main result states that, under suitable assumptions, the generalized weights of a code can be obtained from the graded Betti numbers of its associated monomial ideal. In the case of $\mathbb{F}_q$-linear codes endowed with the Hamming metric, the ideal coincides with the Stanley-Reisner ideal of the matroid associated to the code via its parity-check matrix. In this special setting, we recover the known result that the generalized weights of an $\mathbb{F}_q$-linear code can be obtained from the graded Betti numbers of the ideal of the matroid associated to the code. We also study subcodes and codewords of minimal support in a code, proving that a large class of $R$-linear codes is generated by its codewords of minimal support.
Orientation-preserving and orientation-reversing mappings: a new description
Published
• View Publication
• BIB
We characterise the respective semigroups of mappings that preserve, or that preserve or reverse orientation of a finite cycle, in terms of their actions on oriented triples and oriented quadruples. This leads to a proof that the latter semigroup coincides with the semigroup of all mappings that preserve intersections of chords on the corresponding circle.
Zeon and Idem-Clifford Formulations of Hypergraph Problems
Published in Adv. Appl. Clifford Algebras 32, 61 (2022)
• View Publication
• BIB
Zeon algebras have proven to be useful for enumerating structures in graphs, such as paths, trails, cycles, matchings, cliques, and independent sets. In contrast to an ordinary graph, in which each edge connects exactly two vertices, an edge (or, "hyperedge") can join any number of vertices in a hypergraph. In game theory, hypergraphs are called simple games. Hypergraphs have been used for problems in biology, chemistry, image processing, wireless networks, and more. In the current work, zeon ("nil-Clifford") and "idem-Clifford" graph-theoretic methods are generalized to hypergraphs. In particular, zeon and idem-Clifford methods are used to enumerate paths, trails, independent sets, cliques, and matchings in hypergraphs. An approach for finding minimum hypergraph transversals is developed, and zeon formulations of some open hypergraph problems are presented.
Generic 1-connectivity of flag domains in Hermitian symmetric spaces
Published in Journal of Lie Theory 32 (2022), No. 2, 553--561
• View Publication
• BIB
A flag domain is an open real group orbit in a complex flag manifold. It has been shown that a flag domain is either pseudoconvex or pseudoconcave. Moreover, generically 1-connected flag domains are pseudoconcave. In this study, for flag domains contained in irreducible Hermitian symmetric spaces of type AIII or CI, we determine which pseudoconcave flag domain is generically 1-connected.
The maximum degree of a minimally hamiltonian-connected graph
Published
• View Publication
• BIB
We determine the possible maximum degrees of a minimally hamiltonian-connected graph with a given order. This answers a question posed by Modalleliyan and Omoomi in 2016. We also pose two unsolved problems.
On Toeplitz graphs being line graphs
A Toeplitz graph $T_n \langle t_1,t_2,\ldots,t_k\rangle$ is a simple graph with the vertex set $[n]$ such that two vertices $v$ and $w$ are adjacent if and only if $|v-w| = t_i$ for some $i \in [k]$.
In this paper, we investigate line Toeplitz graphs, which are Toeplitz graphs that happen to be line graphs.
We first show that for a sufficiently large $n$, the family of claw-free Toeplitz graphs of order $n$ is $T_n \langle t,2t,\ldots,kt\rangle$ for some nonnegative integers $t$ and $k$.
Interestingly, this family consists of a union of Toeplitz graphs each of which is isomorphic to a $k$-tree the notion of which was introduced by Patil in 1986.
Then we completely characterize $T_n \langle t,2t,\ldots,kt\rangle$ for any positive integer $n$ that is a line graph.
Furthermore, we provide a comprehensive description of a line Toeplitz graph $T_n \langle t_1,t_2\rangle$ and $T_n \langle t_1,t_2,t_3\rangle$.
In general, line Toeplitz graph seems very challenging to characterize completely. Even for $T_n \langle t_1,t_2,t_3\rangle$, it was not easy to do so.
It is also worth mentioning that there is a line Toeplitz graph that is not in the form $T_n \langle t,2t,3t\rangle$.
Concatenations of Terms of an Arithmetic Progression
Published
• View Publication
• BIB
Let $(u(n))_{n\in\mathbb{N}}$ be an arithmetic progression of natural integers in base $b\in\mathbb{N}\setminus \{0,1\}$. We consider the following sequences: $s(n)=\overline{u(0)u(1)\cdots u(n) }^b$ formed by concatenating the first $n+1$ terms of $(u(n))_{n\in\mathbb{N}}$ in base $b$ from the right; $s_g(n) = \overline{u(n)u(n-1)\cdots u(0)}^b$; and $(s_*(n))_{n\in\mathbb{N}}$, given by $s_*(0)=u(0)$, $s_*(n)=\overline{s(n)s_g(n-1)}^b, n\geq 1$. We construct explicit formulae for these sequences and use basic concepts of linear difference operators to prove they are not P-recursive (holonomic). We also present an alternative proof that follows directly from their definitions. We implemented $(s(n))_{n\in\mathbb{N}}$ and $(s_g(n))_{n\in\mathbb{N}}$ in the decimal base when $(u(n))_{n\in\mathbb{N}}=\mathbb{N}\setminus \{0\}$.
On the $x$-$y$ Symmetry of Correlators in Topological Recursion via Loop Insertion Operator
Published in Commun. Math. Phys. 405, 166 (2024)
• View Publication
• BIB
Topological Recursion generates a family of symmetric differential forms (correlators) from some initial data $(Σ,x,y,B)$. We give a functional relation between the correlators of genus $g=0$ generated by the initial data $(Σ,x,y,B)$ and by the initial data $(Σ,y,x,B)$, where $x$ and $y$ are interchanged. The functional relation is derived with the loop insertion operator by computing a functional relation for some intermediate correlators. Additionally, we show that our result is equivalent to the recent result of \cite{Borot:2021thu} in case of $g=0$. Consequently, we are providing a simplified functional relation between generating series of higher order free cumulants and moments in higher order free probability.
Tridendriform algebras on hypergraph polytopes
Published
• View Publication
• BIB
We extend the works of Loday-Ronco and Burgunder-Ronco on the tridendriform decomposition of the shuffle product on the faces of associahedra and permutohedra, to other families of hypergraph polytopes (or nestohedra), including simplices, hypercubes and some new families. We also extend the shuffle product to take more than two arguments, and define accordingly a new algebraic structure, that we call polydendriform, from which the original tridendriform equations can be crisply synthesized.
The random cluster model on the complete graph via large deviations
Published
• View Publication
• BIB
We study the emergence of the giant component in the random cluster model on the complete graph, which was first studied by Bollobás, Grimmett, and Janson. We give an alternative analysis using a thermodynamic/large deviations approach introduced by Biskup, Chayes, and Smith for the case of percolation. In particular, we compute the rate function for large deviations of the size of the largest connected component of the random graph for $q\geq 1$.
Upper and Lower Bounds for Generalized Wiener Indices on unicyclic graphs
The aim of this paper is to obtain new inequalities for a large family of generalizations of the Wiener Index and to characterize the set of extremal graphs with respect to them. Our main results provide upper and lower bounds for these topological indices on unicyclic graphs.
On (almost) $2$-$Y$-homogeneous distance-biregular graphs
Let $Γ$ denote a bipartite graph with vertex set $X$, color partitions $Y$, $Y'$, and assume that every vertex in $Y$ has eccentricity $D\ge 3$. For $z\in X$ and a non-negative integer $i$, let $Γ_{i}(z)$ denote the set of vertices in $X$ that are at distance $i$ from $z$. Graph $Γ$ is almost $2$-$Y$-homogeneous whenever for all $i \; (1\leq i \leq D-2)$ and for all $x\in Y$, $y \in Γ_2(x)$ and $z \in Γ_{i}(x)\capΓ_i(y)$, the number of common neighbours of $x$ and $y$ which are at distance $i-1$ from $z$ is independent of the choice of $x$, $y$ and $z$. In addition, if the above condition holds also for $i=D-1$, then we say that $Γ$ is $2$-$Y$-homogeneous.
Now, let $Γ$ denote a distance-biregular graph. In this paper we study the intersection arrays of $Γ$ and we give sufficient and necessary conditions under which $Γ$ is (almost) $2$-$Y$-homogeneous. In the case when $Γ$ is $2$-$Y$-homogeneous we write the intersection numbers of the color class $Y$ in terms of three parameters.
On the direct and inverse zero-sum problems over $C_n \rtimes_s C_2$
Published
• View Publication
• BIB
Let $C_n$ be the cyclic group of order $n$. In this paper, we provide the exact values of some zero-sum constants over $C_n \rtimes_s C_2$ where $s \not\equiv \pm1 \pmod n$, namely $η$-constant, Gao constant, and Erdős-Ginzburg-Ziv constant (the latter for all but a "small" family of cases). As a consequence, we prove the Gao's and Zhuang-Gao's Conjectures for groups of this form. We also solve the associated inverse problems by characterizing the structure of product-one free sequences over $C_n \rtimes_s C_2$ of maximum length.
On the number of star-shaped classes in optimal colorings of Kneser graphs
Published
• View Publication
• BIB
A family of sets is called star-shaped if all the members of the family have a point in common. The main aim of this paper is to provide a negative answer to the following question raised by James Aisenberg et al [Short proofs of the kneser-Lovasz coloring principle, Information and Computation, 261:296-310, 2018.], for the case k=2.
Quivers from non-orientable surfaces
We associate a quiver to a quasi-triangulation of a non-orientable marked surface and define a notion of quiver mutation that is compatible with quasi-cluster algebra mutation defined by Dupont and Palesi. Moreover, we use our quiver to show the unistructurality of the quasi-cluster algebra arising from the Mobius strip.