-
Group theory of cyclic cubic number fields
Authors:
Daniel C. Mayer,
Siham Aouissi,
Bill Allombert,
Abderazak Soullami
Abstract:
Astonishing new discoveries with quartets and octets of cyclic cubic fields sharing a common conductor are presented. Four kinds of graphs describing cubic residue conditions among the prime divisors of the conductor enforce elementary bi- or tricyclic 3-class groups and either a metabelian 3-class field tower group of coclass at least two or a closed Andozhskii-Tsvetkov group of order 6561. In th…
▽ More
Astonishing new discoveries with quartets and octets of cyclic cubic fields sharing a common conductor are presented. Four kinds of graphs describing cubic residue conditions among the prime divisors of the conductor enforce elementary bi- or tricyclic 3-class groups and either a metabelian 3-class field tower group of coclass at least two or a closed Andozhskii-Tsvetkov group of order 6561. In the latter situation, abelian type invariants of first and second order are required for the identification.
△ Less
Submitted 10 June, 2024;
originally announced June 2024.
-
IEEE BigData 2023 Keystroke Verification Challenge (KVC)
Authors:
Giuseppe Stragapede,
Ruben Vera-Rodriguez,
Ruben Tolosana,
Aythami Morales,
Ivan DeAndres-Tame,
Naser Damer,
Julian Fierrez,
Javier-Ortega Garcia,
Nahuel Gonzalez,
Andrei Shadrikov,
Dmitrii Gordin,
Leon Schmitt,
Daniel Wimmer,
Christoph Grossmann,
Joerdis Krieger,
Florian Heinz,
Ron Krestel,
Christoffer Mayer,
Simon Haberl,
Helena Gschrey,
Yosuke Yamagishi,
Sanjay Saha,
Sanka Rasnayaka,
Sandareka Wickramanayake,
Terence Sim
, et al. (4 additional authors not shown)
Abstract:
This paper describes the results of the IEEE BigData 2023 Keystroke Verification Challenge (KVC), that considers the biometric verification performance of Keystroke Dynamics (KD), captured as tweet-long sequences of variable transcript text from over 185,000 subjects. The data are obtained from two of the largest public databases of KD up to date, the Aalto Desktop and Mobile Keystroke Databases,…
▽ More
This paper describes the results of the IEEE BigData 2023 Keystroke Verification Challenge (KVC), that considers the biometric verification performance of Keystroke Dynamics (KD), captured as tweet-long sequences of variable transcript text from over 185,000 subjects. The data are obtained from two of the largest public databases of KD up to date, the Aalto Desktop and Mobile Keystroke Databases, guaranteeing a minimum amount of data per subject, age and gender annotations, absence of corrupted data, and avoiding excessively unbalanced subject distributions with respect to the considered demographic attributes. Several neural architectures were proposed by the participants, leading to global Equal Error Rates (EERs) as low as 3.33% and 3.61% achieved by the best team respectively in the desktop and mobile scenario, outperforming the current state of the art biometric verification performance for KD. Hosted on CodaLab, the KVC will be made ongoing to represent a useful tool for the research community to compare different approaches under the same experimental conditions and to deepen the knowledge of the field.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Group theoretic approach to cyclic cubic fields
Authors:
Siham Aouissi,
Daniel C. Mayer
Abstract:
Let (k1,k2,k3,k4) be a quartet of cyclic cubic number fields sharing a common conductor c=pqr divisible by exactly three prime(power)s p,q,r. For those components k of the quartet whose 3-class group Cl(3,k) = Z/3Z x Z/3Z is elementary bicyclic, the automorphism group M = Gal(F(3,2,k)/k) of the maximal metabelian unramified 3-extension of k is determined by conditions for cubic residue symbols bet…
▽ More
Let (k1,k2,k3,k4) be a quartet of cyclic cubic number fields sharing a common conductor c=pqr divisible by exactly three prime(power)s p,q,r. For those components k of the quartet whose 3-class group Cl(3,k) = Z/3Z x Z/3Z is elementary bicyclic, the automorphism group M = Gal(F(3,2,k)/k) of the maximal metabelian unramified 3-extension of k is determined by conditions for cubic residue symbols between p,q,r and for ambiguous principal ideals in subfields of the common absolute 3-genus field k* of k1,k2,k3,k4. With the aid of the relation rank d2(M), it is decided whether M coincides with the Galois group G = Gal(F(3,infinity,k)/k) of the maximal unramified pro-3-extension of k.
△ Less
Submitted 2 January, 2024; v1 submitted 11 October, 2023;
originally announced October 2023.
-
Non-ideal magnetohydrodynamics on a moving mesh II: Hall effect
Authors:
Oliver Zier,
Alexander C. Mayer,
Volker Springel
Abstract:
In this work we extend the non-ideal magnetohydrodynamics (MHD) solver in the moving mesh code AREPO to include the Hall effect. The core of our algorithm is based on an estimation of the magnetic field gradients by a least-square reconstruction on the unstructured mesh, which we also used in the companion paper for Ohmic and ambipolar diffusion. In an extensive study of simulations of a magnetic…
▽ More
In this work we extend the non-ideal magnetohydrodynamics (MHD) solver in the moving mesh code AREPO to include the Hall effect. The core of our algorithm is based on an estimation of the magnetic field gradients by a least-square reconstruction on the unstructured mesh, which we also used in the companion paper for Ohmic and ambipolar diffusion. In an extensive study of simulations of a magnetic shock, we show that without additional magnetic diffusion our algorithm for the Hall effect becomes unstable at high resolution. We can however stabilise it by artificially increasing the Ohmic resistivity, $η_{\rm OR}$, so that it satisfies the condition $η_{\rm OR} \geq η_{\rm H} /5$, where $η_{\rm H}$ is the Hall diffusion coefficient. Adopting this solution we find second order convergence for the C-shock and are also able to accurately reproduce the dispersion relation of the whistler waves. As a first application of the new scheme, we simulate the collapse of a magnetised cloud with constant Hall parameter $η_{\rm H}$ and show that, depending on the sign of $η_{\rm H}$, the magnetic braking can either be weakened or strengthened by the Hall effect. The quasi-Lagrangian nature of the moving mesh method used here automatically increases the resolution in the forming core, making it well suited for more realistic studies with non-constant magnetic diffusivities in the future.
△ Less
Submitted 27 September, 2023;
originally announced September 2023.
-
Counting Rotational Sets for Laminations of the Unit Disk from First Principles
Authors:
John C. Mayer,
Michael J. Moorman,
Gabriel B. Quijano,
Matthew C. Williams
Abstract:
By studying laminations of the unit disk, we can gain insight into the structure of Julia sets of polynomials and their dynamics in the complex plane. The polynomials of a given degree, $d$, have a parameter space. The hyperbolic components of such parameter spaces are in correspondence to rotational polygons, or classes of "rotational sets", which we study in this paper. By studying the count of…
▽ More
By studying laminations of the unit disk, we can gain insight into the structure of Julia sets of polynomials and their dynamics in the complex plane. The polynomials of a given degree, $d$, have a parameter space. The hyperbolic components of such parameter spaces are in correspondence to rotational polygons, or classes of "rotational sets", which we study in this paper. By studying the count of such rotational sets, and therefore the underlying structure behind these rotational sets and polygons, we can gain insight into the interrelationship among hyperbolic components of the parameter space of these polynomials.
These rotational sets are created by uniting rotational orbits, as we define in this paper. The number of such sets for a given degree $d$, rotation number $\frac pq$, and cardinality $k$ can be determined by analyzing the potential placements of pre-images of zero on the unit circle with respect to the rotational set under the $d$-tupling map. We obtain a closed-form formula for the count. Though this count is already known based upon some sophisticated results, our count is based upon elementary geometric and combinatorial principles, and provides an intuitive explanation.
△ Less
Submitted 21 September, 2023; v1 submitted 20 September, 2023;
originally announced September 2023.
-
Cyclic cubic number fields with harmonically balanced capitulation
Authors:
Bill Allombert,
Daniel C. Mayer
Abstract:
It is proved that c = 689347 = 31*37*601 is the smallest conductor of a cyclic cubic number field K whose maximal unramified pro-3-extension E = F(3,infinity,K) possesses an automorphism group G = Gal(E/K) of order 6561 with coinciding relation and generator rank d2(G) = d1(G) = 3 and harmonically balanced transfer kernels kappa(G) in S(13).
It is proved that c = 689347 = 31*37*601 is the smallest conductor of a cyclic cubic number field K whose maximal unramified pro-3-extension E = F(3,infinity,K) possesses an automorphism group G = Gal(E/K) of order 6561 with coinciding relation and generator rank d2(G) = d1(G) = 3 and harmonically balanced transfer kernels kappa(G) in S(13).
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Non-ideal magnetohydrodynamics on a moving mesh I: Ohmic and ambipolar diffusion
Authors:
Oliver Zier,
Volker Springel,
Alexander C. Mayer
Abstract:
Especially in cold and high-density regions, the assumptions of ideal magnetohydrodynamics (MHD) can break down, making first order non-ideal terms such as Ohmic and ambipolar diffusion as well as the Hall effect important. In this study we present a new numerical scheme for the first two resistive terms, which we implement in the moving-mesh code AREPO using the single-fluid approximation combine…
▽ More
Especially in cold and high-density regions, the assumptions of ideal magnetohydrodynamics (MHD) can break down, making first order non-ideal terms such as Ohmic and ambipolar diffusion as well as the Hall effect important. In this study we present a new numerical scheme for the first two resistive terms, which we implement in the moving-mesh code AREPO using the single-fluid approximation combined with a new gradient estimation technique based on a least-squares fit per interface. Through various test calculations including the diffusion of a magnetic peak, the structure of a magnetic C-shock, and the dam** of an Alfvén wave, we show that we can achieve an accuracy comparable to the state-of-the-art code ATHENA++. We apply the scheme to the linear growth of the magnetorotational instability and find good agreement with the analytical growth rates. By simulating the collapse of a magnetised cloud with constant magnetic diffusion, we show that the new scheme is stable even for large density contrasts. Thanks to the Lagrangian nature of the moving mesh method the new scheme is thus well suited for intended future applications where a high resolution in the dense cores of collapsing protostellar clouds needs to be achieved. In a forthcoming work we will extend the scheme to the Hall effect.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Leveraging Mobile Sensing Technology for Societal Change Towards more Sustainable Behavior
Authors:
Florian Bemmann,
Carmen Mayer,
Sven Mayer
Abstract:
A pro-environmental attitude in the general population is essential to combat climate change. Society as a whole has the power to change economic processes through market demands and to exert pressure on policymakers - both are key social factors that currently undermine the goals of decarbonization. Creating long-lasting, sustainable attitudes is challenging and behavior change technologies do ha…
▽ More
A pro-environmental attitude in the general population is essential to combat climate change. Society as a whole has the power to change economic processes through market demands and to exert pressure on policymakers - both are key social factors that currently undermine the goals of decarbonization. Creating long-lasting, sustainable attitudes is challenging and behavior change technologies do hard to overcome their limitations. Environmental psychology proposes social factors to be relevant, a.o. creating a global identity feeling and widening one's view beyond the own bubble. From our experience in the field of mobile sensing and psychometric data inferences, we see strong potential in mobile sensing technologies to implement the aforementioned goals. We present concrete ideas in this paper, aiming to refine and extend them with the workshop and evaluate them afterward.
△ Less
Submitted 22 March, 2023;
originally announced March 2023.
-
Beyond SOT: Tracking Multiple Generic Objects at Once
Authors:
Christoph Mayer,
Martin Danelljan,
Ming-Hsuan Yang,
Vittorio Ferrari,
Luc Van Gool,
Alina Kuznetsova
Abstract:
Generic Object Tracking (GOT) is the problem of tracking target objects, specified by bounding boxes in the first frame of a video. While the task has received much attention in the last decades, researchers have almost exclusively focused on the single object setting. Multi-object GOT benefits from a wider applicability, rendering it more attractive in real-world applications. We attribute the la…
▽ More
Generic Object Tracking (GOT) is the problem of tracking target objects, specified by bounding boxes in the first frame of a video. While the task has received much attention in the last decades, researchers have almost exclusively focused on the single object setting. Multi-object GOT benefits from a wider applicability, rendering it more attractive in real-world applications. We attribute the lack of research interest into this problem to the absence of suitable benchmarks. In this work, we introduce a new large-scale GOT benchmark, LaGOT, containing multiple annotated target objects per sequence. Our benchmark allows users to tackle key remaining challenges in GOT, aiming to increase robustness and reduce computation through joint tracking of multiple objects simultaneously. In addition, we propose a transformer-based GOT tracker baseline capable of joint processing of multiple objects through shared computation. Our approach achieves a 4x faster run-time in case of 10 concurrent objects compared to tracking each object independently and outperforms existing single object trackers on our new benchmark. In addition, our approach achieves highly competitive results on single-object GOT datasets, setting a new state of the art on TrackingNet with a success rate AUC of 84.4%. Our benchmark, code, and trained models will be made publicly available.
△ Less
Submitted 25 February, 2024; v1 submitted 22 December, 2022;
originally announced December 2022.
-
Theoretical and Experimental Approach to p-Class Field Towers of Cyclic Cubic Number Fields
Authors:
Daniel C. Mayer
Abstract:
Cyclic number fields of odd prime degree are constructed as ray class fields over the rational number field. They are collected in multiplets sharing a common conductor and discriminant. The algorithms are implemented in Magma and applied to all cyclic quintic and cyclic cubic fields with conductors below 100000. Our primary attention is devoted to the theory of cyclic cubic fields with two or thr…
▽ More
Cyclic number fields of odd prime degree are constructed as ray class fields over the rational number field. They are collected in multiplets sharing a common conductor and discriminant. The algorithms are implemented in Magma and applied to all cyclic quintic and cyclic cubic fields with conductors below 100000. Our primary attention is devoted to the theory of cyclic cubic fields with two or three prime divisors of the conductor. These fields form doublets and quartets. Theoretical techniques comprise cubic residue conditions between the primes dividing the conductor, the structure of 3-class groups of all components of doublets and quartets, Galois cohomology of unit groups and ambiguous principal ideals, absolute genus fields and their bicyclic bicubic subfields, class number relations, transfer kernels and abelian quotient invariants of unramified cyclic cubic extensions and their impact on the class field tower, pattern recognition via Artin transfers on descendant trees of finite groups with order a power of 3, the Shafarevich Theorem on the relation rank of the 3-class field tower group, and the Galois action on the tower group and on its metabelianization. Rigorous proofs are given for the first occurrences of three-stage towers over cyclic cubic fields with elementary bicyclic or tricyclic or non-elementary bicyclic 3-class group. Experimentally, the second p-class groups and the length of the p-class tower are determined for all conductors below 100000 and for p=2,3,5, with the exception of the few intricate octets. An interesting application is able to identify and realize the closed groups by Andozhskii and Tsvetkov.
△ Less
Submitted 31 March, 2023; v1 submitted 20 November, 2022;
originally announced November 2022.
-
Industry-Scale Orchestrated Federated Learning for Drug Discovery
Authors:
Martijn Oldenhof,
Gergely Ács,
Balázs Pejó,
Ansgar Schuffenhauer,
Nicholas Holway,
Noé Sturm,
Arne Dieckmann,
Oliver Fortmeier,
Eric Boniface,
Clément Mayer,
Arnaud Gohier,
Peter Schmidtke,
Ritsuya Niwayama,
Dieter Kopecky,
Lewis Mervin,
Prakash Chandra Rathi,
Lukas Friedrich,
András Formanek,
Peter Antal,
Jordon Rahaman,
Adam Zalewski,
Wouter Heyndrickx,
Ezron Oluoch,
Manuel Stößel,
Michal Vančo
, et al. (22 additional authors not shown)
Abstract:
To apply federated learning to drug discovery we developed a novel platform in the context of European Innovative Medicines Initiative (IMI) project MELLODDY (grant n°831472), which was comprised of 10 pharmaceutical companies, academic research labs, large industrial companies and startups. The MELLODDY platform was the first industry-scale platform to enable the creation of a global federated mo…
▽ More
To apply federated learning to drug discovery we developed a novel platform in the context of European Innovative Medicines Initiative (IMI) project MELLODDY (grant n°831472), which was comprised of 10 pharmaceutical companies, academic research labs, large industrial companies and startups. The MELLODDY platform was the first industry-scale platform to enable the creation of a global federated model for drug discovery without sharing the confidential data sets of the individual partners. The federated model was trained on the platform by aggregating the gradients of all contributing partners in a cryptographic, secure way following each training iteration. The platform was deployed on an Amazon Web Services (AWS) multi-account architecture running Kubernetes clusters in private subnets. Organisationally, the roles of the different partners were codified as different rights and permissions on the platform and administrated in a decentralized way. The MELLODDY platform generated new scientific discoveries which are described in a companion paper.
△ Less
Submitted 12 December, 2022; v1 submitted 17 October, 2022;
originally announced October 2022.
-
AVisT: A Benchmark for Visual Object Tracking in Adverse Visibility
Authors:
Mubashir Noman,
Wafa Al Ghallabi,
Daniya Najiha,
Christoph Mayer,
Akshay Dudhane,
Martin Danelljan,
Hisham Cholakkal,
Salman Khan,
Luc Van Gool,
Fahad Shahbaz Khan
Abstract:
One of the key factors behind the recent success in visual tracking is the availability of dedicated benchmarks. While being greatly benefiting to the tracking research, existing benchmarks do not pose the same difficulty as before with recent trackers achieving higher performance mainly due to (i) the introduction of more sophisticated transformers-based methods and (ii) the lack of diverse scena…
▽ More
One of the key factors behind the recent success in visual tracking is the availability of dedicated benchmarks. While being greatly benefiting to the tracking research, existing benchmarks do not pose the same difficulty as before with recent trackers achieving higher performance mainly due to (i) the introduction of more sophisticated transformers-based methods and (ii) the lack of diverse scenarios with adverse visibility such as, severe weather conditions, camouflage and imaging effects.
We introduce AVisT, a dedicated benchmark for visual tracking in diverse scenarios with adverse visibility. AVisT comprises 120 challenging sequences with 80k annotated frames, spanning 18 diverse scenarios broadly grouped into five attributes with 42 object categories. The key contribution of AVisT is diverse and challenging scenarios covering severe weather conditions such as, dense fog, heavy rain and sandstorm; obstruction effects including, fire, sun glare and splashing water; adverse imaging effects such as, low-light; target effects including, small targets and distractor objects along with camouflage. We further benchmark 17 popular and recent trackers on AVisT with detailed analysis of their tracking performance across attributes, demonstrating a big room for improvement in performance. We believe that AVisT can greatly benefit the tracking community by complementing the existing benchmarks, in develo** new creative tracking solutions in order to continue pushing the boundaries of the state-of-the-art. Our dataset along with the complete tracking performance evaluation is available at: https://github.com/visionml/pytracking
△ Less
Submitted 14 August, 2022;
originally announced August 2022.
-
Schur sigma-Groups of Scholz-Taussky Type F
Authors:
Daniel C. Mayer
Abstract:
For finite metabelian 3-groups M with elementary bicyclic commutator quotient M/M' = C3*C3, coclass cc(M) in {4,6}, and transfer kernel type F, the smallest Schur sigma-groups S with second derived quotient S/S" = M are determined. Evidence is provided of arithmetical realizations of these groups by second 3-class groups M = Gal(F(3,2,K)/K), respectively 3-class field tower groups S = Gal(F(3,inft…
▽ More
For finite metabelian 3-groups M with elementary bicyclic commutator quotient M/M' = C3*C3, coclass cc(M) in {4,6}, and transfer kernel type F, the smallest Schur sigma-groups S with second derived quotient S/S" = M are determined. Evidence is provided of arithmetical realizations of these groups by second 3-class groups M = Gal(F(3,2,K)/K), respectively 3-class field tower groups S = Gal(F(3,infty,K)/K), of imaginary quadratic number fields K=Q(sqrt{d}).
△ Less
Submitted 14 August, 2022;
originally announced August 2022.
-
Weibull or not Weibull?
Authors:
Bruno Ebner,
Adrian Fischer,
Norbert Henze,
Celeste Mayer
Abstract:
We propose novel goodness-of-fit tests for the Weibull distribution with unknown parameters. These tests are based on an alternative characterizing representation of the Laplace transform related to the density approach in the context of Stein's method. Asymptotic theory of the tests is derived, including the limit null distribution, the behaviour under contiguous alternatives, the validity of the…
▽ More
We propose novel goodness-of-fit tests for the Weibull distribution with unknown parameters. These tests are based on an alternative characterizing representation of the Laplace transform related to the density approach in the context of Stein's method. Asymptotic theory of the tests is derived, including the limit null distribution, the behaviour under contiguous alternatives, the validity of the parametric bootstrap procedure, and consistency of the tests against a large class of alternatives. A Monte Carlo simulation study shows the competitiveness of the new procedure. Finally, the procedure is applied to real data examples taken from the materials science.
△ Less
Submitted 14 June, 2022;
originally announced June 2022.
-
ΛCDM with baryons vs. MOND: the time evolution of the universal acceleration scale in the Magneticum simulations
Authors:
Alexander C. Mayer,
Adelheid F. Teklu,
Klaus Dolag,
Rhea-Silvia Remus
Abstract:
MOdified Newtonian Dynamics (MOND) is an alternative to the standard Cold Dark Matter (CDM) paradigm which proposes an alteration of Newton's laws of motion at low accelerations, characterized by a universal acceleration scale a_0. It attempts to explain observations of galactic rotation curves and predicts a specific scaling relation of the baryonic and total acceleration in galaxies, referred to…
▽ More
MOdified Newtonian Dynamics (MOND) is an alternative to the standard Cold Dark Matter (CDM) paradigm which proposes an alteration of Newton's laws of motion at low accelerations, characterized by a universal acceleration scale a_0. It attempts to explain observations of galactic rotation curves and predicts a specific scaling relation of the baryonic and total acceleration in galaxies, referred to as the Rotational Acceleration Relation (RAR), which can be equivalently formulated as a Mass Discrepancy Acceleration Relation (MDAR). The appearance of these relations in observational data such as SPARC has lead to investigations into the existence of similar relations in cosmological simulations using the standard ΛCDM model. Here, we report the existence of an RAR and MDAR similar to that predicted by MOND in ΛCDM using a large sample of galaxies extracted from a cosmological, hydrodynamical simulation (Magneticum). Furthermore, by using galaxies in Magneticum at different redshifts, a prediction for the evolution of the inferred acceleration parameter a_0 with cosmic time is derived by fitting a MOND force law to these galaxies. In Magneticum, the best fit for a_0 is found to increase by a factor of approximately 3 from redshift z = 0 to z = 2. This offers a powerful test from cosmological simulations to distinguish between MOND and ΛCDM observationally.
△ Less
Submitted 17 October, 2022; v1 submitted 9 June, 2022;
originally announced June 2022.
-
Option Discovery for Autonomous Generation of Symbolic Knowledge
Authors:
Gabriele Sartor,
Davide Zollo,
Marta Cialdea Mayer,
Angelo Oddi,
Riccardo Rasconi,
Vieri Giuliano Santucci
Abstract:
In this work we present an empirical study where we demonstrate the possibility of develo** an artificial agent that is capable to autonomously explore an experimental scenario. During the exploration, the agent is able to discover and learn interesting options allowing to interact with the environment without any pre-assigned goal, then abstract and re-use the acquired knowledge to solve possib…
▽ More
In this work we present an empirical study where we demonstrate the possibility of develo** an artificial agent that is capable to autonomously explore an experimental scenario. During the exploration, the agent is able to discover and learn interesting options allowing to interact with the environment without any pre-assigned goal, then abstract and re-use the acquired knowledge to solve possible tasks assigned ex-post. We test the system in the so-called Treasure Game domain described in the recent literature and we empirically demonstrate that the discovered options can be abstracted in an probabilistic symbolic planning model (using the PPDDL language), which allowed the agent to generate symbolic plans to achieve extrinsic goals.
△ Less
Submitted 3 June, 2022;
originally announced June 2022.
-
Algebraic number fields generated by an infinite family of monogenic trinomials
Authors:
Daniel C. Mayer,
Abderazak Soullami
Abstract:
For an infinite family of monogenic trinomials $P(X) = X^3\pm 3rbX-b$ in $\mathbb{Z}\lbrack X\rbrack$, arithmetical invariants of the cubic number field $L = \mathbb{Q}(θ)$, generated by a zero $θ$ of $P(X)$, and of its Galois closure $N = L(\sqrt{d(L)})$ are determined. The conductor $f$ of the cyclic cubic relative extension $N/K$, where $K = \mathbb{Q}(\sqrt{d(L)})$ denotes the unique quadratic…
▽ More
For an infinite family of monogenic trinomials $P(X) = X^3\pm 3rbX-b$ in $\mathbb{Z}\lbrack X\rbrack$, arithmetical invariants of the cubic number field $L = \mathbb{Q}(θ)$, generated by a zero $θ$ of $P(X)$, and of its Galois closure $N = L(\sqrt{d(L)})$ are determined. The conductor $f$ of the cyclic cubic relative extension $N/K$, where $K = \mathbb{Q}(\sqrt{d(L)})$ denotes the unique quadratic subfield of $N$, is proved to be of the form $3^eb$ with $e\in\lbrace 1,2\rbrace$, which admits statements concerning primitive ambiguous principal ideals, lattice minima, and independent units in $L$. The number $m$ of non-isomorphic cubic fields $L_1,\ldots,L_m$ sharing a common discriminant $d(L_i) = d(L)$ with $L$ is determined.
△ Less
Submitted 9 April, 2022;
originally announced April 2022.
-
Transforming Model Prediction for Tracking
Authors:
Christoph Mayer,
Martin Danelljan,
Goutam Bhat,
Matthieu Paul,
Danda Pani Paudel,
Fisher Yu,
Luc Van Gool
Abstract:
Optimization based tracking methods have been widely successful by integrating a target model prediction module, providing effective global reasoning by minimizing an objective function. While this inductive bias integrates valuable domain knowledge, it limits the expressivity of the tracking network. In this work, we therefore propose a tracker architecture employing a Transformer-based model pre…
▽ More
Optimization based tracking methods have been widely successful by integrating a target model prediction module, providing effective global reasoning by minimizing an objective function. While this inductive bias integrates valuable domain knowledge, it limits the expressivity of the tracking network. In this work, we therefore propose a tracker architecture employing a Transformer-based model prediction module. Transformers capture global relations with little inductive bias, allowing it to learn the prediction of more powerful target models. We further extend the model predictor to estimate a second set of weights that are applied for accurate bounding box regression. The resulting tracker relies on training and on test frame information in order to predict all weights transductively. We train the proposed tracker end-to-end and validate its performance by conducting comprehensive experiments on multiple tracking datasets. Our tracker sets a new state of the art on three benchmarks, achieving an AUC of 68.5% on the challenging LaSOT dataset.
△ Less
Submitted 21 March, 2022;
originally announced March 2022.
-
Robust Visual Tracking by Segmentation
Authors:
Matthieu Paul,
Martin Danelljan,
Christoph Mayer,
Luc Van Gool
Abstract:
Estimating the target extent poses a fundamental challenge in visual object tracking. Typically, trackers are box-centric and fully rely on a bounding box to define the target in the scene. In practice, objects often have complex shapes and are not aligned with the image axis. In these cases, bounding boxes do not provide an accurate description of the target and often contain a majority of backgr…
▽ More
Estimating the target extent poses a fundamental challenge in visual object tracking. Typically, trackers are box-centric and fully rely on a bounding box to define the target in the scene. In practice, objects often have complex shapes and are not aligned with the image axis. In these cases, bounding boxes do not provide an accurate description of the target and often contain a majority of background pixels. We propose a segmentation-centric tracking pipeline that not only produces a highly accurate segmentation mask, but also internally works with segmentation masks instead of bounding boxes. Thus, our tracker is able to better learn a target representation that clearly differentiates the target in the scene from background content. In order to achieve the necessary robustness for the challenging tracking scenario, we propose a separate instance localization component that is used to condition the segmentation decoder when producing the output mask. We infer a bounding box from the segmentation mask, validate our tracker on challenging tracking datasets and achieve the new state of the art on LaSOT with a success AUC score of 69.7%. Since most tracking datasets do not contain mask annotations, we cannot use them to evaluate predicted segmentation masks. Instead, we validate our segmentation quality on two popular video object segmentation datasets.
△ Less
Submitted 20 July, 2022; v1 submitted 21 March, 2022;
originally announced March 2022.
-
Empirical spectral processes for stationary state space models
Authors:
Vicky Fasen-Hartmann,
Celeste Mayer
Abstract:
In this paper, we consider function-indexed normalized weighted integrated periodograms for equidistantly sampled multivariate continuous-time state space models which are multivariate continuous-time ARMA processes. Thereby, the sampling distance is fixed and the driving Lévy process has at least a finite fourth moment. Under different assumptions on the function space and the moments of the driv…
▽ More
In this paper, we consider function-indexed normalized weighted integrated periodograms for equidistantly sampled multivariate continuous-time state space models which are multivariate continuous-time ARMA processes. Thereby, the sampling distance is fixed and the driving Lévy process has at least a finite fourth moment. Under different assumptions on the function space and the moments of the driving Lévy process we derive a central limit theorem for the function-indexed normalized weighted integrated periodogram. Either the assumption on the function space or the assumption on the existence of moments of the Lévy process is weaker. Furthermore, we show the weak convergence in both the space of continuous functions and in the dual space to a Gaussian process and give an explicit representation of the covariance function. The results can be used to derive the asymptotic behavior of the Whittle estimator and to construct goodness-of-fit test statistics as the Grenander-Rosenblatt statistic and the Cramér-von Mises statistic. We present the exact limit distributions of both statistics and show their performance through a simulation study.
△ Less
Submitted 15 September, 2022; v1 submitted 25 February, 2022;
originally announced February 2022.
-
New perspectives of the power-commutator-structure: Coclass trees of CF-groups and related BCF-groups
Authors:
Daniel C. Mayer
Abstract:
Let e>1 be an integer. Among the finite 3-groups G with bicyclic commutator quotient G/G' ~ C(3^e) * C(3), having one non-elementary component with logarithmic exponent e, there exists a unique pair of coclass trees with distinguished rank distribution rho ~ (2,2,3;3). One tree T(e)(M(e,1)) consists of CF-groups with coclass e, and the other tree T(e+1)(M(e+1,1)) consists of BCF-groups with coclas…
▽ More
Let e>1 be an integer. Among the finite 3-groups G with bicyclic commutator quotient G/G' ~ C(3^e) * C(3), having one non-elementary component with logarithmic exponent e, there exists a unique pair of coclass trees with distinguished rank distribution rho ~ (2,2,3;3). One tree T(e)(M(e,1)) consists of CF-groups with coclass e, and the other tree T(e+1)(M(e+1,1)) consists of BCF-groups with coclass e+1. It is proved that, due to a chain of periodic bifurcations, the vertices of all pairs (T(e),T(e+1)) with e>2 can be constructed as p-descendants of the single root M(3,1) of order 729 by means of the p-group generation algorithm by Newman and O'Brien.
△ Less
Submitted 30 December, 2021;
originally announced December 2021.
-
Periodic Schur sigma-groups of non-elementary bicyclic type
Authors:
Daniel C. Mayer
Abstract:
Infinitely many large Schur sigma-groups G with non-elementary bicyclic commutator quotient G/G' = C(3^e) x C(3), e >= 2, are constructed as periodic sequences of vertices in descendant trees of finite 3-groups. A single root gives rise to pairs of metabelian groups G with logarithmic order lo(G) = 4+e for e >= 3. Three roots are ancestors of pairs of non-metabelian groups G with moderate rank dis…
▽ More
Infinitely many large Schur sigma-groups G with non-elementary bicyclic commutator quotient G/G' = C(3^e) x C(3), e >= 2, are constructed as periodic sequences of vertices in descendant trees of finite 3-groups. A single root gives rise to pairs of metabelian groups G with logarithmic order lo(G) = 4+e for e >= 3. Three roots are ancestors of pairs of non-metabelian groups G with moderate rank distribution rho(G) = (2,2,3;3) and lo(G) = 7+e for e >= 5. Twentyseven roots produce sextets of non-metabelian groups G with elevated rank distribution rho(G) = (3,3,3;3) and lo(G) = 19+e for e >= 9. The soluble length of non-metabelian groups is always sl(G) = 3. The groups can be realized as 3-class field tower groups Gal(F(3,infty,K)/K) of imaginary quadratic number fields K = Q(d^1/2) with fundamental discriminants d < 0.
△ Less
Submitted 26 October, 2021;
originally announced October 2021.
-
Automated Essay Scoring Using Transformer Models
Authors:
Sabrina Ludwig,
Christian Mayer,
Christopher Hansen,
Kerstin Eilers,
Steffen Brandt
Abstract:
Automated essay scoring (AES) is gaining increasing attention in the education sector as it significantly reduces the burden of manual scoring and allows ad hoc feedback for learners. Natural language processing based on machine learning has been shown to be particularly suitable for text classification and AES. While many machine-learning approaches for AES still rely on a bag-of-words (BOW) appr…
▽ More
Automated essay scoring (AES) is gaining increasing attention in the education sector as it significantly reduces the burden of manual scoring and allows ad hoc feedback for learners. Natural language processing based on machine learning has been shown to be particularly suitable for text classification and AES. While many machine-learning approaches for AES still rely on a bag-of-words (BOW) approach, we consider a transformer-based approach in this paper, compare its performance to a logistic regression model based on the BOW approach and discuss their differences. The analysis is based on 2,088 email responses to a problem-solving task, that were manually labeled in terms of politeness. Both transformer models considered in that analysis outperformed without any hyper-parameter tuning the regression-based model. We argue that for AES tasks such as politeness classification, the transformer-based approach has significant advantages, while a BOW approach suffers from not taking word order into account and reducing the words to their stem. Further, we show how such models can help increase the accuracy of human raters, and we provide a detailed instruction on how to implement transformer-based models for one's own purpose.
△ Less
Submitted 13 October, 2021;
originally announced October 2021.
-
First excited state with moderate rank distribution
Authors:
Daniel C. Mayer
Abstract:
Evidence is provided for the existence of infinite periodic sequences of Schur sigma-groups G with commutator quotient G/G' ~ C(3^e) x C(3), e >= 7, and logarithmic order lo(G) = 10+e. With respect to their maximal subgroups H1,H2,H3;H4, they have moderate rank distribution rho(G) = (rank3(Hi/Hi')) ~ (2,2,3;3) and represent the first excited state of their punctured transfer kernel types kappa(G),…
▽ More
Evidence is provided for the existence of infinite periodic sequences of Schur sigma-groups G with commutator quotient G/G' ~ C(3^e) x C(3), e >= 7, and logarithmic order lo(G) = 10+e. With respect to their maximal subgroups H1,H2,H3;H4, they have moderate rank distribution rho(G) = (rank3(Hi/Hi')) ~ (2,2,3;3) and represent the first excited state of their punctured transfer kernel types kappa(G), which is characterized by a polarized component, e33 or (e+1)32, of the abelian quotient invariants alpha(G) = (Hi/Hi') with lo = 6+e in contrast to the ground state with lo = 4+e.
△ Less
Submitted 13 October, 2021;
originally announced October 2021.
-
BCF-groups with elevated rank distribution
Authors:
Daniel C. Mayer
Abstract:
Infinitely many large Schur sigma-groups G with logarithmic order lo(G)=19+e, non-elementary bicyclic commutator quotient G/G' ~ C(3^e) x C(3), e >= 2, elevated rank distribution rho(G)=(3,3,3;3), punctured transfer kernel type kappa(G) ~ (144;4) and soluble length sl(G)=3 are constructed. Up to e <= 4, they are realized as 3-class field tower groups Gal(F(3,infty,K)/K) of imaginary quadratic numb…
▽ More
Infinitely many large Schur sigma-groups G with logarithmic order lo(G)=19+e, non-elementary bicyclic commutator quotient G/G' ~ C(3^e) x C(3), e >= 2, elevated rank distribution rho(G)=(3,3,3;3), punctured transfer kernel type kappa(G) ~ (144;4) and soluble length sl(G)=3 are constructed. Up to e <= 4, they are realized as 3-class field tower groups Gal(F(3,infty,K)/K) of imaginary quadratic number fields K=Q(d^1/2), d<0. Their metabelianizations M=G/G'' are BCF-groups with lo(M)=8+e and bicyclic third lower central factor gamma3(M)/gamma4(M) ~ C(3) x C(3).
△ Less
Submitted 7 October, 2021;
originally announced October 2021.
-
Bicyclic commutator quotients with one non-elementary component
Authors:
Daniel C. Mayer
Abstract:
For any number field K with non-elementary 3-class group Cl(3,K) = C(3^e) x C(3), e >= 2, the punctured capitulation type kappa(K) of K in its unramified cyclic cubic extensions Li, 1 <= i <= 4, is an orbit under the action of S3 x S3. By means of Artin's reciprocity law, the arithmetical invariant kappa(K) is translated to the punctured transfer kernel type kappa(G2) of the automorphism group G2…
▽ More
For any number field K with non-elementary 3-class group Cl(3,K) = C(3^e) x C(3), e >= 2, the punctured capitulation type kappa(K) of K in its unramified cyclic cubic extensions Li, 1 <= i <= 4, is an orbit under the action of S3 x S3. By means of Artin's reciprocity law, the arithmetical invariant kappa(K) is translated to the punctured transfer kernel type kappa(G2) of the automorphism group G2 = Gal(F(3,2,K)/K) of the second Hilbert 3-class field of K. A classification of finite 3-groups G with low order and bicyclic commutator quotient G/G' = C(3^e) x C(3), 2 <= e <= 6, according to the algebraic invariant kappa(G), admits conclusions concerning the length of the Hilbert 3-class field tower F(3,infty,K) of imaginary quadratic number fields K.
△ Less
Submitted 22 August, 2021;
originally announced August 2021.
-
On the role of boron, carbon and zirconium on hot cracking and creep resistance of additively manufactured polycrystalline superalloys
Authors:
Arthur Després,
Stoichko Antonov,
Charlotte Mayer,
Catherine Tassin,
Jean-Jacques Blandin,
Paraskevas Kontis,
Guilhem Martin
Abstract:
We investigate the hot cracking susceptibility and creep resistance of three versions of a nickel-based superalloy with different contents of boron, carbon and zirconium fabricated by laser powder bed fusion. Crack-free and creep resistant components are achieved for alloys with boron, carbon and no zirconium. We then rationalize this result by evaluating how boron, carbon and zirconium are distri…
▽ More
We investigate the hot cracking susceptibility and creep resistance of three versions of a nickel-based superalloy with different contents of boron, carbon and zirconium fabricated by laser powder bed fusion. Crack-free and creep resistant components are achieved for alloys with boron, carbon and no zirconium. We then rationalize this result by evaluating how boron, carbon and zirconium are distributed at grain boundaries in the as-built and heat-treated microstructures of an alloy containing all these elements. Observations are conducted by scanning and transmission electron microscopy, and atom probe tomography. In the as-built microstructure, boron, carbon and zirconium segregate at high-angle grain boundaries as a result of solute partitioning to the liquid and limited solid-state diffusion during solidification and cooling. After heat-treatment, the amount of boron and carbon segregating at grain boundaries increases significantly. In contrast, zirconium is not found at grain boundaries but it partitions at the gamma' precipitates formed during the heat treatment. The presence of zirconium at grain boundaries in the as-built condition is known to be susceptible to enhance hot cracking, while its absence in the heat-treated microstructure strongly suggests that this element has no major effect on the creep resistance. Based on our observations, we propose alloy design guidelines to at the same time avoid hot cracking during fabrication and achieve the required creep performance after heat-treatment.
△ Less
Submitted 18 May, 2021;
originally announced May 2021.
-
Learning Target Candidate Association to Keep Track of What Not to Track
Authors:
Christoph Mayer,
Martin Danelljan,
Danda Pani Paudel,
Luc Van Gool
Abstract:
The presence of objects that are confusingly similar to the tracked target, poses a fundamental challenge in appearance-based visual tracking. Such distractor objects are easily misclassified as the target itself, leading to eventual tracking failure. While most methods strive to suppress distractors through more powerful appearance models, we take an alternative approach.
We propose to keep tra…
▽ More
The presence of objects that are confusingly similar to the tracked target, poses a fundamental challenge in appearance-based visual tracking. Such distractor objects are easily misclassified as the target itself, leading to eventual tracking failure. While most methods strive to suppress distractors through more powerful appearance models, we take an alternative approach.
We propose to keep track of distractor objects in order to continue tracking the target. To this end, we introduce a learned association network, allowing us to propagate the identities of all target candidates from frame-to-frame. To tackle the problem of lacking ground-truth correspondences between distractor objects in visual tracking, we propose a training strategy that combines partial annotations with self-supervision. We conduct comprehensive experimental validation and analysis of our approach on several challenging datasets. Our tracker sets a new state-of-the-art on six benchmarks, achieving an AUC score of 67.1% on LaSOT and a +5.8% absolute gain on the OxUvA long-term dataset.
△ Less
Submitted 18 August, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
$3$-Principalization over $S_3$-fields
Authors:
Siham Aouissi,
Mohamed Talbi,
Daniel C. Mayer,
Moulay Chrif Ismaili
Abstract:
Let $p\equiv 1\,(\mathrm{mod}\,9)$ be a prime number and $ζ_3$ be a primitive cube root of unity. Then $\mathrm{k}=\mathbb{Q}(\sqrt[3]{p},ζ_3)$ is a pure metacyclic field with group $\mathrm{Gal}(\mathrm{k}/\mathbb{Q})\simeq S_3$. In the case that $\mathrm{k}$ possesses a $3$-class group $C_{\mathrm{k},3}$ of type $(9,3)$, the capitulation of $3$-ideal classes of $\mathrm{k}$ in its unramified cyc…
▽ More
Let $p\equiv 1\,(\mathrm{mod}\,9)$ be a prime number and $ζ_3$ be a primitive cube root of unity. Then $\mathrm{k}=\mathbb{Q}(\sqrt[3]{p},ζ_3)$ is a pure metacyclic field with group $\mathrm{Gal}(\mathrm{k}/\mathbb{Q})\simeq S_3$. In the case that $\mathrm{k}$ possesses a $3$-class group $C_{\mathrm{k},3}$ of type $(9,3)$, the capitulation of $3$-ideal classes of $\mathrm{k}$ in its unramified cyclic cubic extensions is determined, and conclusions concerning the maximal unramified pro-$3$-extension $\mathrm{k}_3^{(\infty)}$ of $\mathrm{k}$ are drawn.
△ Less
Submitted 6 March, 2021;
originally announced March 2021.
-
Classifying multiplets of totally real cubic fields
Authors:
Daniel C. Mayer
Abstract:
The number of non-isomorphic cubic fields L sharing a common discriminant d(L) = d is called the multiplicity m = m(d) of d. For an assigned value of d, these fields are collected in a multiplet M(d) = (L(1) ,..., L(m)). In this paper, the information in all existing tables of totally real cubic number fields L with positive discriminants d(L) < 10000000 is extended by computing the differential p…
▽ More
The number of non-isomorphic cubic fields L sharing a common discriminant d(L) = d is called the multiplicity m = m(d) of d. For an assigned value of d, these fields are collected in a multiplet M(d) = (L(1) ,..., L(m)). In this paper, the information in all existing tables of totally real cubic number fields L with positive discriminants d(L) < 10000000 is extended by computing the differential principal factorization types tau(L) in (alpha1, alpha2, alpha3, beta1, beta2, gamma, delta1, delta2, epsilon) of the members L of each multiplet M(d) of non-cyclic fields, a new kind of arithmetical invariants which provide succinct information about ambiguous principal ideals and capitulation in the normal closures N of non-Galois cubic fields L. The classification is arranged with respect to increasing 3-class rank of the quadratic subfields K of the S3-fields N, and to ascending number of prime divisors of the conductor f of N/K. The Scholz conjecture concerning the distinguished index of subfield units (U(N) : U(0)) = 1 for ramified extensions N/K with conductor f > 1 is refined and verified.
△ Less
Submitted 24 February, 2021;
originally announced February 2021.
-
Construction and classification of p-ring class fields modulo p-admissible conductors
Authors:
Daniel C. Mayer
Abstract:
Each p-ring class field K(f) modulo a p-admissible conductor f over a quadratic base field K with p-ring class rank r(f) mod f is classified according to Galois cohomology and differential principal factorization type of all members of its associated heterogeneous multiplet M(K(f))=[(N(c,i))_{1<=i<=m(c)}]_{c|f} of dihedral fields N(c,i) with various conductors c|f having p-multiplicities m(c) over…
▽ More
Each p-ring class field K(f) modulo a p-admissible conductor f over a quadratic base field K with p-ring class rank r(f) mod f is classified according to Galois cohomology and differential principal factorization type of all members of its associated heterogeneous multiplet M(K(f))=[(N(c,i))_{1<=i<=m(c)}]_{c|f} of dihedral fields N(c,i) with various conductors c|f having p-multiplicities m(c) over K such that sum_{c|f} m(c)=(p^r(f)-1)/(p-1). The advanced viewpoint of classifying the entire collection M(K(f)), instead of its individual members separately, admits considerably deeper insight into the class field theoretic structure of ring class fields, and the actual construction of the multiplet M(K(f)) is enabled by exploiting the routines for abelian extensions in the computational algebra system Magma.
△ Less
Submitted 29 December, 2020;
originally announced January 2021.
-
Product Throttling
Authors:
Sarah E. Anderson,
Karen L. Collins,
Daniela Ferrero,
Leslie Hogben,
Carolyn Mayer,
Ann N. Trenk,
Shanise Walker
Abstract:
Throttling addresses the question of minimizing the sum or the product of the resources used to accomplish a task and the time needed to complete that task for various graph searching processes. Graph parameters of interest include various types of zero forcing, power domination, and Cops and Robbers. We provide a survey of product throttling for these parameters.
Throttling addresses the question of minimizing the sum or the product of the resources used to accomplish a task and the time needed to complete that task for various graph searching processes. Graph parameters of interest include various types of zero forcing, power domination, and Cops and Robbers. We provide a survey of product throttling for these parameters.
△ Less
Submitted 26 September, 2021; v1 submitted 23 December, 2020;
originally announced December 2020.
-
Product throttling for power domination
Authors:
Sarah E. Anderson,
Karen L. Collins,
Daniela Ferrero,
Leslie Hogben,
Carolyn Mayer,
Ann N. Trenk,
Shanise Walker
Abstract:
The product power throttling number of a graph is defined to study product throttling for power domination. The domination number of a graph is an upper bound for its product power throttling number. It is established that the two parameters are equal for certain families including paths, cycles, complete graphs, unit interval graphs, and grid graphs (on the plane, cylinder, and torus). Families o…
▽ More
The product power throttling number of a graph is defined to study product throttling for power domination. The domination number of a graph is an upper bound for its product power throttling number. It is established that the two parameters are equal for certain families including paths, cycles, complete graphs, unit interval graphs, and grid graphs (on the plane, cylinder, and torus). Families of graphs for which the product power throttling number is less than the domination number are also exhibited. Graphs with extremely high or low product power throttling number are characterized and bounds on the product power throttling number are established.
△ Less
Submitted 3 December, 2020; v1 submitted 30 October, 2020;
originally announced October 2020.
-
Finite non-metabelian Schur sigma-Galois groups of class field towers
Authors:
Daniel C. Mayer
Abstract:
For each odd prime p>=5, there exist finite p-groups G with derived quotient G/D(G)=C(p)xC(p) and nearly constant transfer kernel type k(G)=(1,2,...,2) having two fixed points. It is proved that, for p=7, this type k(G) with the simplest possible case of logarithmic abelian quotient invariants t(G)=(11111,111,21,21,21,21,21,21) of the eight maximal subgroups is realized by exactly 98 non-metabelia…
▽ More
For each odd prime p>=5, there exist finite p-groups G with derived quotient G/D(G)=C(p)xC(p) and nearly constant transfer kernel type k(G)=(1,2,...,2) having two fixed points. It is proved that, for p=7, this type k(G) with the simplest possible case of logarithmic abelian quotient invariants t(G)=(11111,111,21,21,21,21,21,21) of the eight maximal subgroups is realized by exactly 98 non-metabelian Schur sigma-groups S of order 7^11 with fixed derived length dl(S)=3 and metabelianizations S/D(D(S)) of order 7^7. For p=5, the type k(G) with t(G)=(2111,111,21,21,21,21) leads to infinitely many non-metabelian Schur sigma-groups S of order at least 5^14 with unbounded derived length dl(S)>=3 and metabelianizations S/D(D(S)) of fixed order 5^7. These results admit the conclusion that d=-159592 is the first known discriminant of an imaginary quadratic field with 7-class field tower of precise length L=3, and d=-90868 is a discriminant of an imaginary quadratic field with 5-class field tower of length L>=3, whose exact length remains unknown.
△ Less
Submitted 21 October, 2020;
originally announced October 2020.
-
A note on estimation of $α$-stable CARMA processes sampled at low frequencies
Authors:
Vicky Fasen-Hartmann,
Celeste Mayer
Abstract:
In this paper, we investigate estimators for symmetric $α$-stable CARMA processes sampled equidistantly. Simulation studies suggest that the Whittle estimator and the estimator presented in García et al. (2011) are consistent estimators for the parameters of stable CARMA processes. For CARMA processes with finite second moments it is well-known that the Whittle estimator is consistent and asymptot…
▽ More
In this paper, we investigate estimators for symmetric $α$-stable CARMA processes sampled equidistantly. Simulation studies suggest that the Whittle estimator and the estimator presented in García et al. (2011) are consistent estimators for the parameters of stable CARMA processes. For CARMA processes with finite second moments it is well-known that the Whittle estimator is consistent and asymptotically normally distributed. Therefore, in the light-tailed setting the properties of the Whittle estimator for CARMA processes are similar to those of the Whittle estimator for ARMA processes. However, in the present paper we prove that, in general, the Whittle estimator for symmetric $α$-stable CARMA processes sampled at low frequencies is not consistent and highlight why simulation studies suggest something else. Thus, in contrast to the light-tailed setting the properties of the Whittle estimator for heavy-tailed ARMA processes can not be transferred to heavy-tailed CARMA processes. We elaborate as well that the estimator presented in García et al. (2011) faces the same problems. However, the Whittle estimator for stable CAR(1) processes is consistent.
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
A framework for modelling Molecular Interaction Maps
Authors:
Jean-Marc Alliot,
Marta Cialdea Mayer,
Robert Demolombe,
Martín Diéguez,
Luis Fariñas del Cerro
Abstract:
Metabolic networks, formed by a series of metabolic pathways, are made of intracellular and extracellular reactions that determine the biochemical properties of a cell, and by a set of interactions that guide and regulate the activity of these reactions. Most of these pathways are formed by an intricate and complex network of chain reactions, and can be represented in a human readable form using g…
▽ More
Metabolic networks, formed by a series of metabolic pathways, are made of intracellular and extracellular reactions that determine the biochemical properties of a cell, and by a set of interactions that guide and regulate the activity of these reactions. Most of these pathways are formed by an intricate and complex network of chain reactions, and can be represented in a human readable form using graphs which describe the cell cycle checkpoint pathways.
This paper proposes a method to represent Molecular Interaction Maps (graphical representations of complex metabolic networks) in Linear Temporal Logic. The logical representation of such networks allows one to reason about them, in order to check, for instance, whether a graph satisfies a given property $φ$, as well as to find out which initial conditons would guarantee $φ$, or else how can the the graph be updated in order to satisfy $φ$.
Both the translation and resolution methods have been implemented in a tool capable of addressing such questions thanks to a reduction to propositional logic which allows exploiting classical SAT solvers.
△ Less
Submitted 21 August, 2020;
originally announced August 2020.
-
Nanomechanical characterization of the fracture toughness of Al/SiC nanolaminates
Authors:
L. W. Yang,
C. R. Mayer,
N. Chawla,
J. LLorca,
J. M. Molina-Aldareguía
Abstract:
The fracture toughness of Al/SiC nanolaminates with different layer thicknesses (in the range 10 to 100 nm) was measured by means of micropillar splitting and bending of a notched beam. The crack plane was perpendicular to the layers in the former while notched beams with the notch parallel and perpendicular to the layers were milled in the latter. It was found that crack propagation parallel to t…
▽ More
The fracture toughness of Al/SiC nanolaminates with different layer thicknesses (in the range 10 to 100 nm) was measured by means of micropillar splitting and bending of a notched beam. The crack plane was perpendicular to the layers in the former while notched beams with the notch parallel and perpendicular to the layers were milled in the latter. It was found that crack propagation parallel to the layers took place along the metal-ceramic interfaces and the toughness increased with the layer thickness due to the contribution of the plastic deformation of the Al layers. Crack propagation perpendicular to the layers showed evidence of crack deflection/arrest at the interface. The toughness in this orientation increased as the layer thickness decreased due to the higher density of interfaces except for the nanolaminates with 10 nm layer thickness. In the latter case, crack propagation took place along the weak columnar grain boundaries, leading to a marked reduction in toughness.
△ Less
Submitted 14 August, 2020;
originally announced August 2020.
-
Performance of ALICE AD modules in the CERN PS test beam
Authors:
M. Broz,
J. C. Cabanillas Noris,
E. Calvo Villar,
C. Duarte Galvan,
E. Endress,
L. G. Espinoza Beltran,
A. Fernandez Tellez,
D. Finogeev,
A. M. Gago,
G. Herrera Corral,
T. Kim,
A. Kurepin,
A. B. Kurepin,
N. Kurepin,
I. Leon Monzon,
M. I. Martinez Hernandez,
C. Mayer,
M. M. Mieskolainen,
R. Orava,
L. A. Perez Moreno,
J. -P. Revol,
M. Rodriguez Cahuantzi,
S. Rojas Torres,
D. Serebryakov,
A. Shabanov
, et al. (2 additional authors not shown)
Abstract:
Two modules of the AD detector have been studied with the test beam at the T10 facility at CERN. The AD detector is made of scintillator pads read out by wave-length shifters (WLS)coupled to clean fibres that carry the produced light to photo-multiplier tubes (PMTs). In ALICE the AD is used to trigger and study the physics of diffractive and ultra-peripheral collisions as well as for a variety of…
▽ More
Two modules of the AD detector have been studied with the test beam at the T10 facility at CERN. The AD detector is made of scintillator pads read out by wave-length shifters (WLS)coupled to clean fibres that carry the produced light to photo-multiplier tubes (PMTs). In ALICE the AD is used to trigger and study the physics of diffractive and ultra-peripheral collisions as well as for a variety of technical tasks like beam-gas background monitoring or as a luminometer. The position dependence of the modules' efficiency has been measured and the effect of hits on the WLS or PMTs has been evaluated. The charge deposited by pions and protons has been measured at different momenta of the test beam. The time resolution is determined as a function of the deposited charge. These results are important ingredients to better understand the AD detector, to benchmark the corresponding simulations, and very importantly they served as a baseline for a similar device, the Forward Diffractive Detector (FDD), being currently built and that will be in operation in ALICE during the LHC Runs 3 and 4.
△ Less
Submitted 26 June, 2020;
originally announced June 2020.
-
Schur sigma-groups with abelian quotient invariants (9,3)
Authors:
Daniel C. Mayer
Abstract:
By the construction of suitable non-metabelian Schur sigma-groups S of type (9,3) with log order lo(S) = 21 and nilpotency class cl(S) = 9, evidence is provided of a new class of imaginary quadratic fields K with 3-class group Cl(3,K) ~ C(9) * C(3) and punctured principalization type kappa ~ (1,4,4;4) whose 3-class field tower consists of precisely three stages. In contrast, previous examples of t…
▽ More
By the construction of suitable non-metabelian Schur sigma-groups S of type (9,3) with log order lo(S) = 21 and nilpotency class cl(S) = 9, evidence is provided of a new class of imaginary quadratic fields K with 3-class group Cl(3,K) ~ C(9) * C(3) and punctured principalization type kappa ~ (1,4,4;4) whose 3-class field tower consists of precisely three stages. In contrast, previous examples of three-stage towers were associated with kappa in { (1,1,2;2), (1,1,2;3), (1,1,4;2), (1,2,3;1) }, lo(S) = 9 and cl(S) = 5.
△ Less
Submitted 12 June, 2020;
originally announced June 2020.
-
Extremal root paths of Schur \(σ\)-groups and first \(3\)-class field towers with four stages
Authors:
Daniel C. Mayer
Abstract:
An extremal property of finite Schur sigma-groups G is described in terms of their path to the root in the descendant tree of their abelianization G/G'. The phenomenon is illustrated and verified by all known examples of Galois groups G=Gal(F(3,infty,K)/K) of 3-class field towers K=F(3,0,K)<F(3,1,K)<F(3,2,K)<=...<=F(3,infty,K) of imaginary quadratic number fields K=Q(sqrt{d}), d<0, with elementary…
▽ More
An extremal property of finite Schur sigma-groups G is described in terms of their path to the root in the descendant tree of their abelianization G/G'. The phenomenon is illustrated and verified by all known examples of Galois groups G=Gal(F(3,infty,K)/K) of 3-class field towers K=F(3,0,K)<F(3,1,K)<F(3,2,K)<=...<=F(3,infty,K) of imaginary quadratic number fields K=Q(sqrt{d}), d<0, with elementary 3-class group Cl(3,K) of rank two. Such Galois groups must be Schur sigma-groups and the existence of towers with at least four stages is justified by showing the non-existence of suitable Schur sigma-groups G with derived length dl(G)<=3. By means of counter-examples, it is emphasized that real quadratic number fields with the same type of 3-class group reveal a totally different behavior, usually without extremal path.
△ Less
Submitted 10 April, 2020;
originally announced April 2020.
-
Diffusion and viscosity of non-entangled polyelectrolytes
Authors:
Carlos G. Lopez,
Jürgen Linders,
Christian Mayer,
Walter Richtering
Abstract:
We report chain self-diffusion and viscosity data for sodium polystyrene sulfonate (NaPSS) in semidilute salt-free aqueous solutions measured by pulsed field gradient NMR and rotational rheometry respectively. The observed concentration dependence of $η$ and $D$ are consistent with the Rouse-Zimm scaling model with a concentration dependent monomeric friction coefficient. The concentration depende…
▽ More
We report chain self-diffusion and viscosity data for sodium polystyrene sulfonate (NaPSS) in semidilute salt-free aqueous solutions measured by pulsed field gradient NMR and rotational rheometry respectively. The observed concentration dependence of $η$ and $D$ are consistent with the Rouse-Zimm scaling model with a concentration dependent monomeric friction coefficient. The concentration dependence of the monomeric friction coefficient exceeds that expected from free-volume models of diffusion, and its origin remains unclear. Correlation blobs and dilute chains with equivalent end-to-end distances exhibit nearly equal friction coefficients, in agreement with scaling. The viscosity and diffusion data are combined using the Rouse model to calculate the chain dimensions of NaPSS in salt-free solution, these agree quantitatively with SANS measurements.
△ Less
Submitted 2 April, 2020;
originally announced April 2020.
-
Group Sparsity: The Hinge Between Filter Pruning and Decomposition for Network Compression
Authors:
Yawei Li,
Shuhang Gu,
Christoph Mayer,
Luc Van Gool,
Radu Timofte
Abstract:
In this paper, we analyze two popular network compression techniques, i.e. filter pruning and low-rank decomposition, in a unified sense. By simply changing the way the sparsity regularization is enforced, filter pruning and low-rank decomposition can be derived accordingly. This provides another flexible choice for network compression because the techniques complement each other. For example, in…
▽ More
In this paper, we analyze two popular network compression techniques, i.e. filter pruning and low-rank decomposition, in a unified sense. By simply changing the way the sparsity regularization is enforced, filter pruning and low-rank decomposition can be derived accordingly. This provides another flexible choice for network compression because the techniques complement each other. For example, in popular network architectures with shortcut connections (e.g. ResNet), filter pruning cannot deal with the last convolutional layer in a ResBlock while the low-rank decomposition methods can. In addition, we propose to compress the whole network jointly instead of in a layer-wise manner. Our approach proves its potential as it compares favorably to the state-of-the-art on several benchmarks.
△ Less
Submitted 19 March, 2020;
originally announced March 2020.
-
Whittle estimation for stationary state space models with finite second moments
Authors:
Vicky Fasen-Hartmann,
Celeste Mayer
Abstract:
In this paper, we consider the Whittle estimator for the parameters of a stationary solution of a continuous-time linear state space model sampled at low frequencies. In our context the driving process is a Lévy process which allows flexible margins of the underlying model. The Lévy process is supposed to have finite second moments. It is well known that then the class of stationary solutions of l…
▽ More
In this paper, we consider the Whittle estimator for the parameters of a stationary solution of a continuous-time linear state space model sampled at low frequencies. In our context the driving process is a Lévy process which allows flexible margins of the underlying model. The Lévy process is supposed to have finite second moments. It is well known that then the class of stationary solutions of linear state space models and the class of multivariate CARMA processes coincides. We prove that the Whittle estimator, which is based on the periodogram, is strongly consistent and asymptotically normally distributed. A comparison with the classical setting of discrete-time ARMA models shows that in the continuous-time setting the limit covariance matrix of the Whittle estimator has an additional correction term for non-Gaussian models. For the proof, we investigate as well the asymptotic normality of the integrated periodogram which is interesting for its own. It can be used to construct goodness of fit tests. Furthermore, for univariate state space processes, which are CARMA processes, we introduce an adjusted version of the Whittle estimator and derive as well the asymptotic properties of this estimator. The practical applicability of our estimators is demonstrated through a simulation study.
△ Less
Submitted 21 February, 2020;
originally announced February 2020.
-
Efficient Video Semantic Segmentation with Labels Propagation and Refinement
Authors:
Matthieu Paul,
Christoph Mayer,
Luc Van Gool,
Radu Timofte
Abstract:
This paper tackles the problem of real-time semantic segmentation of high definition videos using a hybrid GPU / CPU approach. We propose an Efficient Video Segmentation(EVS) pipeline that combines:
(i) On the CPU, a very fast optical flow method, that is used to exploit the temporal aspect of the video and propagate semantic information from one frame to the next. It runs in parallel with the G…
▽ More
This paper tackles the problem of real-time semantic segmentation of high definition videos using a hybrid GPU / CPU approach. We propose an Efficient Video Segmentation(EVS) pipeline that combines:
(i) On the CPU, a very fast optical flow method, that is used to exploit the temporal aspect of the video and propagate semantic information from one frame to the next. It runs in parallel with the GPU.
(ii) On the GPU, two Convolutional Neural Networks: A main segmentation network that is used to predict dense semantic labels from scratch, and a Refiner that is designed to improve predictions from previous frames with the help of a fast Inconsistencies Attention Module (IAM). The latter can identify regions that cannot be propagated accurately.
We suggest several operating points depending on the desired frame rate and accuracy. Our pipeline achieves accuracy levels competitive to the existing real-time methods for semantic image segmentation(mIoU above 60%), while achieving much higher frame rates. On the popular Cityscapes dataset with high resolution frames (2048 x 1024), the proposed operating points range from 80 to 1000 Hz on a single GPU and CPU.
△ Less
Submitted 26 December, 2019;
originally announced December 2019.
-
Adversarial Feature Distribution Alignment for Semi-Supervised Learning
Authors:
Christoph Mayer,
Matthieu Paul,
Radu Timofte
Abstract:
Training deep neural networks with only a few labeled samples can lead to overfitting. This is problematic in semi-supervised learning where only a few labeled samples are available. In this paper, we show that a consequence of overfitting in SSL is feature distribution misalignment between labeled and unlabeled samples. Hence, we propose a new feature distribution alignment method. Our method is…
▽ More
Training deep neural networks with only a few labeled samples can lead to overfitting. This is problematic in semi-supervised learning where only a few labeled samples are available. In this paper, we show that a consequence of overfitting in SSL is feature distribution misalignment between labeled and unlabeled samples. Hence, we propose a new feature distribution alignment method. Our method is particularly effective when using only a small amount of labeled samples. We test our method on CIFAR10 and SVHN. On SVHN we achieve a test error of 3.88% (250 labeled samples) and 3.39% (1000 labeled samples) which is close to the fully supervised model 2.89% (73k labeled samples). In comparison, the current SOTA achieves only 4.29% and 3.74%. Finally, we provide a theoretical insight why feature distribution alignment occurs and show that our method reduces it.
△ Less
Submitted 22 December, 2019;
originally announced December 2019.
-
5-Class towers of cyclic quartic fields arising from quintic reflection
Authors:
Abdelmalek Azizi,
Yasuhiro Kishi,
Daniel C. Mayer,
Mohamed Talbi,
Mohammed Talbi
Abstract:
Let zeta5 be a primitive fifth root of unity and d<>1 be a quadratic fundamental discriminant not divisible by 5. For the 5-dual cyclic quartic field M=Q((zeta5-zeta5^-1)*d^1/2) of the quadratic fields k1=Q(d^1/2) and k2=Q((5*d)^1/2) in the sense of the quintic reflection theorem, the possibilities for the isomophism type of the Galois group G(5,2)M=Gal(M(5,2)/M) of the second Hilbert 5-class fiel…
▽ More
Let zeta5 be a primitive fifth root of unity and d<>1 be a quadratic fundamental discriminant not divisible by 5. For the 5-dual cyclic quartic field M=Q((zeta5-zeta5^-1)*d^1/2) of the quadratic fields k1=Q(d^1/2) and k2=Q((5*d)^1/2) in the sense of the quintic reflection theorem, the possibilities for the isomophism type of the Galois group G(5,2)M=Gal(M(5,2)/M) of the second Hilbert 5-class field M(5,2) of M are investigated, when the 5-class group Cl5(M) is elementary bicyclic of rank two. Usually, the maximal unramified pro-5-extension M(5,infinity) of M coincides with M(5,2) already. The precise length ell5(M) of the 5-class tower of M is determined, when G(5,2)M is of order less than or equal to 5^5. Theoretical results are underpinned by the actual computation of all 83, respectively 93, cases in the range 0<d<10^4, respectively -2*10^5<d<0.
△ Less
Submitted 8 September, 2019;
originally announced September 2019.
-
Harmonically balanced capitulation over quadratic fields of type (9,9)
Authors:
Daniel C. Mayer
Abstract:
The isomorphism type of the Galois group G of finite 3-class field towers of quadratic number fields with 3-class group of type (9,9) is determined by means of Artin patterns which contain information on the transfer of 3-classes to unramified abelian 3-extensions. First, as an approximation of the group G, its metabelianization M=G/G", which is isomorphic to the Galois group of the second Hilbert…
▽ More
The isomorphism type of the Galois group G of finite 3-class field towers of quadratic number fields with 3-class group of type (9,9) is determined by means of Artin patterns which contain information on the transfer of 3-classes to unramified abelian 3-extensions. First, as an approximation of the group G, its metabelianization M=G/G", which is isomorphic to the Galois group of the second Hilbert 3-class field, is sought by sifting the SmallGroups library with the aid of pattern recognition. In cases with order |M|>3^8, the SmallGroups database must be extended by means of the p-group generation algorithm, which reveals new phenomena of groups with harmonically balanced transfer kernels and trees with periodic trifurcations. Bounds for the relation rank d2(M) of M in dependence on the signature of the quadratic base field admit the decision whether the derived length of G is dl(G)=2 or dl(G)>=3.
△ Less
Submitted 6 August, 2019;
originally announced August 2019.
-
Principal factors and lattice minima
Authors:
Siham Aouissi,
Abdelmalek Azizi,
Moulay Chrif Ismaili,
Daniel C. Mayer,
Mohamed Talbi
Abstract:
Let $\mathit{k}=\mathbb{Q}(\sqrt[3]{d},ζ_3)$, where $d>1$ is a cube-free positive integer, $\mathit{k}_0=\mathbb{Q}(ζ_3)$ be the cyclotomic field containing a primitive cube root of unity $ζ_3$, and $G=\operatorname{Gal}(\mathit{k}/\mathit{k}_0)$. The possible prime factorizations of $d$ in our main result [2, Thm. 1.1] give rise to new phenomena concerning the chain $Θ=(θ_i)_{i\in\mathbb{Z}}$ of…
▽ More
Let $\mathit{k}=\mathbb{Q}(\sqrt[3]{d},ζ_3)$, where $d>1$ is a cube-free positive integer, $\mathit{k}_0=\mathbb{Q}(ζ_3)$ be the cyclotomic field containing a primitive cube root of unity $ζ_3$, and $G=\operatorname{Gal}(\mathit{k}/\mathit{k}_0)$. The possible prime factorizations of $d$ in our main result [2, Thm. 1.1] give rise to new phenomena concerning the chain $Θ=(θ_i)_{i\in\mathbb{Z}}$ of \textit{lattice minima} in the underlying pure cubic subfield $L=\mathbb{Q}(\sqrt[3]{d})$ of $\mathit{k}$. The aims of the present work are to give criteria for the occurrence of generators of primitive ambiguous principal ideals $(α)\in\mathcal{P}_{\mathit{k}}^G/\mathcal{P}_{\mathit{k}_0}$ among the lattice minima $Θ=(θ_i)_{i\in\mathbb{Z}}$ of the underlying pure cubic field $L=\mathbb{Q}(\sqrt[3]{d})$, and to explain exceptional behavior of the chain $Θ$ for certain radicands $d$ with impact on determining the principal factorization type of $L$ and $\mathit{k}$ by means of Voronoi's algorithm.
△ Less
Submitted 22 July, 2019;
originally announced July 2019.
-
The strategy of pattern recognition via Artin transfers applied to finite towers of 2-class fields
Authors:
Daniel C. Mayer
Abstract:
The isomorphism type of the Galois group of the 2-class field tower of quadratic number fields having a 2-class group with abelian type invariants (4,4) is determined by means of information on the transfer of 2-classes to unramified abelian 2-extensions, collected in the Artin pattern. In recent investigations by Benjamin and Snyder, the length of the tower of such fields has turned out to be dep…
▽ More
The isomorphism type of the Galois group of the 2-class field tower of quadratic number fields having a 2-class group with abelian type invariants (4,4) is determined by means of information on the transfer of 2-classes to unramified abelian 2-extensions, collected in the Artin pattern. In recent investigations by Benjamin and Snyder, the length of the tower of such fields has turned out to be dependent on the rank of the 2-class group of the first Hilbert 2-class field. Significant progress is achieved by extending the pool of possible metabelian 2-groups of the second Hilbert 2-class field from the SmallGroups database, resp. Hall-Senior classification, with the aid of the p-group generation algorithm, and sifting the pool by means of pattern recognition.
△ Less
Submitted 20 June, 2019; v1 submitted 2 June, 2019;
originally announced June 2019.
-
Generalized Artin pattern of heterogeneous multiplets of dihedral fields and proof of Scholz's conjecture
Authors:
Daniel C. Mayer
Abstract:
The concept of Artin transfer pattern $((\ker(T_{K,N_i}))_i,(\mathrm{Cl}_p(N_i))_i)$ for homogeneous multiplets $(N_1,\ldots,N_m)$ of unramified cyclic prime degree p extensions $N_i/K$ of a base field K with p-class transfer homomorphisms$T_{K,N_i}:\,\mathrm{Cl}_p(K)\to\mathrm{Cl}_p(N_i)$ is generalized for heterogeneous multiplets of ramified extensions. By application to quadratic subfields K o…
▽ More
The concept of Artin transfer pattern $((\ker(T_{K,N_i}))_i,(\mathrm{Cl}_p(N_i))_i)$ for homogeneous multiplets $(N_1,\ldots,N_m)$ of unramified cyclic prime degree p extensions $N_i/K$ of a base field K with p-class transfer homomorphisms$T_{K,N_i}:\,\mathrm{Cl}_p(K)\to\mathrm{Cl}_p(N_i)$ is generalized for heterogeneous multiplets of ramified extensions. By application to quadratic subfields K of dihedral fields N of degree 2p with an odd prime p, a conjecture of Scholz concerning the index of subfield units, $(U_N:U_0)$, for ramified extensions N/K with conductor f>1 is verified computationally.
△ Less
Submitted 12 April, 2019;
originally announced April 2019.