Showing 20 papers (Total: 82000 papers, 47479 authors in database)
Additivity of symmetric and subspace designs
Published
• View Publication
• BIB
A $2$-$(v,k,λ)$ design is additive (or strongly additive) if it is possible to embed it in a suitable abelian group $G$ in such a way that its block set is contained in (or coincides with) the set of all the zero-sum $k$-subsets of $G$. Explicit results on the additivity or strong additivity of symmetric designs and subspace 2-designs are presented. In particular, the strong additivity of PG$_d(n,q)$, which was known to be additive only for $q=2$ or $d=n-1$, is always established.
Ehrhart quasi-polynomials and parallel translations
Published
• View Publication
• BIB
Given a rational polytope $P \subset \mathbb R^d$, the numerical function counting lattice points in the integral dilations of $P$ is known to become a quasi-polynomial, called the Ehrhart quasi-polynomial $\mathrm{ehr}_P$ of $P$. In this paper we study the following problem: Given a rational $d$-polytope $P \subset \mathbb R^d$, is there a nice way to know Ehrhart quasi-polynomials of translated polytopes $P+ \mathbf v$ for all $\mathbf v \in \mathbb Q^d$? We provide a way to compute such Ehrhart quasi-polynomials using a certain toric arrangement and lattice point counting functions of translated cones of $P$. This method allows us to visualize how constituent polynomials of $\mathrm{ehr}_{P+\mathbf v}$ change in the torus $\mathbb R^d/\mathbb Z^d$. We also prove that information of $\mathrm{ehr}_{P+\mathbf v}$ for all $\mathbf v \in \mathbb Q^d$ determines the rational $d$-polytope $P \subset \mathbb R^d$ up to translations by integer vectors, and characterize all rational $d$-polytopes $P \subset \mathbb R^d$ such that $\mathrm{ehr}_{P+\mathbf v}$ is symmetric for all $\mathbf v \in \mathbb Q^d$.
On short edges in complete topological graphs
Published
• View Publication
• BIB
Let $h(n)$ be the minimum integer such that every complete $n$-vertex simple topological graph contains an edge that crosses at most $h(n)$ other edges. In 2009, Kynčl and Valtr showed that $h(n) = O(n^2/\log^{1/4} n)$, and in the other direction, gave constructions showing that $h(n) = Ω(n^{3/2})$. In this paper, we prove that $h(n) = O(n^{7/4})$. Along the way, we establish a new variant of Chazelle and Welzl's matching theorem for set systems with bounded VC-dimension, which we believe to be of independent interest.
On Ziegler's conjectures for logarithmic derivations of arrangements
Published
• View Publication
• BIB
In his paper and thesis in 1989, Ziegler posed several conjectures regarding commutative algebra related to hyperplane arrangements. In this article, we revisit two of them. One is on generic cuts of free arrangements, and the other has to do with minimal degree generators for the logarithmic differential forms. We prove the first one, and disprove the second one. We also give some positive answers to related problems he posed, using recent developments in arrangement theory.
On a colorful problem by Dol'nikov concerning translates of convex bodies
Published
• View Publication
• BIB
In this note we study a conjecture by Jerónimo-Castro, Magazinov and Soberón which generalized a question posed by Dol'nikov. Let $F_1,F_2,\dots,F_n$ be families of translates of a convex compact set $K$ in the plane so that each two sets from distinct families intersect. We show that, for some $j$, $\bigcup_{i\neq j}F_i$ can be pierced by at most $4$ points. To do so, we use previous ideas from Gomez-Navarro and Roldán-Pensado together with an approximation result closely tied to the Banach-Mazur distance to the square.
Enumeration of flattened $k$-Stirling permutations with respect to descents
A $k$-Stirling permutation of order $n$ is said to be "flattened" if the leading terms of its increasing runs are in ascending order. We show that flattened $k$-Stirling permutations of order $n+1$ are in bijection correspondence with a colored variant of type $B$ set partitions of $[-n,n]$, introduced by D.G.L. Wang. Using the theory of weighted labelled structures, we give the exponential generating functions of their cardinality and their descent enumerating polynomials. We also provide enumerative formulae for the number of flattened $k$-Stirling permutations of order $n$ with small number of descents and the number of flattened Stirling permutations with maximum number of descents.
Sequences Derived from The Symmetric Powers of $\{1,2,\ldots,k\}$
Published in Journal of Integer Sequences, Vol. 26 (2023), Article 23.7.5
• Search Publication
For a fixed integer $k$, we define a sequence $A_k=(a_k(n))_{n\geq0}$ and a corresponding sparse subsequence $S_k$ using the cardinality of the $n$-th symmetric power of the set $\{1,2,\ldots, k\}$. For $k\in\{2,\dots,8\}$, we find recursive formulas for $S_k$, and show that the values $a_{k}(0)$, $a_{k}(1)$, and $a_{k}(3)$ are sufficient for constructing $A_{k}$.
Minimum Separator Reconfiguration
Published
• View Publication
• BIB
We study the problem of reconfiguring one minimum $s$-$t$-separator $A$ into another minimum $s$-$t$-separator $B$ in some $n$-vertex graph $G$ containing two non-adjacent vertices $s$ and $t$. We consider several variants of the problem as we focus on both the token sliding and token jumping models. Our first contribution is a polynomial-time algorithm that computes (if one exists) a minimum-length sequence of slides transforming $A$ into $B$. We additionally establish that the existence of a sequence of jumps (which need not be of minimum length) can be decided in polynomial time (by an algorithm that also outputs a witnessing sequence when one exists). In contrast, and somewhat surprisingly, we show that deciding if a sequence of at most $\ell$ jumps can transform $A$ into $B$ is an $\textsf{NP}$-complete problem. To complement this negative result, we investigate the parameterized complexity of what we believe to be the two most natural parameterized counterparts of the latter problem; in particular, we study the problem of computing a minimum-length sequence of jumps when parameterized by the size $k$ of the minimum \stseps and when parameterized by the number of jumps $\ell$. For the first parameterization, we show that the problem is fixed-parameter tractable, but does not admit a polynomial kernel unless $\textsf{NP} \subseteq \textsf{coNP/poly}$. We complete the picture by designing a kernel with $\mathcal{O}(\ell^2)$ vertices and edges for the length $\ell$ of the sequence as a parameter.
Graph Automorphism Group Equivariant Neural Networks
Permutation equivariant neural networks are typically used to learn from data that lives on a graph. However, for any graph $G$ that has $n$ vertices, using the symmetric group $S_n$ as its group of symmetries does not take into account the relations that exist between the vertices. Given that the actual group of symmetries is the automorphism group Aut$(G)$, we show how to construct neural networks that are equivariant to Aut$(G)$ by obtaining a full characterisation of the learnable, linear, Aut$(G)$-equivariant functions between layers that are some tensor power of $\mathbb{R}^{n}$. In particular, we find a spanning set of matrices for these layer functions in the standard basis of $\mathbb{R}^{n}$. This result has important consequences for learning from data whose group of symmetries is a finite group because a theorem by Frucht (1938) showed that any finite group is isomorphic to the automorphism group of a graph.
A $Q$-polynomial structure for the Attenuated Space poset $\mathcal A_q(N,M)$
Published
• View Publication
• BIB
The goal of this article is to display a $Q$-polynomial structure for the Attenuated Space poset $\mathcal A_q(N,M)$. The poset $\mathcal A_q(N,M)$ is briefly described as follows. Start with an $(N+M)$-dimensional vector space $H$ over a finite field with $q$ elements. Fix an $M$-dimensional subspace $h$ of $H$. The vertex set $X$ of $\mathcal A_q(N,M)$ consists of the subspaces of $H$ that have zero intersection with $h$. The partial order on $X$ is the inclusion relation. The $Q$-polynomial structure involves two matrices $A, A^* \in {\rm Mat}_X(\mathbb C)$ with the following entries. For $y, z \in X$ the matrix $A$ has $(y,z)$-entry $1$ (if $y$ covers $z$); $q^{{\rm dim}\,y}$ (if $z$ covers $y$); and 0 (if neither of $y,z$ covers the other). The matrix $A^*$ is diagonal, with $(y,y)$-entry $q^{-{\rm dim}\,y}$ for all $y\in X$. By construction, $A^*$ has $N+1$ eigenspaces. By construction, $A$ acts on these eigenspaces in a (block) tridiagonal fashion. We show that $A$ is diagonalizable, with $2N+1$ eigenspaces. We show that $A^*$ acts on these eigenspaces in a (block) tridiagonal fashion. Using this action, we show that $A$ is $Q$-polynomial. We show that $A, A^*$ satisfy a pair of relations called the tridiagonal relations. We consider the subalgebra $T$ of ${\rm Mat}_X(\mathbb C)$ generated by $A, A^*$.
We show that $A,A^*$ act on each irreducible $T$-module as a Leonard pair.
Fragmenting any Parallelepiped into a Signed Tiling
Published in Discrete & Computational Geometry, 2024
• View Publication
• BIB
It is broadly known that any parallelepiped tiles space by translating copies of itself along its edges. In earlier work relating to higher-dimensional sandpile groups, the second author discovered a novel construction which fragments the parallelpiped into a collection of smaller tiles. These tiles fill space with the same symmetry as the larger parallelepiped. Their volumes are equal to the components of the multi-row Laplace determinant expansion, so this construction only works when all these signs are non-negative (or non-positive).
In this work, we extend the construction to work for all parallelepipeds, without requiring the non-negative condition. This naturally gives tiles with negative volume, which we understand to mean canceling out tiles with positive volume. In fact, with this cancellation, we prove that every point in space is contained in exactly one more tile with positive volume than tile with negative volume. This is a natural definition for a signed tiling.
Our main technique is to show that the net number of signed tiles doesn't change as a point moves through space. This is a relatively indirect proof method, and the underlying structure of these tilings remains mysterious.
Impartial geodetic building games on graphs
Published
• View Publication
• BIB
A subset of the vertex set of a graph is geodetically convex if it contains every vertex on any shortest path between two elements of the set. The convex hull of a set of vertices is the smallest convex set containing the set. We study variations of two games introduced by Buckley and Harary, where two players take turns selecting previously-unselected vertices of a graph until the convex hull of the jointly-selected vertices becomes too large. The last player to move is the winner. The achievement game ends when the convex hull contains every vertex. In the avoidance game, the convex hull is not allowed to contain every vertex. We determine the nim-value of these games for several graph families.
Notes on Reeb graphs of real algebraic functions which may not be planar
The Reeb graph of a smooth function is a graph being a natural quotient space of the manifold of the domain and the space of all connected components of preimages. Such a combinatorial and topological object roughly and compactly represents the manifold. Since the proposal by Sharko in 2006, reconstructing nice smooth functions and the manifolds from finite graphs in such a way that the Reeb graphs are the graphs has been important. The author has launched new studies on this, discussing construction of real algebraic functions. We concentrate on Reeb graphs we cannot realize as (natural) planar graphs here. Previously the graphs were planar and embedded in the plane naturally.
Cooperative coloring of some graph families
Published
• View Publication
• BIB
In a family ${G_1, G_2, \ldots, G_m}$ of graphs sharing the same vertex set $V$, a cooperative coloring involves selecting one independent set $I_i$ from $G_i$ for each $i\in \{1,2,\ldots,m\}$ such that $\bigcup_{i=1}^m I_i = V$. For a graph class $\mathcal{G}$, let $m_{\mathcal{G}}(d)$ denote the minimum $m$ required to ensure that any graph family ${G_1, G_2, \ldots, G_m}$ on the same vertex set, where $G_i\in\mathcal{G}$ and $Δ(G_i)\leq d$ for each $i\in \{1,2,\ldots,m\}$, admits a cooperative coloring. For the graph classes $\mathcal{T}$ (trees) and $\mathcal{W}$ (wheels), we find that $m_\mathcal{T}(3)=4$ and $m_\mathcal{W}(4)=5$. Also, we prove that $m_{\mathcal{B}^*}(d)=O(\log_2 d)$ and $m_{\mathcal{L}}(d)=O\left(\frac{\log d}{\log\log d}\right)$, where $\mathcal{B}^*$ represents the class of graphs whose components are balanced complete bipartite graphs, and $\mathcal{L}$ represents the class of graphs whose components are generalized theta graphs.
On arithmetic sums of Cantor-type sequences of integers
We are looking for integer sets that resemble classical Cantor set and investigate the structure of their sum sets. Especially we investigate $FS(B)$ the subset sum of sequence type $B=\{\lfloor p^nα\rfloor\}^\infty_{n=0}$. When $p=2$, then we prove $FS(B)+FS(B)=\N$ by analogy with the Cantor set, and some structure theorem for $p>2$
Universal lower bound for community structure of sparse graphs
We prove new lower bounds on the modularity of graphs. Specifically, the modularity of a graph $G$ with average degree $\bar d$ is $Ω(\bar{d}^{-1/2})$, under some mild assumptions on the degree sequence of $G$. The lower bound $Ω(\bar{d}^{-1/2})$ applies, for instance, to graphs with a power-law degree sequence or a near-regular degree sequence.
It has been suggested that the relatively high modularity of the Erdős-Rényi random graph $G_{n,p}$ stems from the random fluctuations in its edge distribution, however our results imply high modularity for any graph with a degree sequence matching that typically found in $G_{n,p}$.
The proof of the new lower bound relies on certain weight-balanced bisections with few cross-edges, which build on ideas of Alon [Combinatorics, Probability and Computing (1997)] and may be of independent interest.
Integral Laplacian graphs with a unique double Laplacian eigenvalue, II
Published in Bulletin of the Korean Mathematical Society, vol. 62, no. 2, 2025, pp. 299-317
• View Publication
• BIB
The set $S_{\{i,j\}_{n}^{m}}=\{0,1,2,\ldots,m-1,m,m,m+1,\ldots,n-1,n\}\setminus\{i,j\},\quad 0<i<j\leqslant n$, is called Laplacian realizable if there exists a simple connected graph $G$ whose Laplacian spectrum is $S_{\{i,j\}_{n}^{m}}$. In this case, the graph $G$ is said to realize $S_{\{i,j\}_{n}^{m}}$. In this paper, we completely describe graphs realizing the sets $S_{\{i,j\}_{n}^{m}}$ with $m=1,2$ and determine the structure of these graphs.
Overlaps in Field Generated Circular Planar Nearrings
Published
• View Publication
• BIB
We investigate circular planar nearrings constructed from finite fields as well the complex number field using a multiplicative subgroup of order $k$, and characterize the overlaps of the basic graphs which arise in the associated $2$-designs.
Attainable bounds for algebraic connectivity and maximally-connected regular graphs
Published
• View Publication
• BIB
We derive attainable upper bounds on the algebraic connectivity (spectral gap) of a regular graph in terms of its diameter and girth. This bound agrees with the well-known Alon-Boppana-Friedman bound for graphs of even diameter, but is an improvement for graphs of odd diameter. For the girth bound, we show that only Moore graphs can attain it, and these only exist for very few possible girths. For diameter bound, we use a combination of stochastic algorithms and exhaustive search to find graphs which attain it. For 3-regular graphs, we find attainable graphs for all diameters $D$ up to and including $D=9$ (the case of $D=10$ is open). These graphs are extremely rare and also have high girth; for example we found exactly 45 distinct cubic graphs on 44 vertices attaining the upper bound when $D=7$; all have girth 8 (out of a total of about $10^{20}$ cubic graphs on 44 vertices, including 266362 having girth 8). We also exhibit families of $d$-regular graphs attaining upper bounds with $D=3$ and $4$, and with $g=6.$ Several conjectures are proposed.
Minimum $k$-critical-bipartite graphs: the irregular Case
Published
• View Publication
• BIB
We study the problem of finding a minimum $k$-critical-bipartite graph of order $(n,m)$: a bipartite graph $G=(U,V;E)$, with $|U|=n$, $|V|=m$, and $n>m>1$, which is $k$-critical-bipartite, and the tuple $(|E|, Δ_U, Δ_V)$, where $Δ_U$ and $Δ_V$ denote the maximum degree in $U$ and $V$, respectively, is lexicographically minimum over all such graphs. $G$ is $k$-critical-bipartite if deleting at most $k=n-m$ vertices from $U$ yields $G'$ that has a complete matching, i.e., a matching of size $m$. Cichacz and Suchan solved the problem for biregular bipartite graphs. Here, we extend their results to bipartite graphs that are not biregular. We also prove tight lower bounds on the connectivity of $k$-critical-bipartite graphs.