title: Human-in-the-Loop Design Cycles -- A Process Framework that Integrates Design Sprints, Agile Processes, and Machine Learning with Humans

abstract: Demands on more transparency of the backbox nature of machine learning models have led to the recent rise of human-in-the-loop in machine learning, i.e. processes that integrate humans in the training and application of machine learning models. The present work argues that this process requirement does not represent an obstacle but an opportunity to optimize the design process. Hence, this work proposes a new process framework, Human-in-the-learning-loop (HILL) Design Cycles - a design process that integrates the structural elements of agile and design thinking process, and controls the training of a machine learning model by the human in the loop. The HILL Design Cycles process replaces the qualitative user testing by a quantitative psychometric measurement instrument for design perception. The generated user feedback serves to train a machine learning model and to instruct the subsequent design cycle along four design dimensions (novelty, energy, simplicity, tool). Mapping the four-dimensional user feedback into user stories and priorities, the design sprint thus transforms the user feedback directly into the implementation process. The human in the loop is a quality engineer who scrutinizes the collected user feedback to prevents invalid data to enter machine learning model training.


title: On Function Description

abstract: The main result is that: function descriptions are not made equal, and they can be categorised in at least two categories using various computational methods for function evaluation. The result affects Kolmogorov complexity and Random Oracle Model notions. More precisely, the idea that the size of an object and the size of the smallest computer program defining that object is a ratio that represents the object complexity needs additional definitions to hold its original assertions.


title: The equalizer conjecture for the free group of rank two

abstract: The equaliser of a set of homomorphisms $S: F(a, b)\rightarrow F(\Delta)$ has rank at most two if $S$ contains an injective map, and is not finitely generated otherwise. This proves a strong form of Stallings' Equaliser Conjecture for the free group of rank two. Results are also obtained for pairs of homomorphisms $g, h:F(\Sigma)\rightarrow F(\Delta)$ when the images are inert in, or retracts of, $F(\Delta)$.


title: Interpolation Technique to Speed Up Gradients Propagation in Neural ODEs

abstract: We propose a simple interpolation-based method for the efficient approximation of gradients in neural ODE models. We compare it with the reverse dynamic method (known in the literature as "adjoint method") to train neural ODEs on classification, density estimation, and inference approximation tasks. We also propose a theoretical justification of our approach using logarithmic norm formalism. As a result, our method allows faster model training than the reverse dynamic method that was confirmed and validated by extensive numerical experiments for several standard benchmarks.


title: A counterexample to the Bollob\'as-Riordan conjectures on sparse graph limits

abstract: Bollob\'as and Riordan, in their paper "Metrics for sparse graphs," proposed a number of provocative conjectures extending central results of quasirandom graphs and graph limits to sparse graphs. We refute these conjectures by exhibiting a sequence of graphs with convergent normalized subgraph densities (and pseudorandom $C_4$-counts), but with no limit expressible as a kernel.


title: Opportunistic multi-party shuffling for data reporting privacy

abstract: An important feature of data collection frameworks, in which voluntary participants are involved, is that of privacy. Besides data encryption, which protects the data from third parties in case the communication channel is compromised, there are schemes to obfuscate the data and thus provide some anonymity in the data itself, as well as schemes that 'mix' the data to prevent tracing the data back to the source by using network identifiers. This mixing is usually implemented by utilizing special mix networks in the data collection framework. In this paper we focus on schemes for mixing the data where the participants do not need to trust the mix network or the data collector with hiding the source of the data so that we can evaluate the efficacy of peer to peer mixing strategies in the real world. To achieve this, we present a simple opportunistic multi-party shuffling scheme to mix the data and effectively obfuscate the source of the data. We successfully simulate 3 cases with artificial parameters and then use the real-world Mobile Data Challenge (MDC) data to simulate an additional 2 scenarios with realistic parameters. Our results show that such approaches can be effective depending on the time constraints of the data collection and we conclude with design implications for the implementation of the proposed data collection scheme in real life deployments.


title: Efficient large deviation estimation based on importance sampling

abstract: We present a complete framework for determining the asymptotic (or logarithmic) efficiency of estimators of large deviation probabilities and rate functions based on importance sampling. The framework relies on the idea that importance sampling in that context is fully characterized by the joint large deviations of two random variables: the observable defining the large deviation probability of interest and the likelihood factor (or Radon-Nikodym derivative) connecting the original process and the modified process used in importance sampling. We recover with this framework known results about the asymptotic efficiency of the exponential tilting and obtain new necessary and sufficient conditions for a general change of process to be asymptotically efficient. This allows us to construct new examples of efficient estimators for sample means of random variables that do not have the exponential tilting form. Other examples involving Markov chains and diffusions are presented to illustrate our results.


title: Minkowski tensor in electrodynamics of moving media and three rules for construction of the physical tensors in Einstein's special relativity

abstract: Minkowski applied Einstein's principle of relativity to moving media and developed electrodynamics of moving media. Like Einstein introduced the EM field-strength tensor $F^{\mu\nu}$ for electric field $\mathbf{E}$ and magnetic induction $\mathbf{B}$, Minkowski introduced another EM field-strength tensor $G^{\mu\nu}$ for the electric displacement $\mathbf{D}$ and magnetic field $\mathbf{H}$; thus leading to Minkowski tensor. Recently, Partanen and Tulkki criticize that Minkowski tensor contradicts special relativity, and proposed a mass-polariton stress-energy-momentum (MP SEM) tensor to replace Minkowski tensor. In this paper, based on a careful analysis of previous literature on this topic, (i) I reasonably argue that Minkowski tensor is a covariant combination of two EM field-strength tensors, and thus all the physical results obtained from Minkowski tensor are already embodied in the two EM field-strength tensors; (ii) I propose three rules for covariantly and self-consistently constructing the physical tensors in Einstein's special relativity, with Minkowski tensor following all the rules while both Abraham tensor and the MP SEM tensor not. Finally, by enumerating a specific example I show that the Lorentz covariance of a tensor provides no guarantee of the consistency of the tensor with the principle of relativity.


title: Rossby modes in slowly rotating stars: depth dependence in distorted polytropes with uniform rotation

abstract: Large-scale Rossby waves have recently been discovered from measurements of horizontal surface and near-surface solar flows (L\"optien at al. 2018). We are interested in understanding why only the sectoral modes are seen in the observations and also in modelling the radial structure of the observed modes. To do so, we characterise here the radial eigenfunctions of r modes for slowly-rotating polytropes in uniform rotation. We find that for free-surface boundary conditions on a spheroid of non-vanishing surface density, r modes can only exist for $\ell=m$ spherical harmonics in the inviscid case, and we compute their depth dependence and frequencies to leading order. For quasi-adiabatic stratification the sectoral modes with no radial nodes are the only modes which are almost toroidal and the depth dependence of the corresponding horizontal motion scales as $r^m$. For all r modes except the zero radial order sectoral ones, non-adiabatic stratification plays a crucial role in the radial force balance. The lack of quasi-toroidal solutions when stratification is close to neutral, except for the sectoral modes without nodes in radius, follows from the statement that the system needs to be in both horizontal and radial force balance. In the absence of super- or subadiabatic stratification and viscosity, both the horizontal and radial force balances independently determine the pressure perturbation. The only quasi-toroidal cases in which the two determinations of the pressure perturbation are consistent are the special cases where $\ell=m$, and the horizontal displacement scales with $r^m$.


title: On the height function of the affine minimal translation surfaces

abstract: In this paper, using the Weierstrass-Enneper formula and the hodographic coordinate system, we find the relationships between the Ramanujan identity and the generalized class of Scherk surfaces known as affine Scherk surfaces. We find the Dirichlet series expansion of the affine Scherk surface. We also obtain some of the probability measures of affine Scherk surface with respect to its logarithmic distribution. Next, we classify the affine minimal translation surfaces in $\mathbb{L}^3$ and remarked the analogous forms in $\mathbb{L}^3.$


title: A general expression of the triplets of integer sided triangles with a $120^{\circ}$ angle, in parallel with the case of a $60^{\circ}$ angle

abstract: A research for a general expression of the triplets of integer sided triangles with a $120^{\circ}$ angle, in parallel with the case of a $60^{\circ}$ angle.


title: Comment on Analysis of Scissors Cutting Paper at Super Luminal Speeds

abstract: In a recent paper, it was demonstrated that the popular legend that scissors can cut paper at super luminal speeds is indeed correct. In this comment we make this additional observation that when the cutting speed is super luminal, the direction of the cutting of the paper as observed by observers in the inertial frame stationary with respect to the blade of the scissors and the direction of the cutting of the paper as observed by observers in the inertial frame stationary with respect to the paper are opposite. This follows from the relativity of simultaneity, and the fact that space-time points that are separated beyond reach at sub-luminal speeds exhibit reversal in time order as observed by different inertial frames. The fact that the paper was cut in opposite directions as observed by the paper and scissors, can be interesting facet for students of Physics.


title: The Compositional Integral: The Narrow And The Complex Looking-Glass

abstract: The goal of this paper is to formalize the notion of The Compositional Integral in The Complex Plane. We prove a convergence theorem guaranteeing its existence. We prove an analogue of Cauchy's Integral Theorem--and suggest an approach at recovering Cauchy's Integral Formula. With this we derive a modified form of Cauchy's Residue Theorem. Then, we develop a compositional analogue of Taylor Series. In finality, we describe a compositional Fourier Transform; and illustrate some basic properties of it.


title: Wafer-Bonded Surface Plasmon Waveguide Biosensors with In-Plane Microfluidic Interfaces

abstract: Biosensors exploiting long-range surface plasmon polariton (LRSPP) waveguides comprised of Au stripes embedded in Cytop with integrated and encapsulated microfluidic channels are fabricated and demonstrated. A fabrication approach was devised where the lower cladding and recessed Au stripes are fabricated on a Si substrate, and the upper cladding and microfluidic channels are fabricated on a glass substrate, followed by wafer bonding to assemble the wafers into complete structures. The bond is centered over the full length of the optical path, yet no evidence of optical scattering or excess loss due to the bond could be observed, and no evidence of a bonding interface could be discerned from high-magnification cross-sectional images. We also demonstrate wafer-scale fabrication of in-plane microfluidic inlets and outlets, along with a fixture for fluidic edge coupling that provides sealed interfaces to external fluidic tubing and components. In-plane microfluidic interfaces are automatically defined along chip facets upon wafer dicing, precluding the need to drill through holes in lids. The performance of the chips was assessed by measuring the attenuation of LRSPPs on fully cladded reference waveguides, on waveguides passing through microfluidic channels, and by measuring the response of sensors to changes in refractive index produced by injecting various sensing solutions. Our fabrication approach based on wafer bonding and in-plane fluidic interfacing is compelling for low-cost high-volume manufacturing.


title: On the $L_p$-Brunn-Minkowski and dimensional Brunn-Minkowski conjectures for log-concave measures

abstract: We study several of the recent conjectures in regards to the role of symmetry in the inequalities of Brunn-Minkowski type, such as the $L_p$-Brunn-Minkowski conjecture of B\"or\"oczky, Lutwak, Yang and Zhang, and the Dimensional Brunn-Minkowski conjecture of Gardner and Zvavitch, in a unified framework. We obtain several new results for these conjectures. We show that when $K\subset L,$ the multiplicative form of the $L_p$-Brunn-Minkowski conjecture holds for Lebesgue measure for $p\geq 1-Cn^{-0.75}$, which improves upon the estimate of Kolesnikov and Milman in the partial case when one body is contained in the other. We also show that the multiplicative version of the $L_p$-Brunn-Minkowski conjecture for the standard Gaussian measure holds in the case of sets containing sufficiently large ball (whose radius depends on $p$). In particular, the Gaussian Log-Brunn-Minkowski conjecture holds when $K$ and $L$ contain $\sqrt{0.5 (n+1)}B_2^n.$ We formulate an a-priori stronger conjecture for log-concave measures, extending both the $L_p$-Brunn-Minkowski conjecture and the Dimensional one, and verify it in the case when the sets are dilates and the measure is Gaussian. We also show that the Log-Brunn-Minkowski conjecture, if verified, would yield this more general family of inequalities. Our results build up on the methods developed by Kolesnikov and Milman as well as Colesanti, Livshyts, Marsiglietti. We furthermore verify that the local version of these conjectures implies the global version in the setting of general measures, and this step uses methods developed recently by Putterman.


title: A New Enhanced Version of The Ensemble Interpretation

abstract: The different interpretations of quantum mechanics yield the same experimental results, which may give the impression that the question of what interpretation is the true one, is a philosophical question, not a scientific one. But in this paper, we will see that we can actually prove one interpretation, in particular, a version of the ensemble interpretation, as the natural interpretation of quantum mechanics. Furthermore, we will prove the axioms of quantum mechanics, without the need of anything beyond probability theory.


title: Tailored pore gradient in phenolic membranes for adjustable permselectivity by leveraging different poloxamers

abstract: Cost-affordable phenolic membranes having gradient nanostructures can be facilely synthesized from resol oligomers in the presence of ZnCl2 and poloxamers. The gradient nanostructures are formed by stacking phenolic nanoparticles with gradually enlarged diameters as the distance from the upper surface increases. The use of poloxamers for creating gelation surroundings is of great significance for controlling the growth of phenolic nanoparticles, which in turn dictates the performance of the phenolic membranes thus-produced. Hence, a study of the effects of poloxamers species on the preparation of the phenolic membranes is highly demanded since such robust membranes have much potential to be scale up for mass production. Herein, the poloxamer Pluronic F127 (EO106-PO70-EO106; EO = ethyleneoxide, PO = propyleneoxide) was introduced in the membrane-forming formulations. As opposed to P123 (EO20-PO70-EO20) that we used previously, F127 possessing extended PEO chains can delay the gelation during membrane formation. Hence, the phenolic nucleates are able to grow for longer durations, leading to the generation of more distinct gradient nanostructures in the phenolic membranes. Enhanced permeance can then be realized with F127-derived phenolic membranes. We also demonstrate that L31 (EO1-PO22-EO1) with merely single terminal EO units at the ends of the PPO block could be used to prepare gradient phenolic membranes. This work is not only much helpful to deeply understand the design of the structural gradient in phenolic membranes, but capable of sheding light on the development of such intriguing structures for water purification.


title: A Supervised Machine Learning Model For Imputing Missing Boarding Stops In Smart Card Data

abstract: Public transport has become an essential part of urban existence with increased population densities and environmental awareness. Large quantities of data are currently generated, allowing for more robust methods to understand travel behavior by harvesting smart card usage. However, public transport datasets suffer from data integrity problems; boarding stop information may be missing due to imperfect acquirement processes or inadequate reporting. We developed a supervised machine learning method to impute missing boarding stops based on ordinal classification using GTFS timetable, smart card, and geospatial datasets. A new metric, Pareto Accuracy, is suggested to evaluate algorithms where classes have an ordinal nature. Results are based on a case study in the city of Beer Sheva, Israel, consisting of one month of smart card data. We show that our proposed method is robust to irregular travelers and significantly outperforms well-known imputation methods without the need to mine any additional datasets. Validation of data from another Israeli city using transfer learning shows the presented model is general and context-free. The implications for transportation planning and travel behavior research are further discussed.


title: Fast and stable determinant quantum Monte Carlo

abstract: We assess numerical stabilization methods employed in fermion many-body quantum Monte Carlo simulations. In particular, we empirically compare various matrix decomposition and inversion schemes to gain control over numerical instabilities arising in the computation of equal-time and time-displaced Green's functions within the determinant quantum Monte Carlo (DQMC) framework. Based on this comparison, we identify a procedure based on pivoted QR decompositions which is both efficient and accurate to machine precision. The Julia programming language is used for the assessment and implementations of all discussed algorithms are provided in the open-source software library StableDQMC.jl [http://github.com/crstnbr/StableDQMC.jl].


title: The classical Neumann problem for a class of mixed Hessian equations

abstract: In this paper, we establish global C^2 estimates for a class of mixed Hessian equations with Neumann boundary condition, and obtain the existence theorem of k-admissible solutions for the classical Neumann problem of these mixed Hessian equations.


title: The Brownian Motion in an Ideal Quantum Qas

abstract: A Brownian particle in an ideal quantum gas is considered. The mean square displacement (MSD) is derived. The Bose-Einstein or Fermi-Dirac distribution, other than the Maxwell-Boltzmann distribution, provides a different stochastic force compared with the classical Brownian motion. The MSD, which depends on the thermal wavelength and the density of medium particles, reflects the quantum effect on the Brownian particle explicitly. The result shows that the MSD in an ideal Bose gas is shorter than that in a Fermi gas. The behavior of the quantum Brownian particle recovers the classical Brownian particle as the temperature raises. At low temperatures, the quantum effect becomes obvious. For example, there is a random motion of the Brownian particle due to the fermionic exchange interaction even the temperature is near the absolute zero.


title: Balanced Independent and Dominating Sets on Colored Interval Graphs

abstract: We study two new versions of independent and dominating set problems on vertex-colored interval graphs, namely $f$-Balanced Independent Set ($f$-BIS) and $f$-Balanced Dominating Set ($f$-BDS). Let $G=(V,E)$ be a vertex-colored interval graph with a color assignment function $\gamma \colon V \rightarrow \{1,\ldots,k\}$ that maps all vertices in $G$ onto $k$ colors. A subset of vertices $S\subseteq V$ is called $f$-balanced if $S$ contains $f$ vertices from each color class. In the $f$-BIS and $f$-BDS problems, the objective is to compute an independent set or a dominating set that is $f$-balanced. We show that both problems are NP-complete even on proper interval graphs. For the $f$-BIS problem, we design two FPT algorithms, one parameterized by $(f,k)$ for interval graphs and the other parameterized by the vertex cover number for general graphs. Moreover, for an optimization variant of BIS on interval graphs, we show that a simple greedy approach achieves an approximation ratio of $2$.


title: Machine Learning for Intelligent Optical Networks: A Comprehensive Survey

abstract: With the rapid development of Internet and communication systems, both in services and technologies, communication networks have been suffering increasing complexity. It is imperative to improve intelligence in communication network, and several aspects have been incorporating with Artificial Intelligence (AI) and Machine Learning (ML). Optical network, which plays an important role both in core and access network in communication networks, also faces great challenges of system complexity and the requirement of manual operations. To overcome the current limitations and address the issues of future optical networks, it is essential to deploy more intelligence capability to enable autonomous and exible network operations. ML techniques are proved to have superiority on solving complex problems; and thus recently, ML techniques have been used for many optical network applications. In this paper, a detailed survey of existing applications of ML for intelligent optical networks is presented. The applications of ML are classified in terms of their use cases, which are categorized into optical network control and resource management, and optical networks monitoring and survivability. The use cases are analyzed and compared according to the used ML techniques. Besides, a tutorial for ML applications is provided from the aspects of the introduction of common ML algorithms, paradigms of ML, and motivations of applying ML. Lastly, challenges and possible solutions of ML application in optical networks are also discussed, which intends to inspire future innovations in leveraging ML to build intelligent optical networks.


title: Restricted Color $n$-color Compositions

abstract: Agarwal introduced $n$-color compositions in 2000 and most subsequent research has focused on restricting which parts are allowed. Here we focus instead on restricting allowed colors. After three general results, giving recurrence formulas for the cases of given allowed colors, given prohibited colors, and colors satisfying modular conditions, we consider several more specific conditions, establishing direct formulas and connections to other combinatorial objects. Proofs are combinatorial, mostly using the notion of spotted tilings introduced by the first named author in 2012.


title: Cross Entropy Hyperparameter Optimization for Constrained Problem Hamiltonians Applied to QAOA

abstract: Hybrid quantum-classical algorithms such as the Quantum Approximate Optimization Algorithm (QAOA) are considered as one of the most encouraging approaches for taking advantage of near-term quantum computers in practical applications. Such algorithms are usually implemented in a variational form, combining a classical optimization method with a quantum machine to find good solutions to an optimization problem. The solution quality of QAOA depends to a high degree on the parameters chosen by the classical optimizer at each iteration. However, the solution landscape of those parameters is highly multi-dimensional and contains many low-quality local optima. In this study we apply a Cross-Entropy method to shape this landscape, which allows the classical optimizer to find better parameter more easily and hence results in an improved performance. We empirically demonstrate that this approach can reach a significant better solution quality for the Knapsack Problem.


title: Real time computer generation of three-dimensional point cloud holograms through GPU implementation of compressed sensing Gerchberg-Saxton algorithm

abstract: Phase-only spatial light modulators can be employed to structure laser light in complex three dimensional focusing patterns, with a variety of applications. While spatial light modulators have typical refresh frequencies of tens of Hz, the computation time of three dimensional holograms ranges between a few seconds and a few minutes, therefore limiting the use of the maximum refresh rate of spatial light modulators to either pre-calculated sequences of high quality holograms, or low quality holograms only for real time update. Here, we propose the implementation of a recently developed compressed sensing Gerchberg-Saxton algorithm on a consumer graphical processor allowing the generation of high quality holograms at video rate.


title: Lie symmetry analysis and explicit solutions for the time fractional generalized Burgers-Fisher Equation

abstract: In this article, we study the Lie point symmetries for the time fractional generalized Burgers-Fisher (GBF) equation. While getting an appropriate combination of symmetries, the time fractional partial differential equation has been transformed to nonlinear fractional ordinary differential equations (ODE) using Erdelyi-Kober differential operator. Furthermore, using power series method, we get the exact solution of the nonlinear fractional GBF equation with the arbitrary nonlinearity.


title: Exact solutions of time fractional generalized Burgers-Fisher Equation using generalized Kudryashov method

abstract: In this article, we study the generalised Kudryashov method for the time fractional generalized Burgers-Fisher equation (GBF). Using traveling wave transformation, the time fractional GBF is transformed to nonlinear ordinary differential equation (ODE). Later, in the nonlinear ODE of timefractional GBF, the generalized Kudryashov and power series method is applied to get exact solutions.


title: New Extremal Binary Self-Dual Codes from Block Circulant Matrices and Block Quadratic Residue Circulant Matrices

abstract: In this paper, we construct self-dual codes from a construction that involves both block circulant matrices and block quadratic residue circulant matrices. We provide conditions when this construction can yield self-dual codes. We construct self-dual codes of various lengths over F2 and F2 + uF2. Using extensions, neighbours and sequences of neighbours, we construct many new self-dual codes. In particular, we construct one new self-dual code of length 66 and 51 new self-dual codes of length 68.


title: Microscopic origin of molecule excitation via inelastic electron scattering in scanning tunneling microscope

abstract: The scanning-tunneling-microscope-induced luminescence emerges recently as an incisive tool to measure the molecular properties down to the single-molecule level. The rapid experimental progress is far ahead of the theoretical effort to understand the observed phenomena. Such incompetence leads to a significant difficulty in quantitatively assigning the observed feature of the fluorescence spectrum to the structure and dynamics of a single molecule. This letter is devoted to reveal the microscopic origin of the molecular excitation via inelastic scattering of the tunneling electrons in scanning tunneling microscope. The current theory explains the observed large photon counting asymmetry between the molecular luminescence intensity at positive and negative bias voltage.


title: A space-time relaxation for $L^1$ optimal control problems

abstract: We introduce a vertical type relaxation for optimal control problems which only have $L^1$-coercivity for their controls. Usually such problems feature both concentration and oscillation effects at the same time. We propose relaxing to an associated problem in space-time, where the controls can be considered bounded in $L^\infty$, greatly simplifying any analysis. In this relaxation, concentrations are transformed into vertical parts and oscillations can be dealt with using Young-measures. This technique can be extended to similar problems on infinite-dimensional spaces.


title: The N-vortex Problem on a Riemann Sphere

abstract: This article investigates the dynamical behaviours of the $n$-vortex problem with vorticity $\mathbf{\Gamma}$ on a Riemann sphere $\mathbb{S}^2$ equipped with an arbitrary metric $g$. From perspectives of Riemannian geometry and symplectic geometry, we study the invariant orbits and prove that with some constraints on vorticity $\mathbf{\Gamma}$, the $n$-vortex problem possesses finitely many fixed points and infinitely many periodic orbits for generic $g$. Moreover, we verify the contact structure on hyper-surfaces of the vortex dipole, and exclude the existence of perverse symmetric orbits.


title: A double inequality for completely monotonic degree of a remainder for an asymptotic expansion of the trigamma function

abstract: In the paper, the author presents a double inequality for completely monotonic degree of a remainder for an asymptotic expansion of the trigamma function. This result partially confirms one in a series of conjectures on completely monotonic degrees of remainders of asymptotic expansions for the logarithm of the gamma function and for polygamma functions.


title: Signatures of Hundness in Kagome Metals

abstract: By means of the density functional theory in combination with the dynamical mean-field theory, we tried to examine the electronic structure of hexagonal FeGe, in which the Fe atoms form a quasi-2D layered Kagome lattice. We predict that it is a representative Kagome metal characterized by orbital selective Dirac fermions and extremely flat bands. Furthermore, Fe's 3$d$ electrons are strongly correlated. They exhibit quite apparent signatures of electronic correlation induced by Hund's rule coupling, such as sizable differentiation in band renormalization, non-Fermi-liquid behavior, spin-freezing state, and spin-orbital separation. Thus, FeGe can be regarded as an ideal platform to study the interplay of Kagome physics and Hundness. 5


title: Chaotic distribution of prime numbers and digits of $\pi$

abstract: In the paper the distribution of prime numbers and digits of $\pi$ were presented as chaotic.


title: Disrupting Resilient Criminal Networks through Data Analysis: The case of Sicilian Mafia

abstract: Compared to other types of social networks, criminal networks present hard challenges, due to their strong resilience to disruption, which poses severe hurdles to law-enforcement agencies. Herein, we borrow methods and tools from Social Network Analysis to (i) unveil the structure of Sicilian Mafia gangs, based on two real-world datasets, and (ii) gain insights as to how to efficiently disrupt them. Mafia networks have peculiar features, due to the links distribution and strength, which makes them very different from other social networks, and extremely robust to exogenous perturbations. Analysts are also faced with the difficulty in collecting reliable datasets that accurately describe the gangs' internal structure and their relationships with the external world, which is why earlier studies are largely qualitative, elusive and incomplete. An added value of our work is the generation of two real-world datasets, based on raw data derived from juridical acts, relating to a Mafia organization that operated in Sicily during the first decade of 2000s. We created two different networks, capturing phone calls and physical meetings, respectively. Our network disruption analysis simulated different intervention procedures: (i) arresting one criminal at a time (sequential node removal); and (ii) police raids (node block removal). We measured the effectiveness of each approach through a number of network centrality metrics. We found Betweeness Centrality to be the most effective metric, showing how, by neutralizing only the 5% of the affiliates, network connectivity dropped by 70%. We also identified that, due the peculiar type of interactions in criminal networks (namely, the distribution of the interactions frequency) no significant differences exist between weighted and unweighted network analysis. Our work has significant practical applications for tackling criminal and terrorist networks.


title: Quantizing L\'evy flights

abstract: The Caldeira-Leggett model of quantum Brownian motion is generalized using a generic velocity-dependent coupling. That leads to the description of a set of models able to capture Markovian and non-Markovian versions of Brownian and L\'evy statistics, depending on the functional form of the coupling and on the spectral function of the reservoir. One specific coupling force is found that establishes a connection with L\'evy statistics of cold atoms in \textit{Sisyphus} laser cooling. In the low-velocity limit, this also gives rise to additional inertia of the Brownian particle, reproducing the Abraham-Lorentz equation from first principles for a superohmic bath. Through path-integral quantization in Euclidean time, the environment is integrated out, leaving a set of non-local effective actions. These results further serve as starting points for several numerical calculations, particularly decoherence properties of non-ohmic baths.


title: Abrupt transition between three and two-dimensional quantum turbulence

abstract: We present numerical evidence of a critical-like transition in an out-of-equilibrium mean-field description of a quantum system. By numerically solving the Gross-Pitaevskii equation we show that quantum turbulence displays an abrupt change between three-dimensional (3D) and two-dimensional (2D) behavior. The transition is observed both in quasi-2D flows in cubic domains (controlled by the amplitude of a 3D perturbation to the flow), as well as in flows in thin domains (controlled by the domain aspect ratio) in a configuration that mimics systems realized in laboratory experiments. In one regime the system displays a transfer of the energy towards smaller scales, while in the other the system displays a transfer of the energy towards larger scales and a coherent self-organization of the quantized vortices.


title: On certain finite and infinite sums of inverse tangents

abstract: An identity is proved connecting two finite sums of inverse tangents. This identity is discretized version of Jacobi's imaginary transformation for the modular angle from the theory of elliptic functions. Some other related identities are discussed.


title: On the luminosity-angular distances relation for an expanding universe

abstract: The luminosity-angular distance relation for an expanding universe is given by $D_L=D_A(1+z)^2$. This relation is commonly proven by geometrical considerations from the source point of view assuming an expanding universe. In this note, the same cosmological relation is derived from the observer point of view for the assumed expanding universe.


title: On G-Drazin inverses of Finite Potent Endomorphisms and Arbitrary Square Matrices

abstract: The aim of this work is to extend to finite potent endomorphisms the notion of G-Drazin inverse of a finite square matrix. Accordingly, we determine the structure and the properties of a G-Drazin inverse of a finite potent endomorphism and, as an application, we offer an algorithm to compute the explicit expression of all G-Drazin inverses of a finite square matrix.


title: Two Dimensional Integral Inequalities on Time Scales

abstract: In this paper, we formulate and prove Wendroff's inequalities on time scales. Next, we deduct some of Pachpatte's inequalities.


title: 3 m$\times$3 m heterolithic passive resonant gyroscope with cavity length stabilization

abstract: Large-scale high sensitivity laser gyroscopes have important applications for ground-based and space-based gravitational wave detection. We report on the development of a 3 m$\times$3 m heterolithic passive resonant gyroscope (HUST-1) which is installed on the ground of a cave laboratory. We operate the HUST-1 on different longitudinal cavity modes and the rotation sensitivity reaches $1.6\times10^{-9}$ rad/s/$\rm \sqrt{Hz}$ beyond 1 Hz. The drift of the cavity length is one of the major sensitivity limits for our gyroscope in the low frequency regime. By locking cavity length to an ultra-stable reference laser, we achieve a fractional cavity length stability of $5.6\times10^{-9}$ m$/\rm \sqrt{Hz}$ at 0.1 mHz, a four orders of magnitude improvement over the unconstrained cavity in the low frequency regime. We stabilize the cavity length of a large-scale heterolithic passive resonant gyroscope through active feedback and realize long-term operation. The rotation sensitivity reaches $1.7\times10^{-7}$ rad/s/$\sqrt{\rm{Hz}}$ at 0.1 mHz, a three orders of magnitude improvement, which is no longer limited by the cavity length drift in this frequency range.


title: A Safety Framework for Critical Systems Utilising Deep Neural Networks

abstract: Increasingly sophisticated mathematical modelling processes from Machine Learning are being used to analyse complex data. However, the performance and explainability of these models within practical critical systems requires a rigorous and continuous verification of their safe utilisation. Working towards addressing this challenge, this paper presents a principled novel safety argument framework for critical systems that utilise deep neural networks. The approach allows various forms of predictions, e.g., future reliability of passing some demands, or confidence on a required reliability level. It is supported by a Bayesian analysis using operational data and the recent verification and validation techniques for deep learning. The prediction is conservative -- it starts with partial prior knowledge obtained from lifecycle activities and then determines the worst-case prediction. Open challenges are also identified.


title: On deformations of metric Lie superalgebras

abstract: In this paper we study metric deformations of indecomposable metric Lie superalgebras with dimensions less or equal to 6. We consider formal deformations obtained by even cocycles, because the odd ones can not be used for constructing formal deformations.


title: Ghost Imaging with the Optimal Binary Sampling

abstract: To extract the maximum information about the object from a series of binary samples in ghost imaging applications, we propose and demonstrate a framework for optimizing the performance of ghost imaging with binary sampling to approach the results without binarization. The method is based on maximizing the information content of the signal arm detection, by formulating and solving the appropriate parameter estimation problem - finding the binarization threshold that would yield the reconstructed image with optimal Fisher information properties. Applying the 1-bit quantized Poisson statistics to a ghost-imaging model with pseudo-thermal light, we derive the fundamental limit, i.e., the Cramer-Rao lower bound, as the benchmark for the evaluation of the accuracy of the estimator. Our theoertical model and experimental results suggest that, with the optimal binarization threshold, coincident with the statistical mean of all bucket samples, and large number of measurements, the performance of binary sampling GI can approach that of the ordinary one without binarization.


title: A Spectral Theory of Polynomially Bounded Sequences and Applications to the Asymptotic Behavior of Discrete Systems

abstract: In this paper using a transform defined by the translation operator we introduce the concept of spectrum of sequences that are bounded by $n^\nu$, where $\nu$ is a natural number. We apply this spectral theory to study the asymptotic behavior of solutions of fractional difference equations of the form $\Delta^\alpha x(n)=Tx(n)+y(n)$, $n\in \mathbb{N}$, where $0<\alpha\le 1$. One of the obtained results is an extension of a famous Katznelson-Tzafriri Theorem, saying that if the $\alpha$-resolvent operator $S_\alpha$ satisfies $\sup_{n\in\mathbb{N}} \| S_\alpha (n)\| /n^\nu <\infty$ and for all $z_0\in \{z\in \mathbb{C}: \ |z|=1\}$, but $z_0=1$, the complex function $(z^{1-\alpha}(z-1)^\alpha -T)^{-1}$ \ exists and is holomorphic in a neighborhood of $z_0$, then \begin{align*} \lim_{n\to \infty} \frac{1}{n^\nu} \sum_{k=0}^{\nu+1} \frac{(\nu+1)!}{k!(\nu+1-k)!} (-1)^{\nu+1+k} S_\alpha (n+k) =0. \end{align*} Three concrete examples are also included to illustrate the obtained results.


title: Cycle-Accurate Evaluation of Software-Hardware Co-Design of Decimal Computation in RISC-V Ecosystem

abstract: Software-hardware co-design solutions for decimal computation can provide several Pareto points to development of embedded systems in terms of hardware cost and performance. This paper demonstrates how to accurately evaluate such co-design solutions using RISC-V ecosystem. In a software-hardware co-design solution, a part of solution requires dedicated hardware. In our evaluation framework, we develop new decimal oriented instructions supported by an accelerator. The framework can realize cycle-accurate analysis for performance as well as hardware overhead for co-design solutions for decimal computation. The obtained performance result is compared with an estimation with dummy functions.


title: Pseudo field effects in type II Weyl semimetals: new probes for over tilted cones

abstract: We study the effects of pseudo-magnetic fields on Weyl semimetals with over-tilted Weyl cones, or type II cones. We compare the phenomenology of the resulting pseudo-Landau levels in the type II Weyl semimetal to the known case of type I cones. We predict that due to the nature of the chiral Landau level resulting from a magnetic field, a pseudo-magnetic field, or their combination, the optical conductivity can be utilized to detect a type II phase and deduce the direction of the tilt. Finally, we discuss ways to engineer homogeneous and inhomogeneous type II semimetals via generalizations of known layered constructions in order to create controlled pseudo-magnetic fields and over-tilted cones.


title: Nonsurjective zero product preservers between matrix spaces over an arbitrary field

abstract: A map $\Phi$ between matrices is said to be zero product preserving if $$ \Phi(A)\Phi(B) = 0 \quad \text{whenever}\quad AB = 0. $$ In this paper, we give concrete descriptions of an additive/linear zero product preserver $\Phi: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_r(\mathbb{F})$ between matrix algebras of different dimensions over an arbitrary field $\mathbb{F}$. In particular, we show that if $\Phi$ is linear and preserves zero products then $$ \Phi(A)= S\begin{pmatrix} R_1 \otimes A & 0 \cr 0 & \Phi_0(A)\end{pmatrix} S^{-1}, $$ for some invertible matrices $R_1$ in ${\bf M}_k(\mathbb{F})$, $S$ in ${\bf M}_r(\mathbb{F})$ and a zero product preserving linear map $\Phi_0: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_{r-nk}(\mathbb{F})$ into nilpotent matrices. If $\Phi(I_n)$ is invertible, then $\Phi_0$ is vacuous. In general, the structure of $\Phi_0$ could be quite arbitrary, especially when $\Phi_0({\bf M}_n(\mathbb{F}))$ has trivial multiplication, i.e., $\Phi_0(X)\Phi_0(Y) = 0$ for all $X, Y$ in ${\bf M}_n(\mathbb{F})$. We show that if $\Phi_0(I_n) = 0$ or $r-nk \le n+1$, then $\Phi_0({\bf M}_n(\mathbb{F}))$ indeed has trivial multiplication. More generally, we characterize subspaces ${\bf V}$ of square matrices satisfying $XY = 0$ for any $X, Y \in {\bf V}$. Similar results for double zero product preserving maps are obtained.


title: Positivity bounds on reconstructed Horndeski models

abstract: Positivity bounds provide conditions that a consistent UV-completion exists for a quantum field theory. We examine their application to Horndeski gravity models reconstructed from the effective field theory (EFT) of dark energy. This enables us to assess whether particular phenomenological parameterizations of the EFT functions reconstruct theories that respect or violate the positivity bounds. We find that commonly adopted EFT parametrizations, cast in terms of the dark energy density or power laws of the scale factor, only satisfy the positivity bounds in non-trivial regions of the parameter space. We then examine parameterizations of the inherently stable EFT basis, constructed to avoid gradient and ghost instabilities by default. In stark contrast, in this basis the positivity bounds either only provide constraints in a-priori unrealistic regions of the parameter space or do not provide any constraints on parameter values at all. The application of positivity bounds to common parametrizations of the standard EFT functions can therefore lead to artificial conclusions that the region of viable Horndeski modifications of gravity is highly constrained. Our results provide a strong motivation, in addition to the default avoidance of theoretical instabilities, for instead adopting parametrizations of the inherently stable EFT basis when testing dark energy and modified gravity models with forthcoming cosmological survey data.


title: Photo-induced electron pairing in a driven cavity

abstract: We demonstrate how virtual scattering of laser photons inside a cavity via two-photon processes can induce controllable long-range electron interactions in two-dimensional materials. We show that laser light that is red(blue)-detuned from the cavity yields attractive(repulsive) interactions, whose strength is proportional to the laser intensity. Furthermore, we find that the interactions are not screened effectively except at very low frequencies. For realistic cavity parameters, laser-induced heating of the electrons by inelastic photon scattering is suppressed and coherent electron interactions dominate. When the interactions are attractive, they cause an instability in the Cooper channel at a temperature proportional to the square root of the driving intensity. Our results provide a novel route for engineering electron interactions in a wide range of two-dimensional materials including AB-stacked bilayer graphene and the conducting interface between LaAlO3 and SrTiO3.


title: How the Brain might use Division

abstract: One of the most fundamental questions in Biology or Artificial Intelligence is how the human brain performs mathematical functions. How does a neural architecture that may organise itself mostly through statistics, know what to do? One possibility is to extract the problem to something more abstract. This becomes clear when thinking about how the brain handles large numbers, for example to the power of something, when simply summing to an answer is not feasible. In this paper, the author suggests that the maths question can be answered more easily if the problem is changed into one of symbol manipulation and not just number counting. If symbols can be compared and manipulated, maybe without understanding completely what they are, then the mathematical operations become relative and some of them might even be rote learned. The proposed system may also be suggested as an alternative to the traditional computer binary system. Any of the actual maths still breaks down into binary operations, while a more symbolic level above that can manipulate the numbers and reduce the problem size, thus making the binary operations simpler. An interesting result of looking at this is the possibility of a new fractal equation resulting from division, that can be used as a measure of good fit and would help the brain decide how to solve something through self-replacement and a comparison with this good fit.


title: Angelic way for modular Lie algebras toward Kim's conjecture

abstract: We consider modular Lie algebras over algebraically closed field of characteristic $p \geq 7$. This paper purports to prove the conjecture that classical modular Lie algebras,in particular of $C_l$ and of $A_l$ type, should be a Park's Lie algebra, and so a Hypo- Lie algebra.


title: A Simulation of the Resilience of Cultural Diversity in the Face of Large-Scale Events

abstract: Resilience and vulnerability of societies to large-scale events such as wars, climate catastrophes, immigration waves, and institutional collapses is not well-understood. Some societies prove more resilient, while others collapse. Diversity has been proposed in the literature as a potential cause of resilience in areas such as ecology, computer science and biology, and could also be a potential factor in sociocultural contexts. Using CulSim (Ulloa 2016), a cultural simulator that enables the study of cultural complexity and diversity based on Axelrod's (1997b) model of local convergence and global polarization and its extension including institutions (Ulloa et al 2016), the resilience of diverse societies and monocultural societies to nine different types of events is compared, while varying event sizes and distributions. Results show a strong positive relation between cultural diversity and resilience, in particular for events such as foreign invasions and settlements, and institutional damage and conversion.


title: Neumann problem for a class of fully nonlinear equations

abstract: In this paper, we establish a priori estimates for a class of fully nonlinear equations with Neumann boundary conditions. By the continuity method, we have obtained the existence theorem for the Neumann problem.


title: Geostatistical Modeling and Prediction Using Mixed-Precision Tile Cholesky Factorization

abstract: Geostatistics represents one of the most challenging classes of scientific applications due to the desire to incorporate an ever increasing number of geospatial locations to accurately model and predict environmental phenomena. For example, the evaluation of the Gaussian log-likelihood function, which constitutes the main computational phase, involves solving systems of linear equations with a large dense symmetric and positive definite covariance matrix. Cholesky, the standard algorithm, requires O(n^3) floating point operators and has an O(n^2) memory footprint, where n is the number of geographical locations. Here, we present a mixed-precision tile algorithm to accelerate the Cholesky factorization during the log-likelihood function evaluation. Under an appropriate ordering, it operates with double-precision arithmetic on tiles around the diagonal, while reducing to single-precision arithmetic for tiles sufficiently far off. This translates into an improvement of the performance without any deterioration of the numerical accuracy of the application. We rely on the StarPU dynamic runtime system to schedule the tasks and to overlap them with data movement. To assess the performance and the accuracy of the proposed mixed-precision algorithm, we use synthetic and real datasets on various shared and distributed-memory systems possibly equipped with hardware accelerators. We compare our mixed-precision Cholesky factorization against the double-precision reference implementation as well as an independent block approximation method. We obtain an average of 1.6X performance speedup on massively parallel architectures while maintaining the accuracy necessary for modeling and prediction.


title: Meta-learning curiosity algorithms

abstract: We hypothesize that curiosity is a mechanism found by evolution that encourages meaningful exploration early in an agent's life in order to expose it to experiences that enable it to obtain high rewards over the course of its lifetime. We formulate the problem of generating curious behavior as one of meta-learning: an outer loop will search over a space of curiosity mechanisms that dynamically adapt the agent's reward signal, and an inner loop will perform standard reinforcement learning using the adapted reward signal. However, current meta-RL methods based on transferring neural network weights have only generalized between very similar tasks. To broaden the generalization, we instead propose to meta-learn algorithms: pieces of code similar to those designed by humans in ML papers. Our rich language of programs combines neural networks with other building blocks such as buffers, nearest-neighbor modules and custom loss functions. We demonstrate the effectiveness of the approach empirically, finding two novel curiosity algorithms that perform on par or better than human-designed published curiosity algorithms in domains as disparate as grid navigation with image inputs, acrobot, lunar lander, ant and hopper.


title: Training-Set Distillation for Real-Time UAV Object Tracking

abstract: Correlation filter (CF) has recently exhibited promising performance in visual object tracking for unmanned aerial vehicle (UAV). Such online learning method heavily depends on the quality of the training-set, yet complicated aerial scenarios like occlusion or out of view can reduce its reliability. In this work, a novel time slot-based distillation approach is proposed to efficiently and effectively optimize the training-set's quality on the fly. A cooperative energy minimization function is established to score the historical samples adaptively. To accelerate the scoring process, frames with high confident tracking results are employed as the keyframes to divide the tracking process into multiple time slots. After the establishment of a new slot, the weighted fusion of the previous samples generates one key-sample, in order to reduce the number of samples to be scored. Besides, when the current time slot exceeds the maximum frame number, which can be scored, the sample with the lowest score will be discarded. Consequently, the training-set can be efficiently and reliably distilled. Comprehensive tests on two well-known UAV benchmarks prove the effectiveness of our method with real-time speed on a single CPU.


title: The pseudoatomic orbital basis: electronic accuracy and soft-mode distortions in ABO$_3$ perovskites

abstract: The perovskite oxides are known to be susceptible to structural distortions over a long wavelength when compared to their parent cubic structures. From an ab initio simulation perspective, this requires accurate calculations including many thousands of atoms; a task well beyond the remit of traditional plane wave-based density functional theory (DFT). We suggest that this void can be filled using the methodology implemented in the large-scale DFT code, CONQUEST, using a local pseudoatomic orbital (PAO) basis. Whilst this basis has been tested before for some structural and energetic properties, none have treated the most fundamental quantity to the theory, the charge density $n(\mathbf{r})$ itself. An accurate description of $n(\mathbf{r})$ is vital to the perovskite oxides due to the crucial role played by short-range restoring forces (characterised by bond covalency) and long range coulomb forces as suggested by the soft-mode theory of Cochran and Anderson. We find that modestly sized basis sets of PAOs can reproduce the plane-wave charge density to a total integrated error of better than 0.5% and provide Bader partitioned ionic charges, volumes and average charge densities to similar degree of accuracy. Further, the multi-mode antiferroelectric distortion of PbZrO$_3$ and its associated energetics are reproduced by better than 99% when compared to plane-waves. This work suggests that electronic structure calculations using efficient and compact basis sets of pseudoatomic orbitals can achieve the same accuracy as high cutoff energy plane-wave calculations. When paired with the CONQUEST code, calculations with high electronic and structural accuracy can now be performed on many thousands of atoms, even on systems as delicate as the perovskite oxides.


title: ENSEI: Efficient Secure Inference via Frequency-Domain Homomorphic Convolution for Privacy-Preserving Visual Recognition

abstract: In this work, we propose ENSEI, a secure inference (SI) framework based on the frequency-domain secure convolution (FDSC) protocol for the efficient execution of privacy-preserving visual recognition. Our observation is that, under the combination of homomorphic encryption and secret sharing, homomorphic convolution can be obliviously carried out in the frequency domain, significantly simplifying the related computations. We provide protocol designs and parameter derivations for number-theoretic transform (NTT) based FDSC. In the experiment, we thoroughly study the accuracy-efficiency trade-offs between time- and frequency-domain homomorphic convolution. With ENSEI, compared to the best known works, we achieve 5--11x online time reduction, up to 33x setup time reduction, and up to 10x reduction in the overall inference time. A further 33% of bandwidth reductions can be obtained on binary neural networks with only 1% of accuracy degradation on the CIFAR-10 dataset.


title: A new approximation of the Height process of a CSBP

abstract: We code Galton-Walton trees by a continuous height process, in order to give a precise meaning to the convergence of forests of trees. This allows us to establish the convergence of the forest of genealogical trees of the branching process of a large population towards the genealogical trees of the limiting continuous state branching process (CSBP). The approximation considered here is new, compared to that which has been studied in Etienne Pardoux.


title: Fairness by Explicability and Adversarial SHAP Learning

abstract: The ability to understand and trust the fairness of model predictions, particularly when considering the outcomes of unprivileged groups, is critical to the deployment and adoption of machine learning systems. SHAP values provide a unified framework for interpreting model predictions and feature attribution but do not address the problem of fairness directly. In this work, we propose a new definition of fairness that emphasises the role of an external auditor and model explicability. To satisfy this definition, we develop a framework for mitigating model bias using regularizations constructed from the SHAP values of an adversarial surrogate model. We focus on the binary classification task with a single unprivileged group and link our fairness explicability constraints to classical statistical fairness metrics. We demonstrate our approaches using gradient and adaptive boosting on: a synthetic dataset, the UCI Adult (Census) dataset and a real-world credit scoring dataset. The models produced were fairer and performant.


title: A new method for faster and more accurate inference of species associations from big community data

abstract: 1. Joint Species Distribution models (JSDMs) explain spatial variation in community composition by contributions of the environment, biotic associations, and possibly spatially structured residual covariance. They show great promise as a general analytical framework for community ecology and macroecology, but current JSDMs, even when approximated by latent variables, scale poorly on large datasets, limiting their usefulness for currently emerging big (e.g., metabarcoding and metagenomics) community datasets. 2. Here, we present a novel, more scalable JSDM (sjSDM) that circumvents the need to use latent variables by using a Monte-Carlo integration of the joint JSDM likelihood and allows flexible elastic net regularization on all model components. We implemented sjSDM in PyTorch, a modern machine learning framework that can make use of CPU and GPU calculations. Using simulated communities with known species-species associations and different number of species and sites, we compare sjSDM with state-of-the-art JSDM implementations to determine computational runtimes and accuracy of the inferred species-species and species-environmental associations. 3. We find that sjSDM is orders of magnitude faster than existing JSDM algorithms (even when run on the CPU) and can be scaled to very large datasets. Despite the dramatically improved speed, sjSDM produces more accurate estimates of species association structures than alternative JSDM implementations. We demonstrate the applicability of sjSDM to big community data using eDNA case study with thousands of fungi operational taxonomic units (OTU). 4. Our sjSDM approach makes the analysis of JSDMs to large community datasets with hundreds or thousands of species possible, substantially extending the applicability of JSDMs in ecology. We provide our method in an R package to facilitate its applicability for practical data analysis.


title: Monotone Arc Diagrams with few Biarcs

abstract: We show that every planar graph can be represented by a monotone topological 2-page book embedding where at most 15n/16 (of potentially 3n-6) edges cross the spine exactly once.


title: An infinite stratum of representability; some cylindric algebras are more representable than others

abstract: Let $2<n<m\leq \omega$. Let $\CA_n$ denote the class of cylindric algebras of dimension $n$ and $\RCA_n$ denote the class of representable $\CA_n$s. We say that $\A\in \RCA_n$ is representable up to $m$ if $\Cm\At\A$ has an $m$-square representation. An $m$ square represenation is locally relativized represenation that is classical locally only on so called $m$-squares'. Roughly if we zoom in by a movable window to an $m$ square representation, there will become a point determinded and depending on $m$ where we mistake the $m$ square-representation for a genuine classical one. When we zoom out the non-representable part gets more exposed. For $2<n<m<l\leq \omega$, an $l$ square represenation is $m$-square; the converse however is not true. The variety $\RCA_n$ is a limiting case coinciding with $\CA_n$s having $\omega$-square representations. Let $\RCA_n^m$ be the class of algebras representable up to $m$. We show that $\RCA_n^{m+1}\subsetneq \bold \RCA_n^m$ for $m\geq n+2$.


title: Online Meta-Critic Learning for Off-Policy Actor-Critic Methods

abstract: Off-Policy Actor-Critic (Off-PAC) methods have proven successful in a variety of continuous control tasks. Normally, the critic's action-value function is updated using temporal-difference, and the critic in turn provides a loss for the actor that trains it to take actions with higher expected return. In this paper, we introduce a novel and flexible meta-critic that observes the learning process and meta-learns an additional loss for the actor that accelerates and improves actor-critic learning. Compared to the vanilla critic, the meta-critic network is explicitly trained to accelerate the learning process; and compared to existing meta-learning algorithms, meta-critic is rapidly learned online for a single task, rather than slowly over a family of tasks. Crucially, our meta-critic framework is designed for off-policy based learners, which currently provide state-of-the-art reinforcement learning sample efficiency. We demonstrate that online meta-critic learning leads to improvements in avariety of continuous control environments when combined with contemporary Off-PAC methods DDPG, TD3 and the state-of-the-art SAC.


title: On the Laguerre fractional integro-differentiation

abstract: A fractional power interpretation of the Laguerre derivative $(DxD)^\alpha,\ D\equiv {d\over dx} $ is discussed. The corresponding fractional integrals are introduced. Mapping and semigroup properties, integral representations and Mellin transform analysis are presented. A relationship with the Riemann-Liouville fractional integrals is demonstrated. Finally, a second kind integral equation of the Volterra-type, involving the Laguerre fractional integral is solved in terms of the double hypergeometric type series as the resolvent kernel.


title: On Tracking Java Methods with Git Mechanisms

abstract: Method-level historical information is useful in research on mining software repositories such as fault-prone module detection or evolutionary coupling identification. An existing technique named Historage converts a Git repository of a Java project to a finer-grained one. In a finer-grained repository, each Java method exists as a single file. Treating Java methods as files has an advantage, which is that Java methods can be tracked with Git mechanisms. The biggest benefit of tracking methods with Git mechanisms is that it can easily connect with any other tools and techniques build on Git infrastructure. However, Historage's tracking has an issue of accuracy, especially on small methods. More concretely, in the case that a small method is renamed or moved to another class, Historage has a limited capability to track the method. In this paper, we propose a new technique, FinerGit, to improve the trackability of Java methods with Git mechanisms. We implement FinerGit as a system and apply it to 182 open source software projects, which include 1,768K methods in total. The experimental results show that our tool has a higher capability of tracking methods in the case that methods are renamed or moved to other classes.


title: Study of slowly rotating CP stars observed with TESS

abstract: Since the end of 2018, the Transiting Exoplanet Survey Satellite (TESS) provides high-quality space data on stellar photometry to the astronomical community. We present the results of an analysis of TESS photometric data for known slowly rotating magnetic chemically peculiar (mCP) stars. In general, mCP stars show an inhomogeneous distribution of elements in their stellar atmospheres that leads to spectroscopic (line profile) and photometric (light curve) variations over the rotation period. In the frame of the oblique magnetic rotator (OMR) model, patches of enhanced chemical abundance on the stellar surface reveal the frequency of stellar rotation. Using this approach, we have compiled a list of slowly rotating mCP stars with rotation periods longer than two days from the analysis of the photometric data provided by TESS for the first eight sectors of observations. Slowly rotating mCP stars usually possess a hydrodynamically stable stellar atmosphere where a magnetic field can amplify the process of atomic diffusion and leads to the horizontal and vertical stratification of chemical abundances.


title: Applications of weak transport theory

abstract: Motivated by applications to geometric inequalities, Gozlan, Roberto, Samson, and Tetali introduced a transport problem for `weak' cost functionals. Basic results of optimal transport theory can be extended to this setup in remarkable generality. In this article we collect several problems from different areas that can be recast in the framework of weak transport theory, namely: the Schr\"odinger problem, the Brenier-Strassen theorem, optimal mechanism design, linear transfers and semimartingale transport. Our viewpoint yields a unified approach and often allows to strengthen the original results.


title: Revisiting Neutrino Self-Interaction Constraints from $Z$ and $\tau$ decays

abstract: Given the elusive nature of neutrinos, their self-interaction is particularly difficult to probe. Nevertheless, upper limits on the strength of such an interaction can be set by using data from terrestrial experiments. In this work we focus on additional contributions to the invisible decay width of $Z$ boson as well as the leptonic $\tau$ decay width in the presence of a neutrino coupling to a relatively light scalar. For invisible $Z$ decays we derive a complete set of constraints by considering both three-body bremsstrahlung as well as the loop correction to two-body decays. While the latter is usually regarded to give rather weak limits we find that through the interference with the Standard Model diagram it actually yields a competitive constraint. As far as leptonic decays of $\tau$ are concerned, we derive a first limit on neutrino self-interactions that is valid across the whole mass range of a light scalar mediator. Our bounds on the neutrino self-interaction are leading for $m_\phi \gtrsim 300$ MeV and interactions that prefer $\nu_\tau$. Bounds on such $\nu$-philic scalar are particularly relevant in light of the recently proposed alleviation of the Hubble tension in the presence of such couplings.


title: Existence results for super-Liouville equations on the sphere via bifurcation theory

abstract: We are concerned with super-Liouville equations on the two sphere, which have variational structure with a strongly-indefinite functional. We prove the existence of non-trivial solutions by combining the use of Nehari manifolds, balancing conditions and bifurcation theory.


title: Noisy distributed sensing in the Bayesian regime

abstract: We consider non-local sensing of scalar signals with specific spatial dependence in the Bayesian regime. We design schemes that allow one to achieve optimal scaling and are immune to noise sources with a different spatial dependence than the signal. This is achieved by using a sensor array of spatially separated sensors and constructing a multi-dimensional decoherence free subspace. While in the Fisher regime with sharp prior and multiple measurements only the spectral range $\Delta$ is important, in single-shot sensing with broad prior the number of available energy levels $L$ is crucial. We study the influence of $L$ and $\Delta$ also in intermediate scenarios, and show that these quantities can be optimized separately in our setting. This provides us with a flexible scheme that can be adapted to different situations, and is by construction insensitive to given noise sources.


title: Dynamics of Chiral Cosmology

abstract: We perform a detailed analysis for the dynamics of Chiral cosmology in a spatially flat Friedmann-Lema\^{\i}tre-Robertson-Walker universe with a mixed potential term. The stationary points are categorized in four families. Previous results in the literature are recovered while new phases in the cosmological evolution are found. From our analysis we find nine different cosmological solutions, the eight describe scaling solutions, where the one is that of a pressureless fluid, while only one de Sitter solution is recovered.


title: Temporally resolved LEIS measurements of Cr segregation after preferential sputtering of WCrY alloy

abstract: The dynamic behaviour of thermally driven segregation of Cr to the surface of WCrY smart alloy is studied with low energy ion scattering (LEIS). Sputtering the WCrY sample with 500 eV D$_2^+$ ions at room temperature results in preferential removal of the lighter alloy constituents and causes an almost pure W surface layer. At elevated temperatures above 700 K the segregation of Cr atoms towards the surface sets in and prevents the formation of a pure W layer. The simultaneous heating and sputtering of the sample leads to a surface state which reflects the balance between sputter removal and segregation flux, and deviates from the equilibrium due to thermally driven segregation. Stopping the sputter ion beam allows the system to relax and develop toward the segregation equilibrium. The time constants for the temporal changes of W and Cr surface coverage are obtained from a series of LEIS measurements. The segregation enthalpy is determined from the time constants obtained for various sample temperatures.


title: Optical potentials, retarded Green's functions and nonorthogonality

abstract: An approach is outline to constructing an optical potential that includes the effects of antisymmetry and target recoil. it is based on the retarded Green's function, which could make it a better starting point for applications to direct nuclear reactions, particularly when extended to coupled channels. Its form retains a simple connection to folding potentials, even in the presence of three-body forces.


title: Thermal charge carrier driven noise in transmissive semiconductor optics

abstract: Several sources of noise limit the sensitivity of current gravitational wave detectors. Currently, dominant noise sources include quantum noise and thermal Brownian noise, but future detectors will also be limited by other thermal noise channels. In this paper we study a thermal noise source which is caused by spatial charge carrier density variations in semiconductor materials. We provide an analytical model for the understanding of charge carrier fluctuations under the presence of screening effects and show that charge carrier noise will not be a limiting noise source for third generation gravitational wave detectors.


title: Evolution and universality of Two-stage Kondo effect in single manganese phthalocyanine molecule transistors

abstract: Kondo effect offers an important paradigm to understand strong correlated many-body physics. Although under intensive study, some of important properties of Kondo effect, in systems where both itinerant coupling and localized coupling play significant roles, are still elusive. Here we report evolution and universality of two stage Kondo effect, the simplest form where both couplings are important using single molecule transistor devices incorporating Manganese phthalocyanine molecules. Kondo temperature T* of two-stage Kondo effect evolves linearly against effective interaction of involved two spins. Observed Kondo resonance shows universal quadratic dependence with all adjustable parameters: temperature, magnetic field and biased voltages. The difference in nonequilibrium conductance of two stage Kondo effect to spin 1/2 Kondo effect is also identified. Messages learned in this study fill in directive experimental evidence of evolution of two-stage Kondo resonance near quantum phase transition point, and help in understanding sophisticated molecular electron spectroscopy in strong correlation regime.


title: Numerical ranges encircled by analytic curves

abstract: Let $D$ be a bounded convex domain in $\mathbb{C}$ with a regular analytic boundary. Suppose that the numerical range $W(A)$ of a bounded linear operator $A$ is contained in $\overline{D}$. If $\overline{W(A)}$ intersects the boundary $\partial D$ at infinitely many points while the essential numerical range $W_\text{ess}(A)$ does not intersect $\partial D$, then $W(A) = \overline{D}$. This generalizes some infinite dimensional analogues of a result of Anderson.


title: Open-loop and feedback Nash equilibrium in scalar linear-state differential games with impulse control

abstract: We consider a two-player linear-state differential game, where one player intervenes continuously in the game, while the other implements an impulse control. When the impulse instants are exogenous, we obtain the classical result in linear-state differential games that open-loop and feedback Nash equilibria coincide. When the impulse instants are endogenous, we show that this result no longer holds. In particular, the two equilibria are different. We show that the impulse level is a constant in both equilibria. More importantly, in the open-loop case, we show that the equilibrium number of impulses is at most one, while there can be at most two impulses in the feedback case.


title: A Generalized discrete Riesz transforms

abstract: In this paper, we introduce a discrete Riesz transforms associated with the non-symmetric trigonometric Heckman-Opdam polynomials of type $A_1$. We prove that they can be extended to a bounded operators on $\ell^p(\mathbb{Z})$, $1<p<\infty$.


title: Cell cycle heritability and localization phase transition in growing populations

abstract: The cell cycle duration is a variable cellular phenotype that underlies long-term population growth and age structures. By analyzing the stationary solutions of a branching process with heritable cell division times, we demonstrate existence of a phase transition, which can be continuous or first-order, by which a non-zero fraction of the population becomes localized at a minimal division time. Just below the transition, we demonstrate coexistence of localized and delocalized age-structure phases, and power law decay of correlation functions. Above it, we observe self-synchronization of cell cycles, collective divisions, and slow 'aging' of population growth rates.


title: Non-Universal Fluctuations of the Empirical Measure for Isotropic Stationary Fields on $\mathbb{S}^2 \times \mathbb{R}$

abstract: In this paper, we consider isotropic and stationary real Gaussian random fields defined on $\mathbb{S}^2\times\mathbb{R}$ and we investigate the asymptotic behavior, as $T\rightarrow +\infty$, of the empirical measure (excursion area) in $\mathbb{S}^2\times\mathbb{R}$ at any threshold, covering both cases when the field exhibits short and long memory, i.e. integrable and non-integrable temporal covariance. It turns out that the limiting distribution is not universal, depending both on the memory parameters and the threshold. In particular, in the long memory case a form of Berry's cancellation phenomenon occurs at zero-level, inducing phase transitions for both variance rates and limiting laws.


title: Coding schemes and Applications for Weather Radars

abstract: In this paper, we describe the evolution of a pair of polyphase coded waveform for use in second trip suppression in weather radar. The polyphase codes were designed and tested on NASA weather radar. The NASA dual-frequency, dual-polarization Doppler radar (D3R) was developed primarily as a ground validation tool for the GPM satellite dual-frequency radar. Recently, the D3R radar was upgraded with new versions of digital receiver hardware and firmware, which supports larger filter lengths and multiple phase coded waveforms, and also newer IF sub-systems. This has enhanced the capabilities of radar manifolds.


title: Majorization Minimization Methods for Distributed Pose Graph Optimization with Convergence Guarantees

abstract: In this paper, we consider the problem of distributed pose graph optimization (PGO) that has extensive applications in multi-robot simultaneous localization and mapping (SLAM). We propose majorization minimization methods to distributed PGO and show that our proposed methods are guaranteed to converge to first-order critical points under mild conditions. Furthermore, since our proposed methods rely a proximal operator of distributed PGO, the convergence rate can be significantly accelerated with Nesterov's method, and more importantly, the acceleration induces no compromise of theoretical guarantees. In addition, we also present accelerated majorization minimization methods to the distributed chordal initialization that have a quadratic convergence, which can be used to compute an initial guess for distributed PGO. The efficacy of this work is validated through applications on a number of 2D and 3D SLAM datasets and comparisons with existing state-of-the-art methods, which indicates that our proposed methods have faster convergence and result in better solutions to distributed PGO.


title: Atmospheric compositions and observability of nitrogen dominated ultra-short period super-Earths

abstract: We explore the chemistry and observability of nitrogen dominated atmospheres for ultra-short-period super-Earths. We base the assumption, that super-Earths could have nitrogen filled atmospheres, on observations of 55 Cnc e that favour a scenario with a high-mean-molecular-weight atmosphere. We take Titan's elemental budget as our starting point and using chemical kinetics compute a large range of possible compositions for a hot super-Earth. We use analytical temperature profiles and explore a parameter space spanning orders of magnitude in C/O \& N/O ratios, while always keeping nitrogen the dominant component. We generate synthetic transmission and emission spectra and assess their potential observability with the future James Webb Space Telescope and ARIEL. Our results suggest that HCN is a strong indicator of a high C/O ratio, which is similar to what is found for H-dominated atmospheres. We find that these worlds are likely to possess C/O > 1.0, and that HCN, CN, CO should be the primary molecules to be searched for in thermal emission. For lower temperatures (T < 1500 K), we additionally find NH3 in high N/O ratio cases, and C2H4, CH4 in low N/O ratio cases to be strong absorbers. Depletion of hydrogen in such atmospheres would make CN, CO and NO exceptionally prominent molecules to look for in the 0.6 - 5.0 $\mu$m range. Our models show that the upcoming JWST and ARIEL missions will be able to distinguish atmospheric compositions of ultra-short period super-Earths with unprecedented confidence.


title: New stochastic highway capacity estimation method and why product limit method is unsuitable

abstract: Kaplan-Meier estimate, commonly known as product limit method (PLM), and maximum likelihood estimate (MLE) methods in general are often cited as means of stochastic highway capacity estimation. This article discusses their unsuitability for such application as properties of traffic flow do not meet the assumptions for use of the methods. They assume the observed subject has a history which it went through and did not fail. However, due to its nature, each traffic flow measurement behaves as a separate subject which did not go through all the lower levels of intensity (did not "age"). An alternative method is proposed. It fits the resulting cumulative frequency of breakdowns with respect to the traffic flow intensity leading to the breakdown instead of directly estimating the underlying probability distribution of capacity. Analyses of accuracy and sensitivity to data quantity and censoring rate of the new method are provided along with comparison to the PLM. The results prove unsuitability of the PLM and MLE methods in general. The new method is then used in a case study which compares capacity of a work-zone with and without a traffic flow speed harmonisation system installed. The results confirm positive effect of harmonisation on capacity.


title: Bounding the number of classes of a finite group in terms of a prime

abstract: H\'ethelyi and K\"ulshammer showed that the number of conjugacy classes $k(G)$ of any solvable finite group $G$ whose order is divisible by the square of a prime $p$ is at least $(49p+1)/60$. Here an asymptotic generalization of this result is established. It is proved that there exists a constant $c>0$ such that for any finite group $G$ whose order is divisible by the square of a prime $p$ we have $k(G) \geq cp$.


title: On the feasibility of automated prediction of bug and non-bug issues

abstract: Context: Issue tracking systems are used to track and describe tasks in the development process, e.g., requested feature improvements or reported bugs. However, past research has shown that the reported issue types often do not match the description of the issue. Objective: We want to understand the overall maturity of the state of the art of issue type prediction with the goal to predict if issues are bugs and evaluate if we can improve existing models by incorporating manually specified knowledge about issues. Method: We train different models for the title and description of the issue to account for the difference in structure between these fields, e.g., the length. Moreover, we manually detect issues whose description contains a null pointer exception, as these are strong indicators that issues are bugs. Results: Our approach performs best overall, but not significantly different from an approach from the literature based on the fastText classifier from Facebook AI Research. The small improvements in prediction performance are due to structural information about the issues we used. We found that using information about the content of issues in form of null pointer exceptions is not useful. We demonstrate the usefulness of issue type prediction through the example of labelling bugfixing commits. Conclusions: Issue type prediction can be a useful tool if the use case allows either for a certain amount of missed bug reports or the prediction of too many issues as bug is acceptable.


title: A computational weighted finite difference method for American and barrier options in subdiffusive Black-Scholes model

abstract: Subdiffusion is a well established phenomenon in physics. In this paper we apply the subdiffusive dynamics to analyze financial markets. We focus on the financial aspect of time fractional diffusion model with moving boundary i.e. American and barrier option pricing in the subdiffusive Black-Scholes (B-S) model. Two computational methods for valuing American options in the considered model are proposed - the weighted finite difference (FD) and the Longstaff-Schwartz method. In the article it is also shown how to valuate numerically wide range of barrier options using the FD approach.


title: O-plane couplings at order $\alpha'^2$: one R-R field strength

abstract: It is known that the anomalous Chern-Simons (CS) coupling of O$_p$-plane is not consistent with the T-duality transformations. Compatibility of this coupling with the T-duality requires the inclusion of couplings involving one R-R field strength. In this paper we find such couplings at order $\alpha'^2$. By requiring the R-R and NS-NS gauge invariances, we first find all independent couplings at order $\alpha'^2$. There are $1,\, 6,\,28,\,20,\, 19,\, 2$ couplings corresponding to the R-R field strengths $F^{(p-4)}$, $\,F^{(p-2)}$, $\,F^{(p)}$, $\,F^{(p+2)}$, $\,F^{(p+4)}$ and $F^{(p+6)}$, respectively. We then impose the T-duality constraint on these couplings and on the CS coupling $C^{(p-3)}\wedge R\wedge R$ at order $\alpha'^2$ to fix their corresponding coefficients. The T-duality constraint fixes all coefficients in terms of the CS coefficient. They are fully consistent with the partial couplings that have been already found in the literature by the S-matrix method.


title: Elliptic problems with rough boundary data in generalized Sobolev spaces

abstract: We investigate regular elliptic boundary-value problems in bounded domains and show the Fredholm property for the related operators in an extended scale formed by inner product Sobolev spaces (of arbitrary real orders) and corresponding interpolation Hilbert spaces. In particular, we can deal with boundary data with arbitrary low regularity. In addition, we show interpolation properties for the extended scale, embedding results, and global and local a priori estimates for solutions to the problems under investigation. The results are applied to elliptic problems with homogeneous right-hand side and to elliptic problems with rough boundary data in Nikoskii spaces, which allows us to treat some cases of white noise on the boundary.


title: Evaluating Abstract Asynchronous Schwarz solvers on GPUs

abstract: With the commencement of the exascale computing era, we realize that the majority of the leadership supercomputers are heterogeneous and massively parallel even on a single node with multiple co-processors such as GPUs and multiple cores on each node. For example, ORNLs Summit accumulates six NVIDIA Tesla V100s and 42 core IBM Power9s on each node. Synchronizing across all these compute resources in a single node or even across multiple nodes is prohibitively expensive. Hence it is necessary to develop and study asynchronous algorithms that circumvent this issue of bulk-synchronous computing for massive parallelism. In this study, we examine the asynchronous version of the abstract Restricted Additive Schwarz method as a solver where we do not explicitly synchronize, but allow for communication of the data between the sub-domains to be completely asynchronous thereby removing the bulk synchronous nature of the algorithm. We accomplish this by using the onesided RMA functions of the MPI standard. We study the benefits of using such an asynchronous solver over its synchronous counterpart on both multi-core architectures and on multiple GPUs. We also study the communication patterns and local solvers and their effect on the global solver. Finally, we show that this concept can render attractive runtime benefits over the synchronous counterparts.


title: Privacy-Preserving Adversarial Network (PPAN) for Continuous non-Gaussian Attributes

abstract: A privacy-preserving adversarial network (PPAN) was recently proposed as an information-theoretical framework to address the issue of privacy in data sharing. The main idea of this model was using mutual information as the privacy measure and adversarial training of two deep neural networks, one as the mechanism and another as the adversary. The performance of the PPAN model for the discrete synthetic data, MNIST handwritten digits, and continuous Gaussian data was evaluated compared to the analytically optimal trade-off. In this study, we evaluate the PPAN model for continuous non-Gaussian data where lower and upper bounds of the privacy-preserving problem are used. These bounds include the Kraskov (KSG) estimation of entropy and mutual information that is based on k-th nearest neighbor. In addition to the synthetic data sets, a practical case for hiding the actual electricity consumption from smart meter readings is examined. The results show that for continuous non-Gaussian data, the PPAN model performs within the determined optimal ranges and close to the lower bound.


title: Recovering Brownian and jump parts from high-frequency observations of a L\'evy process

abstract: We introduce two general non-parametric methods for recovering paths of the Brownian and jump components from high-frequency observations of a L\'evy process. The first procedure relies on reordering of independently sampled normal increments and thus avoids tuning parameters. The functionality of this method is a consequence of the small time predominance of the Brownian component, the presence of exchangeable structures, and fast convergence of normal empirical quantile functions. The second procedure amounts to filtering the increments and compensating with the final value. It requires a carefully chosen threshold, in which case both methods yield the same rate of convergence. This rate depends on the small-jump activity and is given in terms of the Blumenthal-Getoor index. Finally, we discuss possible extensions, including the multidimensional case, and provide numerical illustrations.


title: An exact method for optimizing two linear fractional functions over the efficient set of a Multiobjective Integer Linear Fractional Program

abstract: In this paper, an exact method is proposed to optimize two fractional linear functions over the efficient set of a fractional multiobjective linear problem (MOILFP). This type of problems is encountered when there are two decision makers and each has his own utility function that he wants to optimize over the efficient set of multiobjective problem. The proposed method uses Branch and Bound method combined with a cutting plane technique to find the efficient solutions for both utility functions and (MOILFP) without going through all the efficient solutions of the two problems. An illustrative example and a computational study are reported.


title: Inter Pulse Frequency Diversity System for Second Trip Suppression and Retrieval in a Weather Radar

abstract: This paper develops the use of Inter-pulse frequency diversity scheme for a weather radar system. It establishes the performance of frequency diversity technique comparing it with other inter-pulse schemes for weather radar systems. Inter-pulse coding is widely used for second trip suppression or cross-polarization isolation. Here, a new inter-pulse scheme is discussed taking advantage of frequency diverse waveforms. The simulations and tests of performance are evaluated keeping in mind NASA dual-frequency, dual-polarization, Doppler radar (D3R). A new method is described to recover velocity and spectral width due to incoherence in samples from change of frequency pulse to pulse. This technique can recover the weather radar moments over a much higher dynamic range of the other trip contamination as compared with the popular systematic phase code, for second trip suppression and retrieval.


title: Normalized angular momentum deficit: A tool for comparing the violence of the dynamical histories of planetary systems

abstract: Population studies of the orbital characteristics of exoplanets in multi-planet systems have highlighted the existence of an anticorrelation between the average orbital eccentricity of planets and the number of planets of their host system, that is, its multiplicity. This effect was proposed to reflect the varying levels of violence in the dynamical evolution of planetary systems. Previous work suggested that the relative violence of the dynamical evolution of planetary systems with similar orbital architectures can be compared through the computation of their angular momentum deficit (AMD). We investigated the possibility of using a more general metric to perform analogous comparisons between planetary systems with different orbital architectures. We considered a modified version of the AMD, the normalized angular momentum deficit (NAMD), and used it to study a sample of 99 multi-planet systems containing both the currently best-characterized extrasolar systems and the solar system, that is, planetary systems with both compact and wide orbital architectures. We verified that the NAMD allows us to compare the violence of the dynamical histories of multi-planet systems with different orbital architectures. We identified an anticorrelation between the NAMD and the multiplicity of the planetary systems, of which the previously observed eccentricity-multiplicity anticorrelation is a reflection. Our results seem to indicate that phases of dynamical instabilities and chaotic evolution are not uncommon among planetary systems. They also suggest that the efficiency of the planetary formation process in producing high-multiplicity systems is likely to be higher than that suggested by their currently known population.


title: Calculation of master integrals in terms of elliptic multiple polylogarithms

abstract: In modern quantum field theory, one of the most important tasks is the calculation of loop integrals. Loop integrals appear when evaluating the Feynman diagrams with one or more loops by integrating over the internal momenta. Even though this problem has already been in place since the mid-twentieth century, we not only do not understand how to calculate all classes of these integrals beyond one loop, we do not even know in what class of functions the answer is expressed. To partially solve this problem, different variations of new functions called usually elliptic multiple polylogarithms have been introduced in the last decade. In this paper, we explore the possibilities and limitations of this class of functions. As a practical example, we chose the processes associated with the physics of heavy quarkonium at the two-loop level.


title: Counterexamples to a Conjecture of Ahmadi and Shparlinski

abstract: Ahmadi-Shparlinski conjectured that every ordinary, geometrically simple Jacobian over a finite field has maximal angle rank. Using the L-Functions and Modular Forms Database, we provide two counterexamples to this conjecture in dimension 4.


title: Thermally Tunable Surface Acoustic Wave Cavities

abstract: We experimentally demonstrate the dynamical tuning of the acoustic field in a surface acoustic wave (SAW) cavity defined by a periodic arrangement of metal stripes on LiNbO3 substrate. Applying a DC voltage to the ends of the metal grid results in a temperature rise due to resistive heating that changes the frequency response of the device up to 0.3%, which can be used to control the acoustic transmission through the structure. The time scale of the switching is demonstrated to be of about 200 ms. In addition, we have also performed finite element simulations of the transmission spectrum of a model system which exhibit a temperature dependence consistent with the experimental data. The advances shown here enable easy, continuous, dynamical control and could be applied for a variety of substrates.


title: Dividing the Ontology Alignment Task with Semantic Embeddings and Logic-based Modules

abstract: Large ontologies still pose serious challenges to state-of-the-art ontology alignment systems. In this paper we present an approach that combines a neural embedding model and logic-based modules to accurately divide an input ontology matching task into smaller and more tractable matching (sub)tasks. We have conducted a comprehensive evaluation using the datasets of the Ontology Alignment Evaluation Initiative. The results are encouraging and suggest that the proposed method is adequate in practice and can be integrated within the workflow of systems unable to cope with very large ontologies.


title: Geometric Aspects of the Lame Equation and Plate Theory

abstract: Over the past few years, it is gradually understood that de Rham Cohomology Theory is closely related to Saint-Venant's compatibility condition in the Elasticity Theory. In this article, we will discuss the Hodge Theory and de Rham Cohomology Theory hidden in the Lame Equation and in the Plate Theory. we will prove a Decomposition Theorem for the solutions of the Lame Equation, and then use this Decomposition Theorem to present a modified Plate Theory, which is compatible with the general principles of Physics and the mathematical structure of the Lame Equation.