Showing 1–50 of 76 results for author: Kovacs, B

Cardinalities of the total number of independent sets

Authors: Benedek Kovács, Zoltán Lóránt Nagy

Abstract: We study the set of numbers the total number of independent sets can admit in $n$-vertex graphs. In this paper, we prove that the cardinality of this set $\mathcal{N}i(n)$ is very close to $2^n$ in the following sense: $\mathcal{N}i(n)/2^n = O(n^{-1/5})$ while for infinitely many $n$, we have $\log_2(\mathcal{N}i(n)/2^n)\ge -2^{(1+o(1)\sqrt{\log_2 n}}$. This set is also precisely the set of possib… ▽ More We study the set of numbers the total number of independent sets can admit in $n$-vertex graphs. In this paper, we prove that the cardinality of this set $\mathcal{N}i(n)$ is very close to $2^n$ in the following sense: $\mathcal{N}i(n)/2^n = O(n^{-1/5})$ while for infinitely many $n$, we have $\log_2(\mathcal{N}i(n)/2^n)\ge -2^{(1+o(1)\sqrt{\log_2 n}}$. This set is also precisely the set of possible values of the independence polynomial $I_G(x)$ at $x=1$ for $n$-vertex graphs $G$. As an application, we address an additive combinatorial problem on subsets of a given vector space that avoid certain intersection patterns with respect to subspaces. △ Less

Submitted 30 May, 2025; originally announced May 2025.

Comments: 18 pages, 2 figures

MSC Class: 05C69 (Primary) 05C30; 05C31; 05C76; 51E21 (Secondary)

Code-based $[3,1]$-avoiders in finite affine spaces $\mathrm{AG}(n,2)$

Authors: Benedek Kovács

Abstract: The author, together with Nagy, studied the following problem on unavoidable intersections of given size in binary affine spaces. Given an $m$-element set $S\subseteq \mathbb{F}_2^n$, is there guaranteed to be a $[k,t]$-flat, that is, a $k$-dimensional affine subspace of $\mathbb{F}_2^n$ containing exactly $t$ points of $S$? Such problems can be viewed as generalizations of the cap set problem ove… ▽ More The author, together with Nagy, studied the following problem on unavoidable intersections of given size in binary affine spaces. Given an $m$-element set $S\subseteq \mathbb{F}_2^n$, is there guaranteed to be a $[k,t]$-flat, that is, a $k$-dimensional affine subspace of $\mathbb{F}_2^n$ containing exactly $t$ points of $S$? Such problems can be viewed as generalizations of the cap set problem over the binary field. They conjectured that for every fixed pair $(k,t)$ with $k\ge 1$ and $0\le t\le 2^k$, the density of values $m\in \{0,...,2^n\}$ for which a $[k,t]$-flat is guaranteed tends to $1$. In this paper, motivated by the study of the smallest open case $(k,t)=(3,1)$, we present explicit constructions of sets in $\mathbb{F}_2^n$ avoiding $[k,1]$-flats for exponentially many sizes. These sets rely on carefully constructed binary linear codes, whose weight enumerators determine the size of the construction. △ Less

Submitted 29 May, 2025; originally announced May 2025.

Comments: 11 pages

MSC Class: 51E21; 51E22; 20G15; 94B05

The generalized trifference problem

Authors: Anurag Bishnoi, Bartłomiej Kielak, Benedek Kovács, Zoltán Lóránt Nagy, Gábor Somlai, Máté Vizer, Zeyu Zheng

Abstract: We study the problem of finding the largest number $T(n, m)$ of ternary vectors of length $n$ such that for any three distinct vectors there are at least $m$ coordinates where they pairwise differ. For $m = 1$, this is the classical trifference problem which is wide open. We prove upper and lower bounds on $T(n, m)$ for various ranges of the parameter $m$ and determine the phase transition thr… ▽ More We study the problem of finding the largest number $T(n, m)$ of ternary vectors of length $n$ such that for any three distinct vectors there are at least $m$ coordinates where they pairwise differ. For $m = 1$, this is the classical trifference problem which is wide open. We prove upper and lower bounds on $T(n, m)$ for various ranges of the parameter $m$ and determine the phase transition threshold on $m=m(n)$ where $T(n, m)$ jumps from constant to exponential in $n$. By relating the linear version of this problem to a problem on blocking sets in finite geometry, we give explicit constructions and probabilistic lower bounds. We also compute the exact values of this function and its linear variation for small parameters. △ Less

Submitted 12 May, 2025; originally announced May 2025.

The Autonomous Software Stack of the FRED-003C: The Development That Led to Full-Scale Autonomous Racing

Authors: Zalán Demeter, Levente Puskás, Balázs Kovács, Ádám Matkovics, Martin Nádas, Balázs Tuba, Zsolt Farkas, Ármin Bogár-Németh, Gergely Bári

Abstract: Scientific development often takes place in the context of research projects carried out by dedicated students during their time at university. In the field of self-driving software research, the Formula Student Driverless competitions are an excellent platform to promote research and attract young engineers. This article presents the software stack developed by BME Formula Racing Team, that forme… ▽ More Scientific development often takes place in the context of research projects carried out by dedicated students during their time at university. In the field of self-driving software research, the Formula Student Driverless competitions are an excellent platform to promote research and attract young engineers. This article presents the software stack developed by BME Formula Racing Team, that formed the foundation of the development that ultimately led us to full-scale autonomous racing. The experience we gained here contributes greatly to our successful participation in the Abu Dhabi Autonomous Racing League. We therefore think it is important to share the system we used, providing a valuable starting point for other ambitious students. We provide a detailed description of the software pipeline we used, including a brief description of the hardware-software architecture. Furthermore, we introduce the methods that we developed for the modules that implement perception; localisation and mapping, planning, and control tasks. △ Less

Submitted 25 April, 2025; originally announced April 2025.

Comments: Accepted to be published at 2025 IEEE Intelligent Vehicles Symposium (IV)

Community detection in hypergraphs through hyperedge percolation

Authors: Bianka Kovács, Barnabás Benedek, Gergely Palla

Abstract: Complex networks often exhibit community structure, with communities corresponding to denser subgraphs in which nodes are closely linked. When modelling systems where interactions extend beyond node pairs to arbitrary numbers of nodes, hypergraphs become necessary, creating a need for specialised community detection methods. Here, we adapt the classical $k$-clique percolation method to hypergraphs… ▽ More Complex networks often exhibit community structure, with communities corresponding to denser subgraphs in which nodes are closely linked. When modelling systems where interactions extend beyond node pairs to arbitrary numbers of nodes, hypergraphs become necessary, creating a need for specialised community detection methods. Here, we adapt the classical $k$-clique percolation method to hypergraphs, constructing communities from hyperedges containing at least $k$ nodes, defining hyperedge adjacency similarly to clique adjacency. Although the analogy between the proposed hyperedge percolation method and the classical clique percolation algorithm is evident, we show that communities obtained directly from the hyperedges can differ from those identified via clique percolation on the pairwise projection of the hypergraph. We also propose an alternative way for merging hyperedges into communities, where instead of imposing a lower bound on hyperedge cardinality, we restrict the maximum size of the considered hyperedges. This alternative algorithm better suits hypergraphs where larger hyperedges realise weaker linkages between the nodes. After comparing the suggested two approaches on simple synthetic hypergraphs designed to highlight their distinctions, we test them on hypergraphs generated by a newly proposed geometric process on the hyperbolic plane, as well as on some real-world examples. △ Less

Submitted 17 June, 2025; v1 submitted 21 April, 2025; originally announced April 2025.

Comments: 20 pages, 8 figures. Added references and GitHub URL, typos corrected

LesionLocator: Zero-Shot Universal Tumor Segmentation and Tracking in 3D Whole-Body Imaging

Authors: Maximilian Rokuss, Yannick Kirchhoff, Seval Akbal, Balint Kovacs, Saikat Roy, Constantin Ulrich, Tassilo Wald, Lukas T. Rotkopf, Heinz-Peter Schlemmer, Klaus Maier-Hein

Abstract: In this work, we present LesionLocator, a framework for zero-shot longitudinal lesion tracking and segmentation in 3D medical imaging, establishing the first end-to-end model capable of 4D tracking with dense spatial prompts. Our model leverages an extensive dataset of 23,262 annotated medical scans, as well as synthesized longitudinal data across diverse lesion types. The diversity and scale of o… ▽ More In this work, we present LesionLocator, a framework for zero-shot longitudinal lesion tracking and segmentation in 3D medical imaging, establishing the first end-to-end model capable of 4D tracking with dense spatial prompts. Our model leverages an extensive dataset of 23,262 annotated medical scans, as well as synthesized longitudinal data across diverse lesion types. The diversity and scale of our dataset significantly enhances model generalizability to real-world medical imaging challenges and addresses key limitations in longitudinal data availability. LesionLocator outperforms all existing promptable models in lesion segmentation by nearly 10 dice points, reaching human-level performance, and achieves state-of-the-art results in lesion tracking, with superior lesion retrieval and segmentation accuracy. LesionLocator not only sets a new benchmark in universal promptable lesion segmentation and automated longitudinal lesion tracking but also provides the first open-access solution of its kind, releasing our synthetic 4D dataset and model to the community, empowering future advancements in medical imaging. Code is available at: www.github.com/MIC-DKFZ/LesionLocator △ Less

Submitted 28 February, 2025; originally announced February 2025.

Comments: Accepted at CVPR 2025

Settling the no-$(k+1)$-in-line problem when $k$ is not small

Authors: Benedek Kovács, Zoltán Lóránt Nagy, Dávid R. Szabó

Abstract: What is the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are in a line? This has been asked more than $100$ years ago for $k=2$ and it remained wide open ever since. In this paper, we prove the precise answer is $kn$, provided that $k>C\sqrt{n\log{n}}$ for an absolute constant $C$. The proof relies on carefully constructed bi-uniform… ▽ More What is the maximum number of points that can be selected from an $n \times n$ square lattice such that no $k+1$ of them are in a line? This has been asked more than $100$ years ago for $k=2$ and it remained wide open ever since. In this paper, we prove the precise answer is $kn$, provided that $k>C\sqrt{n\log{n}}$ for an absolute constant $C$. The proof relies on carefully constructed bi-uniform random bipartite graphs and concentration inequalities. △ Less

Submitted 31 January, 2025; originally announced February 2025.

Comments: 13 pages, 2 figures

A theoretical framework for BL Her stars III. A case study: Robust light curve optimisation in the LMC

Authors: Susmita Das, László Molnár, Gábor B. Kovács, Radoslaw Smolec, Meridith Joyce, Shashi M. Kanbur, Tamás Szklenár, Anupam Bhardwaj, Harinder P. Singh, Marcella Marconi, Vincenzo Ripepi

Abstract: We carry out an extensive light curve comparison of BL Her stars using observations from Gaia DR3 and stellar pulsation models computed using MESA-RSP with the goal to obtain the best-matched modeled-observed pairs for BL Her stars in the LMC. We use the Fourier decomposition technique to analyse the light curves in the G band obtained from Gaia DR3 and from MESA-RSP and use a robust light curve f… ▽ More We carry out an extensive light curve comparison of BL Her stars using observations from Gaia DR3 and stellar pulsation models computed using MESA-RSP with the goal to obtain the best-matched modeled-observed pairs for BL Her stars in the LMC. We use the Fourier decomposition technique to analyse the light curves in the G band obtained from Gaia DR3 and from MESA-RSP and use a robust light curve fitting approach to score the modeled-observed pairs with respect to their pulsation periods and over their Fourier parameter space. We obtain the best-fit models for 48 BL Her stars in the LMC and thereby provide the stellar parameter estimates of these stars, 30 of which are labelled as the gold sample with superior light curve fits. We find a relatively flat distribution of stellar masses between 0.5-0.65 Msolar for the gold sample of modeled-observed pairs. An interesting result is that the majority of the best-matched models in the gold sample are computed using the convection parameter sets without radiative cooling. The period-Wesenheit relation for the best-matched gold sample of 30 BL Her models exhibits a slope of $-2.805 \pm 0.164$ while the corresponding period-radius relation exhibits a slope of $0.565 \pm 0.035$, both in good agreement with the empirical PW and PR slopes from BL Her stars in the LMC, respectively. We also used the Wesenheit magnitudes of the 30 best-matched modeled-observed pairs to estimate a distance modulus of $μ_{\rm LMC} = 18.582 \pm 0.067$ to the LMC, which lies within the bounds of previous literature values. We also discuss the degeneracy in the stellar parameters of the BL Her models that result in similar pulsation periods and light curve structure, and highlight that caution must be exercised while using the stellar parameter estimates. △ Less

Submitted 12 December, 2024; originally announced December 2024.

Comments: 20 pages, 10 main text figures, 5 appendix figures, 1 main text table, 1 appendix table. Accepted for publication in Astronomy & Astrophysics

Journal ref: A&A 694, A255 (2025)

Estimation of Classical Cepheid's Physical Parameters from NIR Light Curves

Authors: Lajos G. Balázs, Gábor B. Kovács

Abstract: Recent space-borne and ground-based observations provide photometric measurements as time series. The effect of interstellar dust extinction in the near-infrared range is only 10% of that measured in the V band. However, the sensitivity of the light curve shape to the physical parameters in the near-infrared is much lower. So, interpreting these types of data sets requires new approaches like the… ▽ More Recent space-borne and ground-based observations provide photometric measurements as time series. The effect of interstellar dust extinction in the near-infrared range is only 10% of that measured in the V band. However, the sensitivity of the light curve shape to the physical parameters in the near-infrared is much lower. So, interpreting these types of data sets requires new approaches like the different large-scale surveys, which create similar problems with big data. Using a selected data set, we provide a method for applying routines implemented in R to extract most information of measurements to determine physical parameters, which can also be used in automatic classification schemes and pipeline processing. We made a multivariate classification of 131 Cepheid light curves (LC) in J, H, and K colors, where all the LCs were represented in 20D parameter space in these colors separately. Performing a Principal Component Analysis (PCA), we got an orthogonal coordinate system and squared Euclidean distances between LCs, with 6 significant eigenvalues, reducing the 20-dimension to 6. We also estimated the optimal number of partitions of similar objects and found it to be equal to 7 in each color; their dependence on the period, absolute magnitude, amplitude, and metallicity are also discussed. We computed the Spearman rank correlations, showing that periods and absolute magnitudes correlate with the first three PCs significantly. The first two PC are also found to have a relationship with the amplitude, but the metallicity effects are only marginal. The method shown can be generalized and implemented in unsupervised classification schemes and analysis of mixed and biased samples. The analysis of our Classical Cepheid near-infrared LC sample showed that the J, H, K curves are insufficient for determination of stellar metallicity, with mass being the key factor shaping them. △ Less

Submitted 9 December, 2024; originally announced December 2024.

Comments: Accepted in New Astronomy, 16 Pages, 18 Figures

Journal ref: New Astronomy, Volume 116, 2025, 102317,

Blocking Planes by Lines in $\operatorname{PG}(n,q)$

Authors: Benedek Kovács, Zoltán Lóránt Nagy, Dávid R. Szabó

Abstract: In this paper, we study the cardinality of the smallest set of lines of the finite projective spaces $\operatorname{PG}(n,q)$ such that every plane is incident with at least one line of the set. This is the first main open problem concerning the minimum size of $(s,t)$-blocking sets in $\operatorname{PG}(n,q)$, where we set $s=2$ and $t=1$. In $\operatorname{PG}(n,q)$, an $(s,t)$-blocking set refe… ▽ More In this paper, we study the cardinality of the smallest set of lines of the finite projective spaces $\operatorname{PG}(n,q)$ such that every plane is incident with at least one line of the set. This is the first main open problem concerning the minimum size of $(s,t)$-blocking sets in $\operatorname{PG}(n,q)$, where we set $s=2$ and $t=1$. In $\operatorname{PG}(n,q)$, an $(s,t)$-blocking set refers to a set of $t$-spaces such that each $s$-space is incident with at least one chosen $t$-space. This is a notoriously difficult problem, as it is equivalent to determining the size of certain $q$-Turán designs and $q$-covering designs. We present an improvement on the upper bounds of Etzion and of Metsch via a refined scheme for a recursive construction, which in fact enables improvement in the general case as well. △ Less

Submitted 5 April, 2025; v1 submitted 10 October, 2024; originally announced October 2024.

Comments: 23 pages. Changes: 2 figures were inserted, the key lemma (3.5) was generalised, and further minor improvements were added for better overall clarity

MSC Class: 51E21

Longitudinal Segmentation of MS Lesions via Temporal Difference Weighting

Authors: Maximilian Rokuss, Yannick Kirchhoff, Saikat Roy, Balint Kovacs, Constantin Ulrich, Tassilo Wald, Maximilian Zenk, Stefan Denner, Fabian Isensee, Philipp Vollmuth, Jens Kleesiek, Klaus Maier-Hein

Abstract: Accurate segmentation of Multiple Sclerosis (MS) lesions in longitudinal MRI scans is crucial for monitoring disease progression and treatment efficacy. Although changes across time are taken into account when assessing images in clinical practice, most existing deep learning methods treat scans from different timepoints separately. Among studies utilizing longitudinal images, a simple channel-wis… ▽ More Accurate segmentation of Multiple Sclerosis (MS) lesions in longitudinal MRI scans is crucial for monitoring disease progression and treatment efficacy. Although changes across time are taken into account when assessing images in clinical practice, most existing deep learning methods treat scans from different timepoints separately. Among studies utilizing longitudinal images, a simple channel-wise concatenation is the primary albeit suboptimal method employed to integrate timepoints. We introduce a novel approach that explicitly incorporates temporal differences between baseline and follow-up scans through a unique architectural inductive bias called Difference Weighting Block. It merges features from two timepoints, emphasizing changes between scans. We achieve superior scores in lesion segmentation (Dice Score, Hausdorff distance) as well as lesion detection (lesion-level $F_1$ score) as compared to state-of-the-art longitudinal and single timepoint models across two datasets. Our code is made publicly available at www.github.com/MIC-DKFZ/Longitudinal-Difference-Weighting. △ Less

Submitted 20 September, 2024; originally announced September 2024.

Comments: Accepted at MICCAI 2024 LDTM

Data-Centric Strategies for Overcoming PET/CT Heterogeneity: Insights from the AutoPET III Lesion Segmentation Challenge

Authors: Balint Kovacs, Shuhan Xiao, Maximilian Rokuss, Constantin Ulrich, Fabian Isensee, Klaus H. Maier-Hein

Abstract: The third autoPET challenge introduced a new data-centric task this year, shifting the focus from model development to improving metastatic lesion segmentation on PET/CT images through data quality and handling strategies. In response, we developed targeted methods to enhance segmentation performance tailored to the characteristics of PET/CT imaging. Our approach encompasses two key elements. Firs… ▽ More The third autoPET challenge introduced a new data-centric task this year, shifting the focus from model development to improving metastatic lesion segmentation on PET/CT images through data quality and handling strategies. In response, we developed targeted methods to enhance segmentation performance tailored to the characteristics of PET/CT imaging. Our approach encompasses two key elements. First, to address potential alignment errors between CT and PET modalities as well as the prevalence of punctate lesions, we modified the baseline data augmentation scheme and extended it with misalignment augmentation. This adaptation aims to improve segmentation accuracy, particularly for tiny metastatic lesions. Second, to tackle the variability in image dimensions significantly affecting the prediction time, we implemented a dynamic ensembling and test-time augmentation (TTA) strategy. This method optimizes the use of ensembling and TTA within a 5-minute prediction time limit, effectively leveraging the generalization potential for both small and large images. Both of our solutions are designed to be robust across different tracers and institutional settings, offering a general, yet imaging-specific approach to the multi-tracer and multi-institutional challenges of the competition. We made the challenge repository with our modifications publicly available at \url{https://github.com/MIC-DKFZ/miccai2024_autopet3_datacentric}. △ Less

Submitted 16 September, 2024; originally announced September 2024.

Comments: Contribution to the data-centric task of the autoPET III Challenge 2024

From FDG to PSMA: A Hitchhiker's Guide to Multitracer, Multicenter Lesion Segmentation in PET/CT Imaging

Authors: Maximilian Rokuss, Balint Kovacs, Yannick Kirchhoff, Shuhan Xiao, Constantin Ulrich, Klaus H. Maier-Hein, Fabian Isensee

Abstract: Automated lesion segmentation in PET/CT scans is crucial for improving clinical workflows and advancing cancer diagnostics. However, the task is challenging due to physiological variability, different tracers used in PET imaging, and diverse imaging protocols across medical centers. To address this, the autoPET series was created to challenge researchers to develop algorithms that generalize acros… ▽ More Automated lesion segmentation in PET/CT scans is crucial for improving clinical workflows and advancing cancer diagnostics. However, the task is challenging due to physiological variability, different tracers used in PET imaging, and diverse imaging protocols across medical centers. To address this, the autoPET series was created to challenge researchers to develop algorithms that generalize across diverse PET/CT environments. This paper presents our solution for the autoPET III challenge, targeting multitracer, multicenter generalization using the nnU-Net framework with the ResEncL architecture. Key techniques include misalignment data augmentation and multi-modal pretraining across CT, MR, and PET datasets to provide an initial anatomical understanding. We incorporate organ supervision as a multitask approach, enabling the model to distinguish between physiological uptake and tracer-specific patterns, which is particularly beneficial in cases where no lesions are present. Compared to the default nnU-Net, which achieved a Dice score of 57.61, or the larger ResEncL (65.31) our model significantly improved performance with a Dice score of 68.40, alongside a reduction in false positive (FPvol: 7.82) and false negative (FNvol: 10.35) volumes. These results underscore the effectiveness of combining advanced network design, augmentation, pretraining, and multitask learning for PET/CT lesion segmentation. After evaluation on the test set, our approach was awarded the first place in the model-centric category (Team LesionTracer). Code is publicly available at https://github.com/MIC-DKFZ/autopet-3-submission. △ Less

Submitted 21 October, 2024; v1 submitted 14 September, 2024; originally announced September 2024.

Comments: Winning method of the autoPET III challenge (model-centric) - Team LesionTracer

Maximal regularity of evolving FEMs for parabolic equations on an evolving surface

Authors: Genming Bai, Balázs Kovács, Buyang Li

Abstract: In this paper, we prove that spatially semi-discrete evolving finite element method for parabolic equations on a given evolving hypersurface of arbitrary dimensions preserves the maximal $L^p$-regularity at the discrete level. We first establish the results on a stationary surface and then extend them, via a perturbation argument, to the case where the underlying surface is evolving under a prescr… ▽ More In this paper, we prove that spatially semi-discrete evolving finite element method for parabolic equations on a given evolving hypersurface of arbitrary dimensions preserves the maximal $L^p$-regularity at the discrete level. We first establish the results on a stationary surface and then extend them, via a perturbation argument, to the case where the underlying surface is evolving under a prescribed velocity field. The proof combines techniques in evolving finite element method, properties of Green's functions on (discretised) closed surfaces, and local energy estimates for finite element methods △ Less

Submitted 26 August, 2024; originally announced August 2024.

Error estimates for full discretization of Cahn--Hilliard equation with dynamic boundary conditions

Authors: Nils Bullerjahn, Balázs Kovács

Abstract: A proof of optimal-order error estimates is given for the full discretization of the Cahn--Hilliard equation with Cahn--Hilliard-type dynamic boundary conditions in a smooth domain. The numerical method combines a linear bulk--surface finite element discretization in space and linearly implicit backward difference formulae of order 1 to 5 in time. Optimal-order error estimates are proven. The erro… ▽ More A proof of optimal-order error estimates is given for the full discretization of the Cahn--Hilliard equation with Cahn--Hilliard-type dynamic boundary conditions in a smooth domain. The numerical method combines a linear bulk--surface finite element discretization in space and linearly implicit backward difference formulae of order 1 to 5 in time. Optimal-order error estimates are proven. The error estimates are based on a consistency and stability analysis in an abstract framework, based on energy estimates exploiting the anti-symmetric structure of the second-order system. △ Less

Submitted 14 January, 2025; v1 submitted 30 July, 2024; originally announced July 2024.

A posteriori error estimates and space--time adaptivity for parabolic partial differential equations on stationary surfaces

Authors: Balázs Kovács, Michael Lantelme

Abstract: This paper develops and discusses a residual-based a posteriori error estimate and a space--time adaptive algorithm for solving parabolic surface partial differential equations on closed stationary surfaces. The full discretization uses the surface finite element method in space and the backward Euler method in time. The proposed error indicator bounds the error quantities globally in space from a… ▽ More This paper develops and discusses a residual-based a posteriori error estimate and a space--time adaptive algorithm for solving parabolic surface partial differential equations on closed stationary surfaces. The full discretization uses the surface finite element method in space and the backward Euler method in time. The proposed error indicator bounds the error quantities globally in space from above and below, and globally in time from above and locally from below. A space--time adaptive algorithm is proposed using the derived error indicator. Numerical experiments illustrate and complement the theory. △ Less

Submitted 2 July, 2024; originally announced July 2024.

Comments: 18 pages, 4 figures

Automatic classification of prostate MR series type using image content and metadata

Authors: Deepa Krishnaswamy, Bálint Kovács, Stefan Denner, Steve Pieper, David Clunie, Christopher P. Bridge, Tina Kapur, Klaus H. Maier-Hein, Andrey Fedorov

Abstract: With the wealth of medical image data, efficient curation is essential. Assigning the sequence type to magnetic resonance images is necessary for scientific studies and artificial intelligence-based analysis. However, incomplete or missing metadata prevents effective automation. We therefore propose a deep-learning method for classification of prostate cancer scanning sequences based on a combinat… ▽ More With the wealth of medical image data, efficient curation is essential. Assigning the sequence type to magnetic resonance images is necessary for scientific studies and artificial intelligence-based analysis. However, incomplete or missing metadata prevents effective automation. We therefore propose a deep-learning method for classification of prostate cancer scanning sequences based on a combination of image data and DICOM metadata. We demonstrate superior results compared to metadata or image data alone, and make our code publicly available at https://github.com/deepakri201/DICOMScanClassification. △ Less

Submitted 31 July, 2024; v1 submitted 16 April, 2024; originally announced April 2024.

Skeleton Recall Loss for Connectivity Conserving and Resource Efficient Segmentation of Thin Tubular Structures

Authors: Yannick Kirchhoff, Maximilian R. Rokuss, Saikat Roy, Balint Kovacs, Constantin Ulrich, Tassilo Wald, Maximilian Zenk, Philipp Vollmuth, Jens Kleesiek, Fabian Isensee, Klaus Maier-Hein

Abstract: Accurately segmenting thin tubular structures, such as vessels, nerves, roads or concrete cracks, is a crucial task in computer vision. Standard deep learning-based segmentation loss functions, such as Dice or Cross-Entropy, focus on volumetric overlap, often at the expense of preserving structural connectivity or topology. This can lead to segmentation errors that adversely affect downstream task… ▽ More Accurately segmenting thin tubular structures, such as vessels, nerves, roads or concrete cracks, is a crucial task in computer vision. Standard deep learning-based segmentation loss functions, such as Dice or Cross-Entropy, focus on volumetric overlap, often at the expense of preserving structural connectivity or topology. This can lead to segmentation errors that adversely affect downstream tasks, including flow calculation, navigation, and structural inspection. Although current topology-focused losses mark an improvement, they introduce significant computational and memory overheads. This is particularly relevant for 3D data, rendering these losses infeasible for larger volumes as well as increasingly important multi-class segmentation problems. To mitigate this, we propose a novel Skeleton Recall Loss, which effectively addresses these challenges by circumventing intensive GPU-based calculations with inexpensive CPU operations. It demonstrates overall superior performance to current state-of-the-art approaches on five public datasets for topology-preserving segmentation, while substantially reducing computational overheads by more than 90%. In doing so, we introduce the first multi-class capable loss function for thin structure segmentation, excelling in both efficiency and efficacy for topology-preservation. △ Less

Submitted 17 July, 2024; v1 submitted 3 April, 2024; originally announced April 2024.

Comments: Accepted at ECCV 2024

Iterative embedding and reweighting of complex networks reveals community structure

Authors: Bianka Kovács, Sadamori Kojaku, Gergely Palla, Santo Fortunato

Abstract: Graph embeddings learn the structure of networks and represent it in low-dimensional vector spaces. Community structure is one of the features that are recognized and reproduced by embeddings. We show that an iterative procedure, in which a graph is repeatedly embedded and its links are reweighted based on the geometric proximity between the nodes, reinforces intra-community links and weakens inte… ▽ More Graph embeddings learn the structure of networks and represent it in low-dimensional vector spaces. Community structure is one of the features that are recognized and reproduced by embeddings. We show that an iterative procedure, in which a graph is repeatedly embedded and its links are reweighted based on the geometric proximity between the nodes, reinforces intra-community links and weakens inter-community links, making the clusters of the initial network more visible and more easily detectable. The geometric separation between the communities can become so strong that even a very simple parsing of the links may recover the communities as isolated components with surprisingly high precision. Furthermore, when used as a pre-processing step, our embedding and reweighting procedure can improve the performance of traditional community detection algorithms. △ Less

Submitted 16 February, 2024; originally announced February 2024.

Comments: 41 pages, 20 figures

Journal ref: Sci Rep 14, 17184 (2024)

Numerical analysis of an evolving bulk--surface model of tumour growth

Authors: Dominik Edelmann, Balázs Kovács, Christian Lubich

Abstract: This paper studies an evolving bulk--surface finite element method for a model of tissue growth, which is a modification of the model of Eyles, King and Styles (2019). The model couples a Poisson equation on the domain with a forced mean curvature flow of the free boundary, with nontrivial bulk--surface coupling in both the velocity law of the evolving surface and the boundary condition of the Poi… ▽ More This paper studies an evolving bulk--surface finite element method for a model of tissue growth, which is a modification of the model of Eyles, King and Styles (2019). The model couples a Poisson equation on the domain with a forced mean curvature flow of the free boundary, with nontrivial bulk--surface coupling in both the velocity law of the evolving surface and the boundary condition of the Poisson equation. The numerical method discretizes evolution equations for the mean curvature and the outer normal and it uses a harmonic extension of the surface velocity into the bulk. The discretization admits a convergence analysis in the case of continuous finite elements of polynomial degree at least two. The stability of the discretized bulk--surface coupling is a major concern. The error analysis combines stability estimates and consistency estimates to yield optimal-order $H^1$-norm error bounds for the computed tissue pressure and for the surface position, velocity, normal vector and mean curvature. Numerical experiments illustrate and complement the theoretical results. △ Less

Submitted 17 January, 2024; originally announced January 2024.

Cellular forgetting, desensitisation, stress and aging in signalling networks. When do cells refuse to learn more?

Authors: Tamas Veres, Mark Kerestely, Borbala M. Kovacs, David Keresztes, Klara Schulc, Erik Seitz, Zsolt Vassy, Daniel V. Veres, Peter Csermely

Abstract: Recent findings show that single, non-neuronal cells are also able to learn signalling responses developing cellular memory. In cellular learning nodes of signalling networks strengthen their interactions e.g. by the conformational memory of intrinsically disordered proteins, protein translocation, miRNAs, lncRNAs, chromatin memory and signalling cascades. This can be described by a generalized, u… ▽ More Recent findings show that single, non-neuronal cells are also able to learn signalling responses developing cellular memory. In cellular learning nodes of signalling networks strengthen their interactions e.g. by the conformational memory of intrinsically disordered proteins, protein translocation, miRNAs, lncRNAs, chromatin memory and signalling cascades. This can be described by a generalized, unicellular Hebbian learning process, where those signalling connections, which participate in learning, become stronger. Here we review those scenarios, where cellular signalling is not only repeated in a few times (when learning occurs), but becomes too frequent, too large, or too complex and overloads the cell. This leads to desensitisation of signalling networks by decoupling signalling components, receptor internalization, and consequent downregulation. These molecular processes are examples of anti-Hebbian learning and forgetting of signalling networks. Stress can be perceived as signalling overload inducing the desensitisation of signalling pathways. Aging occurs by the summative effects of cumulative stress downregulating signalling. We propose that cellular learning desensitisation, stress and aging may be placed along the same axis of more and more intensive (prolonged or repeated) signalling. We discuss how cells might discriminate between repeated and unexpected signals, and highlight the Hebbian and anti-Hebbian mechanisms behind the fold-change detection in the NF-\k{appa}B signalling pathway. We list drug design methods using Hebbian learning (such as chemically-induced proximity) and clinical treatment modalities inducing (cancer, drug allergies) desensitisation or avoiding drug-induced desensitisation. A better discrimination between cellular learning, desensitisation and stress may open novel directions in drug design, e.g., helping to overcome drug-resistance. △ Less

Submitted 20 February, 2024; v1 submitted 28 December, 2023; originally announced December 2023.

Comments: 19 pages, 4 figures

Journal ref: Cellular and Molecular Life Sciences (2024) 81,97

Error analysis of BDF 1-6 time-stepping methods for the transient Stokes problem: velocity and pressure estimates

Authors: Alessandro Contri, Balázs Kovács, André Massing

Abstract: We present a new stability and error analysis of fully discrete approximation schemes for the transient Stokes equation. For the spatial discretization, we consider a wide class of Galerkin finite element methods which includes both inf-sup stable spaces and symmetric pressure stabilized formulations. We extend the results from Burman and Fernández [\textit{SIAM J. Numer. Anal.}, 47 (2009), pp. 40… ▽ More We present a new stability and error analysis of fully discrete approximation schemes for the transient Stokes equation. For the spatial discretization, we consider a wide class of Galerkin finite element methods which includes both inf-sup stable spaces and symmetric pressure stabilized formulations. We extend the results from Burman and Fernández [\textit{SIAM J. Numer. Anal.}, 47 (2009), pp. 409-439] and provide a unified theoretical analysis of backward difference formulae (BDF methods) of order 1 to 6. The main novelty of our approach lies in the use of Dahlquist's G-stability concept together with multiplier techniques introduced by Nevannlina-Odeh and recently by Akrivis et al. [\textit{SIAM J. Numer. Anal.}, 59 (2021), pp. 2449-2472] to derive optimal stability and error estimates for both the velocity and the pressure. When combined with a method dependent Ritz projection for the initial data, unconditional stability can be shown while for arbitrary interpolation, pressure stability is subordinate to the fulfillment of a mild inverse CFL-type condition between space and time discretizations. △ Less

Submitted 9 December, 2023; originally announced December 2023.

Comments: 28 pages, 3 figures

MSC Class: 65M12; 65M15; 65M60; 76M10

Similar additional frequency patterns on fundamental and overtone mode RR Lyrae stars showing $f_{68}$ frequencies

Authors: József M. Benkő, Gábor B. Kovács

Abstract: Up to now, it seemed that the additional frequencies in the fundamental mode (RRab) and in the overtone mode pulsating (RRc and RRd) RR Lyrae stars have different nature. RRab stars show frequencies associated with periodic doubling, as well as frequencies at the first and second radial overtones, and linear combinations of these. RRc stars show frequencies with specific ratios ($f_1/f_x\sim$0.61,… ▽ More Up to now, it seemed that the additional frequencies in the fundamental mode (RRab) and in the overtone mode pulsating (RRc and RRd) RR Lyrae stars have different nature. RRab stars show frequencies associated with periodic doubling, as well as frequencies at the first and second radial overtones, and linear combinations of these. RRc stars show frequencies with specific ratios ($f_1/f_x\sim$0.61, or $\sim$0.63) which are explained by non-radial modes and frequencies with $f_x/f_1\sim0.68$ ratio which have no currently accepted explanation. To search for similarities in spectral content, we compared the Fourier spectra of the recently published TESS and K2 data of RRc stars with the spectra of Kepler RRab stars that do not show the Blazhko effect but contain additional frequencies. The time series data have been analysed using standard Fourier methods, and the possibility of the excitation of the second radial overtone mode in RRab stars has also been tested using numerical hydrodynamical codes. We show that the additional frequencies appear in non-Blazhko RRab stars at the position of the second radial overtone mode, and the pattern they create, is very similar to that caused by the additional frequencies with the period ratio $\sim0.68$ in RRc stars. The former explanation of the additional frequencies of these RRab stars by a second radial overtone is unlikely. △ Less

Submitted 20 November, 2023; originally announced November 2023.

Comments: 5 pages, 4 tables, 2 figures, accepted for publication in Astronomy & Astrophysics Letters

Finding a perfect matching of $\mathbb{F}_2^n$ with prescribed differences

Authors: Benedek Kovács

Abstract: We consider the following question by Balister, Győri and Schelp: given $2^{n-1}$ nonzero vectors in $\mathbb{F}_2^n$ with zero sum, is it always possible to partition the elements of $\mathbb{F}_2^n$ into pairs such that the difference between the two elements of the $i$-th pair is equal to the $i$-th given vector for every $i$? An analogous question in $\mathbb{F}_p$, which is a case of the so-c… ▽ More We consider the following question by Balister, Győri and Schelp: given $2^{n-1}$ nonzero vectors in $\mathbb{F}_2^n$ with zero sum, is it always possible to partition the elements of $\mathbb{F}_2^n$ into pairs such that the difference between the two elements of the $i$-th pair is equal to the $i$-th given vector for every $i$? An analogous question in $\mathbb{F}_p$, which is a case of the so-called "seating couples" problem, has been resolved by Preissmann and Mischler in 2009. In this paper, we prove the conjecture in $\mathbb{F}_2^n$ in the case when the number of distinct values among the given difference vectors is at most $n-2\log n-1$, and also in the case when at least a fraction $\frac12+\varepsilon$ of the given vectors are equal (for all $\varepsilon>0$ and $n$ sufficiently large based on $\varepsilon$). △ Less

Submitted 3 September, 2024; v1 submitted 26 October, 2023; originally announced October 2023.

Comments: 19 pages

Telecom AI Native Systems in the Age of Generative AI -- An Engineering Perspective

Authors: Ricardo Britto, Timothy Murphy, Massimo Iovene, Leif Jonsson, Melike Erol-Kantarci, Benedek Kovács

Abstract: The rapid advancements in Artificial Intelligence (AI), particularly in generative AI and foundational models (FMs), have ushered in transformative changes across various industries. Large language models (LLMs), a type of FM, have demonstrated their prowess in natural language processing tasks and content generation, revolutionizing how we interact with software products and services. This articl… ▽ More The rapid advancements in Artificial Intelligence (AI), particularly in generative AI and foundational models (FMs), have ushered in transformative changes across various industries. Large language models (LLMs), a type of FM, have demonstrated their prowess in natural language processing tasks and content generation, revolutionizing how we interact with software products and services. This article explores the integration of FMs in the telecommunications industry, shedding light on the concept of AI native telco, where AI is seamlessly woven into the fabric of telecom products. It delves into the engineering considerations and unique challenges associated with implementing FMs into the software life cycle, emphasizing the need for AI native-first approaches. Despite the enormous potential of FMs, ethical, regulatory, and operational challenges require careful consideration, especially in mission-critical telecom contexts. As the telecom industry seeks to harness the power of AI, a comprehensive understanding of these challenges is vital to thrive in a fiercely competitive market. △ Less

Submitted 18 October, 2023; originally announced October 2023.

Comments: 5 pages, 1 figure

Maximal line-free sets in $\mathbb{F}_p^n$

Authors: Christian Elsholtz, Jakob Führer, Erik Füredi, Benedek Kovács, Péter Pál Pach, Dániel Gábor Simon, Nóra Velich

Abstract: We study subsets of $\mathbb{F}_p^n$ that do not contain progressions of length $k$. We denote by $r_k(\mathbb{F}_p^n)$ the cardinality of such subsets containing a maximal number of elements. In this paper we focus on the case $k=p$ and therefore sets containing no full line. A~trivial lower bound $r_p(\mathbb{F}_p^n)\geq(p-1)^n$ is achieved by a hypercube of side length $p-1$ and it is known t… ▽ More We study subsets of $\mathbb{F}_p^n$ that do not contain progressions of length $k$. We denote by $r_k(\mathbb{F}_p^n)$ the cardinality of such subsets containing a maximal number of elements. In this paper we focus on the case $k=p$ and therefore sets containing no full line. A~trivial lower bound $r_p(\mathbb{F}_p^n)\geq(p-1)^n$ is achieved by a hypercube of side length $p-1$ and it is known that equality holds for $n\in\{1,2\}$. We will however show that $r_p(\mathbb{F}_p^3)\geq (p-1)^3+p-2\sqrt{p}$, which is the first improvement in the three dimensional case that is increasing in $p$. We will also give the upper bound $r_p(\mathbb{F}_p^{3})\leq p^3-2p^2-(\sqrt{2}-1)p+2$ as well as generalizations for higher dimensions. Finally we present some bounds for individual $p$ and $n$, in particular $r_5(\mathbb{F}_5^{3})\geq 70$ and $r_7(\mathbb{F}_7^{3})\geq 225$ which can be used to give the asymptotic lower bound $4.121^n$ for $r_5(\mathbb{F}_5^{n})$ and $6.082^n$ for $r_7(\mathbb{F}_7^{n})$. △ Less

Submitted 7 May, 2024; v1 submitted 5 October, 2023; originally announced October 2023.

MSC Class: 51E21; 11B25; 05D05

Temperature dependent convective parameters for RRc 1D-models

Authors: Gábor B. Kovács, János Nuspl, Róbert Szabó

Abstract: Nonlinear pulsation modeling of classical variable stars is among the first topics which were developed at the beginning of the computational era. Various developments were made, and many questions were answered in the past 60 years, and the models became more complex, describing the genuinely 3D convection in a single dimension. Despite its successes, the recent public availability of the MESA Ra… ▽ More Nonlinear pulsation modeling of classical variable stars is among the first topics which were developed at the beginning of the computational era. Various developments were made, and many questions were answered in the past 60 years, and the models became more complex, describing the genuinely 3D convection in a single dimension. Despite its successes, the recent public availability of the MESA Radial Stellar Pulsations (MESA RSP) module and the emerging results from multidimensional codes made clear that the 8 free convective parameters, unique to these models, together with the underlying physical models need calibration. This could be done by comparing them against multi-dimensional codes, but before that, it is important to scrutinize the free parameters of the 1D codes using observations. This is a follow-up work of our previous calibration on the convective parameters of the Budapest-Florida and MESA RSP pulsation codes for RRab stars. In this paper, we extend the previous calibration to the RRc stars and the RR Lyrae stars in general. We found that correlations of some of the parameters are present in RRc stars as well but have a different nature, while high-temperature RRc stars' pulsation properties are very sensitive to the chosen parameter sets. △ Less

Submitted 13 September, 2023; originally announced September 2023.

Comments: Accepted in MNRAS, 6 pages, 7 figures

Anatomy-informed Data Augmentation for Enhanced Prostate Cancer Detection

Authors: Balint Kovacs, Nils Netzer, Michael Baumgartner, Carolin Eith, Dimitrios Bounias, Clara Meinzer, Paul F. Jaeger, Kevin S. Zhang, Ralf Floca, Adrian Schrader, Fabian Isensee, Regula Gnirs, Magdalena Goertz, Viktoria Schuetz, Albrecht Stenzinger, Markus Hohenfellner, Heinz-Peter Schlemmer, Ivo Wolf, David Bonekamp, Klaus H. Maier-Hein

Abstract: Data augmentation (DA) is a key factor in medical image analysis, such as in prostate cancer (PCa) detection on magnetic resonance images. State-of-the-art computer-aided diagnosis systems still rely on simplistic spatial transformations to preserve the pathological label post transformation. However, such augmentations do not substantially increase the organ as well as tumor shape variability in… ▽ More Data augmentation (DA) is a key factor in medical image analysis, such as in prostate cancer (PCa) detection on magnetic resonance images. State-of-the-art computer-aided diagnosis systems still rely on simplistic spatial transformations to preserve the pathological label post transformation. However, such augmentations do not substantially increase the organ as well as tumor shape variability in the training set, limiting the model's ability to generalize to unseen cases with more diverse localized soft-tissue deformations. We propose a new anatomy-informed transformation that leverages information from adjacent organs to simulate typical physiological deformations of the prostate and generates unique lesion shapes without altering their label. Due to its lightweight computational requirements, it can be easily integrated into common DA frameworks. We demonstrate the effectiveness of our augmentation on a dataset of 774 biopsy-confirmed examinations, by evaluating a state-of-the-art method for PCa detection with different augmentation settings. △ Less

Submitted 7 September, 2023; originally announced September 2023.

Comments: Accepted at MICCAI 2023

Avoiding intersections of given size in finite affine spaces AG(n,2)

Authors: Benedek Kovács, Zoltán Lóránt Nagy

Abstract: We study the set of intersection sizes of a k-dimensional affine subspace and a point set of size m \in [0, 2^n] of the n-dimensional binary affine space AG(n,2). Following the theme of Erdős, Füredi, Rothschild and T. Sós, we partially determine which local densities in k-dimensional affine subspaces are unavoidable in all $m$-element point sets in the n-dimensional affine space. We also show con… ▽ More We study the set of intersection sizes of a k-dimensional affine subspace and a point set of size m \in [0, 2^n] of the n-dimensional binary affine space AG(n,2). Following the theme of Erdős, Füredi, Rothschild and T. Sós, we partially determine which local densities in k-dimensional affine subspaces are unavoidable in all $m$-element point sets in the n-dimensional affine space. We also show constructions of point sets for which the intersection sizes with $k$-dimensional affine subspaces takes values from a set of a small size compared to 2^k. These are built up from affine subspaces and so-called subspace evasive sets. Meanwhile, we improve the best known upper bounds on subspace evasive sets and apply results concerning the canonical signed-digit (CSD) representation of numbers. △ Less

Submitted 30 May, 2024; v1 submitted 9 May, 2023; originally announced May 2023.

Comments: some typos fixed, further reference added

Calibration of the convective parameters in stellar pulsation hydrocodes

Authors: Gábor B. Kovács, Róbert Szabó, János Nuspl

Abstract: Despite the appearance of two- and three-dimensional models thanks to the rapid growth of computing performance, numerical hydrocodes used to model radial stellar pulsations still apply a one-dimensional stellar envelope model without any realistic atmosphere, in which a significant improvement was the inclusion of turbulent convection. However, turbulent convection is an inherently multi-dimensio… ▽ More Despite the appearance of two- and three-dimensional models thanks to the rapid growth of computing performance, numerical hydrocodes used to model radial stellar pulsations still apply a one-dimensional stellar envelope model without any realistic atmosphere, in which a significant improvement was the inclusion of turbulent convection. However, turbulent convection is an inherently multi-dimensional physical process in the vicinity of the ionization zones that generate pulsation. The description of these processes in one dimension can only be approximated based on simplified theoretical considerations involving several undetermined dimensionless parameters. In this work, we confront two one-dimensional numerical codes, namely the Budapest-Florida code (BpF) and the MESA Radial Stellar Pulsations module (RSP), with radial velocity observations of several non-modulated RRab stars of the M3 globular cluster and specified the undetermined convective parameters by the measured data for both codes independently. Our determination shows that some of the parameters depend on the effective temperature, which dependence is established for the first time in this work, and we also found some degeneracy between the parameters. This procedure gives as by-product suggestions for parameters of the publicly available RSP code extensively used recently by researchers through the MESA package. This work is part of the preparatory work to establish a theoretical framework required to make progress based on the results of one-dimensional models to couple them with multi-dimensional ones for further detailed analysis of physical processes. △ Less

Submitted 21 March, 2023; originally announced March 2023.

Comments: Accepted in MNRAS, 19 pages, 14 figures, for associated mp4 video see https://konkoly.hu/KIK/data_en.html#PM

Semiconductor Fab Scheduling with Self-Supervised and Reinforcement Learning

Authors: Pierre Tassel, Benjamin Kovács, Martin Gebser, Konstantin Schekotihin, Patrick Stöckermann, Georg Seidel

Abstract: Semiconductor manufacturing is a notoriously complex and costly multi-step process involving a long sequence of operations on expensive and quantity-limited equipment. Recent chip shortages and their impacts have highlighted the importance of semiconductors in the global supply chains and how reliant on those our daily lives are. Due to the investment cost, environmental impact, and time scale nee… ▽ More Semiconductor manufacturing is a notoriously complex and costly multi-step process involving a long sequence of operations on expensive and quantity-limited equipment. Recent chip shortages and their impacts have highlighted the importance of semiconductors in the global supply chains and how reliant on those our daily lives are. Due to the investment cost, environmental impact, and time scale needed to build new factories, it is difficult to ramp up production when demand spikes. This work introduces a method to successfully learn to schedule a semiconductor manufacturing facility more efficiently using deep reinforcement and self-supervised learning. We propose the first adaptive scheduling approach to handle complex, continuous, stochastic, dynamic, modern semiconductor manufacturing models. Our method outperforms the traditional hierarchical dispatching strategies typically used in semiconductor manufacturing plants, substantially reducing each order's tardiness and time until completion. As a result, our method yields a better allocation of resources in the semiconductor manufacturing process. △ Less

Submitted 14 February, 2023; originally announced February 2023.

Numerical surgery for mean curvature flow of surfaces

Authors: Balázs Kovács

Abstract: A numerical algorithm for mean curvature flow of closed mean convex surfaces with surgery is proposed. The method uses a finite element based mean curvature flow algorithm based on a coupled partial differential equation system which directly provides an approximation for mean curvature and outward unit normal. The proposed numerical surgery process closely follows the analytical surgery of Huiske… ▽ More A numerical algorithm for mean curvature flow of closed mean convex surfaces with surgery is proposed. The method uses a finite element based mean curvature flow algorithm based on a coupled partial differential equation system which directly provides an approximation for mean curvature and outward unit normal. The proposed numerical surgery process closely follows the analytical surgery of Huisken \& Sinestrari, and Brendle \& Huisken. The numerical surgery approach is described in detail, along with extensions to other geometric flows and methods. Numerical experiments report on the performance of the numerical surgery process. △ Less

Submitted 21 September, 2023; v1 submitted 25 October, 2022; originally announced October 2022.

MSC Class: 35R01; 53C44; 65M60; 65M15; 65M12

Towards characterizing the 2-Ramsey equations of the form $ax+by=p(z)$

Authors: Zsolt Baja, Dániel Dobák, Benedek Kovács, Péter Pál Pach, Donát Pigler

Abstract: In this paper, we study a Ramsey-type problem for equations of the form $ax+by=p(z)$. We show that if certain technical assumptions hold, then any 2-colouring of the positive integers admits infinitely many monochromatic solutions to the equation $ax+by=p(z)$. This entails the $2$-Ramseyness of several notable cases such as the equation $ax+y=z^n$ for arbitrary $a\in\mathbb{Z}^{+}$ and $n\ge 2$, a… ▽ More In this paper, we study a Ramsey-type problem for equations of the form $ax+by=p(z)$. We show that if certain technical assumptions hold, then any 2-colouring of the positive integers admits infinitely many monochromatic solutions to the equation $ax+by=p(z)$. This entails the $2$-Ramseyness of several notable cases such as the equation $ax+y=z^n$ for arbitrary $a\in\mathbb{Z}^{+}$ and $n\ge 2$, and also of $ax+by=a_Dz^D+\dots+a_1z\in\mathbb{Z}[z]$ such that $\text{gcd}(a,b)=1$, $D\ge 2$, $a,b,a_D>0$ and $a_1\neq0$. △ Less

Submitted 19 September, 2022; originally announced September 2022.

Comments: 16 pages

Error analysis for the numerical approximation of the harmonic map heat flow with nodal constraints

Authors: Sören Bartels, Balázs Kovács, Zhangxian Wang

Abstract: An error estimate for a canonical discretization of the harmonic map heat flow into spheres is derived. The numerical scheme uses standard finite elements with a nodal treatment of linearized unit-length constraints. The analysis is based on elementary approximation results and only uses the discrete weak formulation. An error estimate for a canonical discretization of the harmonic map heat flow into spheres is derived. The numerical scheme uses standard finite elements with a nodal treatment of linearized unit-length constraints. The analysis is based on elementary approximation results and only uses the discrete weak formulation. △ Less

Submitted 17 August, 2022; originally announced August 2022.

Comments: 18 pages

MSC Class: 65M12; 65M15; 65M60; 35K61

Multicolor Turán numbers II -- a generalization of the Ruzsa-Szemerédi theorem and new results on cliques and odd cycles

Authors: Benedek Kovács, Zoltán Lóránt Nagy

Abstract: In this paper we continue the study of a natural generalization of Turán's forbidden subgraph problem and the Ruzsa-Szemerédi problem. Let $ex_F(n,G)$ denote the maximum number of edge-disjoint copies of a fixed simple graph $F$ that can be placed on an $n$-vertex ground set without forming a subgraph $G$ whose edges are from different $F$-copies. The case when both $F$ and $G$ are triangles essen… ▽ More In this paper we continue the study of a natural generalization of Turán's forbidden subgraph problem and the Ruzsa-Szemerédi problem. Let $ex_F(n,G)$ denote the maximum number of edge-disjoint copies of a fixed simple graph $F$ that can be placed on an $n$-vertex ground set without forming a subgraph $G$ whose edges are from different $F$-copies. The case when both $F$ and $G$ are triangles essentially gives back the theorem of Ruzsa and Szemerédi. We extend their results to the case when $F$ and $G$ are arbitrary cliques by applying a number theoretic result due to Erdős, Frankl and Rödl. This extension in turn decides the order of magnitude for a large family of graph pairs, which will be subquadratic, but almost quadratic. Since the linear $r$-uniform hypergraph Turán problems to determine $ex_r^{lin}(n,G)$ form a class of the multicolor Turán problem, following the identity $ex_r^{lin}(n,G)=ex_{K_r}(n,G)$, our results determine the linear hypergraph Turán numbers of every graph of girth $3$ and for every $r$ up to a subpolynomial factor. Furthermore, when $G$ is a triangle, we settle the case $F=C_5$ and give bounds for the cases $F=C_{2k+1}$, $k\ge 3$ as well. △ Less

Submitted 29 March, 2024; v1 submitted 29 July, 2022; originally announced July 2022.

Model-independent methods for embedding directed networks into Euclidean and hyperbolic spaces

Authors: Bianka Kovács, Gergely Palla

Abstract: The arrangement of network nodes in hyperbolic spaces has become a widely studied problem, motivated by numerous results suggesting the existence of hidden metric spaces behind the structure of complex networks. Although several methods have already been developed for the hyperbolic embedding of undirected networks, approaches able to deal with directed networks are still in their infancy. Here, w… ▽ More The arrangement of network nodes in hyperbolic spaces has become a widely studied problem, motivated by numerous results suggesting the existence of hidden metric spaces behind the structure of complex networks. Although several methods have already been developed for the hyperbolic embedding of undirected networks, approaches able to deal with directed networks are still in their infancy. Here, we propose a framework based on the dimension reduction of proximity matrices reflecting the network topology, coupled with a general conversion method transforming Euclidean node coordinates into hyperbolic ones even for directed networks. While proposing a new measure of proximity, we also incorporate an earlier Euclidean embedding method in our pipeline, demonstrating the widespread applicability of our Euclidean-hyperbolic conversion. Besides, we introduce a dimension reduction technique that maps the nodes directly into the hyperbolic space with the aim of reproducing a distance matrix measured on the given (un)directed network. According to mapping accuracy, graph reconstruction performance and greedy routing score, our methods are capable of producing high-quality embeddings for several real networks. △ Less

Submitted 15 July, 2022; originally announced July 2022.

Journal ref: Commun Phys 6, 28 (2023)

A multi-epoch, multi-wavelength study of the classical FUor V1515 Cyg approaching quiescence

Authors: Zs. M. Szabó, Á. Kóspál, P. Ábrahám, S. Park, M. Siwak, J. D. Green, A. Pál, J. A. Acosta-Pulido, J. -E. Lee, M. Ibrahimov, K. Grankin, B. Kovács, Zs. Bora, A. Bódi, B. Cseh, G. Csörnyei, Marek Drózdz, O. Hanyecz, B. Ignácz, Cs. Kalup, R. Könyves-Tóth, M. Krezinger, L. Kriskovics, Waldemar Ogloza, A. Ordasi , et al. (6 additional authors not shown)

Abstract: Historically, FU Orionis-type stars are low-mass, pre-main sequence stars. The members of this class experience powerful accretion outbursts and remain in an enhanced accretion state for decades or centuries. V1515 Cyg, a classical FUor, started brightening in the 1940s and reached its peak brightness in the late 1970s. Following a sudden decrease in brightness it stayed in a minimum state for a f… ▽ More Historically, FU Orionis-type stars are low-mass, pre-main sequence stars. The members of this class experience powerful accretion outbursts and remain in an enhanced accretion state for decades or centuries. V1515 Cyg, a classical FUor, started brightening in the 1940s and reached its peak brightness in the late 1970s. Following a sudden decrease in brightness it stayed in a minimum state for a few months, then started a brightening for several years. We present results of our ground-based photometric monitoring complemented with optical/NIR spectroscopic monitoring. Our light curves show a long-term fading with strong variability on weekly and monthly time scales. The optical spectra show P Cygni profiles and broad blue-shifted absorption lines, common properties of FUors. However, V1515 Cyg lacks the P Cygni profile in the Ca II 8498 Å line, a part of the Ca infrared triplet (IRT), formed by an outflowing wind, suggesting that the absorbing gas in the wind is optically thin. The newly obtained near-infrared spectrum shows the strengthening of the CO bandhead and the FeH molecular band, indicating that the disk has become cooler since the last spectroscopic observation in 2015. The current luminosity of the accretion disk dropped from the peak value of 138 $L_{\odot}$ to about 45 $L_{\odot}$, suggesting that the long-term fading is also partly caused by the dropping of the accretion rate. △ Less

Submitted 24 June, 2022; originally announced June 2022.

Comments: 26 pages, 19 figure, accepted for publication in The Astrophysical Journal

Maximally modular structure of growing hyperbolic networks

Authors: Sámuel G. Balogh, Bianka Kovács, Gergely Palla

Abstract: Hyperbolic models are remarkably good at reproducing the scale-free, highly clustered and small-world properties of networks representing real complex systems in a very simple framework. Here we show that for the popularity-similarity optimization model from this family, the generated networks become also extremely modular in the thermodynamic limit, in spite of lacking any explicit community form… ▽ More Hyperbolic models are remarkably good at reproducing the scale-free, highly clustered and small-world properties of networks representing real complex systems in a very simple framework. Here we show that for the popularity-similarity optimization model from this family, the generated networks become also extremely modular in the thermodynamic limit, in spite of lacking any explicit community formation mechanism in the model definition. According to our analytical results supported by numerical simulations, when the system size is increased, the modularity approaches one surprisingly fast. △ Less

Submitted 17 June, 2022; originally announced June 2022.

Journal ref: Commun Phys 6, 76 (2023)

Viscoelastic Cahn--Hilliard models for tumour growth

Authors: Harald Garcke, Balázs Kovács, Dennis Trautwein

Abstract: We introduce a new phase field model for tumour growth where viscoelastic effects are taken into account. The model is derived from basic thermodynamical principles and consists of a convected Cahn--Hilliard equation with source terms for the tumour cells and a convected reaction-diffusion equation with boundary supply for the nutrient. Chemotactic terms, which are essential for the invasive behav… ▽ More We introduce a new phase field model for tumour growth where viscoelastic effects are taken into account. The model is derived from basic thermodynamical principles and consists of a convected Cahn--Hilliard equation with source terms for the tumour cells and a convected reaction-diffusion equation with boundary supply for the nutrient. Chemotactic terms, which are essential for the invasive behaviour of tumours, are taken into account. The model is completed by a viscoelastic system constisting of the Navier--Stokes equation for the hydrodynamic quantities, and a general constitutive equation with stress relaxation for the left Cauchy--Green tensor associated with the elastic part of the total mechanical response of the viscoelastic material. For a specific choice of the elastic energy density and with an additional dissipative term accounting for stress diffusion, we prove existence of global-in-time weak solutions of the viscoelastic model for tumour growth in two space dimensions $d=2$ by the passage to the limit in a fully-discrete finite element scheme where a CFL condition, i.e. $Δt\leq Ch^2$, is required. Moreover, in arbitrary dimensions $d\in\{2,3\}$, we show stability and existence of solutions for the fully-discrete finite element scheme, where positive definiteness of the discrete Cauchy--Green tensor is proved with a regularization technique that was first introduced by J. W. Barrett, S. Boyaval ("Existence and approximation of a (regularized) Oldroyd-B model". In: M3AS. 21.9 (2011), pp. 1783--1837). After that, we improve the regularity results in arbitrary dimensions $d\in\{2,3\}$ and in two dimensions $d=2$, where a CFL condition is required. Then, for $d=2$, we pass to the limit in the discretization parameters and show that subsequences of discrete solutions converge to a global-in-time weak solution. Finally, we present numerical results. △ Less

Submitted 8 April, 2022; originally announced April 2022.

MSC Class: 35K35; 76A10; 76M10; 35Q92

Journal ref: Math. Models Methods Appl. Sci. Vol. 32, No. 13, pp. 2673-2758 (2022)

Numerical analysis for the interaction of mean curvature flow and diffusion on closed surfaces

Authors: Charles M. Elliott, Harald Garcke, Balázs Kovács

Abstract: An evolving surface finite element discretisation is analysed for the evolution of a closed two-dimensional surface governed by a system coupling a generalised forced mean curvature flow and a reaction--diffusion process on the surface, inspired by a gradient flow of a coupled energy. Two algorithms are proposed, both based on a system coupling the diffusion equation to evolution equations for geo… ▽ More An evolving surface finite element discretisation is analysed for the evolution of a closed two-dimensional surface governed by a system coupling a generalised forced mean curvature flow and a reaction--diffusion process on the surface, inspired by a gradient flow of a coupled energy. Two algorithms are proposed, both based on a system coupling the diffusion equation to evolution equations for geometric quantities in the velocity law for the surface. One of the numerical methods is proved to be convergent in the $H^1$ norm with optimal-order for finite elements of degree at least two. We present numerical experiments illustrating the convergence behaviour and demonstrating the qualitative properties of the flow: preservation of mean convexity, loss of convexity, weak maximum principles, and the occurrence of self-intersections. △ Less

Submitted 3 June, 2022; v1 submitted 7 February, 2022; originally announced February 2022.

Error estimates for a splitting integrator for abstract semilinear boundary coupled systems

Authors: Petra Csomós, Bálint Farkas, Balázs Kovács

Abstract: We derive a numerical method, based on operator splitting, to abstract parabolic semilinear boundary coupled systems. The method decouples the linear components which describe the coupling and the dynamics in the bulk and on the surface, and treats the nonlinear terms by approximating the integral in the variation of constants formula. The convergence proof is based on estimates for a recursive fo… ▽ More We derive a numerical method, based on operator splitting, to abstract parabolic semilinear boundary coupled systems. The method decouples the linear components which describe the coupling and the dynamics in the bulk and on the surface, and treats the nonlinear terms by approximating the integral in the variation of constants formula. The convergence proof is based on estimates for a recursive formulation of the error, using the parabolic smoothing property of analytic semigroups and a careful comparison of the exact and approximate flows. Numerical experiments, including problems with dynamic boundary conditions, reporting on convergence rates are presented. △ Less

Submitted 18 October, 2022; v1 submitted 20 December, 2021; originally announced December 2021.

MSC Class: 47D06; 47N40; 34G20; 65J08; 65M12; 65M15

Bulk-surface Lie splitting for parabolic problems with dynamic boundary conditions

Authors: Robert Altmann, Balázs Kovács, Christoph Zimmer

Abstract: This paper studies bulk-surface splitting methods of first order for (semi-linear) parabolic partial differential equations with dynamic boundary conditions. The proposed Lie splitting scheme is based on a reformulation of the problem as a coupled partial differential-algebraic equation system, i.e., the boundary conditions are considered as a second dynamic equation which is coupled to the bulk p… ▽ More This paper studies bulk-surface splitting methods of first order for (semi-linear) parabolic partial differential equations with dynamic boundary conditions. The proposed Lie splitting scheme is based on a reformulation of the problem as a coupled partial differential-algebraic equation system, i.e., the boundary conditions are considered as a second dynamic equation which is coupled to the bulk problem. The splitting approach is combined with bulk-surface finite elements and an implicit Euler discretization of the two subsystems. We prove first-order convergence of the resulting fully discrete scheme in the presence of a weak CFL condition of the form $τ\leq c h$ for some constant $c>0$. The convergence is also illustrated numerically using dynamic boundary conditions of Allen-Cahn-type. △ Less

Submitted 18 August, 2021; originally announced August 2021.

MSC Class: 65M12; 65M20; 65L80

Growing hyperbolic networks beyond two dimensions: the generalised popularity-similarity optimisation model

Authors: Bianka Kovács, Sámuel G. Balogh, Gergely Palla

Abstract: Hyperbolic network models have gained considerable attention in recent years, mainly due to their capability of explaining many peculiar features of real-world networks. One of the most widely known models of this type is the popularity-similarity optimisation (PSO) model, working in the native disk representation of the two-dimensional hyperbolic space and generating networks with small-world pro… ▽ More Hyperbolic network models have gained considerable attention in recent years, mainly due to their capability of explaining many peculiar features of real-world networks. One of the most widely known models of this type is the popularity-similarity optimisation (PSO) model, working in the native disk representation of the two-dimensional hyperbolic space and generating networks with small-world property, scale-free degree distribution, high clustering and strong community structure at the same time. With the motivation of better understanding hyperbolic random graphs, we hereby introduce the $d$PSO model, a generalisation of the PSO model to any arbitrary integer dimension $d>2$. The analysis of the obtained networks shows that their major structural properties can be affected by the dimension of the underlying hyperbolic space in a non-trivial way. Our extended framework is not only interesting from a theoretical point of view but can also serve as a starting point for the generalisation of already existing two-dimensional hyperbolic embedding techniques. △ Less

Submitted 6 August, 2021; originally announced August 2021.

Comments: 65 pages, 30 figures. arXiv admin note: text overlap with arXiv:2101.02249

Journal ref: Sci Rep 12, 968 (2022)

A convergent finite element algorithm for mean curvature flow in arbitrary codimension

Authors: Tim Binz, Balázs Kovács

Abstract: Optimal-order uniform-in-time $H^1$-norm error estimates are given for semi- and full discretizations of mean curvature flow of surfaces in arbitrarily high codimension. The proposed and studied numerical method is based on a parabolic system coupling the surface flow to evolution equations for the mean curvature vector and for the orthogonal projection onto the tangent space. The algorithm uses… ▽ More Optimal-order uniform-in-time $H^1$-norm error estimates are given for semi- and full discretizations of mean curvature flow of surfaces in arbitrarily high codimension. The proposed and studied numerical method is based on a parabolic system coupling the surface flow to evolution equations for the mean curvature vector and for the orthogonal projection onto the tangent space. The algorithm uses evolving surface finite elements and linearly implicit backward difference formulae. This numerical method admits a convergence analysis in the case of finite elements of polynomial degree at least two and backward difference formulae of orders two to five. Numerical experiments in codimension 2 illustrate and complement our theoretical results. △ Less

Submitted 3 February, 2022; v1 submitted 22 July, 2021; originally announced July 2021.

Comments: arXiv admin note: text overlap with arXiv:1805.06667, arXiv:2010.11044, arXiv:1912.05924

MSC Class: 35R01; 53E10; 65M60; 65M15; 65M12

Maximal regularity of backward difference time discretization for evolving surface PDEs and its application to nonlinear problems

Authors: Balázs Kovács, Buyang Li

Abstract: Maximal parabolic $L^p$-regularity of linear parabolic equations on an evolving surface is shown by pulling back the problem to the initial surface and studying the maximal $L^p$-regularity on a fixed surface. By freezing the coefficients in the parabolic equations at a fixed time and utilizing a perturbation argument around the freezed time, it is shown that backward difference time discretizatio… ▽ More Maximal parabolic $L^p$-regularity of linear parabolic equations on an evolving surface is shown by pulling back the problem to the initial surface and studying the maximal $L^p$-regularity on a fixed surface. By freezing the coefficients in the parabolic equations at a fixed time and utilizing a perturbation argument around the freezed time, it is shown that backward difference time discretizations of linear parabolic equations on an evolving surface along characteristic trajectories can preserve maximal $L^p$-regularity in the discrete setting. The result is applied to prove the stability and convergence of time discretizations of nonlinear parabolic equations on an evolving surface, with linearly implicit backward differentiation formulae characteristic trajectories of the surface, for general locally Lipschitz nonlinearities. The discrete maximal $L^p$-regularity is used to prove the boundedness and stability of numerical solutions in the $L^\infty(0,T;W^{1,\infty})$ norm, which is used to bound the nonlinear terms in the stability analysis. Optimal-order error estimates of time discretizations in the $L^\infty(0,T;W^{1,\infty})$ norm is obtained by combining the stability analysis with the consistency estimates. △ Less

Submitted 3 February, 2022; v1 submitted 15 June, 2021; originally announced June 2021.

Time-dependent electromagnetic scattering from thin layers

Authors: Jörg Nick, Balázs Kovács, Christian Lubich

Abstract: The scattering of electromagnetic waves from obstacles with wave-material interaction in thin layers on the surface is described by generalized impedance boundary conditions, which provide effective approximate models. In particular, this includes a thin coating around a perfect conductor and the skin effect of a highly conducting material. The approach taken in this work is to derive, analyse and… ▽ More The scattering of electromagnetic waves from obstacles with wave-material interaction in thin layers on the surface is described by generalized impedance boundary conditions, which provide effective approximate models. In particular, this includes a thin coating around a perfect conductor and the skin effect of a highly conducting material. The approach taken in this work is to derive, analyse and discretize a system of time-dependent boundary integral equations that determines the tangential traces of the scattered electric and magnetic fields. In a familiar second step, the fields are evaluated in the exterior domain by a representation formula, which uses the time-dependent potential operators of Maxwell's equations. The time-dependent boundary integral equationis discretized with Runge--Kutta based convolution quadrature in time and Raviart--Thomas boundary elements in space. Using the frequency-explicit bounds from the well-posedness analysis given here together with known approximation properties of the numerical methods, the full discretization is proved to be stable and convergent, with explicitly given rates in the case of sufficient regularity. Taking the same Runge--Kutta based convolution quadrature for discretizing the time-dependent representation formulas, the optimal order of convergence is obtained away from the scattering boundary, whereas an order reduction occurs close to the boundary. The theoretical results are illustrated by numerical experiments. △ Less

Submitted 3 February, 2022; v1 submitted 16 March, 2021; originally announced March 2021.

MSC Class: 35Q61; 78A45; 65M60; 65M38; 78M15; 65M12; 65R20

The inherent community structure of hyperbolic networks

Authors: Bianka Kovács, Gergely Palla

Abstract: A remarkable approach for grasping the relevant statistical features of real networks with the help of random graphs is offered by hyperbolic models, centred around the idea of placing nodes in a low-dimensional hyperbolic space, and connecting node pairs with a probability depending on the hyperbolic distance. It is widely appreciated that these models can generate random graphs that are small-wo… ▽ More A remarkable approach for grasping the relevant statistical features of real networks with the help of random graphs is offered by hyperbolic models, centred around the idea of placing nodes in a low-dimensional hyperbolic space, and connecting node pairs with a probability depending on the hyperbolic distance. It is widely appreciated that these models can generate random graphs that are small-world, highly clustered and scale-free at the same time; thus, reproducing the most fundamental common features of real networks. In the present work, we focus on a less well-known property of the popularity-similarity optimisation (PSO) model and the $\mathbb{S}^1/\mathbb{H}^2$ model from this model family, namely that the networks generated by these approaches also contain communities for a wide range of the parameters, which was certainly not an intention at the design of the models. We extracted the communities from the studied networks using well-established community finding methods such as Louvain, Infomap and label propagation. The observed high modularity values indicate that the community structure can become very pronounced under certain conditions. In addition, the modules found by the different algorithms show good consistency, implying that these are indeed relevant and apparent structural units. Since the appearance of communities is rather common in networks representing real systems as well, this feature of hyperbolic models makes them even more suitable for describing real networks than thought before. △ Less

Submitted 6 January, 2021; originally announced January 2021.

Comments: 99 pages, 96 figures

Journal ref: Sci Rep 11, 16050 (2021)

A convergent finite element algorithm for generalized mean curvature flows of closed surfaces

Authors: Tim Binz, Balázs Kovács

Abstract: An algorithm is proposed for generalized mean curvature flow of closed two-dimensional surfaces, which include inverse mean curvature flow, powers of mean and inverse mean curvature flow, etc. Error estimates are proven for semi- and full discretisations for the generalized flow. The algorithm proposed and studied here combines evolving surface finite elements, whose nodes determine the discrete s… ▽ More An algorithm is proposed for generalized mean curvature flow of closed two-dimensional surfaces, which include inverse mean curvature flow, powers of mean and inverse mean curvature flow, etc. Error estimates are proven for semi- and full discretisations for the generalized flow. The algorithm proposed and studied here combines evolving surface finite elements, whose nodes determine the discrete surface, and linearly implicit backward difference formulae for time integration. The numerical method is based on a system coupling the surface evolution to non-linear second-order parabolic evolution equations for the normal velocity and normal vector. Convergence proofs are presented in the case of finite elements of polynomial degree at least two and backward difference formulae of orders two to five. The error analysis combines stability estimates and consistency estimates to yield optimal-order $H^1$-norm error bounds for the computed surface position, velocity, normal vector, normal velocity, and therefore for the mean curvature. The stability analysis is performed in the matrix-vector formulation, and is independent of geometric arguments, which only enter the consistency analysis. Numerical experiments are presented to illustrate the convergence results, and also to report on monotone quantities, e.g.~Hawking mass for inverse mean curvature flow. Complemented by experiments for non-convex surfaces. △ Less

Submitted 15 March, 2021; v1 submitted 21 October, 2020; originally announced October 2020.

Comments: Semi-discrete stability proof in previous version

Optimisation of the coalescent hyperbolic embedding of complex networks

Authors: Bianka Kovács, Gergely Palla

Abstract: Several observations indicate the existence of a latent hyperbolic space behind real networks that makes their structure very intuitive in the sense that the probability for a connection is decreasing with the hyperbolic distance between the nodes. A remarkable network model generating random graphs along this line is the popularity-similarity optimisation (PSO) model, offering a scale-free degree… ▽ More Several observations indicate the existence of a latent hyperbolic space behind real networks that makes their structure very intuitive in the sense that the probability for a connection is decreasing with the hyperbolic distance between the nodes. A remarkable network model generating random graphs along this line is the popularity-similarity optimisation (PSO) model, offering a scale-free degree distribution, high clustering and the small world property at the same time. These results provide a strong motivation for the development of hyperbolic embedding algorithms, that tackle the problem of finding the optimal hyperbolic coordinates of the nodes based on the network structure. A very promising recent approach for hyperbolic embedding is provided by the noncentered minimum curvilinear embedding (ncMCE) method, belonging to the family of coalescent embedding algorithms. This approach offers a high quality embedding at a low running time. In the present work we propose a further optimisation of the angular coordinates in this framework that seems to reduce the logarithmic loss and increase the greedy routing score of the embedding compared to the original version, thereby adding an extra improvement to the quality of the inferred hyperbolic coordinates. △ Less

Submitted 10 September, 2020; originally announced September 2020.

Journal ref: Sci Rep 11, 8350 (2021)

A convergent evolving finite element algorithm for Willmore flow of closed surfaces

Authors: Balázs Kovács, Buyang Li, Christian Lubich

Abstract: A proof of convergence is given for a novel evolving surface finite element semi-discretization of Willmore flow of closed two-dimensional surfaces, and also of surface diffusion flow. The numerical method proposed and studied here discretizes fourth-order evolution equations for the normal vector and mean curvature, reformulated as a system of second-order equations, and uses these evolving geome… ▽ More A proof of convergence is given for a novel evolving surface finite element semi-discretization of Willmore flow of closed two-dimensional surfaces, and also of surface diffusion flow. The numerical method proposed and studied here discretizes fourth-order evolution equations for the normal vector and mean curvature, reformulated as a system of second-order equations, and uses these evolving geometric quantities in the velocity law interpolated to the finite element space. This numerical method admits a convergence analysis in the case of continuous finite elements of polynomial degree at least two. The error analysis combines stability estimates and consistency estimates to yield optimal-order $H^1$-norm error bounds for the computed surface position, velocity, normal vector and mean curvature. The stability analysis is based on the matrix--vector formulation of the finite element method and does not use geometric arguments. The geometry enters only into the consistency estimates. Numerical experiments illustrate and complement the theoretical results. △ Less

Submitted 30 July, 2020; originally announced July 2020.

MSC Class: 35R01; 65M60; 65M15; 65M12