-
Complexity of Weighted First-Order Model Counting in the Two-Variable Fragment with Counting Quantifiers: A Bound to Beat
Authors:
Jan Tóth,
Ondřej Kuželka
Abstract:
We study the time complexity of the weighted first-order model counting (WFOMC) over the logical language with two variables and counting quantifiers. The problem is known to be solvable in time polynomial in the domain size. However, the degree of the polynomial, which turns out to be relatively high for most practical applications, has never been properly addressed. First, we formulate a time co…
▽ More
We study the time complexity of the weighted first-order model counting (WFOMC) over the logical language with two variables and counting quantifiers. The problem is known to be solvable in time polynomial in the domain size. However, the degree of the polynomial, which turns out to be relatively high for most practical applications, has never been properly addressed. First, we formulate a time complexity bound for the existing techniques for solving WFOMC with counting quantifiers. The bound is already known to be a polynomial with its degree depending on the number of cells of the input formula. We observe that the number of cells depends, in turn, exponentially on the parameter of the counting quantifiers appearing in the formula. Second, we propose a new approach to dealing with counting quantifiers, reducing the exponential dependency to a quadratic one, therefore obtaining a tighter upper bound. It remains an open question whether the dependency of the polynomial degree on the counting quantifiers can be reduced further, thus making our new bound a bound to beat.
△ Less
Submitted 19 April, 2024;
originally announced April 2024.
-
A Systematic Survey of the Gemini Principles for Digital Twin Ontologies
Authors:
James Michael Tooth,
Nilufer Tuptuk,
Jeremy Daniel McKendrick Watson
Abstract:
Ontologies are widely used for achieving interoperable Digital Twins (DTws), yet competing DTw definitions compound interoperability issues. Semantically linking these differing twins is feasible through ontologies and Cognitive Digital Twins (CDTws). However, it is often unclear how ontology use bolsters broader DTw advancements. This article presents a systematic survey following the PRISMA meth…
▽ More
Ontologies are widely used for achieving interoperable Digital Twins (DTws), yet competing DTw definitions compound interoperability issues. Semantically linking these differing twins is feasible through ontologies and Cognitive Digital Twins (CDTws). However, it is often unclear how ontology use bolsters broader DTw advancements. This article presents a systematic survey following the PRISMA method, to explore the potential of ontologies to support DTws to meet the Centre for Digital Built Britain's Gemini Principles and aims to link progress in ontologies to this framework. The Gemini Principles focus on common DTw requirements, considering: Purpose for 1) Public Good, 2) Value Creation, and 3) Insight; Trustworthiness with sufficient 4) Security, 5) Openness, and 6) Quality; and appropriate Functionality of 7) Federation, 8) Curation, and 9) Evolution. This systematic literature review examines the role of ontologies in facilitating each principle. Existing research uses ontologies to solve DTw challenges within these principles, particularly by connecting DTws, optimising decisionmaking, and reasoning governance policies. Furthermore, analysing the sectoral distribution of literature found that research encompassing the crossover of ontologies, DTws and the Gemini Principles is emerging, and that most innovation is predominantly within manufacturing and built environment sectors. Critical gaps for researchers, industry practitioners, and policymakers are subsequently identified.
△ Less
Submitted 16 April, 2024;
originally announced April 2024.
-
Quantum Flux and Quantum Ergodicity for Cross Sections
Authors:
Hans Christianson,
John Toth
Abstract:
For sequences of quantum ergodic eigenfunctions, we define the quantum flux norm associated to a codimension $1$ submanifold $Σ$ of a non-degenerate energy surface. We prove restrictions of eigenfunctions to $Σ$, realized using the quantum flux norm, are quantum ergodic. We compare this result to known results from \cite{CTZ} in the case of Euclidean domains and hyperfurfaces. As a further applica…
▽ More
For sequences of quantum ergodic eigenfunctions, we define the quantum flux norm associated to a codimension $1$ submanifold $Σ$ of a non-degenerate energy surface. We prove restrictions of eigenfunctions to $Σ$, realized using the quantum flux norm, are quantum ergodic. We compare this result to known results from \cite{CTZ} in the case of Euclidean domains and hyperfurfaces. As a further application, we consider complexified analytic eigenfunctions and prove a second microlocal analogue of \cite{CTZ} in that context.
△ Less
Submitted 2 April, 2024;
originally announced April 2024.
-
Rigorously proven chaos in chemical kinetics
Authors:
M. Susits,
J. Tóth
Abstract:
This study addresses a longstanding question regarding the mathematical proof of chaotic behavior in kinetic differential equations. Following the numerous numerical and experimental results in the past 50 years, we introduce two formal chemical reactions that rigorously demonstrate this behavior. Our approach involves transforming chaotic equations into kinetic differential equations and subseque…
▽ More
This study addresses a longstanding question regarding the mathematical proof of chaotic behavior in kinetic differential equations. Following the numerous numerical and experimental results in the past 50 years, we introduce two formal chemical reactions that rigorously demonstrate this behavior. Our approach involves transforming chaotic equations into kinetic differential equations and subsequently realizing these equations through formal chemical reactions. The findings present a novel perspective on chaotic dynamics within chemical kinetics, thereby resolving a longstanding open problem.
△ Less
Submitted 2 March, 2024; v1 submitted 28 February, 2024;
originally announced February 2024.
-
Symbolic Solution of Systems of Polynomial Differential Equations Via The Cauchy-Riemann Equations. Applications to Kinetic Differential Equations
Authors:
Kelvin Kiprono,
János Tóth
Abstract:
The differential equations of chemical kinetics are systems of nonlinear (polynomial) differential equations, therefore their solutions cannot usually be found in symbolic form. Here we offer a method to solve classes of kinetic differential equations based on the Cauchy--Riemann equations. It turns out that the method can be used to symbolically solve some polynomial differential equations that a…
▽ More
The differential equations of chemical kinetics are systems of nonlinear (polynomial) differential equations, therefore their solutions cannot usually be found in symbolic form. Here we offer a method to solve classes of kinetic differential equations based on the Cauchy--Riemann equations. It turns out that the method can be used to symbolically solve some polynomial differential equations that are not necessarily kinetic, as well.
△ Less
Submitted 15 February, 2024;
originally announced February 2024.
-
Converting Depth Images and Point Clouds for Feature-based Pose Estimation
Authors:
Robert Lösch,
Mark Sastuba,
Jonas Toth,
Bernhard Jung
Abstract:
In recent years, depth sensors have become more and more affordable and have found their way into a growing amount of robotic systems. However, mono- or multi-modal sensor registration, often a necessary step for further processing, faces many challenges on raw depth images or point clouds. This paper presents a method of converting depth data into images capable of visualizing spatial details tha…
▽ More
In recent years, depth sensors have become more and more affordable and have found their way into a growing amount of robotic systems. However, mono- or multi-modal sensor registration, often a necessary step for further processing, faces many challenges on raw depth images or point clouds. This paper presents a method of converting depth data into images capable of visualizing spatial details that are basically hidden in traditional depth images. After noise removal, a neighborhood of points forms two normal vectors whose difference is encoded into this new conversion. Compared to Bearing Angle images, our method yields brighter, higher-contrast images with more visible contours and more details. We tested feature-based pose estimation of both conversions in a visual odometry task and RGB-D SLAM. For all tested features, AKAZE, ORB, SIFT, and SURF, our new Flexion images yield better results than Bearing Angle images and show great potential to bridge the gap between depth data and classical computer vision. Source code is available here: https://rlsch.github.io/depth-flexion-conversion.
△ Less
Submitted 23 October, 2023;
originally announced October 2023.
-
Small-scale mass estimates for Neumann eigenfunctions: piecewise smooth planar domains
Authors:
Hans Christianson,
John A. Toth
Abstract:
Let $Ω$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$. Our main result is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary and corner points) and any $δ\in [0,1),$ $$ \| φ_λ\|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ The proof is a stationary…
▽ More
Let $Ω$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$. Our main result is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary and corner points) and any $δ\in [0,1),$ $$ \| φ_λ\|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ The proof is a stationary vector field argument combined with a small scale induction argument.
△ Less
Submitted 19 September, 2023;
originally announced September 2023.
-
Analysis of CN emission as a marker of organic compounds in meteoroids using laboratory simulated meteors
Authors:
Adriana Pisarčíková,
Pavol Matlovič,
Juraj Tóth,
Stefan Loehle,
Ludovic Ferrière,
David Leiser,
Felix Grigat,
Jérémie Vaubaillon
Abstract:
Fragments of small solar system bodies entering Earth's atmosphere have possibly been important contributors of organic compounds to the early Earth. The cyano radical (CN) emission from meteors is considered as potentially one of the most suitable markers of organic compounds in meteoroids, however, its detection in meteor spectra has been thus far unsuccessful. With the aim to improve our abilit…
▽ More
Fragments of small solar system bodies entering Earth's atmosphere have possibly been important contributors of organic compounds to the early Earth. The cyano radical (CN) emission from meteors is considered as potentially one of the most suitable markers of organic compounds in meteoroids, however, its detection in meteor spectra has been thus far unsuccessful. With the aim to improve our abilities to identify CN emission in meteor observations and use its spectral features to characterize the composition of incoming asteroidal meteoroids, we present a detailed analysis of CN emission from high-resolution spectra of 22 laboratory simulated meteors including ordinary, carbonaceous, and enstatite chondrites, as well as a large diversity of achondrites (i.e., ureilite, aubrite, lunar, martian, howardite, eucrite, and diogenite), mesosiderite, and iron meteorites. We describe the variations of CN emission from different classes of asteroidal meteor analogues, its correlation and time evolution relative to other major meteoroid components. We demonstrate that CN can be used as a diagnostic spectral feature of carbonaceous and carbon-rich meteoroids, while most ordinary chondrites show no signs of CN. Our results point out strong correlation between CN and H emission and suggest both volatile features are suitable to trace contents of organic matter and water molecules present within meteoroids. For the application in lower resolution meteor observations, we demonstrate that CN can be best recognized in the early stages of ablation and for carbon-rich materials by measuring relative intensity ratio of CN band peak to the nearby Fe I-4 lines.
△ Less
Submitted 10 July, 2023;
originally announced July 2023.
-
A Cloud-based Machine Learning Pipeline for the Efficient Extraction of Insights from Customer Reviews
Authors:
Robert Lakatos,
Gergo Bogacsovics,
Balazs Harangi,
Istvan Lakatos,
Attila Tiba,
Janos Toth,
Marianna Szabo,
Andras Hajdu
Abstract:
The efficiency of natural language processing has improved dramatically with the advent of machine learning models, particularly neural network-based solutions. However, some tasks are still challenging, especially when considering specific domains. In this paper, we present a cloud-based system that can extract insights from customer reviews using machine learning methods integrated into a pipeli…
▽ More
The efficiency of natural language processing has improved dramatically with the advent of machine learning models, particularly neural network-based solutions. However, some tasks are still challenging, especially when considering specific domains. In this paper, we present a cloud-based system that can extract insights from customer reviews using machine learning methods integrated into a pipeline. For topic modeling, our composite model uses transformer-based neural networks designed for natural language processing, vector embedding-based keyword extraction, and clustering. The elements of our model have been integrated and further developed to meet better the requirements of efficient information extraction, topic modeling of the extracted information, and user needs. Furthermore, our system can achieve better results than this task's existing topic modeling and keyword extraction solutions. Our approach is validated and compared with other state-of-the-art methods using publicly available datasets for benchmarking.
△ Less
Submitted 18 June, 2023; v1 submitted 13 June, 2023;
originally announced June 2023.
-
MAC, a novel stochastic optimization method
Authors:
Attila László Nagy,
Goitom Simret Kidane,
Tamás Turányi,
János Tóth
Abstract:
A novel stochastic optimization method called MAC was suggested. The method is based on the calculation of the objective function at several random points and then an empirical expected value and an empirical covariance matrix are calculated. The empirical expected value is proven to converge to the optimum value of the problem. The MAC algorithm was encoded in Matlab and the code was tested on 20…
▽ More
A novel stochastic optimization method called MAC was suggested. The method is based on the calculation of the objective function at several random points and then an empirical expected value and an empirical covariance matrix are calculated. The empirical expected value is proven to converge to the optimum value of the problem. The MAC algorithm was encoded in Matlab and the code was tested on 20 test problems. Its performance was compared with those of the interior point method (Matlab name: fmincon), simplex, pattern search (PS), simulated annealing (SA), particle swarm optimization (PSO), and genetic algorithm (GA) methods. The MAC method failed two test functions and provided inaccurate results on four other test functions. However, it provided accurate results and required much less CPU time than the widely used optimization methods on the other 14 test functions.
△ Less
Submitted 14 April, 2023;
originally announced April 2023.
-
Autofluorescence Bronchoscopy Video Analysis for Lesion Frame Detection
Authors:
Qi Chang,
Rebecca Bascom,
Jennifer Toth,
Danish Ahmad,
William E. Higgins
Abstract:
Because of the significance of bronchial lesions as indicators of early lung cancer and squamous cell carcinoma, a critical need exists for early detection of bronchial lesions. Autofluorescence bronchoscopy (AFB) is a primary modality used for bronchial lesion detection, as it shows high sensitivity to suspicious lesions. The physician, however, must interactively browse a long video stream to lo…
▽ More
Because of the significance of bronchial lesions as indicators of early lung cancer and squamous cell carcinoma, a critical need exists for early detection of bronchial lesions. Autofluorescence bronchoscopy (AFB) is a primary modality used for bronchial lesion detection, as it shows high sensitivity to suspicious lesions. The physician, however, must interactively browse a long video stream to locate lesions, making the search exceedingly tedious and error prone. Unfortunately, limited research has explored the use of automated AFB video analysis for efficient lesion detection. We propose a robust automatic AFB analysis approach that distinguishes informative and uninformative AFB video frames in a video. In addition, for the informative frames, we determine the frames containing potential lesions and delineate candidate lesion regions. Our approach draws upon a combination of computer-based image analysis, machine learning, and deep learning. Thus, the analysis of an AFB video stream becomes more tractable. Tests with patient AFB video indicate that $\ge$97\% of frames were correctly labeled as informative or uninformative. In addition, $\ge$97\% of lesion frames were correctly identified, with false positive and false negative rates $\le$3\%.
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
Bronchoscopic video synchronization for interactive multimodal inspection of bronchial lesions
Authors:
Qi Chang,
Patrick D. Byrnes,
Danish Ahmad,
Jennifer Toth,
Rebecca Bascom,
William E. Higgins
Abstract:
With lung cancer being the most fatal cancer worldwide, it is important to detect the disease early. A potentially effective way of detecting early cancer lesions develo** along the airway walls (epithelium) is bronchoscopy. To this end, developments in bronchoscopy offer three promising noninvasive modalities for imaging bronchial lesions: white-light bronchoscopy (WLB), autofluorescence bronch…
▽ More
With lung cancer being the most fatal cancer worldwide, it is important to detect the disease early. A potentially effective way of detecting early cancer lesions develo** along the airway walls (epithelium) is bronchoscopy. To this end, developments in bronchoscopy offer three promising noninvasive modalities for imaging bronchial lesions: white-light bronchoscopy (WLB), autofluorescence bronchoscopy (AFB), and narrow-band imaging (NBI). While these modalities give complementary views of the airway epithelium, the physician must manually inspect each video stream produced by a given modality to locate the suspect cancer lesions. Unfortunately, no effort has been made to rectify this situation by providing efficient quantitative and visual tools for analyzing these video streams. This makes the lesion search process extremely time-consuming and error-prone, thereby making it impractical to utilize these rich data sources effectively. We propose a framework for synchronizing multiple bronchoscopic videos to enable an interactive multimodal analysis of bronchial lesions. Our methods first register the video streams to a reference 3D chest computed-tomography (CT) scan to produce multimodal linkages to the airway tree. Our methods then temporally correlate the videos to one another to enable synchronous visualization of the resulting multimodal data set. Pictorial and quantitative results illustrate the potential of the methods.
△ Less
Submitted 20 March, 2023;
originally announced March 2023.
-
On Discovering Interesting Combinatorial Integer Sequences
Authors:
Martin Svatoš,
Peter Jung,
Jan Tóth,
Yuyi Wang,
Ondřej Kuželka
Abstract:
We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate first-order logic sentences which define some combinatorial objects, e.g., undirected graphs, permutations, matchings etc. In the second step, we use algorithms for lifted first-order model counting to generate integer seque…
▽ More
We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate first-order logic sentences which define some combinatorial objects, e.g., undirected graphs, permutations, matchings etc. In the second step, we use algorithms for lifted first-order model counting to generate integer sequences that count the objects encoded by the first-order logic formulas generated in the first step. For instance, if the first-order sentence defines permutations then the generated integer sequence is the sequence of factorial numbers $n!$. We demonstrate that our approach is able to generate interesting new sequences by showing that a non-negligible fraction of the automatically generated sequences can actually be found in the Online Encyclopaedia of Integer Sequences (OEIS) while generating many other similar sequences which are not present in OEIS and which are potentially interesting. A key technical contribution of our work is the method for generation of first-order logic sentences which is able to drastically prune the space of sentences by discarding large fraction of sentences which would lead to redundant integer sequences.
△ Less
Submitted 9 February, 2023;
originally announced February 2023.
-
A 2022 $τ$-Herculid meteor cluster from an airborne experiment: automated detection, characterization, and consequences for meteoroids
Authors:
J. Vaubaillon,
C. Loir,
C. Ciocan,
M. Kandeepan,
M. Millet,
A. Cassagne,
L. Lacassagne,
P. Da Fonseca,
F. Zander,
D. Buttsworth,
S. Loehle,
J. Toth,
S. Gray,
A. Moingeon,
N. Rambaux
Abstract:
Context. The existence of meteor clusters has long since been a subject of speculation and so far only seven events have been reported, among which two involve less than five meteors, and three were seen during the Leonid storms. Aims. The 1995 outburst of Comet 73P/Schwassmann-Wachmann was predicted to result in a meteor shower in May 2022. We detected the shower, proved this to be the result of…
▽ More
Context. The existence of meteor clusters has long since been a subject of speculation and so far only seven events have been reported, among which two involve less than five meteors, and three were seen during the Leonid storms. Aims. The 1995 outburst of Comet 73P/Schwassmann-Wachmann was predicted to result in a meteor shower in May 2022. We detected the shower, proved this to be the result of this outburst, and detected another meteor cluster during the same observation mission. Methods. The τ-Herculids meteor shower outburst on 31 May 2022 was continuously monitored for 4 hours during an airborne campaign. The video data were analyzed using a recently developed computer-vision processing chain for meteor real-time detection. Results. We report and characterize the detection of a meteor cluster involving 38 fragments, detected at 06:48 UT for a total duration of 11.3 s. The derived cumulative size frequency distribution index is relatively shallow: s = 3.1. Our open-source computer-vision processing chain (named FMDT) detects 100% of the meteors that a human eye is able to detect in the video. Classical automated motion detection assuming a static camera was not suitable for the stabilized camera setup because of residual motion. Conclusions. From all reported meteor clusters, we crudely estimate their occurrence to be less than one per million observed meteors. Low heliocentric distance enhances the probability of such meteoroid self-disruption in the interplanetary space.
△ Less
Submitted 17 January, 2023;
originally announced January 2023.
-
Direct measurement of decimeter-sized rocky material in the Oort cloud
Authors:
Denis Vida,
Peter G. Brown,
Hadrien A. R. Devillepoix,
Paul Wiegert,
Danielle E. Moser,
Pavol Matlovič,
Christopher D. K. Herd,
Patrick J. A. Hill,
Eleanor K. Sansom,
Martin C. Towner,
Juraj Tóth,
William J. Cooke,
Donald W. Hladiuk
Abstract:
The Oort cloud is thought to be a reservoir of icy planetesimals and the source of long-period comets (LPCs) implanted from the outer Solar System during the time of giant planet formation. The abundance of rocky ice-free bodies is a key diagnostic of Solar System formation models as it can distinguish between ``massive" and ``depleted" proto-asteroid belt scenarios and thus disentangle competing…
▽ More
The Oort cloud is thought to be a reservoir of icy planetesimals and the source of long-period comets (LPCs) implanted from the outer Solar System during the time of giant planet formation. The abundance of rocky ice-free bodies is a key diagnostic of Solar System formation models as it can distinguish between ``massive" and ``depleted" proto-asteroid belt scenarios and thus disentangle competing planet formation models. Here we report a direct observation of a decimeter-sized ($\sim2$ kg) rocky meteoroid on a retrograde LPC orbit ($e \approx 1.0$, i = $121^{\circ}$). During its flight, it fragmented at dynamic pressures similar to fireballs drop** ordinary chondrite meteorites. A numerical ablation model fit produces bulk density and ablation properties also consistent with asteroidal meteoroids. We estimate the flux of rocky objects impacting Earth from the Oort cloud to be $1.08^{+2.81}_{-0.95} \mathrm{meteoroids/10^6 km^2/yr}$ to a mass limit of 10 g. This corresponds to an abundance of rocky meteoroids of $\sim6^{+13}_{-5}$\% of all objects originating in the Oort cloud and impacting Earth to these masses. Our result gives support to migration-based dynamical models of the formation of the Solar System which predict that significant rocky material is implanted in the Oort cloud, a result not explained by traditional Solar System formation models.
△ Less
Submitted 13 December, 2022;
originally announced December 2022.
-
Lifted Inference with Linear Order Axiom
Authors:
Jan Tóth,
Ondřej Kuželka
Abstract:
We consider the task of weighted first-order model counting (WFOMC) used for probabilistic inference in the area of statistical relational learning. Given a formula $φ$, domain size $n$ and a pair of weight functions, what is the weighted sum of all models of $φ$ over a domain of size $n$? It was shown that computing WFOMC of any logical sentence with at most two logical variables can be done in t…
▽ More
We consider the task of weighted first-order model counting (WFOMC) used for probabilistic inference in the area of statistical relational learning. Given a formula $φ$, domain size $n$ and a pair of weight functions, what is the weighted sum of all models of $φ$ over a domain of size $n$? It was shown that computing WFOMC of any logical sentence with at most two logical variables can be done in time polynomial in $n$. However, it was also shown that the task is $\texttt{#}P_1$-complete once we add the third variable, which inspired the search for extensions of the two-variable fragment that would still permit a running time polynomial in $n$. One of such extension is the two-variable fragment with counting quantifiers. In this paper, we prove that adding a linear order axiom (which forces one of the predicates in $φ$ to introduce a linear ordering of the domain elements in each model of $φ$) on top of the counting quantifiers still permits a computation time polynomial in the domain size. We present a new dynamic programming-based algorithm which can compute WFOMC with linear order in time polynomial in $n$, thus proving our primary claim.
△ Less
Submitted 2 November, 2022;
originally announced November 2022.
-
Characteristics of distributions of sets and their $(R)$- and $(N)$-denseness
Authors:
Piotr Miska,
János T. Tóth
Abstract:
Let $0\leq q\leq1$ and $\mathbb{N}$ denotes the set of all positive integers. In this paper we will deal with it too the family $\mathcal{U}(x^q)$ of all regularly distributed set $X \subset \mathbb{N}$ whose ratio block sequence is asymptotically distributed with distribution function $g(x) = x^q;\ x \in(0,1]$, and we will show that the regular distributed set, regular sequences, regular variatio…
▽ More
Let $0\leq q\leq1$ and $\mathbb{N}$ denotes the set of all positive integers. In this paper we will deal with it too the family $\mathcal{U}(x^q)$ of all regularly distributed set $X \subset \mathbb{N}$ whose ratio block sequence is asymptotically distributed with distribution function $g(x) = x^q;\ x \in(0,1]$, and we will show that the regular distributed set, regular sequences, regular variation at infinity are equivalent notations. In this paper also we discuss the relation ship between notations as (N)-denseness, directions sets, generalized ratio sets, dispersion of sequence and exponent of convergence.
△ Less
Submitted 21 October, 2022;
originally announced October 2022.
-
Per aspera ad astra simul: Through difficulties to the stars together
Authors:
David Jones,
Petr Kabath,
Jorge Garcia-Rojas,
Josef Hanus,
Marian Jakubik,
Jan Janik,
Roman Nagy,
Juraj Toth
Abstract:
In this article, we detail the strategic partnerships "Per Aspera Ad Astra Simul" and "European Collaborating Astronomers Project: España-Czechia-Slovakia". These strategic partnerships were conceived to foment international collaboration for educational activities (aimed at all levels) as well as to support the development and growth of early career researchers. The activities, carried out under…
▽ More
In this article, we detail the strategic partnerships "Per Aspera Ad Astra Simul" and "European Collaborating Astronomers Project: España-Czechia-Slovakia". These strategic partnerships were conceived to foment international collaboration for educational activities (aimed at all levels) as well as to support the development and growth of early career researchers. The activities, carried out under the auspices of these strategic partnerships, demonstrate that Key Action 2 of the Erasmus+ programme can be an extremely valuable resource for supporting international educational projects, as well as the great impact that such projects can have on the general public and on the continued development of early career researchers. We strongly encourage other educators to make use of the opportunities offered by the Erasmus+ scheme.
△ Less
Submitted 17 August, 2022;
originally announced August 2022.
-
ESFPNet: efficient deep learning architecture for real-time lesion segmentation in autofluorescence bronchoscopic video
Authors:
Qi Chang,
Danish Ahmad,
Jennifer Toth,
Rebecca Bascom,
William E. Higgins
Abstract:
Lung cancer tends to be detected at an advanced stage, resulting in a high patient mortality rate. Thus, much recent research has focused on early disease detection Bronchoscopy is the procedure of choice for an effective noninvasive way of detecting early manifestations (bronchial lesions) of lung cancer. In particular, autofluorescence bronchoscopy (AFB) discriminates the autofluorescence proper…
▽ More
Lung cancer tends to be detected at an advanced stage, resulting in a high patient mortality rate. Thus, much recent research has focused on early disease detection Bronchoscopy is the procedure of choice for an effective noninvasive way of detecting early manifestations (bronchial lesions) of lung cancer. In particular, autofluorescence bronchoscopy (AFB) discriminates the autofluorescence properties of normal (green) and diseased tissue (reddish brown) with different colors. Because recent studies show AFB's high sensitivity in searching lesions, it has become a potentially pivotal method in bronchoscopic airway exams. Unfortunately, manual inspection of AFB video is extremely tedious and error prone, while limited effort has been expended toward potentially more robust automatic AFB lesion analysis. We propose a real-time (processing throughput of 27 frames/sec) deep-learning architecture dubbed ESFPNet for accurate segmentation and robust detection of bronchial lesions in AFB video streams. The architecture features an encoder structure that exploits pretrained Mix Transformer (MiT) encoders and an efficient stage-wise feature pyramid (ESFP) decoder structure. Segmentation results from the AFB airway-exam videos of 20 lung cancer patients indicate that our approach gives a mean Dice index = 0.756 and an average Intersection of Union = 0.624, results that are superior to those generated by other recent architectures. Thus, ESFPNet gives the physician a potential tool for confident real-time lesion segmentation and detection during a live bronchoscopic airway exam. Moreover, our model shows promising potential applicability to other domains, as evidenced by its state-of-the-art (SOTA) performance on the CVC-ClinicDB, ETIS-LaribPolypDB datasets, and superior performance on the Kvasir, CVC-ColonDB datasets.
△ Less
Submitted 8 December, 2022; v1 submitted 15 July, 2022;
originally announced July 2022.
-
Lower bounds for eigenfunction restrictions in lacunary regions
Authors:
Yaiza Canzani,
John A. Toth
Abstract:
Let $(M,g)$ be a compact, smooth Riemannian manifold and $\{u_h\}$ be a sequence of $L^2$-normalized Laplace eigenfunctions that has a localized defect measure $μ$ in the sense that $ M \setminus \text{supp}(π_* μ) \neq \emptyset$ where $π:T^*M \to M$ is the canonical projection. Using Carleman estimates we prove that for any real-smooth closed hypersurface…
▽ More
Let $(M,g)$ be a compact, smooth Riemannian manifold and $\{u_h\}$ be a sequence of $L^2$-normalized Laplace eigenfunctions that has a localized defect measure $μ$ in the sense that $ M \setminus \text{supp}(π_* μ) \neq \emptyset$ where $π:T^*M \to M$ is the canonical projection. Using Carleman estimates we prove that for any real-smooth closed hypersurface $H \subset (M\setminus \text{supp} (π_* μ))$ sufficiently close to $ \text{supp}(π_* μ),$ and for all $δ>0,$ $$ \int_{H} |u_h|^2 dσ\geq C_δ\, e^{- [\, d(H, \text{supp}(π_* μ)) + \,δ] /h} $$ as $h \to 0^+$. We also show that the result holds for eigenfunctions of Schrödinger operators and give applications to eigenfunctions on warped products and joint eigenfunctions of quantum completely integrable (QCI) systems.
△ Less
Submitted 12 July, 2022;
originally announced July 2022.
-
Hydrogen emission from meteors and meteorites: map** traces of H$_{2}$O molecules and organic compounds in small Solar system bodies
Authors:
Pavol Matlovič,
Adriana Pisarčíková,
Juraj Tóth,
Pavel Mach,
Peter Čermák,
Stefan Loehle,
Leonard Kornoš,
Ludovic Ferrière,
Jiří Šilha,
David Leiser,
Ranjith Ravichandran
Abstract:
The hydrogen emission from meteors is assumed to originate mainly from the meteoroid composition, making it a potential tracer of H$_{2}$O molecules and organic compounds. H$α$ line was previously detected in individual fireballs, but its variation in a larger meteor dataset and dependency on the dynamical origin and physical properties have not yet been studied. Here we investigate the relative i…
▽ More
The hydrogen emission from meteors is assumed to originate mainly from the meteoroid composition, making it a potential tracer of H$_{2}$O molecules and organic compounds. H$α$ line was previously detected in individual fireballs, but its variation in a larger meteor dataset and dependency on the dynamical origin and physical properties have not yet been studied. Here we investigate the relative intensity of H$α$ within 304 meteor spectra observed by the AMOS network. We demonstrate that H$α$ emission is favored in faster meteors ($v_i >>$ 30 km s$^{-1}$) which form the high-temperature spectral component. H$α$ was found to be a characteristic spectral feature of cometary meteoroids with $\sim$ 92% of all meteoroids with detected H$α$ originating from Halley-type and long-period orbits. Our results suggest that hydrogen is being depleted from meteoroids with lower perihelion distances (q $<$ 0.4 au). No asteroidal meteoroids with detected H emission were found. However, using spectral data from simulated ablation of different meteorite types, we show that H emission from asteroidal materials can occur, and apparently correlates with their water and organic matter content. Strongest H emission was detected from carbonaceous chondrites (CM and CV) and achondrites (ureilite and aubrite), while it was lacking in most ordinary chondrites. The detection of H$α$ in asteroidal meteoroids could be used to identify meteoroids of carbonaceous or achondritic composition. Overall, our results suggest that H$α$ emission correlates with the emission of other volatiles (Na and CN) and presents a suitable tracer of water and organic matter in meteoroids.
△ Less
Submitted 17 May, 2022; v1 submitted 2 May, 2022;
originally announced May 2022.
-
Lower bounds for Steklov eigenfunctions
Authors:
Jeffrey Galkowski,
John A. Toth
Abstract:
Let $(Ω,g)$ be a compact, analytic Riemannian manifold with analytic boundary $\partial Ω= M.$ We give $L^2$-lower bounds for Steklov eigenfunctions and their restrictions to interior hypersurfaces $H \subset Ω^{\circ}$ in a geometrically defined neighborhood of $M$. Our results are optimal in the entire geometric neighborhood and complement the results on eigenfunction upper bounds in the author'…
▽ More
Let $(Ω,g)$ be a compact, analytic Riemannian manifold with analytic boundary $\partial Ω= M.$ We give $L^2$-lower bounds for Steklov eigenfunctions and their restrictions to interior hypersurfaces $H \subset Ω^{\circ}$ in a geometrically defined neighborhood of $M$. Our results are optimal in the entire geometric neighborhood and complement the results on eigenfunction upper bounds in the author's previous work.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Reaction extent or advancement of the reaction: A new general definition
Authors:
V. Gáspár,
J. Tóth
Abstract:
The concept of reaction extent (the progress of a reaction, advancement of the reaction, conversion, etc.) was introduced around 100 years ago. Most of the literature provides a definition for the exceptional case of a single reaction step or gives an implicit definition that cannot be made explicit. There are views that the reaction extent somehow has to tend to 1 when the reaction goes to comple…
▽ More
The concept of reaction extent (the progress of a reaction, advancement of the reaction, conversion, etc.) was introduced around 100 years ago. Most of the literature provides a definition for the exceptional case of a single reaction step or gives an implicit definition that cannot be made explicit. There are views that the reaction extent somehow has to tend to 1 when the reaction goes to completion as time tends to infinity. However, there is no agreement on which function should tend to 1. Starting from the standard definition by IUPAC and following the classical works by De Donder, Aris, and Croce we extend the classic definition of the reaction extent for an arbitrary number of species and reaction steps. The new general, explicit definition is also valid for non-mass action kinetics. We also studied the mathematical properties (evolution equation, continuity, monotony, differentiability, etc.) of the defined quantity, connecting them to the formalism of modern reaction kinetics. Our approach tries to adhere to the customs of chemists and be mathematically correct simultaneously. To make the exposition easy to understand, we use simple chemical examples and many figures, throughout. We also show how to apply this concept to exotic reactions: reactions with more than one stationary state, oscillatory reactions, and reactions showing chaotic behavior. The main advantage of the new definition of reaction extent is that by knowing the kinetic model of a reacting system one can now calculate not only the time evolution of the concentration of each reacting species but also the number of occurrences of the individual reaction events.
△ Less
Submitted 13 September, 2022; v1 submitted 8 October, 2021;
originally announced November 2021.
-
On the Complexity of Nucleolus Computation for Bipartite b-Matching Games
Authors:
Jochen Koenemann,
Justin Toth,
Felix Zhou
Abstract:
We explore the complexity of nucleolus computation in b-matching games on bipartite graphs. We show that computing the nucleolus of a simple b-matching game is NP-hard even on bipartite graphs of maximum degree 7. We complement this with partial positive results in the special case where b values are bounded by 2. In particular, we describe an efficient algorithm when a constant number of vertices…
▽ More
We explore the complexity of nucleolus computation in b-matching games on bipartite graphs. We show that computing the nucleolus of a simple b-matching game is NP-hard even on bipartite graphs of maximum degree 7. We complement this with partial positive results in the special case where b values are bounded by 2. In particular, we describe an efficient algorithm when a constant number of vertices satisfy b(v) = 2 as well as an efficient algorithm for computing the non-simple b-matching nucleolus when b = 2.
△ Less
Submitted 25 December, 2022; v1 submitted 15 May, 2021;
originally announced May 2021.
-
Non-concentration and restriction bounds for Neumann eigenfunctions of piecewise $C^{\infty}$ bounded planar domains
Authors:
Hans Christianson,
John A. Toth
Abstract:
Let $(Ω,g)$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$ and $u_λ:= φ_λ |_{\partial Ω}$ the associated Dirichlet data (ie. boundary restriction of $φ_λ$). Our first main result (Theorem \ref{T:non-con}) is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (incl…
▽ More
Let $(Ω,g)$ be a piecewise-smooth, bounded convex domain in $\R^2$ and consider $L^2$-normalized Neumann eigenfunctions $φ_λ$ with eigenvalue $λ^2$ and $u_λ:= φ_λ |_{\partial Ω}$ the associated Dirichlet data (ie. boundary restriction of $φ_λ$). Our first main result (Theorem \ref{T:non-con}) is a small-scale {\em non-concentration} estimate: We prove that for {\em any} $x_0 \in \overlineΩ,$ (including boundary corner points) and any $δ\in [0,1),$ $$ \| φ_h \|_{B(x_0,λ^{-δ})\cap Ω} = O(λ^{-δ/2}).$$ Our subsequent results involve applications of the nonconcentration estimate to upper bounds for $L^2$ restrictions of boundary eigenfunctions that are valid up to boundary corners. In particular, in Theorem \ref{dirichlet} we prove that for any {\em flat} boundary edge $Γ$ (possibly including corner points), the boundary restrictions $u_h:= φ_h |_{\partial Ω}$ satisfy the bounds $$ \|u_λ \|_{L^2(Γ)} = O_ε(λ^{1/4 + ε}),$$ for any $ε>0.$ The exponent $1/4$ is sharp and the result improves on the $O(λ^{1/3})$ universal $L^2$-restriction bound for Neumann eigenfunctions due to Tataru \cite{Ta}. The $O(λ^{1/4})$ -bound is also an extension to the boundary (including corner points) of well-known interior $L^2$ restriction bounds of Burq-Gerard-Tzvetkov \cite{BGT} along totally-geodesic hypersurfaces.
△ Less
Submitted 30 December, 2020;
originally announced December 2020.
-
Meteors: Light from Comets and Asteroids
Authors:
Pavol Matlovič,
Juraj Tóth
Abstract:
In studies of the oldest solar system bodies - comets and asteroids - it is their fragments - meteoroids - that provide the most accessible planetary material for detailed laboratory analysis in the form of dust particles or meteorites. Some asteroids and comets were visited by spacecrafts and returned interplanetary samples to Earth, while missions Hayabusa 2 and OSIRIX-REx visiting asteroids Ryu…
▽ More
In studies of the oldest solar system bodies - comets and asteroids - it is their fragments - meteoroids - that provide the most accessible planetary material for detailed laboratory analysis in the form of dust particles or meteorites. Some asteroids and comets were visited by spacecrafts and returned interplanetary samples to Earth, while missions Hayabusa 2 and OSIRIX-REx visiting asteroids Ryugu and Bennu are ongoing. However, the lack of representative samples of comets and asteroids opens the space to gain more knowledge from direct observations of meteoroids. At collision with the Earth's atmosphere, meteoroids produce light phenomena known as meteors. Different methods can be used to observe meteors, allowing us to study small interplanetary fragments, which would otherwise remain undetected. Numerous impressive meteor showers, storms and meteorite impacts have occurred throughout the recorded history and can now be predicted and analyzed in much more detail. By understanding the dynamics, composition and physical properties of meteoroids, we are able to study the formation history and dynamical evolution of the solar system. This work presents an introduction to meteor astronomy, its fundamental processes and examples of current research topics.
△ Less
Submitted 8 July, 2020;
originally announced July 2020.
-
A General Framework for Computing the Nucleolus Via Dynamic Programming
Authors:
Jochen Koenemann,
Justin Toth
Abstract:
This paper defines a general class of cooperative games for which the nucleolus is efficiently computable. This class includes new members for which the complexity of computing their nucleolus was not previously known. We show that when the minimum excess coalition problem of a cooperative game can be formulated as a hypergraph dynamic program its nucleolus is efficiently computable. This gives a…
▽ More
This paper defines a general class of cooperative games for which the nucleolus is efficiently computable. This class includes new members for which the complexity of computing their nucleolus was not previously known. We show that when the minimum excess coalition problem of a cooperative game can be formulated as a hypergraph dynamic program its nucleolus is efficiently computable. This gives a general technique for designing efficient algorithms for computing the nucleolus of a cooperative game. This technique is inspired by a recent result of Pashkovich (2018) on weighted voting games. However our technique significantly extends beyond the capabilities of previous work. We demonstrate this by applying it to give an algorithm for computing the nucleolus of b-matching games in polynomial time on graphs of bounded treewidth.
△ Less
Submitted 29 September, 2020; v1 submitted 21 May, 2020;
originally announced May 2020.
-
On the sodium enhancement in spectra of slow meteors and the origin of Na-rich meteoroids
Authors:
Pavol Matlovič,
Juraj Tóth,
Leonard Kornoš,
Stefan Loehle
Abstract:
The detected Na/Mg ratio in a sample of 17 Na-enhanced and Na-rich meteors is investigated based on obtained spectral, orbital and structural data. We utilize the meteor observations of the AMOS network obtained within a survey of medium-sized meteoroids supplemented by higher-resolution spectra observed on the Canary Islands. Ground-based meteor observations are then compared with high-resolution…
▽ More
The detected Na/Mg ratio in a sample of 17 Na-enhanced and Na-rich meteors is investigated based on obtained spectral, orbital and structural data. We utilize the meteor observations of the AMOS network obtained within a survey of medium-sized meteoroids supplemented by higher-resolution spectra observed on the Canary Islands. Ground-based meteor observations are then compared with high-resolution Echelle spectra of simulated ablation of known meteorite samples in a high-enthalpy plasma wind tunnel. It was found that most Na-enhanced and Na-rich spectra can be explained by the effect of low meteor speed related to low ablation temperatures and generally do not reflect real meteoroid composition. Spectra obtained by the laboratory experiment simulating low meteor speeds show corresponding Na-rich profiles irrespectively of the meteorite composition. We estimate that for an H-type ordinary chondrite with speed of $\approx$ 10 km/s, the Na line intensity is increased by a factor of 40 to 95. The dynamical analysis has revealed that all Na-rich meteors originated on Apollo-type orbits and exhibit consistent chondritic material strengths. For more clarity in the classification of Na-enhanced and Na-rich meteoroids, we propose new speed-dependent boundaries between the spectral classes. Real compositional Na enhancement was confirmed in five cometary meteoroids: two Perseids, an $α$-Capricornid, $ν$-Draconid and a sporadic. The two Na-enhanced Perseids were linked with increased material strength suggesting that the detected increase of volatile content has implications for the meteoroid structure.
△ Less
Submitted 23 April, 2020;
originally announced April 2020.
-
Characterization of the June epsilon Ophiuchids meteoroid stream and the comet 300P/Catalina
Authors:
Pavol Matlovič,
Leonard Kornoš,
Martina Kováčová,
Juraj Tóth,
Javier Licandro
Abstract:
Prior to 2019, the June epsilon Ophiuchids (JEO) were known as a minor unconfirmed meteor shower with activity that was considered typically moderate for bright fireballs. An unexpected bout of enhanced activity was observed in June 2019, which even raised the possibility that it was linked to the impact of the small asteroid 2019 MO near Puerto Rico. Early reports also point out the similarity of…
▽ More
Prior to 2019, the June epsilon Ophiuchids (JEO) were known as a minor unconfirmed meteor shower with activity that was considered typically moderate for bright fireballs. An unexpected bout of enhanced activity was observed in June 2019, which even raised the possibility that it was linked to the impact of the small asteroid 2019 MO near Puerto Rico. Early reports also point out the similarity of the shower to the orbit of the comet 300P/Catalina. We aim to analyze the orbits, emission spectra, and material strengths of JEO meteoroids to provide a characterization of this stream, identify its parent object, and evaluate its link to the impacting asteroid 2019 MO. Our analysis is based on a sample of 22 JEO meteor orbits and four emission spectra observed by the AMOS network at the Canary Islands and in Chile. The link to potential parent objects was evaluated using a combination of orbital-similarity D-criteria and backwards integration of the orbit of comet 300P and the JEO stream. We confirm the reports of an unexpected swarm of meteoroids originating in the JEO stream. JEO meteoroids have low material strengths characteristic for fragile cometary bodies, and they exhibit signs of a porous structure. The emission spectra reveal slightly increased iron content compared to all other measured cometary streams, but they are generally consistent with a primitive chondritic composition. Further dynamical analysis suggests that the JEO stream is likely to originate from comet 300P/Catalina and that it was formed within the last 1000 years. Over longer timescales, the meteoroids in the stream move to chaotic orbits due to the turbulent orbital evolution of the comet. Our results also suggest that the impact of the small asteroid 2019 MO on June 22 was not connected to the JEO activity.
△ Less
Submitted 6 April, 2020;
originally announced April 2020.
-
How to generate species with positive concentrations for all positive times?
Authors:
Seyed Mahdi Shavarani,
János Tóth,
Béla Vizvári
Abstract:
Given a reaction (network) we are looking for minimal sets of species starting from which all the species will have positive concentrations for all positive times in the domain of existence of the solution of the induced kinetic differential equation. We present three algorithms to solve the problem. The first one essentially checks all the possible subsets of the sets of species. This can obvious…
▽ More
Given a reaction (network) we are looking for minimal sets of species starting from which all the species will have positive concentrations for all positive times in the domain of existence of the solution of the induced kinetic differential equation. We present three algorithms to solve the problem. The first one essentially checks all the possible subsets of the sets of species. This can obviously work for only a few dozen species because of combinatorial explosion. The second one is based on an integer programming reformulation of the problem. The third one walks around the state space of the problem in a systematic way and produces all the minimal sets of the advantageous initial species, and works also for large systems. All the algorithms rely heavily on the concept of Volpert indices, used earlier for the decomposition of overall reactions [Kovács \textit{et al., Physical Chemistry Chemical Physics} 2004, 6, 1236]. Relations to the permanence hypothesis, possible economic or medical uses of the solution of the problem are analyzed, and open problems are formulated at the end.
△ Less
Submitted 19 February, 2020;
originally announced February 2020.
-
Optimized Cranial Bandeau Remodeling
Authors:
James Drake,
Marina Drygala,
Ricardo Fukasawa,
Jochen Koenemann,
Andre Linhares,
Thomas Looi,
John Phillips,
David Qian,
Nikoo Saber,
Justin Toth,
Chris Woodbeck,
Jessie Yeung
Abstract:
Craniosynostosis, a condition affecting 1 in 2000 infants, is caused by premature fusing of cranial vault sutures, and manifests itself in abnormal skull growth patterns. Left untreated, the condition may lead to severe developmental impairment. Standard practice is to apply corrective cranial bandeau remodeling surgery in the first year of the infant's life. The most frequent type of surgery invo…
▽ More
Craniosynostosis, a condition affecting 1 in 2000 infants, is caused by premature fusing of cranial vault sutures, and manifests itself in abnormal skull growth patterns. Left untreated, the condition may lead to severe developmental impairment. Standard practice is to apply corrective cranial bandeau remodeling surgery in the first year of the infant's life. The most frequent type of surgery involves the removal of the so-called fronto-orbital bar from the patient's forehead and the cutting of well-placed incisions to reshape the skull in order to obtain the desired result. In this paper, we propose a precise optimization model for the above cranial bandeau remodeling problem and its variants. We have developed efficient algorithms that solve best incision placement, and show hardness for more general cases in the class. To the best of our knowledge this paper is the first to introduce optimization models for craniofacial surgery applications.
△ Less
Submitted 12 March, 2021; v1 submitted 22 December, 2019;
originally announced December 2019.
-
On distribution of subsequences of primes having prime indices with respect to the $(R)$-denseness and convergence exponent
Authors:
Piotr Miska,
János T. Tóth,
Błażej Żmija
Abstract:
Denote by $\mathbb{N}$ and $\mathbb{P}$ the set of all positive integers and prime numbers, respectively. Let $\mathbb{P}=\{p_1<p_2<\dots <p_n<\dots\}$, where $p_n$ is the $n$-th prime number. For $k\in\mathbb{N}$ we recursively define subsequences $(p^{(k)}_n)_{n=1}^{+\infty}$ of the sequence $(p_n)_{n=1}^{+\infty}$ in the following way: let $p_n^{(1)}=p_n$ and $p_n^{(k+1)}=p_{p_n^{(k)}}$. In thi…
▽ More
Denote by $\mathbb{N}$ and $\mathbb{P}$ the set of all positive integers and prime numbers, respectively. Let $\mathbb{P}=\{p_1<p_2<\dots <p_n<\dots\}$, where $p_n$ is the $n$-th prime number. For $k\in\mathbb{N}$ we recursively define subsequences $(p^{(k)}_n)_{n=1}^{+\infty}$ of the sequence $(p_n)_{n=1}^{+\infty}$ in the following way: let $p_n^{(1)}=p_n$ and $p_n^{(k+1)}=p_{p_n^{(k)}}$. In this paper we study and describe some interesting properties of the sets $\mathbb{P}_k=\{p_1^{(k)}<p_2^{(k)}<\dots<p_n^{(k)}<\dots\}$, $\mathbb{P}_n^{\mathrm{T}}=\{p_n^{(1)}<p_n^{(2)}<\dots<p_n^{(k)}<\dots\}$ and $\text{Diag}\mathbb{P}=\{p^{(1)}_1<p^{(2)}_2<\dots <p^{(k)}_k<\dots\}$ and their elements, for $k,n\in\mathbb{N}$. Especially, we check whether these sets have dense sets of ratios in $\mathbb{R}_+$. Moreover, we compute their exponents of convergence and asymptotics of their counting functions.
△ Less
Submitted 4 January, 2022; v1 submitted 27 August, 2019;
originally announced August 2019.
-
Spectral and orbital survey of medium-sized meteoroids
Authors:
Pavol Matlovič,
Juraj Tóth,
Regina Rudawska,
Leonard Kornoš,
Adriana Pisarčíková
Abstract:
We investigate the spectra, material properties, and orbital distribution of millimeter- to decimeter-sized meteoroids. Our study aims to distinguish the characteristics of populations of differently sized meteoroids and reveal the heterogeneity of identified meteoroid streams. We verify the surprisingly large ratio of pure iron meteoroids on asteroidal orbits detected among mm-sized bodies. Emiss…
▽ More
We investigate the spectra, material properties, and orbital distribution of millimeter- to decimeter-sized meteoroids. Our study aims to distinguish the characteristics of populations of differently sized meteoroids and reveal the heterogeneity of identified meteoroid streams. We verify the surprisingly large ratio of pure iron meteoroids on asteroidal orbits detected among mm-sized bodies. Emission spectra and multi-station meteor trajectories were collected within the AMOS network observations. The sample is based on 202 meteors of -1 to -14 magnitude, corresponding to meteoroids of mm to dm sizes. Meteoroid composition is studied by relative intensity ratios of Na, Mg, and Fe. Heliocentric orbits, trajectory parameters, and material strengths inferred from empirical $K_B$ and $P_E$ parameters were determined for 146 meteoroids. An overall increase of Na content compared to the population of mm-sized meteoroids was detected, reflecting weaker effects of space weathering processes on larger meteoroids. We report a very low ratio of pure iron meteoroids and the discovery of a new spectral group of Fe-rich meteors. The majority of meteoroids on asteroidal orbits were found to be chondritic. Thermal processes causing Na depletion and physical processes resulting in Na-rich spectra are described and linked to characteristically increased material strengths. Numerous major and minor shower meteors were identified in our sample, revealing various degrees of heterogeneity within Halley-type, ecliptical, and sungrazing meteoroid streams. Our results imply a scattered composition of the fragments of comet 2P/Encke and 109P/Swift-Tuttle. The largest disparities were detected within the $α$-Capricornids and $δ$-Aquarids. We also find a spectral similarity between $κ$-Cygnids and Taurids, which could imply a similar composition of the parent objects of the two streams.
△ Less
Submitted 26 August, 2019; v1 submitted 5 August, 2019;
originally announced August 2019.
-
Realizations of kinetic differential equations
Authors:
G. Craciun,
M. D. Johnston,
G. Szederkényi,
E. Tonello,
J. Tóth,
P. Y. Yu
Abstract:
The induced kinetic differential equation of a reaction network endowed with mass action type kinetics is a system of polynomial differential equations. The problem studied here is: Given a polynomial differential equation, is it possible to find a network which induces the equation? If yes, can we find a network with some chemically relevant properties (implying also important dynamic consequence…
▽ More
The induced kinetic differential equation of a reaction network endowed with mass action type kinetics is a system of polynomial differential equations. The problem studied here is: Given a polynomial differential equation, is it possible to find a network which induces the equation? If yes, can we find a network with some chemically relevant properties (implying also important dynamic consequences), such as reversibility, weak reversibility, zero deficiency, detailed balancing, complex balancing, mass conservation, etc. The constructive answers presented to a series of questions of the above type are useful when fitting a differential equation to measurements, or when trying to find out the dynamic behavior of the solutions of a differential equation. It turns out that some of the results can be applied when trying to solve purely mathematical problems, like the existence of positive solutions to polynomial equation.
△ Less
Submitted 8 September, 2019; v1 submitted 16 July, 2019;
originally announced July 2019.
-
On $\mathcal I(<q)$- and $\mathcal I(\leq q)$-convergence of arithmetic functions
Authors:
János T. Tóth,
József Bukor,
Ferdinánd Filip,
László Zsilinszky
Abstract:
Let $\mathbb N$ be the set of positive integers, and denote by $λ(A)=\inf\{t>0:\sum_{a\in A} a^{-t}<\infty\}$ the convergence exponent of $A\subset\mathbb N$. For $0<q\le 1$, $0\le q\le 1$, respectively, the admissible ideals $\mathcal I(<q)$, $\mathcal I(\leq q)$ of all subsets $A\subset \mathbb N$ with $λ(A)<q$, $λ(A)\le q$, respectively, satisfy…
▽ More
Let $\mathbb N$ be the set of positive integers, and denote by $λ(A)=\inf\{t>0:\sum_{a\in A} a^{-t}<\infty\}$ the convergence exponent of $A\subset\mathbb N$. For $0<q\le 1$, $0\le q\le 1$, respectively, the admissible ideals $\mathcal I(<q)$, $\mathcal I(\leq q)$ of all subsets $A\subset \mathbb N$ with $λ(A)<q$, $λ(A)\le q$, respectively, satisfy $\mathcal I(<q)\subsetneq\mathcal I_c^{(q)}\subsetneq \mathcal I(\leq q)$, where $\mathcal I_c^{(q)}=\{A\subset\mathbb N: \sum_{a\in A}a^{-q}<\infty\}$. In this note we sharpen the results of Baláz, Gogola and Visnyai from [2], and of others papers, concerning characterizations of $\mathcal I_c^{(q)}$-convergence of various arithmetic functions in terms of $q$. This is achieved by utilizing $\mathcal I(<q)$- and $\mathcal I(\leq q)$-convergence, for which new methods and criteria are developed.
△ Less
Submitted 7 May, 2020; v1 submitted 30 June, 2019;
originally announced July 2019.
-
Automatic model generation
Authors:
Tibor Nagy,
János Tóth,
Tamás Ladics
Abstract:
The goal of the paper is to automatize the selection of mechanisms which are able to describe a set of measurements. In order to do so first we construct a set of possible mechanism fulfilling chemically reasonable requirements with a given number of species and reaction steps. Then we try to fit all the mechanisms, and offer the best fitting one to the chemist for further analysis. The method can…
▽ More
The goal of the paper is to automatize the selection of mechanisms which are able to describe a set of measurements. In order to do so first we construct a set of possible mechanism fulfilling chemically reasonable requirements with a given number of species and reaction steps. Then we try to fit all the mechanisms, and offer the best fitting one to the chemist for further analysis. The method can also be used to a kind of lum**: to reproduce the results of a big mechanism using a smaller one, with less number of species. We show two applications: one on an artificial example and another one on a small real life data.
△ Less
Submitted 2 April, 2019;
originally announced April 2019.
-
Emergence of leader-follower hierarchy among players in an on-line experiment
Authors:
Bálint J. Tóth,
Gergely Palla,
Enys Mones,
Gergő Havadi,
Nóra Páll,
Péter Pollner,
Tamás Vicsek
Abstract:
Hierarchical networks are prevalent in nature and society, corresponding to groups of actors - animals, humans or even robots - organised according to a pyramidal structure with decision makers at the top and followers at the bottom. While this phenomenon is seemingly universal, the underlying governing principles are poorly understood. Here we study the emergence of hierarchies in groups of peopl…
▽ More
Hierarchical networks are prevalent in nature and society, corresponding to groups of actors - animals, humans or even robots - organised according to a pyramidal structure with decision makers at the top and followers at the bottom. While this phenomenon is seemingly universal, the underlying governing principles are poorly understood. Here we study the emergence of hierarchies in groups of people playing a simple dot guessing game in controlled experiments, lasting for about 40 rounds, conducted over the Internet. During the games, the players had the possibility to look at the answer of a limited number of other players of their choice. This act of asking for advice defines a directed connection between the involved players, and according to our analysis, the initial random configuration of the emerging networks became more structured overt time, showing signs of hierarchy towards the end of the game. In addition, the achieved score of the players appeared to be correlated with their position in the hierarchy. These results indicate that under certain conditions imitation and limited knowledge about the performance of other actors is sufficient for the emergence of hierarchy in a social group.
△ Less
Submitted 24 January, 2019;
originally announced January 2019.
-
Pointwise bounds for joint eigenfunctions of quantum completely integrable systems
Authors:
Jeffrey Galkowski,
John A. Toth
Abstract:
Let $(M,g)$ be a compact Riemannian manifold and $P_1:=-h^2Δ_g+V(x)-E_1$ so that $dp_1\neq 0$ on $p_1=0$. We assume that $P_1$ is quantum completely integrable in the sense that there exist functionally independent pseuodifferential operators $P_2,\dots P_n$ with $[P_i,P_j]=0$, $i,j=1,\dots ,n$. We study the pointwise bounds for the joint eigenfunctions, $u_h$ of the system $\{P_i\}_{i=1}^n$ with…
▽ More
Let $(M,g)$ be a compact Riemannian manifold and $P_1:=-h^2Δ_g+V(x)-E_1$ so that $dp_1\neq 0$ on $p_1=0$. We assume that $P_1$ is quantum completely integrable in the sense that there exist functionally independent pseuodifferential operators $P_2,\dots P_n$ with $[P_i,P_j]=0$, $i,j=1,\dots ,n$. We study the pointwise bounds for the joint eigenfunctions, $u_h$ of the system $\{P_i\}_{i=1}^n$ with $P_1u_h=E_1u_h+o(1)$. We first give polynomial improvements over the standard Hörmander bounds for typical points in $M$. In two and three dimensions, these estimates agree with the Hardy exponent $h^{-\frac{1-n}{4}}$ and in higher dimensions we obtain a gain of $h^{\frac{1}{2}}$ over the Hörmander bound.
In our second main result, under a real-analyticity assumption on the QCI system, we give exponential decay estimates for joint eigenfunctions at points outside the projection of invariant Lagrangian tori; that is at points $x\in M$ in the "microlocally forbidden" region $p_1^{-1}(E_1)\cap \dots \cap p_n^{-1}(E_n)\cap T^*_xM=\emptyset.$ These bounds are sharp locally near the projection of the invariant tori.
△ Less
Submitted 9 October, 2018;
originally announced October 2018.
-
On three genetic repressilator topologies
Authors:
Masa Dukaric,
Hassan Errami,
Roman Jerala,
Tina Lebar,
Valery G. Romanovski,
Janos Toth,
Andreas Weber
Abstract:
Novel mathematical models of three different repressilator topologies are introduced. As designable transcription factors have been shown to bind to DNA non-cooperatively, we have chosen models containing non-cooperative elements. The extended topologies involve three additional transcription regulatory elements---which can be easily implemented by synthetic biology---forming positive feedback loo…
▽ More
Novel mathematical models of three different repressilator topologies are introduced. As designable transcription factors have been shown to bind to DNA non-cooperatively, we have chosen models containing non-cooperative elements. The extended topologies involve three additional transcription regulatory elements---which can be easily implemented by synthetic biology---forming positive feedback loops. This increases the number of variables to six, and extends the complexity of the equations in the model. To perform our analysis we had to use combinations of modern symbolic algorithms of computer algebra systems Mathematica and Singular. The study shows that all the three models have simple dynamics what can also be called regular behaviour: they have a single asymptotically stable steady state with small amplitude oscillations in the 3D case and no oscillation in one of the 6D cases and dam** oscillation in the second 6D case. Using the program QeHopf we were able to exclude the presence of Hopf bifurcation in the 3D system.
△ Less
Submitted 24 September, 2018;
originally announced September 2018.
-
Reverse Agmon estimates and nodal intersection bounds in forbidden regions
Authors:
John A. Toth,
Xianchao Wu
Abstract:
Let $(M,g)$ be a compact, Riemannian manifold and $V \in C^{\infty}(M; \mathbb{R})$. Given a regular energy level $E > \min V$, we consider $L^2$-normalized eigenfunctions, $u_h,$ of the Schrodinger operator $P(h) = - h^2 Δ_g + V - E(h)$ with $P(h) u_h = 0$ and $E(h) = E + o(1)$ as $h \to 0^+.$ The well-known Agmon-Lithner estimates \cite{Hel} are exponential decay estimates (ie. upper bounds) for…
▽ More
Let $(M,g)$ be a compact, Riemannian manifold and $V \in C^{\infty}(M; \mathbb{R})$. Given a regular energy level $E > \min V$, we consider $L^2$-normalized eigenfunctions, $u_h,$ of the Schrodinger operator $P(h) = - h^2 Δ_g + V - E(h)$ with $P(h) u_h = 0$ and $E(h) = E + o(1)$ as $h \to 0^+.$ The well-known Agmon-Lithner estimates \cite{Hel} are exponential decay estimates (ie. upper bounds) for eigenfunctions in the forbidden region $\{ V>E \}.$ The decay rate is given in terms of the Agmon distance function $d_E$ associated with the degenerate Agmon metric $(V-E)_+ \, g$ with support in the forbidden region.
The point of this note is to prove a partial converse to the Agmon estimates (ie. exponential {\em lower} bounds for the eigenfunctions) in terms of Agmon distance in the forbidden region under a control assumption on eigenfunction mass in the allowable region $\{ V< E \}$ arbitrarily close to the caustic $ \{ V = E \}.$ We then give some applications to hypersurface restriction bounds for eigenfunctions in the forbidden region along with corresponding nodal intersection estimates.
△ Less
Submitted 28 October, 2019; v1 submitted 17 April, 2018;
originally announced April 2018.
-
Computing the Nucleolus of Weighted Cooperative Matching Games in Polynomial Time
Authors:
Jochen Koenemann,
Kanstantsin Pashkovich,
Justin Toth
Abstract:
We provide an efficient algorithm for computing the nucleolus for an instance of a weighted cooperative matching game. This resolves a long-standing open question posed in [Faigle, Kern, Fekete, Hochstättler, Mathematical Programming, 1998].
We provide an efficient algorithm for computing the nucleolus for an instance of a weighted cooperative matching game. This resolves a long-standing open question posed in [Faigle, Kern, Fekete, Hochstättler, Mathematical Programming, 1998].
△ Less
Submitted 1 March, 2019; v1 submitted 8 March, 2018;
originally announced March 2018.
-
Nodal intersections and Geometric Control
Authors:
John A. Toth,
Steve Zelditch
Abstract:
This article contains a generalization of the authors' results on numbers of nodal points of eigenfunctions on "good curves" in analytic plane domains (arXiv:0710.0101). The term `good' means that the $L^2$ norms of restrictions of eigenfunctions of eigenvalue $λ^2$ to the curve are bounded below by $e^{- C λ}$. In this article, the result is generalized to all real analytic Riemannian manifolds…
▽ More
This article contains a generalization of the authors' results on numbers of nodal points of eigenfunctions on "good curves" in analytic plane domains (arXiv:0710.0101). The term `good' means that the $L^2$ norms of restrictions of eigenfunctions of eigenvalue $λ^2$ to the curve are bounded below by $e^{- C λ}$. In this article, the result is generalized to all real analytic Riemannian manifolds $(M, g)$ of any dimension $m$ without boundary. Moreover, a similar lower bound is given for the Hausdorff $m-2$ measure of the intersection of the nodal set with a good real analytic hypersurface.
Most of the article is devoted to giving a dynamical or geometric control condition for `goodness' of a hypersurface. The conditions are that the hypersurface $H$ be asymmetric with respect to geodesics and that the flowout of the unit vectors with footpoint on $H$ have full measure in $S^*M. $ This gives a partial answer to a question of Bourgain-Rudnick of characterizing hypersurfaces $H$ on which a sequence of eigenfunctions vanishes. We show that under our conditions, a positive density sequence cannot vanish on $H$ or even have smaller $L^2$ norms than $e^{- C λ}$
△ Less
Submitted 18 August, 2017;
originally announced August 2017.
-
Averages of eigenfunctions over hypersurfaces
Authors:
Yaiza Canzani,
Jeffrey Galkowski,
John A. Toth
Abstract:
Let $(M,g)$ be a compact, smooth, Riemannian manifold and $\{ φ_h \}$ an $L^2$-normalized sequence of Laplace eigenfunctions with defect measure $μ$. Let $H$ be a smooth hypersurface. Our main result says that when $μ$ is $\textit{not}$ concentrated conormally to $H$, the eigenfunction restrictions to $H$ and the restrictions of their normal derivatives to $H$ have integrals converging to 0 as…
▽ More
Let $(M,g)$ be a compact, smooth, Riemannian manifold and $\{ φ_h \}$ an $L^2$-normalized sequence of Laplace eigenfunctions with defect measure $μ$. Let $H$ be a smooth hypersurface. Our main result says that when $μ$ is $\textit{not}$ concentrated conormally to $H$, the eigenfunction restrictions to $H$ and the restrictions of their normal derivatives to $H$ have integrals converging to 0 as $h \to 0^+$.
△ Less
Submitted 22 January, 2018; v1 submitted 26 May, 2017;
originally announced May 2017.
-
Spectra and physical properties of Taurid meteoroids
Authors:
Pavol Matlovič,
Juraj Tóth,
Regina Rudawska,
Leonard Kornoš
Abstract:
Taurids are an extensive stream of particles produced by comet 2P/Encke, which can be observed mainly in October and November as a series of meteor showers rich in bright fireballs. Several near-Earth asteroids have also been linked with the meteoroid complex, and recently the orbits of two carbonaceous meteorites were proposed to be related to the stream, raising interesting questions about the o…
▽ More
Taurids are an extensive stream of particles produced by comet 2P/Encke, which can be observed mainly in October and November as a series of meteor showers rich in bright fireballs. Several near-Earth asteroids have also been linked with the meteoroid complex, and recently the orbits of two carbonaceous meteorites were proposed to be related to the stream, raising interesting questions about the origin of the complex and the composition of 2P/Encke. Our aim is to investigate the nature and diversity of Taurid meteoroids by studying their spectral, orbital, and physical properties determined from video meteor observations. Here we analyze 33 Taurid meteor spectra captured during the predicted outburst in November 2015 by stations in Slovakia and Chile, including 14 multi-station observations for which the orbital elements, material strength parameters, dynamic pressures, and mineralogical densities were determined. It was found that while orbits of the 2015 Taurids show similarities with several associated asteroids, the obtained spectral and physical characteristics point towards cometary origin with highly heterogeneous content. Observed spectra exhibited large dispersion of iron content and significant Na intensity in all cases. The determined material strengths are typically cometary in the $K_B$ classification, while $P_E$ criterion is on average close to values characteristic for carbonaceous bodies. The studied meteoroids were found to break up under low dynamic pressures of 0.02 - 0.10 MPa, and were characterized by low mineralogical densities of 1.3 - 2.5 g cm$^{-3}$. The widest spectral classification of Taurid meteors to date is presented.
△ Less
Submitted 21 April, 2017;
originally announced April 2017.
-
Meteoroid Orbits from Video Meteors. The Case of the Geminid Stream
Authors:
Maria Hajdukova Jr.,
Pavel Koten,
Leonard Kornos,
Juraj Toth
Abstract:
We use the Slovak and Czech video meteor observations, as well as video meteoroid orbits collected in the CAMS, SonotaCo, EDMOND and DMS catalogues, for an analysis of the distribution of meteoroid orbits within the stream of the Geminids and of the dispersion of their radiants. We concentrate on the influence of the measurement errors on the precision of the orbits obtained from the video network…
▽ More
We use the Slovak and Czech video meteor observations, as well as video meteoroid orbits collected in the CAMS, SonotaCo, EDMOND and DMS catalogues, for an analysis of the distribution of meteoroid orbits within the stream of the Geminids and of the dispersion of their radiants. We concentrate on the influence of the measurement errors on the precision of the orbits obtained from the video networks that are based on various meteor-detection software packages and various meteor orbital element softwares. The observed orbital dispersions in the Geminid stream described by the median absolute deviation range from 0.029 to 0.042 1/AU for the video catalogues. The distribution of the semi-major axes of video meteors in all the databases, except for the Ondrejov (Czech) data, seem to be systematically biased in comparison with the photographic and radio meteors. The determined velocities of the video data are underestimated, probably as a consequence of the methods used for the positional and velocity measurements. The largest shift is observed in the EDMOND and SonotaCo catalogues. Except for the measurement errors which influence the analyses and their interpretations, we also point out the problem of the uncertainties of the numerical integration procedures that influence the simulations' results. Several experimental integrations of the Geminids parent asteroid, which we performed from the present to the past and then back to the year 2015, showed that a complete reproduction, including also the mean anomaly, is only possible for a time span of about 2700 years.
△ Less
Submitted 12 April, 2017;
originally announced April 2017.
-
Eigenfunction scarring and improvements in $L^{\infty}$ bounds
Authors:
Jeffrey Galkowski,
John A. Toth
Abstract:
We study the relationship between $L^\infty$ growth of eigenfunctions and their $L^2$ concentration as measured by defect measures. In particular, we show that scarring in the sense of concentration of defect measure on certain submanifolds is incompatible with maximal $L^\infty$ growth. In addition, we show that a defect measure which is too diffuse, such as the Liouville measure, is also incompa…
▽ More
We study the relationship between $L^\infty$ growth of eigenfunctions and their $L^2$ concentration as measured by defect measures. In particular, we show that scarring in the sense of concentration of defect measure on certain submanifolds is incompatible with maximal $L^\infty$ growth. In addition, we show that a defect measure which is too diffuse, such as the Liouville measure, is also incompatible with maximal eigenfunction growth.
△ Less
Submitted 22 January, 2018; v1 submitted 29 March, 2017;
originally announced March 2017.
-
Pointwise Bounds for Steklov Eigenfunctions
Authors:
Jeffrey Galkowski,
John A. Toth
Abstract:
Let $(Ω,g)$ be a compact, real-analytic Riemannian manifold with real-analytic boundary $\partial Ω.$ The harmonic extensions of the boundary Dirchlet-to-Neumann eigenfunctions are called Steklov eigenfunctions. We show that the Steklov eigenfuntions decay exponentially into the interior in terms of the Dirichlet-to-Neumann eigenvalues and give a sharp rate of decay to first order at the boundary.…
▽ More
Let $(Ω,g)$ be a compact, real-analytic Riemannian manifold with real-analytic boundary $\partial Ω.$ The harmonic extensions of the boundary Dirchlet-to-Neumann eigenfunctions are called Steklov eigenfunctions. We show that the Steklov eigenfuntions decay exponentially into the interior in terms of the Dirichlet-to-Neumann eigenvalues and give a sharp rate of decay to first order at the boundary. The proof uses the Poisson representation for the Steklov eigenfunctions combined with sharp $h$-microlocal concentration estimates for the boundary Dirichlet-to-Neumann eigenfunctions near the cosphere bundle $S^*\partial Ω.$ These estimates follow from sharp estimates on the concentration of the FBI transforms of solutions to analytic pseudodifferential equations $Pu=0$ near the characteristic set $\{σ(P)=0\}$.
△ Less
Submitted 22 January, 2018; v1 submitted 16 November, 2016;
originally announced November 2016.
-
Absolute Determination of Optical Constants by a Direct Physical Modeling of Reflection Electron Energy Loss Spectra
Authors:
H. Xu,
B. Da,
J. Toth,
K. Tokesi,
Z. J. Ding
Abstract:
We present an absolute extraction method of optical constants of metal from the measured reflection electron energy loss (REELS) spectra by using the recently developed reverse Monte Carlo (RMC) technique. The method is based on a direct physical modeling of electron elastic and electron inelastic scattering near the surface region where the surface excitation becomes important to fully describe t…
▽ More
We present an absolute extraction method of optical constants of metal from the measured reflection electron energy loss (REELS) spectra by using the recently developed reverse Monte Carlo (RMC) technique. The method is based on a direct physical modeling of electron elastic and electron inelastic scattering near the surface region where the surface excitation becomes important to fully describe the spectrum loss feature intensity in relative to the elastic peak intensity. An optimization procedure of oscillator parameters appeared in the energy loss function (ELF) for describing electron inelastic scattering due to the bulk- and surface-excitations was performed with the simulated annealing method by a successive comparison between the measured and Monte Carlo simulated REELS spectra. The ELF and corresponding optical constants of Fe were obtained from the REELS spectra measured at incident energies of 1000, 2000 and 3000 eV. The validity of the present optical data has been verified with the f- and ps-sum rules showing the accuracy and applicability of the present approach. Our data are also compared with previous optical data from other sources.
△ Less
Submitted 8 September, 2016;
originally announced September 2016.
-
An Elementary Integrality Proof of Rothblum's Stable Matching Formulation
Authors:
Jochen Könemann,
Kanstantsin Pashkovich,
Justin Toth
Abstract:
In this paper we provide a short new proof for the integrality of Rothblum's linear description of the convex hull of incidence vectors of stable matchings in bipartite graphs. In the spirit of iterative rounding proofs, the key feature of our proof is to show that extreme points of the formulation must have a 0, 1-component.
In this paper we provide a short new proof for the integrality of Rothblum's linear description of the convex hull of incidence vectors of stable matchings in bipartite graphs. In the spirit of iterative rounding proofs, the key feature of our proof is to show that extreme points of the formulation must have a 0, 1-component.
△ Less
Submitted 23 September, 2016; v1 submitted 14 May, 2016;
originally announced May 2016.
-
Global Controllability of Chemical Reactions
Authors:
Dániel András Drexler,
János Tóth
Abstract:
Controllability of chemical reactions is an important problem in chemical engineering science. In control theory, analysis of the controllability of linear systems is well-founded, however the dynamics of chemical reactions is usually nonlinear. Global controllability properties of chemical reactions are analyzed here based on the Lie-algebra of the vector fields associated to elementary reactions…
▽ More
Controllability of chemical reactions is an important problem in chemical engineering science. In control theory, analysis of the controllability of linear systems is well-founded, however the dynamics of chemical reactions is usually nonlinear. Global controllability properties of chemical reactions are analyzed here based on the Lie-algebra of the vector fields associated to elementary reactions. A chemical reaction is controllable almost everywhere if all the reaction rate coefficients can be used as control inputs. The problem where one can not control all the reaction rate coefficients is also analyzed. The reaction steps whose reaction rate coefficients need to be control inputs are identified. A general definition of consecutive reactions is given, and it turns out that they are controllable almost everywhere by using the reaction rate coefficient of only one reaction step as control input.
△ Less
Submitted 13 August, 2015;
originally announced August 2015.