title: Multiscale seamless-domain method for nonperiodic fields: linear heat conduction analysis

abstract: A multiscale numerical solver called the seamless-domain method (SDM) is used in linear heat conduction analysis of nonperiodic simulated fields. The practical feasibility of the SDM has been verified for use with periodic fields but has not previously been verified for use with nonperiodic fields. In this paper, we illustrate the mathematical framework of the SDM and the associated error factors in detail. We then analyze a homogeneous temperature field using the SDM, the standard finite difference method, and the conventional domain decomposition method (DDM) to compare the convergence properties of these methods. In addition, to compare their computational accuracies and time requirements, we also simulated a nonperiodic temperature field with a nonuniform thermal conductivity distribution using the three methods. The accuracy of the SDM is very high and is approximately equivalent to that of the DDM. The mean temperature error is less than 0.02% of the maximum temperature in the simulated field. The total central processing unit (CPU) times required for the analyses using the most efficient SDM model and the DDM model represent 13% and 17% of that of the finite difference model, respectively.


title: On certain self-orthogonal AG codes with applications to Quantum error-correcting codes

abstract: In this paper a construction of quantum codes from self-orthogonal algebraic geometry codes is provided. Our method is based on the CSS construction as well as on some peculiar properties of the underlying algebraic curves, named Swiss curves. Several classes of well-known algebraic curves with many rational points turn out to be Swiss curves. Examples are given by Castle curves, GK curves, generalized GK curves and the Abdon-Bezerra-Quoos maximal curves. Applications of our method to these curves are provided. Our construction extends a previous one due to Hernando, McGuire, Monserrat, and Moyano-Fernandez.


title: Numerical Studies of a Hemivariational Inequality for a Viscoelastic Contact Problem with Damage

abstract: This paper is devoted to the study of a hemivariational inequality modeling the quasistatic bilateral frictional contact between a viscoelastic body and a rigid foundation. The damage effect is built into the model through a parabolic differential inclusion for the damage function. A solution existence and uniqueness result is presented. A fully discrete scheme is introduced with the time derivative of the damage function approximated by the backward finite different and the spatial derivatives approximated by finite elements. An optimal order error estimate is derived for the fully discrete scheme when linear elements are used for the velocity and displacement variables, and piecewise constants are used for the damage function. Simulation results on numerical examples are reported illustrating the performance of the fully discrete scheme and the theoretically predicted convergence orders.


title: A multi-parameter Hardy type inequality

abstract: This note contains two simple observations. First, by the weak factorization of product $H^1$ (Ferguson--Lacey, Lacey--Terwilleger), we obtain a multi-parameter analogue of Hardy's inequality. Second, as a dual statement, the Fourier transform of an essentially bounded function belongs to a certain product $\mathrm{BMO}$-Sobolev space.


title: Robust Bang-Off-Bang Low-Thrust Guidance Using Model Predictive Static Programming

abstract: Model Predictive Static Programming (MPSP) was always used under the assumption of continuous control, which impedes it for applications with bang-off-bang control directly. In this paper, MPSP is employed for the first time as a guidance scheme for low-thrust transfers with bang-off-bang control where the fuel-optimal trajectory is used as the nominal solution. In our method, dynamical equations in Cartesian coordinates are augmented by the mass costate equation, while the unconstrained velocity costate vector is used as control variable, and is expressed as a combination of Fourier basis functions with corresponding weights. A two-loop MPSP algorithm is designed where the weights and the initial mass costate are updated in the inner loop and continuation is conducted on the outer loop in case of large perturbations. The sensitivity matrix (SM) is recursively calculated using analytical derivatives and SM at switching points is compensated based on calculus of variations. An sample interplanetary CubeSat mission to an asteroid is used as study case to illustrate the effectiveness of the method developed.


title: Antiferromagnetic CuMnAs: Ab initio description of finite temperature magnetism and resistivity

abstract: Noncollinear magnetic moments in antiferromagnets (AFM) lead to a complex behavior of electrical transport, even to a decreasing resistivity due to an increasing temperature. Proper treatment of such phenomena is required for understanding AFM systems at finite temperatures; however first-principles description of these effects is complicated. With ab initio techniques, we investigate three models of spin fluctuations (magnons) influencing the transport in AFM CuMnAs; the models are numerically feasible and easily implementable to other studies. We numerically justified a fully relativistic collinear disordered local moment approach and we present its uncompensated generalization. A saturation or a decrease of resistivity caused by magnons, phonons, and their combination (above approx. 400 K) was observed and explained by changes in electronic structure. Within the coherent potential approximation, our finite-temperature approaches may be applied also to systems with impurities, which are found to have a large impact not only on residual resistivity, but also on canting of magnetic moments from the AFM to the ferromagnetic (FM) state.


title: ORCA: a Benchmark for Data Web Crawlers

abstract: The number of RDF knowledge graphs available on the Web grows constantly. Gathering these graphs at large scale for downstream applications hence requires the use of crawlers. Although Data Web crawlers exist, and general Web crawlers could be adapted to focus on the Data Web, there is currently no benchmark to fairly evaluate their performance. Our work closes this gap by presenting the Orca benchmark. Orca generates a synthetic Data Web, which is decoupled from the original Web and enables a fair and repeatable comparison of Data Web crawlers. Our evaluations show that Orca can be used to reveal the different advantages and disadvantages of existing crawlers. The benchmark is open-source and available at https://github.com/dice-group/orca.


title: TDCOSMO. I. An exploration of systematic uncertainties in the inference of $H_0$ from time-delay cosmography

abstract: Time-delay cosmography of lensed quasars has achieved 2.4% precision on the measurement of the Hubble constant, $H_0$. As part of an ongoing effort to uncover and control systematic uncertainties, we investigate three potential sources: 1- stellar kinematics, 2- line-of-sight effects, and 3- the deflector mass model. To meet this goal in a quantitative way, we reproduced the H0LiCOW/SHARP/STRIDES (hereafter TDCOSMO) procedures on a set of real and simulated data, and we find the following. First, stellar kinematics cannot be a dominant source of error or bias since we find that a systematic change of 10% of measured velocity dispersion leads to only a 0.7% shift on $H_0$ from the seven lenses analyzed by TDCOSMO. Second, we find no bias to arise from incorrect estimation of the line-of-sight effects. Third, we show that elliptical composite (stars + dark matter halo), power-law, and cored power-law mass profiles have the flexibility to yield a broad range in $H_0$ values. However, the TDCOSMO procedures that model the data with both composite and power-law mass profiles are informative. If the models agree, as we observe in real systems owing to the "bulge-halo" conspiracy, $H_0$ is recovered precisely and accurately by both models. If the two models disagree, as in the case of some pathological models illustrated here, the TDCOSMO procedure either discriminates between them through the goodness of fit, or it accounts for the discrepancy in the final error bars provided by the analysis. This conclusion is consistent with a reanalysis of six of the TDCOSMO (real) lenses: the composite model yields $74.0^{+1.7}_{-1.8}$ $km.s^{-1}.Mpc^{-1}$, while the power-law model yields $H_0=74.2^{+1.6}_{-1.6}$ $km.s^{-1}.Mpc^{-1}$. In conclusion, we find no evidence of bias or errors larger than the current statistical uncertainties reported by TDCOSMO.


title: Long Cycles and Spanning Subgraphs of Locally Maximal 1-planar Graphs

abstract: A graph is $1$-planar if it has a drawing in the plane such that each edge is crossed at most once by another edge. Moreover, if this drawing has the additional property that for each crossing of two edges the end vertices of these edges induce a complete subgraph, then the graph is locally maximal $1$-planar. For a $3$-connected locally maximal $1$-planar graph $G$, we show the existence of a spanning $3$-connected planar subgraph and prove that $G$ is hamiltonian if $G$ has at most three $3$-vertex-cuts, and that $G$ is traceable if $G$ has at most four $3$-vertex-cuts. Moreover, infinitely many non-traceable $5$-connected $1$-planar graphs are presented.


title: Decoupled molecular and inorganic framework dynamics in CH$_3$NH$_3$PbCl$_3$

abstract: The organic-inorganic lead halide perovskites are composed of organic molecules imbedded in an inorganic framework. The compounds with general formula CH$_{3}$NH$_{3}$PbX$_{3}$ (MAPbX$_{2}$) display large photovoltaic efficiencies for halogens $X$=Cl, Br, and I in a wide variety of sample geometries and preparation methods. The organic cation and inorganic framework are bound by hydrogen bonds that tether the molecules to the halide anions, and this has been suggested to be important to the optoelectronic properties. We have studied the effects of this bonding using time-of-flight neutron spectroscopy to measure the molecular dynamics in CH$_3$NH$_3$PbCl$_3$ (MAPbCl$_3$). Low-energy/high-resolution neutron backscattering reveals thermally-activated molecular dynamics with a characteristic temperature of $\sim$ 95\,K. At this same temperature, higher-energy neutron spectroscopy indicates the presence of an anomalous broadening in energy (reduced lifetime) associated with the molecular vibrations. By contrast, neutron powder diffraction shows that a spatially long-range structural phase transitions occurs at 178\,K (cubic $\rightarrow$ tetragonal) and 173\,K (tetragonal $\rightarrow$ orthorhombic). The large difference between these two temperature scales suggests that the molecular and inorganic lattice dynamics in MAPbCl$_3$ are actually decoupled. With the assumption that underlying physical mechanisms do not change with differing halogens in the organic-inorganic perovskites, we speculate that the energy scale most relevant to the photovoltaic properties of the lead-halogen perovskites is set by the lead-halide bond, not by the hydrogen bond.


title: Conformal harmonic coordinates

abstract: We study conformal harmonic coordinates on Riemannian manifolds. These are coordinates constructed as quotients of solutions to the conformal Laplace equation. We show their existence under general conditions. We find that conformal harmonic coordinates are a close conformal analogue of harmonic coordinates. We prove up to boundary regularity results for conformal mappings. We show that Weyl, Cotton, Bach, and Fefferman-Graham obstruction tensors become elliptic operators in conformal harmonic coordinates if one normalizes the determinant of the metric. We give a corresponding elliptic regularity result, which includes an analytic case. We prove a unique continuation result for local conformal flatness for Bach and obstruction flat manifolds. We discuss and prove existence of conformal harmonic coordinates on Lorentzian manifolds. We prove unique continuation results for conformal mappings both on Riemannian and Lorentzian manifolds.


title: A UAV-Mounted Free Space Optical Communication: Trajectory Optimization for Flight Time

abstract: In this work, we address the trajectory optimization of a fixed-wing unmanned aerial vehicle (UAV) using free space optical communication (FSOC). Here, we focus on maximizing the flight time of the UAV by considering practical constraints for wireless UAV communication, including limited propulsion energy and required data rates. We find optimized trajectories in various atmospheric environments (e.g., moderate-fog and heavy-fog conditions), while also considering the channel characteristics of FSOC. In addition to maximizing the flight time, we consider the energy efficiency maximization and operation-time minimization problem to find the suboptimal solutions required to meet those constraints. Furthermore, we introduce a low-complexity approach to the proposed framework. In order to address the optimization problem, we conduct a bisection method and sequential programming and introduce a new feasibility check algorithm. Although our design considers suboptimal solutions owing to the nonconvexity of the problems, our simulations indicate that the proposed scheme exhibits a gain of approximately 44.12\% in terms of service time when compared to the conventional scheme.


title: Monotone 3-Sat-(2,2) is NP-complete

abstract: We show that Monotone 3-Sat remains NP-complete if (i) each clause contains exactly three distinct variables, (ii) each clause is unique, i.e., there are no duplicates of the same clause, and (iii), amongst the clauses, each variable appears unnegated exactly twice and negated exactly twice. Darmann and D\"ocker [6] recently showed that this variant of Monotone 3-Sat is either trivial or NP-complete. In the first part of the paper, we construct an unsatisfiable instance which answers one of their open questions (Challenge 1) and places the problem in the latter category. Then, we adapt gadgets used in the construction to (1) sketch two reductions that establish NP-completeness in a more direct way, and (2), to show that $\forall\exists$ 3-SAT remains $\Pi_2^P$-complete for quantified Boolean formulas with the following properties: (a) each clause is monotone (i.e., no clause contains an unnegated and a negated variable) and contains exactly three distinct variables, (b) each universal variable appears exactly once unnegated and exactly once negated, (c) each existential variable appears exactly twice unnegated and exactly twice negated, and (d) the number of universal and existential variables is equal. Furthermore, we show that the variant where (b) is replaced with (b') each universal variable appears exactly twice unnegated and exactly twice negated, and where (a), (c) and (d) are unchanged, is $\Pi_2^P$-complete as well. Thereby, we improve upon two recent results by D\"ocker et al. [8] that establish $\Pi_2^P$-completeness of these variants in the non-monotone setting. We also discuss a special case of Monotone 3-Sat-(2,2) that corresponds to a variant of Not-All-Equal Sat, and we show that all such instances are satisfiable.


title: Tame torsion, the tame inverse Galois problem, and endomorphisms

abstract: Fix a positive integer $g$ and rational prime $p$. We prove the existence of a genus $g$ curve $C/\mathbb{Q}$ such that the mod $p$ representation of its Jacobian is tame by imposing conditions on the endomorphism ring. As an application, we consider the tame inverse Galois problem and are able to realise general symplectic groups as Galois groups of tame extensions of $\mathbb{Q}$.


title: Hyperbolic wavelet analysis of classical isotropic and anisotropic Besov-Sobolev spaces

abstract: In this paper we introduce new function spaces which we call anisotropic hyperbolic Besov and Triebel-Lizorkin spaces. Their definition is based on a hyperbolic Littlewood-Paley analysis involving an anisotropy vector only occurring in the smoothness weights. Such spaces provide a general and natural setting in order to understand what kind of anisotropic smoothness can be described using hyperbolic wavelets (in the literature also sometimes called tensor-product wavelets), a wavelet class which hitherto has been mainly used to characterize spaces of dominating mixed smoothness. A centerpiece of our present work are characterizations of these new spaces based on the hyperbolic wavelet transform. Hereby we treat both, the standard approach using wavelet systems equipped with sufficient smoothness, decay, and vanishing moments, but also the very simple and basic hyperbolic Haar system. The second major question we pursue is the relationship between the novel hyperbolic spaces and the classical anisotropic Besov-Lizorkin-Triebel scales. As our results show, in general, both approaches to resolve an anisotropy do not coincide. However, in the Sobolev range this is the case, providing a link to apply the newly obtained hyperbolic wavelet characterizations to the classical setting. In particular, this allows for detecting classical anisotropies via the coefficients of a universal hyperbolic wavelet basis, without the need of adaption of the basis or a-priori knowledge on the anisotropy.


title: Towards Generalization Across Depth for Monocular 3D Object Detection

abstract: While expensive LiDAR and stereo camera rigs have enabled the development of successful 3D object detection methods, monocular RGB-only approaches lag much behind. This work advances the state of the art by introducing MoVi-3D, a novel, single-stage deep architecture for monocular 3D object detection. MoVi-3D builds upon a novel approach which leverages geometrical information to generate, both at training and test time, virtual views where the object appearance is normalized with respect to distance. These virtually generated views facilitate the detection task as they significantly reduce the visual appearance variability associated to objects placed at different distances from the camera. As a consequence, the deep model is relieved from learning depth-specific representations and its complexity can be significantly reduced. In particular, in this work we show that, thanks to our virtual views generation process, a lightweight, single-stage architecture suffices to set new state-of-the-art results on the popular KITTI3D benchmark.


title: Learning patient-specific parameters for a diffuse interface glioblastoma model from neuroimaging data

abstract: Parameters in mathematical models for glioblastoma multiforme (GBM) tumour growth are highly patient specific. Here we aim to estimate parameters in a Cahn-Hilliard type diffuse interface model in an optimised way using model order reduction (MOR) based on proper orthogonal decomposition (POD). Based on snapshots derived from finite element simulations for the full order model (FOM) we use POD for dimension reduction and solve the parameter estimation for the reduced order model (ROM). Neuroimaging data are used to define the highly inhomogeneous diffusion tensors as well as to define a target functional in a patient specific manner. The reduced order model heavily relies on the discrete empirical interpolation method (DEIM) which has to be appropriately adapted in order to deal with the highly nonlinear and degenerate parabolic PDEs. A feature of the approach is that we iterate between full order solves with new parameters to compute a POD basis function and sensitivity based parameter estimation for the ROM problems. The algorithm is applied using neuroimaging data for two clinical test cases and we can demonstrate that the reduced order approach drastically decreases the computational effort.


title: Austere and arid properties for PF submanifolds in Hilbert spaces

abstract: Austere submanifolds and arid submanifolds constitute respectively two different classes of minimal submanifolds in finite dimensional Riemannian manifolds. In this paper we introduce these two notions into a class of proper Fredholm (PF) submanifolds in Hilbert spaces, discuss their relation and show examples of infinite dimensional austere PF submanifolds and arid PF submanifolds in Hilbert spaces. We also mention a classification problem of minimal orbits in hyperpolar PF actions on Hilbert spaces.


title: Convex Optimization of Linear Impulsive Rendezvous

abstract: This note aims at providing a concise and self-contained document that describes a clear and easy-to-understand method, that could be useful for a reader that is approaching the linear-impulsive rendezvous topic for the first time, but that is also flexible enough to accommodate problem variations, such as additional constraints like bounded-magnitude DV, or direction constraints with minor modifications.


title: Radiative Correction of the Casimir Energy for the Scalar Field with the Mixed Boundary Condition in 3 + 1 Dimensions

abstract: In the present study, the zeroth- and first-order radiative correction of the Casimir energy for massive and massless scalar fields, confined with mixed boundary conditions (Dirichlet- Neumann) between two parallel plates in $\phi^4$ theory, were computed. Two issues in performing calculations in this work are essential: first, to renormalize the bare parameters of the problem, a systematic method was used, which allows all influences from the boundary conditions to be imported in all elements of the renormalization program. This idea yields our counterterms appearing in the renormalization program to be position-dependent. Using the box subtraction scheme as a regularization technique is the other noteworthy point in the calculation. In this scheme, by subtracting the vacuum energies of two similar configurations from each other, regularizing divergent expressions and their removal process were significantly facilitated. All the obtained answers for the Casimir energy with the mixed boundary condition were consistent with well-known physical grounds. We also compared the Casimir energy for the massive scalar field confined with four types of boundary conditions (Dirichlet, Neumann, a mix of them and Periodic) in 3+1 dimensions with each other, and the sign and magnitude of their values were discussed.


title: New metrics of a spherically symmetric gravitational field passing classical tests of General Relativity

abstract: A general form of a metric preserving all symmetries of a spherically symmetric gravitational field and angular momentum in spherical coordinates is obtained. Such metric may have $g_{01}(r)\neq 0$. The Newtonian limit uniquely defines $g_{00}(r)$. Geodesic motion under such metric exactly reproduces the precession of a planetary orbit, periastron advance of a binary, deflection of light and {Shapiro time delay} if the determinant of the time-radial parts of the metric is $-1$. In this model, the total time for a radial round trip of light is as in the Schwarzschild model, but it allows for light rays to have different speeds propagating toward or from the massive object. The value of $g_{01}(r) $ could be obtained by measuring these speeds. All of these metrics do satisfy Einstein's field equations


title: The accuracy vs. coverage trade-off in patient-facing diagnosis models

abstract: A third of adults in America use the Internet to diagnose medical concerns, and online symptom checkers are increasingly part of this process. These tools are powered by diagnosis models similar to clinical decision support systems, with the primary difference being the coverage of symptoms and diagnoses. To be useful to patients and physicians, these models must have high accuracy while covering a meaningful space of symptoms and diagnoses. To the best of our knowledge, this paper is the first in studying the trade-off between the coverage of the model and its performance for diagnosis. To this end, we learn diagnosis models with different coverage from EHR data. We find a 1\% drop in top-3 accuracy for every 10 diseases added to the coverage. We also observe that complexity for these models does not affect performance, with linear models performing as well as neural networks.


title: Critical comments on quantization of the angular momentum: I. Analysis based on the physical requirement on eigenfunctions and on the commutation relations

abstract: Eigenfunctions and eigenvalues of the operator of the square of the angular momentum are studied. It is shown that neither from the requirement for the eigenfunctions be normalizable nor from the commutation relations it is possible to prove that the eigenvalues spectrum is a set of only integer numbers (in units $\hbar=1$). We present regular, normalizable eigenfunctions with the non-integer eigenvalues thus demonstrating that a non-integer angular momentum is admissible from the theoretical viewpoint.


title: Tame torsion and the tame inverse Galois problem

abstract: Fix a positive integer $g$ and a squarefree integer $m$. We prove the existence of a genus $g$ curve $C/\mathbb{Q}$ such that the mod $m$ representation of its Jacobian is tame. The method is to analyse the period matrices of hyperelliptic Mumford curves, which could be of independent interest. As an application, we study the tame version of the inverse Galois problem for symplectic matrix groups over finite fields.


title: Panorama behaviors of Holographic Dark Energy models in f(R,T) gravity

abstract: Classes of solutions of field equations in gravity for a Bianchi sort I (Kasner form) space-time with matter and Holographic Dark Energy (HDE) is mentioned. Precise solutions of field equations are obtained with volumetrical power and exponential expansion laws .The physical and geometrical parameters of the models are mentioned well. The statefinder diagnostic pair and jerk parameter are analyzed to characterize utterly totally different phases of the universe.


title: On the I/O complexity of hybrid algorithms for Integer Multiplication

abstract: Almost asymptotically tight lower bounds are derived for the Input/Output (I/O) complexity $IO_\mathcal{A}\left(n,M\right)$ of a general class of hybrid algorithms computing the product of two integers, each represented with $n$ digits in a given base $s$, in a two-level storage hierarchy with $M$ words of fast memory, with different digits stored in different memory words. The considered hybrid algorithms combine the Toom-Cook-$k$ (or Toom-$k$) fast integer multiplication approach with computational complexity $\Theta\left(c_kn^{\log_k \left(2k-1\right)}\right)$, and "standard" integer multiplication algorithms which compute $\Omega\left(n^2\right)$ digit multiplications. We present an $\Omega\left(\left(n/\max\{M,n_0\}\right)^{\log_k \left(2k-1\right)}\left(\max\{1,n_0/M\}\right)^2M\right)$ lower bound for the I/O complexity of a class of "uniform, non-stationary" hybrid algorithms, where $n_0$ denotes the threshold size of sub-problems which are computed using standard algorithms with algebraic complexity $\Omega\left(n^2\right)$. As a special case, our result yields an asymptotically tight $\Theta\left(n^2/M\right)$ lower bound for the I/O complexity of any standard integer multiplication algorithm. As some sequential hybrid algorithms from this class exhibit I/O cost within a $\mathcal{O}\left(k^2\right)$ multiplicative term of the corresponding lower bounds, the proposed lower bounds are almost asymptotically tight and indeed tight for constant values of $k$. By extending these results to a distributed memory model with $n_0$ processors, we obtain both memory-dependent and memory-independent I/O lower bounds for parallel versions of hybrid integer multiplication algorithms. All the lower bounds are derived for the more general class of "non-uniform, non-stationary" hybrid algorithms that allow recursive calls to have a different structure.


title: Quaternionic approach on the Dirac-Maxwell, Bernoulli and Navier-Stokes equations for dyonic fluid plasma

abstract: Applying the Hamilton's quaternion algebra, we propose the generalized electromagnetic-fluid dynamics of dyons governed by the combination of the Dirac-Maxwell, Bernoulli and Navier-Stokes equations. The generalized quaternionic hydro-electromagnetic field of dyonic cold plasma consist the electrons and the magnetic monopoles in which there exist dual-mass and dual-charge species in presence of dyons. We construct the conservation of energy and conservation of momentum equations by equating the quaternionic scalar and vector parts for generalized hydro-electromagnetic field of dyonic cold plasma. We propose the quaternionic form of conservation of energy is related to the Bernoulli's like equation while the conservation of momentum is related to Navier-Stokes like equation for dynamics of dyonic plasma fluid. Further, the continuity equation i.e. the conservation of electric and magnetic charges with the dynamics of hydro-electric and hydro-magnetic flow of conducting cold plasma fluid is also analyzed. The quaternionic formalism for dyonic plasma wave emphasizes that there are two types of waves propagation namely the Langmuir like wave propagation due to electrons, and the t-Hooft-Polyakov like wave propagation due to magnetic monopoles.


title: The Benefits of Affine Quantization

abstract: Canonical quantization has served wonderfully for the quantization of a vast number of classical systems. That includes single classical variables, such as $p$ and $q$, and numerous classical Hamiltonians $H(p,q)$, as well as field theories, such as $\pi(x)$ and $ \phi(x)$, and many classical Hamiltonians $H(\pi,\phi)$. However, in all such systems there are situations for which canonical quantization fails. This includes certain particle and field theory problems. Affine quantization involves a simple recombination of classical variables that lead to a new chapter in the process of quantization, and which is able to solve a vast variety of normally insoluble systems, such as quartic interactions in scalar field theory in spacetime dimensions 4 and higher, as well as the quantization of Einstein's gravity in 4 spacetime dimensions.


title: Correct Definition of The QCD Potential From The Wilson Loop

abstract: The static Coulomb potential energy between the electron and positron at rest separated by a large distance $R$ obtained from the Wilson loop in QED is same as the Coulomb potential energy obtained in the classical Maxwell theory. Since the Yang-Mills theory was discovered by making analogy with the Maxwell theory by extending U(1) group to the SU(3) group one finds by making analogy with the QED that the QCD potential energy between the quark and antiquark at rest separated by a large distance $R$ obtained from the Wilson loop in QCD is the same potential energy obtained in the classical Yang-Mills theory. This implies that the static QCD potential energy $V(R)$ obtained at the large separation distance $R$ in the literature is not consistent with the classical Yang-Mills theory because the potential energy $V(T,R)$ in the classical Yang-Mills theory is time $T$ dependent even if the quark and antiquark are at rest. In this paper we find the correct definition of the QCD potential energy $V(T,R)$ from the Wilson loop in QCD which, at the large separation distance $R$, is consistent with the classical Yang-Mills theory.


title: Can close-in giant exoplanets preserve detectable moons?

abstract: Exoplanet discoveries have motivated numerous efforts to find unseen populations of exomoons, yet they have been unsuccessful. A plausible explanation is that most discovered planets are located on close-in orbits, which would make their moons prone to tidal evolution and orbital detachment. In recent models of tidally-driven migration of exomoons, evolving planets might prevent what was considered their most plausible fate (i.e. colliding against their host planet), favouring scenarios where moons are pushed away and reach what we define as the "satellite tidal orbital parking" distance ($a_\mathrm{stop}$), which is often within the critical limit for unstable orbits and depends mainly on the system's initial conditions: mass-ratio, semi-major axes, and rotational rates. By using semi-analytical calculations and numerical simulations, we calculate $a_\mathrm{stop}$ for different initial system parameters and constrain the transit detectability of exomoons around close-in planets. We found that systems with $M_\mathrm{m}/M_\mathrm{p} \geq 10^{-4}$, which are less likely to form, are also stable and detectable with present facilities (e.g. Kepler and TESS) through their direct and secondary effects in planet+moon transit, as they are massive, oversized, and migrate slowly. In contrast, systems with lower moon-to-planet mass ratios are "ephemeral" and hardly detectable. Moreover, any detection, confirmation, and full characterisation would require both the short cadence capabilities of TESS and high photometric sensitivity of ground-based observatories. Finally, despite the shortage of discovered long-period planets in currently available databases, the tidal migration model adopted in this work supports the idea that they are more likely to host the first detectable exomoon.


title: Nonparametric Bayesian Two-Level Clustering for Subject-Level Single-Cell Expression Data

abstract: The advent of single-cell sequencing opens new avenues for personalized treatment. In this paper, we address a two-level clustering problem of simultaneous subject subgroup discovery (subject level) and cell type detection (cell level) for single-cell expression data from multiple subjects. However, current statistical approaches either cluster cells without considering the subject heterogeneity or group subjects without using the single-cell information. To bridge the gap between cell clustering and subject grouping, we develop a nonparametric Bayesian model, Subject and Cell clustering for Single-Cell expression data (SCSC) model, to achieve subject and cell grouping simultaneously. SCSC does not need to prespecify the subject subgroup number or the cell type number. It automatically induces subject subgroup structures and matches cell types across subjects. Moreover, it directly models the single-cell raw count data by deliberately considering the data's dropouts, library sizes, and over-dispersion. A blocked Gibbs sampler is proposed for the posterior inference. Simulation studies and the application to a multi-subject iPSC scRNA-seq dataset validate the ability of SCSC to simultaneously cluster subjects and cells.


title: BiEntropy, TriEntropy and Primality

abstract: The order and disorder of binary representations of the natural numbers < 2^8 is measured using the BiEntropy function. Significant differences are detected between the primes and the non primes. The BiEntropic prime density is shown to be quadratic with a very small Gaussian distributed error. The work is repeated in binary using a monte carlo simulation for a sample of the natural numbers < 2^32 and in trinary for all natural numbers < 3^9 with similar but cubic results. We find a significant relationship between BiEntropy and TriEntropy such that we can discriminate between the primes and numbers divisible by six. We discuss the theoretical underpinnings of these results and show how they generalise to give a tight bound on the variance of Pi(x) - Li(x) for all x. This bound is much tighter than the bound given by Von Koch in 1901 as an equivalence for proof of the Riemann Hypothesis. Since the primes are Gaussian due to a simple induction on the binary derivative, this implies that the twin primes conjecture is true. We also provide absolutely convergent asymptotes for the numbers of Fermat and Mersenne primes in the appendices.


title: On the existence of the global conformal gauge in string theory

abstract: The global conformal gauge is playing the crucial role in string theory providing the basis for quantization. Its existence for two-dimensional Lorentzian metric is known locally for a long time. We prove that if a Lorentzian metric is given on a plain then the conformal gauge exists globally on the whole ${\mathbb R}^2$. Moreover, we prove the existence of the conformal gauge globally on the whole worldsheets represented by infinite strips with straight boundaries for open and closed bosonic strings. The global existence of the conformal gauge on the whole plane is also proved for the positive definite Riemannian metric.


title: On the Jacobi metric for a general Lagrangian system

abstract: An explicit expression for the Jacobi metric for a general Lagrangian system is obtained as a series expansion in the square root of the kinetic energy of the system and the corresponding geodesics are described in terms of an appropriate non-linear connection and the associated curvature. In the limit of low kinetic energies the trajectories of motion of any Lagrangian system are very well approximated by the geodesics of an energy dependent Randers metric or, equivalently, by the paths in configuration space of a representative point subject to electromagnetic- and gravitational-like force fields. For higher kinetic energy values the trajectories of motion are instead the geodesics of a general energy dependent Finsler metric, corresponding also to the paths in configuration space of a representative point subject to a hierarchy of a potentially infinite number of covariant force fields that generalise the electromagnetic and gravitational ones. Some general implications of these findings are discussed.


title: Partition functions of two-dimensional Ising models -- A perspective from Gauss hypergeometric functions

abstract: Employing heuristic susceptibility equations in conjunction with the well-known critical exponents, the magnetization and partition function for two-dimensional nearest neighbour Ising models are formulated in terms of the Gauss hypergeometric functions. The isomorphism existing between the Bragg-Williams approximation and the exact solution of Onsager is pointed out. The precise manner in which the critical exponents influence the partition functions is pointed out.


title: Fair Contextual Multi-Armed Bandits: Theory and Experiments

abstract: When an AI system interacts with multiple users, it frequently needs to make allocation decisions. For instance, a virtual agent decides whom to pay attention to in a group setting, or a factory robot selects a worker to deliver a part. Demonstrating fairness in decision making is essential for such systems to be broadly accepted. We introduce a Multi-Armed Bandit algorithm with fairness constraints, where fairness is defined as a minimum rate that a task or a resource is assigned to a user. The proposed algorithm uses contextual information about the users and the task and makes no assumptions on how the losses capturing the performance of different users are generated. We provide theoretical guarantees of performance and empirical results from simulation and an online user study. The results highlight the benefit of accounting for contexts in fair decision making, especially when users perform better at some contexts and worse at others.


title: Unstable algebras over an operad

abstract: The aim of this article is to define and study a notion of unstable algebra over an operad that generalises the classical notion of unstable algebra over the Steenrod algebra. For this study we focus on the case of characteristic 2. We define $\star$-unstable $\mathcal P$-algebras, where $\mathcal P$ is an operad and $\star$ is a commutative binary operation in $\mathcal P$. We then build a functor that takes an unstable module $M$ to the free $\star$-unstable $\mathcal P$-algebra generated by $M$. Under some hypotheses on $\star$ and on $M$, we identify this unstable algebra as a free $\mathcal P$-algebra. Finally, we give some examples of this result, and we show how to use our main theorem to obtain a new construction of the unstable modules studied by Carlsson, Brown-Gitler, and Campbell-Selick, that takes into account their internal product.


title: A Novel Self-Organizing PID Approach for Controlling Mobile Robot Locomotion

abstract: A novel self-organizing fuzzy proportional-integral-derivative (SOF-PID) control system is proposed in this paper. The proposed system consists of a pair of control and reference models, both of which are implemented by a first-order autonomous learning multiple model (ALMMo) neuro-fuzzy system. The SOF-PID controller self-organizes and self-updates the structures and meta-parameters of both the control and reference models during the control process "on the fly". This gives the SOF-PID control system the capability of quickly adapting to entirely new operating environments without a full re-training. Moreover, the SOF-PID control system is free from user- and problem-specific parameters, and the uniform stability of the SOF-PID control system is theoretically guaranteed. Simulations and real-world experiments with mobile robots demonstrate the effectiveness and validity of the proposed SOF-PID control system.


title: Global cosmic string networks as a function of tension

abstract: We investigate the properties of global cosmic string networks as a function of the ratio of string tension to Goldstone-field coupling, and as a function of the Hubble damping strength. Our results show unambiguously that the string density is sensitive to this ratio. We also find that existing semi-analytical (one-scale) models must be missing some important aspect of the network dynamics. Our results point the way towards improving such models.


title: Feature Fusion Use Unsupervised Prior Knowledge to Let Small Object Represent

abstract: Fusing low level and high level features is a widely used strategy to provide details that might be missing during convolution and pooling. Different from previous works, we propose a new fusion mechanism called FillIn which takes advantage of prior knowledge described with superpixel segmentation. According to the prior knowledge, the FillIn chooses small region on low level feature map to fill into high level feature map. By using the proposed fusion mechanism, the low level features have equal channels for some tiny region as high level features, which makes the low level features have relatively independent power to decide final semantic label. We demonstrate the effectiveness of our model on PASCAL VOC 2012, it achieves competitive test result based on DeepLabv3+ backbone and visualizations of predictions prove our fusion can let small objects represent and low level features have potential for segmenting small objects.


title: The dimension of projections induced by a curve

abstract: The behavior of the Hausdorff dimension of a set when projected onto a subspace is a fundamental question in fractal geometry. In this paper, we settle a question of Fassler and Orponen concerning the dimension of a set when projected onto a family of lines induced by a curve.


title: Normalization of breast MRIs using Cycle-Consistent Generative Adversarial Networks

abstract: Dynamic Contrast Enhanced-Magnetic Resonance Imaging (DCE-MRI) is widely used to complement ultrasound examinations and x-ray mammography during the early detection and diagnosis of breast cancer. However, images generated by various MRI scanners (e.g. GE Healthcare vs Siemens) differ both in intensity and noise distribution, preventing algorithms trained on MRIs from one scanner to generalize to data from other scanners successfully. We propose a method for image normalization to solve this problem. MRI normalization is challenging because it requires both normalizing intensity values and mapping between the noise distributions of different scanners. We utilize a cycle-consistent generative adversarial network to learn a bidirectional mapping between MRIs produced by GE Healthcare and Siemens scanners. This allows us learning the mapping between two different scanner types without matched data, which is not commonly available. To ensure the preservation of breast shape and structures within the breast, we propose two technical innovations. First, we incorporate a mutual information loss with the CycleGAN architecture to ensure that the structure of the breast is maintained. Second, we propose a modified discriminator architecture which utilizes a smaller field-of-view to ensure the preservation of finer details in the breast tissue. Quantitative and qualitative evaluations show that the second proposed method was able to consistently preserve a high level of detail in the breast structure while also performing the proper intensity normalization and noise mapping. Our results demonstrate that the proposed model can successfully learn a bidirectional mapping between MRIs produced by different vendors, potentially enabling improved accuracy of downstream computational algorithms for diagnosis and detection of breast cancer. All the data used in this study are publicly available.


title: Gravitational-wave versus X-ray tests of strong-field gravity

abstract: Electromagnetic observations of the radiation emitted by an accretion disk around a black hole, as well as gravitational wave observations of coalescing binaries, can be used to probe strong-field gravity. We here compare the constraints that these two types of observations can impose on theory-agnostic, parametric deviations from the Schwarzschild metric. On the gravitational wave side, we begin by computing the leading-order deviation to the Hamiltonian of a binary system in a quasi-circular orbit within the post-Newtonian approximation, given a parametric deformation of the Schwarzschild metrics of each binary component. We then compute the leading-order deviation to the gravitational waves emitted by such a binary in the frequency domain, assuming purely Einsteinian radiation-reaction. We compare this model to the LIGO-Virgo collaboration gravitational wave detections and place constraints on the metric deformation parameters, concluding with an estimate of the constraining power of aLIGO at design sensitivity. On the electromagnetic side, we first simulate observations with current and future X-ray instruments of an X-ray binary with a parametrically-deformed Schwarzschild black hole, and we then estimate constraints on the deformation parameters using these observations.We find that current gravitational wave observations have already placed constraints on the metric deformation parameters than are slightly more stringent than what can be achieved with current X-ray instruments. Moreover, future gravitational wave observations with aLIGO at design sensitivity by 2026 will be even more stringent, becoming stronger than constraints achievable with future ATHENA X-ray observations before it flies in 2034.


title: High-resolution imaging on TPUs

abstract: The rapid evolution of artificial intelligence (AI) is leading to a new generation of hardware accelerators optimized for deep learning. Some of the designs of these accelerators are general enough to allow their use for other computationally intensive tasks beyond AI. Cloud tensor processing units (TPUs) are one such example. Here, we demonstrate a novel approach using TensorFlow on Cloud TPUs to implement a high-resolution imaging technique called full-waveform inversion. Higher-order numerical stencils leverage the efficient matrix multiplication offered by the Cloud TPU, and the halo exchange benefits from the dedicated high-speed interchip connection. The performance is competitive when compared with Tesla V100 graphics processing units and shows promise for future computation- and memory-intensive imaging applications.

categories: cs.CE cs.DC physics.comp-ph physics.geo-ph


title: A family of first-order accurate gradient schemes for finite volume methods

abstract: A new discretisation scheme for the gradient operator, suitable for use in second-order accurate Finite Volume Methods (FVMs), is proposed. The derivation of this scheme, which we call the Taylor-Gauss (TG) gradient, is similar to that of the least-squares (LS) gradients, whereby the values of the differentiated variable at neighbouring cell centres are expanded in truncated Taylor series about the centre of the current cell, and the resulting equations are summed after being weighted by chosen vectors. Unlike in the LS gradients, the TG gradients use vectors aligned with the face normals, resembling the Green-Gauss (GG) gradients in this respect. Thus, the TG and LS gradients belong in a general unified framework, within which other gradients can also be derived. The similarity with the LS gradients allows us to try different weighting schemes (magnitudes of the weighting vectors) such as weighting by inverse distance or face area. The TG gradients are tested on a variety of grids such as structured, locally refined, randomly perturbed, and with high aspect ratio. They are shown to be at least first-order accurate in all cases, and are thus suitable for use in second-order accurate FVMs. In many cases they compare favourably over existing schemes.


title: Absolute frequency measurements of the ${}^1{\rm S}_0 \rightarrow {}^1{\rm P}_1$ transition in ytterbium

abstract: The ytterbium atom is widely used in the fields of atomic physics, cavity quantum electrodynamics, quantum information processing and optical frequency standards. There is however a strong dispersion among the reported values of the ${}^1{\rm S}_0 \rightarrow {}^1{\rm P}_1$ transition frequency. In this article, we present two independent measurements of the absolute frequency of this transition performed with two different wavemeters using atomic fluorescence spectroscopy. The cancellation of Doppler shifts is obtained by fine tuning the angle between the probe laser and the atomic beam. The resulting $^{174}\mathrm{Yb}$ isotope transition frequency is estimated to be $\,751\,526\,537\pm27$ MHz.


title: Putting Ridesharing to the Test: Efficient and Scalable Solutions and the Power of Dynamic Vehicle Relocation

abstract: We study the optimization of large-scale, real-time ridesharing systems and propose a modular design methodology, Component Algorithms for Ridesharing (CAR). We evaluate a diverse set of CARs (14 in total), focusing on the key algorithmic components of ridesharing. We take a multi-objective approach, evaluating 12 metrics related to global efficiency, complexity, passenger, driver, and platform incentives, in settings designed to closely resemble reality in every aspect, focusing on vehicles of capacity two. To the best of our knowledge, this is the largest and most comprehensive evaluation to date. We (i) identify CARs that perform well on global, passenger, driver or platform metrics, (ii) demonstrate that lightweight relocation schemes can significantly improve the Quality of Service by up to $50\%$, and (iii) highlight a practical, scalable, on-device CAR that works well across all metrics.


title: Scintillation balloon for liquid scintillator base Neutrinoless double beta decay search experiments

abstract: A liquid scintillator base experiment KamLAND-Zen has set a lower limit on neutrinoless double beta decay half-life, and upgrade project KamLAND-Zen 800 has started in 2019. Unfortunately, this project expects some backgrounds, and one of the main backgrounds is beta/gamma-ray from 214Bi in container of xenon loaded liquid scintillator (mini-balloon). In order to reject the background, we suggest using scintillation film for the future mini-balloon. If we can tag alpha-ray from 214Po by scintillation detection, we can eliminate 214Bi events by delayed coincidence analysis. Recently, it was reported that polyethylene naphthalate (PEN) can be used as a scintillator with blue photon emission. PEN has chemical compatibility for strong solvent, thus it has a possibility to use in liquid scintillator. In this presentation, we will mention the results for feasibility studies about transparency and emission spectra, light yield, radioactivity, strength of film etc.. We also show the test-sized scintillation balloon with an 800-mm diameter and discussions about how to use the scintillation balloon in KamLAND.


title: Twisted doubling integrals for Brylinski-Deligne extensions of classical groups

abstract: We explain how to develop the twisted doubling integrals for Brylinski-Deligne extensions of connected classical groups. This gives a family of global integrals which represent Euler products for this class of non-linear extensions.


title: Preliminary analysis of periodogram shapes and their classification

abstract: A periodogram analysis of 47 stars noted in GCVS as RV-type stars was carried out. The research methods applied here to RV-type stars have previously been applied to long-period variables Mira-type stars and semi-variables. Periodograms are previously classified by their shape, or rather the presence or absence of certain structures: two peaks in a 2:1 ratio, the presence of satellites at these peaks indicating the result of beats. Table 1 shows the classification groups. Examples of periodograms of stars of all three groups are shown. The study identified stars that most likely do not belong to the RV Taurus type. The star SU Gem has been studied in detail, which shows rather the variability characteristic of the Mira-type or semi-regular. A summary of the results is given in table 2. The elements was calculated on databases AAVSO, AFOEV and ASAS. The period of 50 days specified in GCVS was not revealed according to our researches. According to the observations of different databases, the period of 684 days is specified in the range from 682 to 715 days.


title: Proof of a supercongruence conjectured by Sun through a $q$-microscope

abstract: Recently, Z.-W. Sun made the following conjecture: for any odd prime $p$ and odd integer $m$, $$ \frac{1}{m^2{m-1\choose (m-1)/2}}\Bigg(\sum_{k=0}^{(pm-1)/2}\frac{{2k\choose k}}{8^k} -\left(\frac{2}{p}\right)\sum_{k=0}^{(m-1)/2}\frac{{2k\choose k}}{8^k}\Bigg) \equiv 0\pmod{p^2}. $$ In this note, applying the "creative microscoping" method, introduced by the author and Zudilin, we confirm the above conjecture of Sun.


title: Optimizing Brownian escape rates by potential shaping

abstract: Brownian escape is key to a wealth of physico-chemical processes, including polymer folding, and information storage. The frequency of thermally activated energy barrier crossings is assumed to generally decrease exponentially with increasing barrier height. Here, we show experimentally that higher, fine-tuned barrier profiles result in significantly enhanced escape rates in breach of the intuition relying on the above scaling law, and address in theory the corresponding conditions for maximum speed-up. Importantly, our barriers end on the same energy on which they start. For overdamped dynamics, the achievable boost of escape rates is, in principle, unbounded so that the barrier optimization has to be regularized. We derive optimal profiles under two different regularizations, and uncover the efficiency of N-shaped barriers. We then demonstrate the viability of such a potential in automated microfluidic Brownian dynamics experiments using holographic optical tweezers and achieve a doubling of escape rates compared to unhindered Brownian motion. Finally, we show that this escape rate boost extends into the low-friction inertial regime.


title: Hodge ideals and minimal exponents of ideals

abstract: We define and study Hodge ideals associated to a coherent ideal sheaf J on a smooth complex variety, via algebraic constructions based on the already existing concept of Hodge ideals associated to Q-divisors. We also define the generic minimal exponent of J, extending the standard invariant for hypersurfaces. We relate it to Hodge ideals, and show that it is a root of the Bernstein-Sato polynomial of J.


title: Optimizing neutron moderators for a spallation-driven ultracold-neutron source at TRIUMF

abstract: We report on our efforts to optimize the geometry of neutron moderators and converters for the TRIUMF UltraCold Advanced Neutron (TUCAN) source using MCNP simulations. It will use an existing spallation neutron source driven by a 19.3 kW proton beam delivered by TRIUMF's 520 MeV cyclotron. Spallation neutrons will be moderated in heavy water at room temperature and in liquid deuterium at 20 K, and then superthermally converted to ultracold neutrons in superfluid, isotopically purified $^4$He. The helium will be cooled by a $^3$He fridge through a $^3$He-$^4$He heat exchanger. The optimization took into account a range of engineering and safety requirements and guided the detailed design of the source. The predicted ultracold-neutron density delivered to a typical experiment is maximized for a production volume of 27 L, achieving a production rate of $1.4 \cdot 10^7$ s$^{-1}$ to $1.6 \cdot 10^7$ s$^{-1}$ with a heat load of 8.1 W. At that heat load, the fridge can cool the superfluid helium to 1.1 K, resulting in a storage lifetime for ultracold neutrons in the source of about 30 s. The most critical performance parameters are the choice of cold moderator and the volume, thickness, and material of the vessel containing the superfluid helium. The source is scheduled to be installed in 2021 and will enable the TUCAN collaboration to measure the electric dipole moment of the neutron with a sensitivity of $10^{-27}$ e cm.


title: Strong polygamy and monogamy relations for multipartite quantum systems

abstract: Monogamy and polygamy are the most striking features of the quantum world. We investigate the monogamy and polygamy relations satisfied by all quantum correlation measures for arbitrary multipartite quantum states. By introducing residual quantum correlations, analytical polygamy inequalities are presented, which are shown to be tighter than the existing ones. Then, similar to polygamy relations, we obtain strong monogamy relations that are better than all the existing ones. Typical examples are presented for illustration.


title: The Compression method and applications

abstract: In this paper we introduce and develop the method of compression of points in space. We introduce the notion of the mass, the rank, the entropy, the cover and the energy of compression. We leverage this method to prove some class of inequalities related to Diophantine equations. In particular, we show that for each $L<n-1$ and for each $K>n-1$, there exist some $(x_1,x_2,\ldots,x_n)\in \mathbb{N}^n$ with $x_i\neq x_j$ for all $1\leq i<j\leq n$ such that \begin{align}\frac{1}{K^{n}}\ll \prod \limits_{j=1}^{n}\frac{1}{x_j}\ll \frac{\log (\frac{n}{L})}{nL^{n-1}}\nonumber \end{align}and that for each $L>n-1$ there exist some $(x_1,x_2,\ldots,x_n)$ with $x_i\neq x_j$ for all $1\leq i<j\leq n$ and some $s\geq 2$ such that \begin{align}\sum \limits_{j=1}^{n}\frac{1}{x_j^s}\gg s\frac{n}{L^{s-1}}.\nonumber \end{align}


title: Extension with log-canonical measures and an improvement to the plt extension of Demailly--Hacon--Paun

abstract: With a view to proving the conjecture of "dlt extension" related to the abundance conjecture, a sequence of potential candidates for replacing the Ohsawa measure in the Ohsawa-Takegoshi $L^2$ extension theorem, called the "lc-measures", which hopefully could provide the $L^2$ estimate of a holomorphic extension of any suitable holomorphic section on a subvariety with singular locus, are introduced in the first half of the paper. Based on the version of $L^2$ extension theorem proved by Demailly, a proof is provided to show that the lc-measure can replace the Ohsawa measure in the case where the classical Ohsawa-Takegoshi $L^2$ extension works, with some improvements on the assumptions on the metrics involved. The second half of the paper provides a simplified proof of the result of Demailly-Hacon-Paun on the "plt extension" with the superfluous assumption "$\operatorname{supp} D \subset \operatorname{supp}(S+B)$" in their result removed. Most arguments in the proof are readily adopted to the "dlt extension" once the $L^2$ estimates with respect to the lc-measures of holomorphic extensions of sections on subvarieties with singular locus are ready.


title: Multi-task Deep Learning for Real-Time 3D Human Pose Estimation and Action Recognition

abstract: Human pose estimation and action recognition are related tasks since both problems are strongly dependent on the human body representation and analysis. Nonetheless, most recent methods in the literature handle the two problems separately. In this work, we propose a multi-task framework for jointly estimating 2D or 3D human poses from monocular color images and classifying human actions from video sequences. We show that a single architecture can be used to solve both problems in an efficient way and still achieves state-of-the-art or comparable results at each task while running at more than 100 frames per second. The proposed method benefits from high parameters sharing between the two tasks by unifying still images and video clips processing in a single pipeline, allowing the model to be trained with data from different categories simultaneously and in a seamlessly way. Additionally, we provide important insights for end-to-end training the proposed multi-task model by decoupling key prediction parts, which consistently leads to better accuracy on both tasks. The reported results on four datasets (MPII, Human3.6M, Penn Action and NTU RGB+D) demonstrate the effectiveness of our method on the targeted tasks. Our source code and trained weights are publicly available at https://github.com/dluvizon/deephar.


title: Frequency tunable topological edge states of two-dimensional honeycomb lattice photonic crystals

abstract: In this paper, the photonic quantum spin Hall effect (PQSHE) is realized in dielectric two-dimensional (2D) honeycomb lattice photonic crystal (PC) by stretching and shrinking the honeycomb unit cell. Combining two honeycomb lattice PCs with a common photonic band gap (PBG) but different band topologies can generate a topologically protected edge state at the combined junction. The topological edge states and their unidirectional transmission as the scatterers with triangular, pentagonal, and heptagonal shapes are researched. Meanwhile, the unidirectional transmission in an inverted {\Omega}-shaped waveguide with large bending angle is realized, and verifies the characteristics of the topological protection by adding different kind of defects. Moreover, the frequency varies significantly when changing the scatterers shape, which shows that the PC with various scatterers shape can tune the frequency range of the topological edge state significantly. In other words, it can adjust the frequency of unidirectional transmission and increase the adjustability of the topological edge state.


title: Discovery of Millisecond Pulsars in the Globular Cluster Omega Centauri

abstract: The globular cluster Omega Centauri is the most massive and luminous cluster in the Galaxy. The $\gamma$-ray source FL8Y J1326.7$-$4729 is coincident with the core of the cluster, leading to speculation that hitherto unknown radio pulsars or annihilating dark matter may be present in the cluster core. Here we report on the discovery of five millisecond pulsars in Omega Centauri following observations with the Parkes radio telescope. Four of these pulsars are isolated with spin periods of 4.1, 4.2, 4.6 and 6.8 ms. The fifth has a spin period of 4.8 ms and is in an eclipsing binary system with an orbital period of 2.1 hours. Deep radio continuum images of the cluster centre with the Australian Telescope Compact Array reveal a small population of compact radio sources making it likely that other pulsars await discovery. We consider it highly likely that the millisecond pulsars are the source of the $\gamma$-ray emission. The long-term timing of these pulsars opens up opportunities to explore the dynamics and interstellar medium of the cluster.


title: Petruska's question on planar convex sets

abstract: Given $2k-1$ convex sets in $R^2$ such that no point of the plane is covered by more than $k$ of the sets, is it true that there are two among the convex sets whose union contains all $k$-covered points of the plane? This question due to Gy. Petruska has an obvious affirmative answer for $k=1,2,3$; we show here that the claim is also true for $k=4$, and we present a counterexample for $k=5$. We explain how Petruska's geometry question fits into the classical hypergraph extremal problems, called arrow problems, proposed by P. Erd\H{o}s.


title: A Kinetic Monte Carlo Approach for Simulating Cascading Transmission Line Failure

abstract: In this work, cascading transmission line failures are studied through a dynamical model of the power system operating under fixed conditions. The power grid is modeled as a stochastic dynamical system where first-principles electromechanical dynamics are excited by small Gaussian disturbances in demand and generation around a specified operating point. In this context, a single line failure is interpreted in a large deviation context as a first escape event across a surface in phase space defined by line security constraints. The resulting system of stochastic differential equations admits a transverse decomposition of the drift, which leads to considerable simplification in evaluating the quasipotential (rate function) and, consequently, computation of exit rates. Tractable expressions for the rate of transmission line failure in a restricted network are derived from large deviation theory arguments and validated against numerical simulations. Extensions to realistic settings are considered, and individual line failure models are aggregated into a Markov model of cascading failure inspired by chemical kinetics. Cascades are generated by traversing a graph composed of weighted edges representing transitions to degraded network topologies. Numerical results indicate that the Markov model can produce cascades with qualitative power-law properties similar to those observed in empirical cascades.


title: Brazilian physicists community diversity, equity and inclusion: a first diagnostic

abstract: We report the results of a survey applied to students and professionals in the area of physics in Brazil, pursuing to draw a portrait of the composition of this community in terms of the social markers age, race, ethnicity, geographical origin, sex, gender, sexual orientation, and disabilities. The main goal was to quantify the representativeness of different groups in the community and to detect motivations and difficulties encountered by each group throughout their studies and career. This survey was open to the members of the Brazilian Physics Society (SBF) from July to September 2018. Our outcomes reveal that (i) the Brazilian physicists community is poorly diverse even in comparison with the population composition, (ii) the main obstacle to pursue the career is socioeconomic vulnerability and (iii) harassment is high in our society, being more pronounced among women. We hope that these results will be useful to scientific and educational institutions to develop different strategies and policies to change this current situation.


title: On generalized Melvin solutions for Lie algebras of rank 4

abstract: We deal with generalized Melvin-like solutions associated with Lie algebras of rank $4$ ($A_4$, $B_4$, $C_4$, $D_4$, $F_4$). Any solution has static cylindrically-symmetric metric in $D$ dimensions in presence of four Abelian 2-forms and four scalar fields. The solution is governed by four moduli functions $H_s(z)$ ($s = 1,...,4$) of squared radial coordinate $z=\rho^2$ obeying four differential equations of the Toda chain type. These functions are polynomials of powers $(n_1,n_2, n_3, n_4) = (4,6,6,4), (8,14,18,10), (7,12,15,16), (6,10,6,6), (22,42,30,16)$ for Lie algebras $A_4$, $B_4$, $C_4$, $D_4$, $F_4$, respectively. The asymptotic behaviour for the polynomials at large $z$ is governed by an integer-valued $4 \times 4$ matrix $\nu$ connected in a certain way with the inverse Cartan matrix of the Lie algebra and (in $A_4$ case) the matrix representing a generator of the $\mathbb{Z}_2$-group of symmetry of the Dynkin diagram. The symmetry properties and duality identities for polynomials are studied. We also present 2-form flux integrals over a $2$-dimensional submanifold. Dilatonic black hole analogs of the obtained Melvin-type solutions, e.g. "fantom" ones, are also considered. The phantom black holes are described by fluxbrane polynomials under consideration.


title: A Context-Aware Approach for Detecting Check-Worthy Claims in Political Debates

abstract: In the context of investigative journalism, we address the problem of automatically identifying which claims in a given document are most worthy and should be prioritized for fact-checking. Despite its importance, this is a relatively understudied problem. Thus, we create a new dataset of political debates, containing statements that have been fact-checked by nine reputable sources, and we train machine learning models to predict which claims should be prioritized for fact-checking, i.e., we model the problem as a ranking task. Unlike previous work, which has looked primarily at sentences in isolation, in this paper we focus on a rich input representation modeling the context: relationship between the target statement and the larger context of the debate, interaction between the opponents, and reaction by the moderator and by the public. Our experiments show state-of-the-art results, outperforming a strong rivaling system by a margin, while also confirming the importance of the contextual information.


title: Levenberg-Marquardt algorithm for acousto-electric tomography based on the complete electrode model

abstract: The inverse problem in Acousto-Electric tomography concerns the reconstruction of the electric conductivity in a domain from knowledge of the power density function in the interior of the body. This interior power density results from currents prescribed at boundary electrodes (and can be obtained through electro-static boundary measurements together with auxiliary acoustic measurement. In Electrical Impedance Tomography, the complete electrode model is known to be the most accurate model for the forward modelling. In this paper, the reconstruction problem of Acousto-Electric tomography is posed using the (smooth) complete electrode model, and a Levenberg-Marquardt iteration is formulated in appropriate function spaces. This results in a system of partial differential equations to be solved in each iteration. To increase the computational efficiency and stability, a strategy based on both the complete electrode model and the continuum model with Dirichlet boundary condition is proposed. The system of equations is implemented numerically for a two dimensional scenario and the algorithm is tested on two different numerical phantoms, a heart and lung model and a human brain model. Several numerical experiments are carried out confirming the feasibility, accuracy and stability of the methods.


title: All-optical continuous tuning of phase-change plasmonic metasurfaces for multispectral thermal imaging

abstract: Actively tunable, narrowband spectral filtering across arbitrary optical wavebands is highly desirable in a plethora of applications, from chemical sensing, hyperspectral imaging to infrared astronomy. Yet, the ability to actively reconfigure the optical properties of a solid-state narrowband filter remains elusive. Existing solutions require either moving parts, have slow response times or provide limited spectral coverage. Here, we demonstrate a continuously tunable, spectrally-agnostic, all-solid-state, narrowband phase-change metasurface filter based on a GeSbTe (GST)-embedded plasmonic nanohole array. The passband of the presented tunable filter is ~74 nm with ~70% transmittance and operates across 3 - 5 $\mu$m; the thermal imaging waveband. Continuous, reconfigurable tuning is achieved by exploiting intermediate GST phases via optical switching with a single nanosecond laser pulse and material stability is verified through multiple switching cycles. We further demonstrate multispectral thermal imaging in the mid-wave infrared using our phase-change metasurfaces. Our results pave the way for highly functional, reduced power, compact hyperspectral imaging systems and optical filters.

categories: physics.optics cond-mat.mtrl-sci physics.app-ph physics.ins-det


title: Substitutes for the non-existent square lattice designs for 36 varieties

abstract: Square lattice designs are often used in trials of new varieties of various agricultural crops. However, there are no square lattice designs for 36 varieties in blocks of size six for four or more replicates. Here we use three different approaches to construct designs for up to eight replicates. All the designs perform well in terms of giving a low average variance of variety contrasts. Supplementary materials are available online.


title: Ziele und M\"oglichkeiten des Einsatzes von Knowledge-Maps in mathematik-historischen Veranstaltungen

abstract: The multi-layered nature of societal developments poses a challenge in the teaching and learning of history of mathematics. As an attempt to tackle this challenge we experimented with the use of Knowledge-Maps. The focus of our interest lies on the use of these Maps to support meaningful learning (Ausubel, 2000) as well as on their role as facilitating tools in oral exams. In this article we seek to relay practical experiences we have made with Knowledge-Maps in our teaching and to report findings of an exploratory study we conducted in a seminar about history of mathematics.


title: Noether symmetries in Interacting Quintessence Cosmology

abstract: The Noether Symmetry Approach is applied to interacting quintessence cosmology with the aim to search for exact solutions and select scalar-field self-interaction potentials. It turns out that the solutions found are compatible with the accelerated expansion of the Universe and with observational dataset, as the SNeIa Pantheon data.


title: Why Are We Obsessed with "Understanding" Quantum Mechanics?

abstract: Richard Feynman famously declared, "I think that I can safely say that nobody really understands quantum mechanics." Sean Carroll lamented the persistence of this sentiment in a recent opinion piece entitled, "Even Physicists Don't Understand Quantum Mechanics. Worse, they don't seem to want to understand it." Quantum mechanics is arguably the greatest achievement of modern science and by and large we absolutely understand quantum theory. Rather, the "understanding" to which these two statements evidently refer concerns the ontological status of theoretical constructs. For example, "Do quantum wave functions accurately depict physical reality?" The quantum measurement problems represents a collection of such queries and the conundrums to which they lead. Most physicists are content with foregoing such metaphysical issues, falling back on Bohr's Copenhagen interpretation, and then get on with the business of doing physics. I suspect that Carroll would criticize these physicists as being too dismissive of the wonderful mysteries of quantum mechanics by relegating its role to that of an algorithm for making predictions. Quite to the contrary, I maintain that those who still pursue a resolution to the measurement problem are burdened with a classical view of reality and fail to truly embrace the fundamental quantum aspects of nature.


title: Extensions of filtered Ogus structures

abstract: We compute the Ext group of the (filtered) Ogus category over a number field $K$. In particular we prove that the filtered Ogus realisation of mixed motives is not fully faithful.


title: Three Easy Pieces (in tribute to Roman Jackiw)

abstract: Roman Jackiw has made highly original and influential contributions to several areas of physics that have grown and blossomed, notably including the quantum physics of domain walls, magnetic monopoles, and fractional quantum numbers. Here I offer three small pieces that take off from those themes. I discuss the emergence of topological surface structure in materials, the emergence of a shape-space magnetic monopole in a simple mechanical system, and the emergence of fractional angular momentum in an even simpler quantum mechanical (molecular) system.


title: Gravitational waves and geometrical optics in scalar-tensor theories

abstract: The detection of gravitational waves (GWs) propagating through cosmic structures can provide invaluable information on the geometry and content of our Universe, as well as on the fundamental theory of gravity. In order to test possible departures from General Relativity, it is essential to analyse, in a modified gravity setting, how GWs propagate through a perturbed cosmological space-time. Working within the framework of geometrical optics, we develop tools to address this topic for a broad class of scalar-tensor theories, including scenarios with non-minimal, derivative couplings between scalar and tensor modes. We determine the corresponding evolution equations for the GW amplitude and polarization tensor. The former satisfies a generalised evolution equation that includes possible effects due to a variation of the effective Planck scale; the latter can fail to be parallely transported along GW geodesics unless certain conditions are satisfied. We apply our general formulas to specific scalar-tensor theories with unit tensor speed, and then focus on GW propagation on a perturbed space-time. We determine corrections to standard formulas for the GW luminosity distance and for the evolution of the polarization tensor, which depend both on modified gravity and on the effects of cosmological perturbations. Our results can constitute a starting point to disentangle among degeneracies from different sectors that can influence GW propagation through cosmological space-times.


title: Proof of file access in a private P2P network using blockchain

abstract: While sharing files in a peer-to-peer (P2P) system significantly increases both the speed of retrieving the contents and the robustness of the system, tracing the access of files is not straightforward, even in the case of private P2P networks. In fact, a participant that has uploaded a file to a P2P network is not necessarily involved in its download. Additionally, due to the nature of the P2P network it is possible for a participant to already have all the fragments of a file, even before requesting it. This work tries to address the problem of tracing file access in a private P2P file sharing network through the use of blockchains to improve quality of service and auditability. To this end, the proposed solution combines three elements: (1) A distributed hash table network that is used to distribute encrypted files with redundancy amongst the partner peers; (2) Shamir's secret sharing scheme to split the secret keys of each file; (3) A blockchain network to distribute and manage the secret shares amongst the partner peers. In fact, the latter makes access to a file undeniable to every node of the network. The solution is relevant for consortia that manage a shared data pool on base of P2P technology with unrestricted access to files but where access to a file has to be recorded due to legal or billing reasons.


title: Characteristics of the secondary electrons calibration beam of the accelerator S-25R "Pakhra"

abstract: The characteristics of the secondary electrons` calibration quasi-monochromatic beam of the accelerator S-25R "Pakhra" of the Lebedev Physical Institute of the Russian Academy of Sciences (LPI) on the basis of magnet SP-57 are presented. With an electron energy in the range of 45-280 MeV, a collimator diameter in front of the trigger counters of 3 mm and copper Converter thicknesses of 1-3 mm, the energy resolution and beam intensity were 4.4-2.2% and around 16 e/sec, respectively.


title: A new state of dense matter in neutron stars with nucleon structure

abstract: The existence of stars with a large mass of 2 solar masses means that the equation of state is stiff enough to provide high enough pressure at large central densities. Previous work shows that such a stiff equation of state is possible if the ground state has nucleons as its constituents. We find this to be so in a chiral soliton ( skyrmion ) model for a composite nucleon which has bound state quarks. The strong binding of the quarks in this composite nucleon is plausibly the origin of the nucleon-nucleon hard core. In this model we find a new state of superdense matter at high density which is a 'topological'cubic crystal of overlapping composite nucleons that are solitons with relativistic quark bound states. The quarks are frozen in a filled band of a unique state, which not an eigenstate of spin or isospin but an eigenstate of spin plus isospin, $ \vec S + \vec I = 0$. In this alternative model we find that all neutron stars have no regular `free'quark matter. Neutron stars whose central density crosses a threshold baryon density of approximately, $n_b \sim 1/fm^3 $, will become unstable and go through a decompression (sudden) density discontinuity to conventional quark matter. Sequentially, this contraction of the core of the star will soften the equation of state release a large amount of gravitational potential energy which can give rise to a shock wave and matter ejection. Since the merger of two neutron stars gives a compact state whose mass is larger than the allowed maximum mass, this will be followed by a jet and a short gamma ray burst while transiting into a black hole.


title: Conflict Detection and Resolution in Table Top Scenarios for Human-Robot Interaction

abstract: As in any interaction process, misunderstandings, ambiguity, and failures to correctly understand the interaction partner are bound to happen in human-robot interaction. We term these failures 'conflicts' and are interested in both conflict detection and conflict resolution. In that, we focus on the robot's perspective. For the robot, conflicts may occur because of errors in its perceptual processes or because of ambiguity stemming from human input. This poster presents a brief system overview, and details Here, we briefly outline the project's motivation and setting, introduce the general processing framework, and then present two kinds of conflicts in some more detail: 1) a failure to identify a relevant object at all; 2) ambiguity emerging from multiple matches in scene perception.


title: The Network-based Candidate Forwarding Set Optimization Approach for Opportunistic Routing in Wireless Sensor Network

abstract: In wireless sensor networks (WSNs), the opportunistic routing has better performances on packet delivery probability than the deterministic routing. For reducing the transmission delay and duplicate transmission in opportunistic routing, the candidate forwarding set optimization technology is proposed. This technology is crucial to opportunistic routing. The prior arts have limitations on improving the routing performances. Therefore, in this paper, we propose the concept of the network-based approach to address the disadvantages of prior arts. In the network-based approach, the nodes in the candidate forwarding set are divided into different fully connected relay networks. For the forwarding nodes in CFS, more than one relay network can be constructed and only one relay network can be chosen as the final relay network. So, first, we propose the fully connected relay network judgment algorithm to judge whether the chosen network is fully connected or not. Next, the properties of these networks are investigated. In this algorithm, the relay network selection takes the packet delivery probability between the sender and the relay networks, the transmission delay, and the forwarding priorities of nodes in relay networks into account to choose the most effective relay network. The nodes in this relay network will be chosen as final forwarding nodes. By these, the transmission delay and duplicate transmission are reduced while the efficiency of opportunistic routing is kept. Based on these innovations, the proposed algorithm can improve network performances greater than that of ExOR and SOAR.


title: Modeling the survival of Population III stars till present day

abstract: Recent numerical simulations have suggested the probability of a fraction of the primordial stars to be ejected from the cluster of their origin. We explore the possibility that some of these can remain on the main sequence till the present epoch. We develop a semi-analytical model guided by results of cosmological simulations to study the mass accretion by these protostars as a function of the original stellar mass, and other parameters such as angular momentum and gravitational drag due to ambient gas. We also explore whether some of the protostars remain sufficiently low-mass and long-lived to survive to the present day. This requires that the protostars are ejected from the star forming region while their mass is less than $0.8\,M_{\odot}$. Assuming the protostars gain mass via the spherical Bondi-Hoyle accretion from the ambient medium, we show that Pop III protostars that initially form within a certain range of mass and are ejected with velocity larger than the escape velocity may survive to the present day on the main sequence. Thus, they may even be found in our Milky Way or its satellites. Our calculations also reveal that protostars that do not get ejected from the parent gas cloud accrete large amount of gas. We predict that these can become massive enough to be progenitors of black holes.


title: Geographical and Topology Control based Opportunistic Routing for Ad Hoc Networks

abstract: The opportunistic routing has great advantages on improving packet delivery probability between the source node and candidate forwarding set. For improving and reducing energy consumption and network interference, in this paper, we propose an efficient and reliable transmission power control based opportunistic routing (ERTO) for wireless ad hoc networks. In ERTO, the network interference and fading, which are critical to routing performances but not taken into account in previous works, are considered during the prediction of. The, the expected energy consumption, and the relationship between transmission power and node degree are considered to optimize the optimal transmission power and forwarding node degree jointly. For improving routing effectiveness and reducing computational complexity, we introduce the multi-objective optimization and Pareto optimal into ERTO. During the routing process, nodes calculate the optimal transmission power and forwarding node degree according to the properties of the Pareto optimal solution set. Based on these innovations, the energy consumption, the transmission delay, and the throughout have been improved greatly.


title: Visualizing and Analyzing Entity Activity on the Bitcoin Network

abstract: We present BitConduite, a visual analytics tool for explorative analysis of financial activity within the Bitcoin network. Bitcoin is the largest cryptocurrency worldwide and a phenomenon that challenges the underpinnings of traditional financial systems - its users can send money pseudo-anonymously while circumventing traditional banking systems. Yet, despite the fact that all financial transactions in Bitcoin are available in an openly accessible online ledger - the blockchain - not much is known about how different types of actors in the network (we call them entities) actually use Bitcoin. BitConduite offers an entity-centered view on transactions, making the data accessible to non-technical experts through a guided workflow for classification of entities according to several activity metrics. Other novelties are the possibility to cluster entities by similarity and exploration of transaction data at different scales, from large groups of entities down to a single entity and the associated transactions. Two use cases illustrate the workflow of the system and its analytic power. We report on feedback regarding the approach and the the software tool gathered during a workshop with domain experts, and we discuss the potential of the approach based on our findings.


title: Turing patterns in a diffusive Holling-Tanner predator-prey model with an alternative food source for the predator

abstract: In this manuscript, we consider temporal and spatio-temporal modified Holling-Tanner predator-prey models with predator-prey growth rate as a logistic type, Holling type II functional response and alternative food sources for the predator. From our result of the temporal model, we identify regions in parameter space in which Turing instability in the spatio-temporal model is expected and we show numerical evidence where the Turing instability leads to spatio-temporal periodic solutions. Subsequently, we analyse these instabilities. We use simulations to illustrate the behaviour of both the temporal and spatio-temporal model.


title: A Finite-Sample Deviation Bound for Stable Autoregressive Processes

abstract: In this paper, we study non-asymptotic deviation bounds of the least squares estimator in Gaussian AR($n$) processes. By relying on martingale concentration inequalities and a tail-bound for $\chi^2$ distributed variables, we provide a concentration bound for the sample covariance matrix of the process output. With this, we present a problem-dependent finite-time bound on the deviation probability of any fixed linear combination of the estimated parameters of the AR$(n)$ process. We discuss extensions and limitations of our approach.


title: Prospects for single photon sideband cooling in fermionic Lithium

abstract: We present an analytic and numerical study for realizing single photon sideband cooling in an ultracold sample of fermionic Lithium trapped in a periodic optical potential. We develop an analytical model and obtain a master equation for the bound level populations. The cooling sequence is simulated both with a laser at a fixed frequency and with a frequency sweep. Finally, a Monte Carlo simulation is performed taking into account the full hyperfine spectrum of $^6\!$Li. We find that a gas of $^6\!$Li atoms loaded from a Magneto-Optical trap into a deep optical lattice can be cooled down to a $99\%$ occupancy of the lattice ground state after a 5mm single photon sideband cooling using the D1 line of Li.


title: The unbounded extension of Hille-Phillips functional calculus

abstract: The extension of Hille-Phillips functional calculus of semigroup generators which leads to unbounded operators is given. Connections of this calculus to Bochner-Phillips functional calculus are indicated, and several examples are considered.


title: A Two-Step Biopolymer Nucleation Model Shows a Nonequilibrium Critical Point

abstract: Biopolymer self-assembly pathways are central to biological activity, but are complicated by the ability of the monomeric subunits of biopolymers to adopt different conformational states. As a result, biopolymer nucleation often involves a two-step mechanism where the monomers first condense to form a metastable intermediate, and this then converts to a stable polymer by conformational rearrangement of its constituent monomers. While existing mathematical models neglect the dynamics by which intermediates convert to stable polymers, experiments and simulations show that these dynamics frequently occur on comparable timescales to condensation of intermediates and growth of mature polymers, and thus cannot be ignored. Moreover, nucleation intermediates are responsible for cell toxicity in pathologies such as Alzheimer's, Parkinson's, and prion diseases. Due to the relationship between conformation and biological function, the slow conversion dynamics of these species will strongly affect their toxicity. In this study, we present a modified Oosawa model which explicitly accounts for simultaneous assembly and conversion. To describe the conversion dynamics, we propose an experimentally motivated initiation-propagation (IP) mechanism in which the stable phase arises locally within the intermediate, and then spreads through additional conversion events induced by nearest-neighbor interactions, analogous to one-dimensional Glauber dynamics. Our mathematical analysis shows that the competing timescales of assembly and conversion result in a nonequilibrium critical point, separating a regime where intermediates are kinetically unstable from one where conformationally mixed intermediates can accumulate. Our work provides the first general model of two-step biopolymer nucleation, which can be used to quantitatively predict the concentration and composition of biologically crucial intermediates.


title: The Tarantula Massive Binary Monitoring: III. Atmosphere analysis of double-lined spectroscopic systems

abstract: Accurate stellar parameters of individual objects in binary systems are essential to constrain the effects of binarity on stellar evolution. These parameters serve as a prerequisite to probing existing and future theoretical evolutionary models. We aim to derive the atmospheric parameters of the 31 SB2s in the TMBM sample. This sample, composed of detached, semi-detached and contact systems with at least one of the components classified as an O star, is an excellent test-bed to study how binarity can impact our knowledge of the evolution of massive stars. 32 epochs of FLAMES/GIRAFFE spectra are analysed using spectral disentangling to construct the individual spectra of 62 components. We apply the CMFGEN atmosphere code to determine their stellar parameters and their He, C and N surface abundances. From these properties, we show that the effects of tides on chemical mixing are limited. Components on longer-period orbits show higher nitrogen enrichment at their surface than those on shorter-period orbits, in contrast to expectations of rotational or tidal mixing, implying that other mechanisms play a role in this process. Components filling their Roche lobe are mass donors. They exhibit higher nitrogen content at their surface and rotate more slowly than their companions. By accreting new material, their companions spin faster and are rejuvenated. Their locations in the N-vsini diagram tend to show that binary products are good candidates to populate the two groups of stars (slowly rotating, nitrogen-enriched and rapidly rotating non-enriched) that cannot be reproduced through single-star population synthesis. This sample is the largest sample of binaries to be studied in such a homogeneous way. The study of these objects gives us strong observational constraints to test theoretical binary evolutionary tracks.


title: Analysis of the SBP-SAT Stabilization for Finite Element Methods Part I: Linear Problems

abstract: In the hyperbolic community, discontinuous Galerkin approaches are mainly applied when finite element methods are considered. As the name suggested, the DG framework allows a discontinuity at the element interfaces, which seems for many researchers a favorable property in case of hyperbolic balance laws. On the contrary, continuous Galerkin method obtained from a straightforward discretisation of the weak form of the PDEs appear to be unsuitable for hyperbolic problems. To remedy this issue, stabilization terms are usually added and various formulations can be found in the literature. There exists still the perception that continuous Galerkin methods are not suited to hyperbolic problems, and the reason of this is the continuity of the approximation. However, this perception is not true and the stabilization terms can be removed, in general, provided the boundary conditions are suitable. In this paper, we deal with this problem, and present a different approach. We use the boundary conditions to stabilize the scheme following a procedure that are frequently used in the finite difference community. Here, the main idea is to impose the boundary conditions weakly and specific boundary operators are constructed such that they guarantee stability. This approach has already been used in the DG framework, but here we apply it with a continuous Galerkin scheme. No internal dissipation is needed even if unstructured grids are used. Further, we point out that we do not need exact integration, it suffices if the quadrature rule and the norm in the differential operator are the same, such that the summation-by-parts (SBP) property is fulfilled meaning that a discrete Gauss Th. is valid. This contradicts the perception in the hyperbolic community that stability issues for pure Galerkin scheme exist. In numerical simulations, we verify our theoretical analysis.


title: Special groups, versality and the Grothendieck-Serre conjecture

abstract: Let $k$ be a base field and $G$ be an algebraic group over $k$. J.-P. Serre defined $G$ to be special if every $G$-torsor $T \to X$ is locally trivial in the Zariski topology for every reduced algebraic variety $X$ defined over $k$. In recent papers an a priori weaker condition is used: $G$ is called special if every $G$-torsor $T \to Spec(K)$ is split for every field $K$ containing $k$. We show that these two definitions are equivalent. We also generalize this fact and propose a strengthened version of the Grothendieck-Serre conjecture based on the notion of essential dimension.


title: LEO Small-Satellite Constellations for 5G and Beyond-5G Communications

abstract: The next frontier towards truly ubiquitous connectivity is the use of Low Earth Orbit (LEO) small-satellite constellations to support 5G and Beyond-5G (B5G) networks. Besides enhanced mobile broadband (eMBB) and massive machine-type communications (mMTC), LEO constellations can support ultra-reliable communications (URC) with relaxed latency requirements of a few tens of milliseconds. Small-satellite impairments and the use of low orbits pose major challenges to the design and performance of these networks, but also open new innovation opportunities. This paper provides a comprehensive overview of the physical and logical links, along with the essential architectural and technological components that enable the full integration of LEO constellations into 5G and B5G systems. Furthermore, we characterize and compare each physical link category and explore novel techniques to maximize the achievable data rates.