title: An algebraic characterization of the Kronecker function

abstract: We characterize the generating series of extended period polynomials of normalized Hecke eigenforms for $\operatorname{PSL}_2(\mathbb Z)$ studied by Zagier in terms of the period relations and existence of a suitable factorization. For this we prove a characterization of the Kronecker function as the `fundamental solution' to the Fay identity.


title: Integrated fractional Brownian motion: persistence probabilities and their estimates

abstract: The problem is a log-asymptotics of the probability that the Integrated fractional Brownian motion of index 0<H<1 does not exceed a fixed level during long time. For the growing time interval (0,T) the hypothetical log-asymptotics is (H(H-1)+o(1))Log T. In support of the hypothesis, we update our earlier estimates of the probability and give analytical proofs.


title: An intuitive control space for material appearance

abstract: Many different techniques for measuring material appearance have been proposed in the last few years. These have produced large public datasets, which have been used for accurate, data-driven appearance modeling. However, although these datasets have allowed us to reach an unprecedented level of realism in visual appearance, editing the captured data remains a challenge. In this paper, we present an intuitive control space for predictable editing of captured BRDF data, which allows for artistic creation of plausible novel material appearances, bypassing the difficulty of acquiring novel samples. We first synthesize novel materials, extending the existing MERL dataset up to 400 mathematically valid BRDFs. We then design a large-scale experiment, gathering 56,000 subjective ratings on the high-level perceptual attributes that best describe our extended dataset of materials. Using these ratings, we build and train networks of radial basis functions to act as functionals mapping the perceptual attributes to an underlying PCA-based representation of BRDFs. We show that our functionals are excellent predictors of the perceived attributes of appearance. Our control space enables many applications, including intuitive material editing of a wide range of visual properties, guidance for gamut mapping, analysis of the correlation between perceptual attributes, or novel appearance similarity metrics. Moreover, our methodology can be used to derive functionals applicable to classic analytic BRDF representations. We release our code and dataset publicly, in order to support and encourage further research in this direction.


title: A City-Scale ITS-G5 Network for Next-Generation Intelligent Transportation Systems: Design Insights and Challenges

abstract: As we move towards autonomous vehicles, a reliable Vehicle-to-Everything (V2X) communication framework becomes of paramount importance. In this paper we present the development and the performance evaluation of a real-world vehicular networking testbed. Our testbed, deployed in the heart of the City of Bristol, UK, is able to exchange sensor data in a V2X manner. We will describe the testbed architecture and its operational modes. Then, we will provide some insight pertaining the firmware operating on the network devices. The system performance has been evaluated under a series of large-scale field trials, which have proven how our solution represents a low-cost high-quality framework for V2X communications. Our system managed to achieve high packet delivery ratios under different scenarios (urban, rural, highway) and for different locations around the city. We have also identified the instability of the packet transmission rate while using single-core devices, and we present some future directions that will address that.


title: Towards Semantically Enhanced Data Understanding

abstract: In the field of machine learning, data understanding is the practice of getting initial insights in unknown datasets. Such knowledge-intensive tasks require a lot of documentation, which is necessary for data scientists to grasp the meaning of the data. Usually, documentation is separate from the data in various external documents, diagrams, spreadsheets and tools which causes considerable look up overhead. Moreover, other supporting applications are not able to consume and utilize such unstructured data. That is why we propose a methodology that uses a single semantic model that interlinks data with its documentation. Hence, data scientists are able to directly look up the connected information about the data by simply following links. Equally, they can browse the documentation which always refers to the data. Furthermore, the model can be used by other approaches providing additional support, like searching, comparing, integrating or visualizing data. To showcase our approach we also demonstrate an early prototype.


title: Asymptotic stability of the phase-homogeneous solution to the Kuramoto-Sakaguchi equation with inertia

abstract: We present the global-in-time existence of strong solutions and its large-time behavior for the Kuramoto-Sakaguchi equation with inertia. The equation describes the evolution of the probability density function for a large ensemble of Kuramoto oscillators under the effects of inertia and stochastic noises. We consider a perturbative framework around the equilibrium, which is a Maxwellian type, and use the classical energy method together with our careful analysis on the macro-micro decomposition. We establish the global-in-time existence and uniqueness of strong solutions when the initial data are sufficiently regular, not necessarily close to the equilibrium, and the noise strength is also large enough. For the large-time behavior, we show the exponential decay of solutions towards the equilibrium under the same assumptions as those for the global regularity of solutions.


title: The Poisson embedding approach to the Calder\'on problem

abstract: We introduce a new approach to the anisotropic Calder\'on problem, based on a map called Poisson embedding that identifies the points of a Riemannian manifold with distributions on its boundary. We give a new uniqueness result for a large class of Calder\'on type inverse problems for quasilinear equations in the real analytic case. The approach also leads to a new proof of the result by Lassas and Uhlmann (2001) solving the Calder\'on problem on real analytic Riemannian manifolds. The proof uses the Poisson embedding to determine the harmonic functions in the manifold up to a harmonic morphism. The method also involves various Runge approximation results for linear elliptic equations.


title: Higher Order of Motion Magnification for Vessel Localisation in Surgical Video

abstract: Locating vessels during surgery is critical for avoiding inadvertent damage, yet vasculature can be difficult to identify. Video motion magnification can potentially highlight vessels by exaggerating subtle motion embedded within the video to become perceivable to the surgeon. In this paper, we explore a physiological model of artery distension to extend motion magnification to incorporate higher orders of motion, leveraging the difference in acceleration over time (jerk) in pulsatile motion to highlight the vascular pulse wave. Our method is compared to first and second order motion based Eulerian video magnification algorithms. Using data from a surgical video retrieved during a robotic prostatectomy, we show that our method can accentuate cardio-physiological features and produce a more succinct and clearer video for motion magnification, with more similarities in areas without motion to the source video at large magnifications. We validate the approach with a Structure Similarity (SSIM) and Peak Signal to Noise Ratio (PSNR) assessment of three videos at an increasing working distance, using three different levels of optical magnification. Spatio-temporal cross sections are presented to show the effectiveness of our proposal and video samples are provided to demonstrates qualitatively our results.


title: Irreversibility in active matter systems: Fluctuation theorem and mutual information

abstract: We consider a Brownian particle which, in addition to being in contact with a thermal bath, is driven by fluctuating forces which stem from active processes in the system, such as self-propulsion or collisions with other active particles. These active fluctuations do not fulfill a fluctuation-dissipation relation and therefore play the role of a non-equilibrium environment, which keeps the system permanently out of thermal equilibrium even in the absence of external forces. We investigate how the out-of-equilibrium character of the active matter system and the associated irreversibility is reflected in the trajectories of the Brownian particle. Specifically, we analyze the log-ratio of path probabilities for observing a certain particle trajectory forward in time versus observing its time-reversed twin trajectory. For passive Brownian motion, it is well-known that this path probability ratio quantifies irreversibility in terms of entropy production. For active Brownian motion, we show that in addition to the usual entropy produced in the thermal environment the path probability ratio contains a contribution to irreversibility from mutual information production between the particle trajectory and the history of the non-equilibrium environment. The resulting irreversibility measure fulfills an integral fluctuation theorem and a second-law like relation. When deriving and discussing these relations, we keep in mind that the active fluctuations can occur either due to a suspension of active particles pushing around a passive colloid or due to active self-propulsion of the particle itself; we point out the similarities and differences between these two situations. We obtain explicit expressions for active fluctuations modeled by an Ornstein-Uhlenbeck process. Finally, we illustrate our general results by analyzing a Brownian particle which is trapped in a static or moving harmonic potential.


title: Expression Empowered ResiDen Network for Facial Action Unit Detection

abstract: The paper explores the topic of Facial Action Unit (FAU) detection in the wild. In particular, we are interested in answering the following questions: (1) how useful are residual connections across dense blocks for face analysis? (2) how useful is the information from a network trained for categorical Facial Expression Recognition (FER) for the task of FAU detection? The proposed network (ResiDen) exploits dense blocks along with residual connections and uses auxiliary information from a FER network. The experiments are performed on the EmotionNet and DISFA datasets. The experiments show the usefulness of facial expression information for AU detection. The proposed network achieves state-of-art results on the two databases. Analysis of the results for cross database protocol shows the effectiveness of the network.


title: Lehmann-Suwa residues of codimension one holomorphic foliations and applications

abstract: Let $\mathcal{F}$ be a singular codimension one holomorphic foliation on a compact complex manifold $X$ of dimension at least three such that its singular set has codimension at least two. In this paper, we determine Lehmann-Suwa residues of $\mathcal{F}$ as multiples of complex numbers by integration currents along irreducible complex subvarieties of $X$. We then prove a formula that determines the Baum-Bott residue of simple almost Liouvillian foliations of codimension one, in terms of Lehmann-Suwa residues, generalizing a result of Marco Brunella. As an application, we give sufficient conditions for the existence of dicritical singularities of a singular real-analytic Levi-flat hypersurface $M\subset X$ tangent to $\mathcal{F}$.


title: Fairness Behind a Veil of Ignorance: A Welfare Analysis for Automated Decision Making

abstract: We draw attention to an important, yet largely overlooked aspect of evaluating fairness for automated decision making systems---namely risk and welfare considerations. Our proposed family of measures corresponds to the long-established formulations of cardinal social welfare in economics, and is justified by the Rawlsian conception of fairness behind a veil of ignorance. The convex formulation of our welfare-based measures of fairness allows us to integrate them as a constraint into any convex loss minimization pipeline. Our empirical analysis reveals interesting trade-offs between our proposal and (a) prediction accuracy, (b) group discrimination, and (c) Dwork et al.'s notion of individual fairness. Furthermore and perhaps most importantly, our work provides both heuristic justification and empirical evidence suggesting that a lower-bound on our measures often leads to bounded inequality in algorithmic outcomes; hence presenting the first computationally feasible mechanism for bounding individual-level inequality.


title: A well balanced diffuse interface method for complex nonhydrostatic free surface flows

abstract: In this paper we propose an efficient second order well balanced finite volume method for modeling complex free surface flows at the aid of a simple diffuse interface method. The employed physical model is a two-phase model derived from the Baer-Nunziato system for compressible multi-phase flows. In particular, as proposed for the first time in Dumbser (2011), the number of equations is reduced from seven to three by assuming that the relative pressure of the gas with respect to the atmospheric reference pressure is zero, and that the gas momentum is negligible compared to the one of the liquid. The two-phase model does not make any of the classical assumptions of shallow water type systems, hence it does not neglect vertical accelerations and the free surface is not constraint to be a single-valued function, so even complex shapes as those of breaking waves can be properly captured. The resulting PDE system is solved by a novel well balanced path-conservative finite volume method on structured Cartesian grids, which is able to preserve exactly the equilibrium states even in the presence of obstacles. It furthermore automatically computes the location of the water-air interfaces, and assures low numerical dissipation at the free surface thanks to a novel Osher-Romberg-type Riemann solver. Finally, high computational performance is guaranteed by an efficient parallel implementation on a GPU-based platform that reaches the efficiency of twenty million of volumes processed per seconds and makes it possible to employ even very fine meshes. The validation of our new well balanced scheme is carried out by comparing the obtained numerical results against existing analytical, numerical and experimental reference solutions for a large number of test cases, among which oscillating elliptical drops, dambreak problems, breaking waves, over topping weir flows, and wave impact problems.


title: Rotational motion of a camphor disk in a circular region

abstract: In a two-dimensional axisymmetric system, a symmetric self-propelled particle exhibits rotational or oscillatory motion from the consideration of the system symmetry. In the present paper, we studied the motion of a camphor disk confined in a two-dimensional circular region. By reducing the mathematical model describing the dynamics of the motion of a camphor disk and the concentration field of camphor molecules on a water surface, we analyzed the reduced equations around a bifurcation point where the rest state at the center of the system becomes unstable. As a result, we found that rotational motion is stably realized through the double-Hopf bifurcation from the rest state. The theoretical results were confirmed by numerical calculation and well corresponded to the experimental results.


title: The number of distinct adjacent pairs in geometrically distributed words

abstract: A sequence of geometric random variables of length $n$ is a sequence of $n$ independent and identically distributed geometric random variables ($\Gamma_1, \Gamma_2, \dots, \Gamma_n$) where $\mathbb{P}(\Gamma_j=i)=pq^{i-1}$ for $1~\leq~j~\leq~n$ with $p+q=1.$ We study the number of distinct adjacent two letter patterns in such sequences. Initially we directly count the number of distinct pairs in words of short length. Because of the rapid growth of the number of word patterns we change our approach to this problem by obtaining an expression for the expected number of distinct pairs in words of length $n$. We also obtain the asymptotics for the expected number as $n \to \infty$.


title: Hedetniemi's conjecture from the topological viewpoint

abstract: This paper is devoted to studying a topological version of the famous Hedetniemi conjecture which says: The $\mathbb Z/2$-index of the Cartesian product of two $\mathbb Z/2$-spaces is equal to the minimum of their $\mathbb Z/2$-indexes. We fully confirm the version of this conjecture for the homological index via establishing a stronger formula for the homological index of the join of $\mathbb Z/2$-spaces. Moreover, we confirm the original conjecture for the case when one of the factors is an $n$-sphere. Analogous results for $\mathbb Z/p$-spaces are presented as well. In addition, we answer a question about computing the index of some non-trivial products, raised by Marcin Wrochna. Finally, some new topological lower bounds for the chromatic number of the Categorical product of (hyper-)graphs are presented.


title: Theory of relaxation oscillations in exciton-polariton condensates

abstract: We provide an analytical and numerical description of relaxation oscillations in the nonresonantly pumped polariton condensate. The presented considerations are based on the open dissipative Gross-Pitaevskii equation coupled to a pair of rate equations. The evolution of the condensate density can be explained qualitatively by studying the topology of the trajectory in phase space. We use a fixed points analysis for the classification of the different regimes of condensate dynamics, including fast stabilization, slow oscillations and ultrashort pulse emission. We obtain an analytical condition for the occurrence of relaxation oscillations. Continuous and pulsed condensate excitation considered and we demonstrate that in the latter case the existence of the second reservoir is necessary for the emergence of oscillations. We show that relaxation oscillations should be expected to occur in systems with relatively short polariton lifetime.


title: The streaming rollout of deep networks - towards fully model-parallel execution

abstract: Deep neural networks, and in particular recurrent networks, are promising candidates to control autonomous agents that interact in real-time with the physical world. However, this requires a seamless integration of temporal features into the network's architecture. For the training of and inference with recurrent neural networks, they are usually rolled out over time, and different rollouts exist. Conventionally during inference, the layers of a network are computed in a sequential manner resulting in sparse temporal integration of information and long response times. In this study, we present a theoretical framework to describe rollouts, the level of model-parallelization they induce, and demonstrate differences in solving specific tasks. We prove that certain rollouts, also for networks with only skip and no recurrent connections, enable earlier and more frequent responses, and show empirically that these early responses have better performance. The streaming rollout maximizes these properties and enables a fully parallel execution of the network reducing runtime on massively parallel devices. Finally, we provide an open-source toolbox to design, train, evaluate, and interact with streaming rollouts.


title: Stability analysis of line patterns of an anisotropic interaction model

abstract: Motivated by the formation of fingerprint patterns we consider a class of interacting particle models with anisotropic, repulsive-attractive interaction forces whose orientations depend on an underlying tensor field. This class of models can be regarded as a generalization of a gradient flow of a nonlocal interaction potential which has a local repulsion and a long-range attraction structure. In addition, the underlying tensor field introduces an anisotropy leading to complex patterns which do not occur in isotropic models. Central to this pattern formation are straight line patterns. For a given spatially homogeneous tensor field, we show that there exists a preferred direction of straight lines, i.e.\ straight vertical lines can be stable for sufficiently many particles, while many other rotations of the straight lines are unstable steady states, both for a sufficiently large number of particles and in the continuum limit. For straight vertical lines we consider specific force coefficients for the stability analysis of steady states, show that stability can be achieved for exponentially decaying force coefficients for a sufficiently large number of particles and relate these results to the K\"ucken-Champod model for simulating fingerprint patterns. The mathematical analysis of the steady states is completed with numerical results.


title: Split property for free massless finite helicity fields

abstract: We prove the split property for any finite helicity free quantum fields. Finite helicity Poincar\'e representations extend to the conformal group and the conformal covariance plays an essential role in the argument. The split property is ensured by the trace class condition: Tr (exp(-s L_0)) is finite for all s>0 where L_0 is the conformal Hamiltonian of the M\"obius covariant restriction of the net on the time axis. We extend the argument for the scalar case presented in [7]. We provide the direct sum decomposition into irreducible representations of the conformal extension of any helicity-h representation to the subgroup of transformations fixing the time axis. Our analysis provides new relations among finite helicity representations and suggests a new construction for representations and free quantum fields with non-zero helicity.


title: Crowd-Powered Data Mining

abstract: Many data mining tasks cannot be completely addressed by auto- mated processes, such as sentiment analysis and image classification. Crowdsourcing is an effective way to harness the human cognitive ability to process these machine-hard tasks. Thanks to public crowdsourcing platforms, e.g., Amazon Mechanical Turk and Crowd- Flower, we can easily involve hundreds of thousands of ordinary workers (i.e., the crowd) to address these machine-hard tasks. In this tutorial, we will survey and synthesize a wide spectrum of existing studies on crowd-powered data mining. We first give an overview of crowdsourcing, and then summarize the fundamental techniques, including quality control, cost control, and latency control, which must be considered in crowdsourced data mining. Next we review crowd-powered data mining operations, including classification, clustering, pattern mining, machine learning using the crowd (including deep learning, transfer learning and semi-supervised learning) and knowledge discovery. Finally, we provide the emerging challenges in crowdsourced data mining.


title: Dynamical analysis and cosmological viability of varying $G$ and $\Lambda$ cosmology

abstract: The cosmological viability of varying $G\left( t\right) $ and $\Lambda \left( t\right) $ cosmology is discussed by determining the cosmological eras provided by the theory. Such a study is performed with the determination of the critical points while stability analysis is performed. The application of Renormalization group in the ADM formalism of General Relativity provides a modified second-order theory of gravity where varying $G\left( t\right) $ plays the role of a minimally coupled field, different from that of Scalar-tensor theories, while $\Lambda\left( t\right) =\Lambda\left( G\left( t\right) \right) $ is a potential term. We find that the theory provides two de Sitter phases and a tracking solution. In the presence of matter source, two new critical points are introduced, where the matter source contributes to the universe. One of those points describes the $\Lambda$CDM cosmology and in order for the solution at the point to be cosmologically viable, it has to be unstable. Moreover, the second point, where matter exists, describes a universe where the dark energy parameter for the equation of state has a different value from that of the cosmological constant.


title: Selected configuration interaction dressed by perturbation

abstract: Selected configuration interaction (sCI) methods including second-order perturbative corrections provide near full CI (FCI) quality energies with only a small fraction of the determinants of the FCI space. Here, we introduce both a state-specific and a multi-state sCI method based on the CIPSI (Configuration Interaction using a Perturbative Selection made Iteratively) algorithm. The present method revises the reference (internal) space under the effect of its interaction with the outer space via the construction of an effective Hamiltonian, following the shifted-Bk philosophy of Davidson and coworkers. In particular, the multi-state algorithm removes the storage bottleneck of the effective Hamiltonian via a low-rank factorization of the dressing matrix.

categories: physics.chem-ph cond-mat.other cond-mat.str-el physics.comp-ph


title: Simultaneous extractions of $|V_{ub}|$ and $|V_{cb}|$ with only the exclusive $\Lambda_b$ decays

abstract: We perform the simultaneous $|V_{ub}|$ and $|V_{cb}|$ extractions with only the exclusive $\Lambda_b$ decays of $\Lambda_b\to (p,\Lambda_c^+)\mu\bar \nu_\mu$, $\Lambda_b\to p\pi^-$ and $\Lambda_b\to \Lambda_c^+ (\pi^-, D^-)$. We obtain that $|V_{ub}|=(3.7\pm 0.3)\times 10^{-3}$ and $|V_{cb}|=(45.9\pm 2.7)\times 10^{-3}$. Our value of $|V_{ub}|$ is larger than that of $(3.27\pm 0.15\pm 0.16\pm 0.06)\times 10^{-3}$, previously extracted by the LHC Collaboration from the exclusive $\Lambda_b$ decays also, but nearly identical to $(3.72\pm 0.19)\times 10^{-3}$ from the exclusive $B$ decays. On the other hand, our extracted result of $|V_{cb}|$ favors the value of $(42.2\pm 0.8)\times 10^{-3}$ from the inclusive $B$ decays.


title: Unsupervised Detection of Lesions in Brain MRI using constrained adversarial auto-encoders

abstract: Lesion detection in brain Magnetic Resonance Images (MRI) remains a challenging task. State-of-the-art approaches are mostly based on supervised learning making use of large annotated datasets. Human beings, on the other hand, even non-experts, can detect most abnormal lesions after seeing a handful of healthy brain images. Replicating this capability of using prior information on the appearance of healthy brain structure to detect lesions can help computers achieve human level abnormality detection, specifically reducing the need for numerous labeled examples and bettering generalization of previously unseen lesions. To this end, we study detection of lesion regions in an unsupervised manner by learning data distribution of brain MRI of healthy subjects using auto-encoder based methods. We hypothesize that one of the main limitations of the current models is the lack of consistency in latent representation. We propose a simple yet effective constraint that helps mapping of an image bearing lesion close to its corresponding healthy image in the latent space. We use the Human Connectome Project dataset to learn distribution of healthy-appearing brain MRI and report improved detection, in terms of AUC, of the lesions in the BRATS challenge dataset.


title: OpenEDGAR: Open Source Software for SEC EDGAR Analysis

abstract: OpenEDGAR is an open source Python framework designed to rapidly construct research databases based on the Electronic Data Gathering, Analysis, and Retrieval (EDGAR) system operated by the US Securities and Exchange Commission (SEC). OpenEDGAR is built on the Django application framework, supports distributed compute across one or more servers, and includes functionality to (i) retrieve and parse index and filing data from EDGAR, (ii) build tables for key metadata like form type and filer, (iii) retrieve, parse, and update CIK to ticker and industry mappings, (iv) extract content and metadata from filing documents, and (v) search filing document contents. OpenEDGAR is designed for use in both academic research and industrial applications, and is distributed under MIT License at https://github.com/LexPredict/openedgar.


title: Species tree inference from genomic sequences using the log-det distance

abstract: The log-det distance between two aligned DNA sequences was introduced as a tool for statistically consistent inference of a gene tree under simple non-mixture models of sequence evolution. Here we prove that the log-det distance, coupled with a distance-based tree construction method, also permits consistent inference of species trees under mixture models appropriate to aligned genomic-scale sequences data. Data may include sites from many genetic loci, which evolved on different gene trees due to incomplete lineage sorting on an ultrametric species tree, with different time-reversible substitution processes. The simplicity and speed of distance-based inference suggests log-det based methods should serve as benchmarks for judging more elaborate and computationally-intensive species trees inference methods.


title: Extended 3D-PTV for direct measurements of Lagrangian statistics of canopy turbulence in a wind tunnel

abstract: Direct estimation of Lagrangian turbulence statistics is essential for the proper modeling of dispersion and transport in highly obstructed canopy flows. However, Lagrangian flow measurements demand very high rates of data acquisition, resulting in bottlenecks that prevented the estimation of Lagrangian statistics in canopy flows hitherto. We report on a new extension to the 3D Particle Tracking Velocimetry (3D-PTV) method, featuring real-time particle segmentation that outputs centroids and sizes of tracer particles and performed on dedicated hardware during high-speed digital video acquisition from multiple cameras. The proposed extension results in four orders of magnitude reduction in data transfer rate that enables to perform substantially longer experimental runs, facilitating measurements of convergent statistics. The extended method is demonstrated through an experimental wind tunnel investigation of the Lagrangian statistics in a heterogeneous canopy flow. We observe that acceleration statistics are affected by the mean shear at the top of the canopy layer and that Lagrangian particle dispersion at small scales is dominated by turbulence in the wake of the roughness elements. This approach enables to overcome major shortcomings from Eulerian-based measurements which rely on assumptions such as the Taylor's frozen turbulence hypothesis, which is known to fail in highly turbulent flows.


title: Electron beam driven generation of frequency-tunable isolated relativistic sub-cycle pulses

abstract: We propose a novel scheme for frequency-tunable sub-cycle electromagnetic pulse generation. To this end a pump electron beam is injected into an electromagnetic seed pulse as the latter is reflected by a mirror. The electron beam is shown to be able to amplify the field of the seed pulse while upshifting its central frequency and reducing its number of cycles. We demonstrate the amplification by means of 1D and 2D particle-in-cell simulations. In order to explain and optimize the process, a model based on fluid theory is proposed. We estimate that using currently available electron beams and terahertz pulse sources, our scheme is able to produce mJ-strong mid-infrared sub-cycle pulses.


title: Critical behavior of Dirac fermions from perturbative renormalization

abstract: Gapless Dirac fermions appear as quasiparticle excitations in various condensed-matter systems. They feature quantum critical points with critical behavior in the 2+1 dimensional Gross-Neveu universality class. The precise determination of their critical exponents defines a prime benchmark for complementary theoretical approaches, such as lattice simulations, the renormalization group and the conformal bootstrap. Despite promising recent developments in each of these methods, however, no satisfactory consensus on the fermionic critical exponents has been achieved, so far. Here, we perform a comprehensive analysis of the Ising Gross-Neveu universality classes based on the recently achieved four-loop perturbative calculations. We combine the perturbative series in $4-\epsilon$ spacetime dimensions with the one for the purely fermionic Gross-Neveu model in $2+\epsilon$ dimensions by employing polynomial interpolation as well as two-sided Pad\'e approximants. Further, we provide predictions for the critical exponents exploring various resummation techniques following the strategies developed for the three-dimensional scalar $O(n)$ universality classes. We give an exhaustive appraisal of the current situation of Gross-Neveu universality by comparison to other methods. For large enough number of spinor components $N\geq 8$ as well as for the case of emergent supersymmetry $N=1$, we find our renormalization group estimates to be in excellent agreement with the conformal bootstrap, building a strong case for the validity of these values. For intermediate $N$ as well as in comparison with recent Monte Carlo results, deviations are found and critically discussed.


title: Determining the local low-energy excitations in the Kondo semimetal CeRu$_4$Sn$_6$ using resonant inelastic x-ray scattering

abstract: We have investigated the local low-energy excitations in CeRu$_4$Sn$_6$, a material discussed recently in the framework of strongly correlated Weyl semimetals, by means of Ce $M_5$ resonant inelastic x-ray scattering (RIXS). The availability of both $^2$F$_\frac{5}{2}$ and $^2$F$_\frac{7}{2}$ excitations of the Ce $4f^1$ configuration in the spectra allows for the determination of the crystal-electric field parameters that explain quantitatively the temperature dependence and anisotropy of the magnetic susceptibility. The absence of an azimuthal dependence in the spectra indicates that all crystal-electric field states are close to being rotational symmetric. We show further that the non-negligible impact of the $\check A_6^0$ parameter on the ground state of CeRu$_4$Sn$_6$ leads to a reduction of the magnetic moment due to multiplet intermixing. The RIXS results are consistent with inelastic neutron scattering (INS) data and are compared to the predictions from \textsl{ab-initio} based electronic structure calculations.


title: CO envelope of the symbiotic star R Aqr seen by ALMA

abstract: The symbiotic star R Aqr is part of a small sample of binary AGB stars observed with ALMA. The sample stars are: R Aqr, Mira, W Aql, and pi1 Gru. The sample covers a range in binary separation and wind properties, where R Aqr is the source with the smallest separation. The R Aqr binary pair consists of an M-type AGB star and a white dwarf at a separation of 45 mas, equivalent to about 10 AU at 218 pc. The aim of the ALMA study is to investigate the dependence of the wind shaping on the binary separation and to provide constraints for hydrodynamical binary interaction models. R Aqr is particularly interesting as the source with the smallest separation and a complex circumstellar environment that is strongly affected by the interaction between the two stars and by the high-energy radiation resulting from this interaction and from the hot white dwarf companion. The CO(J=3-2) line emission has been observed at 0.5" spatial resolution. The CO envelope around the binary pair is marginally resolved, showing what appears to be a rather complex distribution. The outer radius of the CO emitting region is estimated from the data and found to be about a factor of 10 larger than previously thought. This implies an average mass-loss rate during the past 100 yr of 2x10-7 Msun/yr, a factor of 45 less than previous estimates. The channel maps are presented and the molecular gas distribution is discussed and set into the context of what was previously known about the system. Additional molecular line emission detected within the bandwidth covered by the ALMA observations is also presented. Because of the limited extent of the emission, firm conclusions about the dynamical evolution of the system will have to wait for higher spatial resolution observations. However, the data presented here support the assumption that the mass-loss rate from the Mira star strongly varies and is focused on the orbital plane.


title: Current Trends and Open Problems in Arithmetic Dynamics

abstract: Arithmetic dynamics is the study of number theoretic properties of dynamical systems. A relatively new field, it draws inspiration partly from dynamical analogues of theorems and conjectures in classical arithmetic geometry, and partly from $p$-adic analogues of theorems and conjectures in classical complex dynamics. In this article we survey some of the motivating problems and some of the recent progress in the field of arithmetic dynamics.


title: Analytic results for the planar double box integral relevant to top-pair production with a closed top loop

abstract: In this article we give the details on the analytic calculation of the master integrals for the planar double box integral relevant to top-pair production with a closed top loop. We show that these integrals can be computed systematically to all order in the dimensional regularisation parameter $\varepsilon$. This is done by transforming the system of differential equations into a form linear in $\varepsilon$, where the $\varepsilon^0$-part is a strictly lower triangular matrix. Explicit results in terms of iterated integrals are presented for the terms relevant to NNLO calculations.


title: QCD and High Energy Interactions: Moriond 2018 Theory Summary

abstract: The highlights of the theory developments presented at the Rencontres de Moriond 2018 on QCD and High Energy Interactions are summarised and put into perspective.


title: Crystalline electric field of Ce in trigonal symmetry: CeIr3Ge7 as a model case

abstract: The crystalline electric field (CEF) of Ce3+ in trigonal symmetry has recently become of some relevance, for instance, in the search of frustrated magnetic systems. Fortunately, it is one of the CEF case in which a manageable analytic solution can be obtained. Here, we present this solution for the general case, and use this result to determine the CEF scheme of the new compound CeIr3Ge7 with the help of T-dependent susceptibility and isothermal magnetization measurements. The resulting CEF parameters B20 = 34.4 K, B40 = 0.82 K and B43 = 67.3 K correspond to an exceptional large CEF splittings of the first and second excited levels, 374 K and 1398 K, and a large mixing between the +-|5/2> and the -+|1/2> states. This indicates a very strong easy plane anisotropy with an unusual small c-axis moment. Using the same general expressions, we show that the properties of the recently reported system CeCd3As3 can also be described by a similar CEF scheme, providing a much simpler explanation for its magnetic properties than the initial proposal. Moreover, a similar strong easy plane anisotropy has also been reported for the two compounds CeAuSn and CePdAl4Ge2, indicating that the CEF scheme elaborated here for CeIr3Ge7 corresponds to an exemplary case for Ce3+ in trigonal symmetry.


title: Slopes of Euclidean lattices, tensor product and group actions

abstract: We study the behaviour of the minimal slope of Euclidean lattices under tensor product. A general conjecture predicts that $\mu_{min}(L \otimes M) = \mu_{min}(L)\mu_{min}(M)$ for all Euclidean lattices $L$ and $M$. We prove that this is the case under the additional assumptions that $L$ and $M$ are acted on multiplicity-free by their automorphism group, such that one of them has at most $2$ irreducible components.


title: Eu valence transition behavior in the nano form of EuPd2Si2

abstract: The compound EuPd2Si2 is a well-known valence-fluctuating compound with a largest variation of Eu valence in a narrow temperature interval (around 150 K). The ball-milled form of this compound was investigated to understand the Eu valence behavior in the nanoform. The compound is found to retain the ThCr2Si2-type tetragonal structure after ball-milling leading to a reduction in particle size, typically falling in the range 10 - 100 nm. We find that there is a qualitative change in the temperature dependence of magnetic susceptibility for such small particles, with respect to that known for bulk form. To understand this microscopically, Mossbauer spectra as a function of temperature were taken. The Mossbauer spectrum of the nanocrystalline compound is essentially divalent-like at room temperature, but becomes distinctly bimodal at all temperatures below 300 K, unlike that of the bulk form. That is, there is a progressive transfer of intensity from divalent position to trivalent position with a gradual decrease of temperature. We attribute it to a first-order valence transition, with extreme broadening by defects in the nano specimen. Thus, there is a qualitative change in the valence behavior in this compound as the particle size is reduced by ball-milling. Such a particle size study is reported for the first time for a Eu-based mixed-valent compound.


title: Cloud access to interoperable IVOA-compliant VOSpace storage

abstract: Handling, processing and archiving the huge amount of data produced by the new generation of experiments and instruments in Astronomy and Astrophysics are among the more exciting challenges to address in designing the future data management infrastructures and computing services. We investigated the feasibility of a data management and computation infrastructure, available world-wide, with the aim of merging the FAIR (Findable, Accessible, Interoperable, Reusable) data management provided by IVOA standards with the efficiency and reliability of a cloud approach. Our work involved the Canadian Advanced Network for Astronomy Research (CANFAR) infrastructure and the European EGI federated cloud (EFC). We designed and deployed a pilot data management and computation infrastructure that provides IVOA-compliant VOSpace storage resources and wide access to interoperable federated clouds. In this paper, we detail the main user requirements covered, the technical choices and the implemented solutions and we describe the resulting Hybrid cloud Worldwide infrastructure, its benefits and limitations.


title: Electron mirror instability: Particle-in-cell simulations

abstract: Properties of the electron mirror instability and its competition with the usually dominant whistler (electron cyclotron) instability driven by the electron perpendicular temperature anisotropy are investigated on the linear level using a Vlasov linear solver and on the nonlinear level using a two-dimensional full particle code. The simulation results show that the linearly subdominant electron mirror instability may compete on the nonlinear level with the whistler instability and may even become eventually the dominant mode that generates robust non-propagating sub-ion-scale coherent structures in the form of magnetic peaks.


title: On the rank of a random binary matrix

abstract: We study the rank of the random $n\times m$ 0/1 matrix ${\bf A}_{n,m;k}$ where each column is chosen independently from the set $\Omega_{n,k}$ of 0/1 vectors with exactly $k$ 1's. Here 0/1 are the elements of the field $GF_2$. We obtain an asymptotically correct estimate for the rank in terms of $c,n,k$, assuming that $m=cn$. In addition, we assign i.i.d. $U[0,1]$ weights $X_{{\bf c}},{\bf c}\in\Omega_{n,k}$ and let the weight of a set of columns $C$ be $X(C)=\sum_{{\bf c}\in C}X_{{\bf c}}$. Let a basis be a set of $n-1_{k\text{even}}$ linearly independent columns. We obtain an asymptotically correct estimate for the minimum weight of a basis. This generalises the well-known result for $k=2$ viz. that the expected length of a minimum weight spanning tree tends to $\zeta(3)$.


title: Interplay of lattice, electronic and spin degrees of freedom in detwinned BaFe$_{2}$As$_{2}$: a Raman scattering study

abstract: We report results of Raman scattering experiments on twin-free BaFe$_{2}$As$_{2}$ with the main focus placed on understanding the influence of electronic and spin degrees of freedom on the lattice dynamics. In particular, we scrutinize the $E_g$ modes and the As $A_{1g}$ mode. Each of the two $E_g$ phonons in the tetragonal phase is observed to split into a $B_{2g}$ and a $B_{3g}$ mode upon entering the orthorhombic stripe-magnetic phase. The splitting amounts to approximately 10\,cm$^{-1}$ and less than 5\,cm$^{-1}$ for the low- and the high-energy $E_g$ mode, respectively. The detailed study of the fully symmetric As mode using parallel incident and outgoing photon polarizations along either the antiferromagnetic or the ferromagnetic Fe-Fe direction reveals an anisotropic variation of the spectral weight with the energy of the exciting laser indicating a polarization-dependent resonance effect. Along with the experiments we present results from density functional theory calculations of the phonon eigenvectors, the dielectric function, and the Raman tensor elements. The comparison of theory and experiment indicates that (i) orbital-selective electronic correlations are crucial to understand the lattice dynamics and (ii) all phonon anomalies originate predominantly from the magnetic ordering and the corresponding reconstruction of the electronic bands at all energies.


title: An introduction to the physics of the Coulomb logarithm with emphasis on quantum-mechanical effects

abstract: An introduction to the physical interpretation of the Coulomb logarithm is given with particular emphasis on the quantum-mechanical corrections that are required at high temperatures. Excerpts from the literature are used to emphasize the historical understanding of the topic, which emerged more than a half-century ago. Several misinterpretations are noted. Quantum-mechanical effects are related to diffraction by scales of the order of the Debye screening length; they are not due to quantum uncertainty related to the much smaller distance of closest approach.


title: Framing 3-manifolds with bare hands

abstract: After surveying existing proofs that every closed, orientable 3-manifold is parallelizable, we give three proofs using minimal background. In particular, our proofs use neither spin structures nor the theory of Stiefel-Whitney classes.


title: The Higgs Signatures at the CEPC CDR Baseline

abstract: As a Higgs factory, The CEPC (Circular Electron-Positron Collider) project aims at the precise measurement of the Higgs boson properties. A baseline detector concept, APODIS (A PFA Oriented Detector for the HIggS factory), has been proposed for the CEPC CDR (Conceptual Design Report) study. We explore the Higgs signatures at this baseline setup with nunuHiggs events. The detector performance of the charged particles, the photons, and the jets are quantified with Higgs -> mumu, gammagamma, and jet final states respectively. The accuracy of reconstructed Higgs boson mass is comparable at different decay modes with jets in the final states. We also analyze the Higgs -> WW* and ZZ* decay modes, where a clear separation between different decay cascades is observed.


title: Generation of large-bandwidth x-ray free electron laser with Evolutionary Many-Objective Optimization Algorithm

abstract: X-ray free-electron lasers (XFELs) are cutting-edge scientific instruments for a wide range of disciplines. Conventionally, the narrow bandwidth is pursued in an XFEL. However, in recent years, the large-bandwidth XFEL operation schemes are proposed for X-ray spectroscopy and X-ray crystallography, in which over-compression is a promising scheme to produce broad-bandwidth XFEL pulses through increasing the electron beam energy chirp. In this paper, combining with the beam yaw correction to overcome the transverse slice misalignment caused by the coherent synchrotron radiation, finding out the over-compression working point of the linac is treated as a many-objective (having four or more objectives) optimization problem, thus the non-dominated sorting genetic algorithm III is applied to the beam dynamic optimization for the first time. Start-to-end simulations demonstrate a full bandwidth of 4.6% for Shanghai soft x-ray free-electron laser user facility.


title: Only Bayes should learn a manifold (on the estimation of differential geometric structure from data)

abstract: We investigate learning of the differential geometric structure of a data manifold embedded in a high-dimensional Euclidean space. We first analyze kernel-based algorithms and show that under the usual regularizations, non-probabilistic methods cannot recover the differential geometric structure, but instead find mostly linear manifolds or spaces equipped with teleports. To properly learn the differential geometric structure, non-probabilistic methods must apply regularizations that enforce large gradients, which go against common wisdom. We repeat the analysis for probabilistic methods and find that under reasonable priors, the geometric structure can be recovered. Fully exploiting the recovered structure, however, requires the development of stochastic extensions to classic Riemannian geometry. We take early steps in that regard. Finally, we partly extend the analysis to modern models based on neural networks, thereby highlighting geometric and probabilistic shortcomings of current deep generative models.


title: Heat flow due to time-delayed feedback

abstract: The thermodynamics of stochastic non-Markovian systems is still widely unexplored. We present an analytical approach for the net steady-state heat flux in nonlinear overdamped systems subject to a continuous feedback force with a discrete time delay. We show that the feedback inevitably leads to a finite heat flow even for vanishingly small delay times. Application to an exemplary (bistable) system reveals that the feedback induces heating as well as cooling regimes and leads to a maximum of the medium entropy production at coherence resonance conditions.


title: The Intersection Problem for Finite Semigroups

abstract: We investigate the intersection problem for finite semigroups, which asks for a given set of regular languages, represented by recognizing morphisms to finite semigroups, whether there exists a word contained in their intersection. We introduce compressibility measures as a useful tool to classify the intersection problem for certain classes of finite semigroups into circuit complexity classes and Turing machine complexity classes. Using this framework, we obtain a new and simple proof that for groups and commutative semigroups, the problem is contained in NP. We uncover certain structural and non-structural properties determining the complexity of the intersection problem for varieties of semigroups containing only trivial submonoids. More specifically, we prove NP-hardness for classes of semigroups having a property called unbounded order and for the class of all nilpotent semigroups of bounded order. On the contrary, we show that bounded order and commutativity imply containment in the circuit complexity class qAC^k (for some k) and decidability in quasi-polynomial time. We also establish connections to the monoid variant of the problem.


title: Dynamics of algebras in quantum unstable systems

abstract: We introduce a dynamical evolution operator for dealing with unstable physical process, such as scattering resonances, photon emission, decoherence and particle decay. With that aim, we use the formalism of rigged Hilbert space and represent the time evolution of quantum observables in the Heisenberg picture, in such a way that time evolution is non-unitary. This allows to describe observables that are initially non-commutative, but become commutative after time evolution. In other words, a non-abelian algebra of relevant observables becomes abelian when times goes to infinity. We finally present some relevant examples.


title: Optimization of small deviation for mixed fractional Brownian motion with trend

abstract: In this paper, we investigate two-sided bounds for the small ball probability of a mixed fractional Brownian motion with a general deterministic trend function, in terms of respective small ball probability of a mixed fractional Brownian motion without trend. To maximize the lower bound, we consider various ways to split the trend function between the components of the mixed fractional Brownian motion for the application of Girsanov theorem, and we show that the optimal split is the solution of a Fredholm integral equation. We find that the upper bound for the probability is also a function of this optimal split. The asymptotic behaviour of the probability as the ball becomes small is analyzed for zero trend function and for the particular choice of the upper limiting function.


title: A general framework for SPDE-based stationary random fields

abstract: This paper presents theoretical advances in the application of the Stochastic Partial Differential Equation (SPDE) approach in geostatistics. We show a general approach to construct stationary models related to a wide class of linear SPDEs, with applications to spatio-temporal models having non-trivial properties. Within the framework of Generalized Random Fields, a criterion for existence and uniqueness of stationary solutions for this class of SPDEs is proposed and proven. Their covariance are then obtained through their spectral measure. We present a result relating the covariance in the case of a White Noise source term with that of a generic case through convolution. Then, we obtain a variety of SPDE-based stationary random fields. In particular, well-known results regarding the Mat\'ern Model and Markovian models are recovered. A new relationship between the Stein model and a particular SPDE is obtained. New spatio-temporal models obtained from evolution SPDEs of arbitrary temporal derivative order are then obtained, for which properties of separability and symmetry can be controlled. We also obtain results concerning stationary solutions for physically inspired models, such as solutions to the heat equation, the advection-diffusion equation, some Langevin's equations and the wave equation.


title: Importance of reorientational dynamics for the charge transport in ionic liquids

abstract: Most ionic liquids contain at least one rather complex ion species exhibiting a dipolar moment. In the present work, we provide a thorough evaluation of broadband dielectric spectra of 12 ionic liquids taking into account the often neglected reorientational dynamics of these ions. We confirm that this dynamics leads to a clear relaxational signature in the spectra, a fact that so far only was considered in few previous works. The obtained reorientational relaxation times are well consistent with earlier inelastic light-scattering and high-frequency dielectric investigations. Evaluating our dielectric spectra in terms of reorientational motions reveals a close coupling of the ion-rotation dynamics to the ionic charge transport in a broad temperature range from the low-viscosity liquid above room temperature deep into the high-viscosity supercooled state close to Tg. This coupling does not seem to be mediated by the viscosity but probably is of more direct nature, pointing to a revolving-door mechanism as also considered for plastic-crystalline ionic conductors. Our results show that the reorientational motion of the dipolar ions plays a significant and so far widely overlooked role for the ionic charge transport in ionic liquids.


title: The galactic rotation curve of a magnetized plasma cloud

abstract: The rotation curve of a magnetized plasma cloud orbiting in the gravitational potential of a galaxy is calculated by statistical arguments. The working assumption is that a mild magnetic field, decreasing with distance from the galactic center, permeates space. It is shown that the resulting probability density is compatible with a flat rotation curve.


title: Rado's criterion over squares and higher powers

abstract: We establish partition regularity of the generalised Pythagorean equation in five or more variables. Furthermore, we show how Rado's characterisation of a partition regular equation remains valid over the set of positive $k$th powers, provided the equation has at least $(1+o(1))k\log k$ variables. We thus completely describe which diagonal forms are partition regular and which are not, given sufficiently many variables. In addition, we prove a supersaturated version of Rado's theorem for a linear equation restricted either to squares minus one or to logarithmically-smooth numbers.


title: Poissonization of Three Dimensional Nonholonomic Dynamics with the Method of Extension

abstract: In this study we develop a systematic procedure to construct a Poisson operator that describes the dynamics of a three dimensional nonholonomic system. Instead of reducing by symmetry the antisymmetric operator that links the energy gradient to the velocity on the tangent bundle, the system is embedded in a larger space. Here, the extended antisymmetric operator, which preserves the original equations of motion, satisfies the Jacobi identity in a conformal fashion. Thus, a Poisson operator can be obtained by a further time reparametrization. Such Poissonization does not rely on the specific form of the Hamiltonian function. The theory is applied to calculate the equilibrium distribution function of a non-Hamiltonian ensemble.


title: Explainable Agreement through Simulation for Tasks with Subjective Labels

abstract: The field of information retrieval often works with limited and noisy data in an attempt to classify documents into subjective categories, e.g., relevance, sentiment and controversy. We typically quantify a notion of agreement to understand the difficulty of the labeling task, but when we present final results, we do so using measures that are unaware of agreement or the inherent subjectivity of the task. We propose using user simulation to understand the effect size of this noisy agreement data. By simulating truth and predictions, we can understand the maximum scores a dataset can support: for if a classifier is doing better than a reasonable model of a human, we cannot conclude that it is actually better, but that it may be learning noise present in the dataset. We present a brief case study on controversy detection that concludes that a commonly-used dataset has been exhausted: in order to advance the state-of-the-art, more data must be gathered at the current level of label agreement in order to distinguish between techniques with confidence.


title: Proactive Resource Allocation with Predictable Channel Statistics

abstract: The behavior of users in relatively predictable, both in terms of the data they request and the wireless channels they observe. In this paper, we consider the statistics of such predictable patterns of the demand and channel jointly across multiple users, and develop a novel predictive resource allocation method. This method is shown to provide performance benefits over a reactive approach, which ignores these patterns and instead aims to satisfy the instantaneous demands, irrespective of cost to the system. In particular, we show that our proposed method is able to attain a novel fundamental bound on the achievable cost, as the service window grows. Through numerical evaluation, we gain insights into how different uncertainty sources affect the decisions and the cost.


title: Exact scattering waves off nonlocal potentials under Coulomb interaction within Schr\"odinger's integro-differential equation

abstract: An exact solution for the scattering wavefunction from a nonlocal potential in the presence of Coulomb interaction is presented. The approach is based on the construction of a Coulomb Green's function in coordinate space whose associated kernel involves any nonlocal optical potential superposed to the Coulomb-screened interaction. The scattering wavefunction, exact solution of the integro-differential Schr\"odinger's equation, poses no restrictions on the type of nonlocality of the interaction nor on the beam energy.


title: Quantum error correction and entanglement spectrum in tensor networks

abstract: A sort of planar tensor networks with tensor constraints is investigated as a model for holography. We study the greedy algorithm generated by tensor constraints and propose the notion of critical protection (CP) against the action of greedy algorithm. For given tensor constraints, a CP tensor chain can be defined. We further find that the ability of quantum error correction (QEC), the non-flatness of entanglement spectrum (ES) and the correlation function can be quantitatively evaluated by the geometric structure of CP tensor chain. Four classes of tensor networks with different properties of entanglement is discussed. Thanks to tensor constraints and CP, the correlation function is reduced into a bracket of Matrix Production State and the result agrees with the one in conformal field theory.


title: Measurement of $Z\rightarrow\tau^+\tau^-$ production in proton-proton collisions at $\sqrt{s} = 8$ TeV

abstract: A measurement of $Z\rightarrow\tau^+\tau^-$ production cross-section is presented using data, corresponding to an integrated luminosity of 2 fb$^{-1}$, from $pp$ collisions at $\sqrt{s}=8$ TeV collected by the LHCb experiment. The $\tau^+\tau^-$ candidates are reconstructed in final states with the first tau lepton decaying leptonically, and the second decaying either leptonically or to one or three charged hadrons. The production cross-section is measured for $Z$ bosons with invariant mass between 60 and 120 GeV/$c^2$, which decay to tau leptons with transverse momenta greater than 20 GeV/$c$ and pseudorapidities between 2.0 and 4.5. The cross-section is determined to be $\sigma_{pp\rightarrow{}Z\rightarrow{}\tau^+\tau^-} = 95.8 \pm 2.1 \pm 4.6 \pm 0.2 \pm 1.1 \mathrm{pb}$, where the first uncertainty is statistical, the second is systematic, the third is due to the LHC beam energy uncertainty, and the fourth to the integrated luminosity uncertainty. This result is compatible with NNLO Standard model predictions. The ratio of the cross-sections for $Z\rightarrow\tau^+\tau^-$ to $Z\rightarrow\mu^+\mu^-$ ($Z\rightarrow{}e^+e^-$), determined to be $1.01 \pm 0.05$ ($1.02 \pm 0.06$), is consistent with the lepton-universality hypothesis in $Z$ decays.


title: Tree Edit Distance Learning via Adaptive Symbol Embeddings

abstract: Metric learning has the aim to improve classification accuracy by learning a distance measure which brings data points from the same class closer together and pushes data points from different classes further apart. Recent research has demonstrated that metric learning approaches can also be applied to trees, such as molecular structures, abstract syntax trees of computer programs, or syntax trees of natural language, by learning the cost function of an edit distance, i.e. the costs of replacing, deleting, or inserting nodes in a tree. However, learning such costs directly may yield an edit distance which violates metric axioms, is challenging to interpret, and may not generalize well. In this contribution, we propose a novel metric learning approach for trees which we call embedding edit distance learning (BEDL) and which learns an edit distance indirectly by embedding the tree nodes as vectors, such that the Euclidean distance between those vectors supports class discrimination. We learn such embeddings by reducing the distance to prototypical trees from the same class and increasing the distance to prototypical trees from different classes. In our experiments, we show that BEDL improves upon the state-of-the-art in metric learning for trees on six benchmark data sets, ranging from computer science over biomedical data to a natural-language processing data set containing over 300,000 nodes.


title: Status of rare exclusive $B$ meson decays in 2018

abstract: This review discusses the present experimental and theoretical status of rare flavour-changing neutral current $b$-quark decays at the begin of 2018. It includes a discussion of the experimental situation and details of the currently observed anomalies in measurements of flavour observables, including lepton flavour universality. Progress on the theory side, within and beyond the Standard Model theory is also discussed, together with potential New Physics interpretations of the present measurements.


title: Information Geometry on the Space of Equilibrium States of Black Holes in Higher Derivative Theories

abstract: We study the information-geometric properties of the Deser-Sarioglu-Tekin black hole, which is a higher derivative gravity solution with contributions from a non-polynomial term of the Weyl tensor to the Einstein-Hilbert Lagrangian. Our investigation is focused on deriving the relevant information metrics and their scalar curvatures on the space of equilibrium states. The analysis is conducted within the framework of thermodynamic information geometry and shows highly non-trivial statistical behavior. Furthermore, the quasilocal formalism, developed by Brown and York, was successfully implemented in order to derive the mass of the Deser-Sarioglu-Tekin black hole.


title: Bounding the outcome of a two-photon interference measurement using weak coherent states

abstract: Interference of two photons at a beamsplitter is at the core of many quantum photonic technologies, such as quantum key distribution or linear-optics quantum computing. Observing high-visibility interference is challenging because of the difficulty of realizing indistinguishable single-photon sources. Here, we perform a two-photon interference experiment using phase-randomized weak coherent states with different mean photon numbers. We place a tight upper bound on the expected coincidences for the case when the incident wavepackets contain single photons, allowing us to observe the Hong-Ou-Mandel effect. We find that the interference visibility is at least as large as 0.995$^{+0.005}_{-0.013}$.


title: An inverse analysis of cohesive zone model parameter values for human fibrous cap mode I tearing

abstract: Atherosclerotic plaque failure results from various pathophysiological events, with the existence of fibrous cap mode I tearing in the arterial wall, having the potential to block the aortic lumen and correspondingly induce serious clinical conditions.The aim of this study was to quantify the interfacial strength and critical energy release rate of the fibrous tissue across the thickness. in this study, an inverse analysis method via finite element modeling and simulation approach was presented. A cohesive zone model (CZM) was applied to simulate the tearing of the fibrous cap tissue under uniaxial tensile tests along the circumferential direction. A fiber-reinforced hyperelastic model (Holzapfel-Gasser-Ogden) was implemented for characterizing the mechanical properties of bulk material. With the material parameter values of HGO model from inverse analysis process as the input for the bulk material, the interfacial strength and critical energy release rate along the tearing path or failure zones are obtained through the same method as material identification process of HGO model. Results of this study demonstrate the fibrous cap tissue tearing failure processes.


title: Harmonic Generation from Metal-Oxide and Metal-Metal Boundaries

abstract: We explore the outcomes of detailed microscopic models by calculating second- and third-harmonic generation from thin film surfaces with discontinuous free-electron densities. These circumstances can occur in structures consisting of a simple metal mirror, or arrangements composed of either different metals or a metal and a free electron system like a conducting oxide. Using a hydrodynamic approach we highlight the case of a gold mirror, and that of a two-layer system containing indium tin oxide (ITO) and gold. We assume the gold mirror surface is characterized by a free-electron cloud of varying density that spills into the vacuum, which as a result of material dispersion exhibits epsilon-near-zero conditions and local field enhancement at the surface. For a bylayer consisting of a thin ITO and gold films, if the wave is incident from the ITO side the electromagnetic field is presented with a free-electron discontinuity at the ITO/gold interface, and wavelength-dependent, epsilon-near-zero conditions that enhance local fields and conversion efficiencies, and determine the surface's emission properties. We evaluate the relative significance of additional nonlinear sources that arise when a free-electron discontinuity is present, and show that harmonic generation can be sensitive to the density of the screening free-electron cloud, and not its thickness. Our findings also suggest the possibility to control surface harmonic generation through surface charge engineering.


title: JUNO Sensitivity to Resonant Absorption of Galactic Supernova Neutrinos by Dark Matter

abstract: Resonant interactions between neutrinos from a Galactic supernova and dark matter particles can lead to a sharp dip in the neutrino energy spectrum. Due to its excellent energy resolution, measurement of this effect with the JUNO experiment can provide evidence for such couplings. We discuss how JUNO may confirm or further constrain a model where scalar dark matter couples to active neutrinos and another fermion.


title: Performance of the triple GEM detector built using commercially manufactured GEM foils in India

abstract: The Gas Electron Multiplier (GEM) detectors has been utilized for various applications due to their excellent spatial resolution, high rate capabilities and flexibility in design. The GEM detectors stand as a promising device to be used in nuclear and particle physics experiments. Many future experiments and upgrades are looking forward to use this technology leading to high demand of GEM foils. Until now, CERN is the only reliable manufacturer and distributor of GEM foils, but with technology transfer, few other industries across the globe have started manufacturing these foils employing the same photo-lithographic technique. The Micropack Pvt. Ltd. is one such industry in India which produced first few $10~cm ~\times~ 10~cm$ GEM foils, which were then distributed to few collaborating partners for testing reliability and performance of foils before they can be accepted by the scientific community. Characterization of three such foils have already been performed by studying their optical and electrical properties. Using these foils a triple GEM detector has been built and various performance characteristics have been measured. In this paper, we specifically report measurements on gain, resolution and response uniformity, by utilizing local quality control set-ups existing at University of Delhi.


title: Brain-Computer Interface with Corrupted EEG Data: A Tensor Completion Approach

abstract: One of the current issues in Brain-Computer Interface is how to deal with noisy Electroencephalography measurements organized as multidimensional datasets. On the other hand, recently, significant advances have been made in multidimensional signal completion algorithms that exploit tensor decomposition models to capture the intricate relationship among entries in a multidimensional signal. We propose to use tensor completion applied to EEG data for improving the classification performance in a motor imagery BCI system with corrupted measurements. Noisy measurements are considered as unknowns that are inferred from a tensor decomposition model. We evaluate the performance of four recently proposed tensor completion algorithms plus a simple interpolation strategy, first with random missing entries and then with missing samples constrained to have a specific structure (random missing channels), which is a more realistic assumption in BCI Applications. We measured the ability of these algorithms to reconstruct the tensor from observed data. Then, we tested the classification accuracy of imagined movement in a BCI experiment with missing samples. We show that for random missing entries, all tensor completion algorithms can recover missing samples increasing the classification performance compared to a simple interpolation approach. For the random missing channels case, we show that tensor completion algorithms help to reconstruct missing channels, significantly improving the accuracy in the classification of motor imagery, however, not at the same level as clean data. Tensor completion algorithms are useful in real BCI applications. The proposed strategy could allow using motor imagery BCI systems even when EEG data is highly affected by missing channels and/or samples, avoiding the need of new acquisitions in the calibration stage.


title: Dean-Kawasaki Dynamics: Ill-posedness vs. Triviality

abstract: We prove that the Dean-Kawasaki SPDE admits a solution only in integer parameter regimes, in which case the solution is given in terms of non-interacting particles.


title: Explicit solutions for nonlocal NLS: GBDT and algebro-geometric approaches

abstract: We apply the GBDT version of the B\"acklund-Darboux transformation to the nonlocal NLS (focusing and defocusing cases). The matrix case is included and solutions in the form of rectangular $m_1 \times m_2$ matrix functions are dealt with. The wave function is also constructed explicitly. Families of explicit examples are considered in detail. Some initial results and representations for the more complicated algebro-geometric solutions are obtained as well.


title: Recent Progress in Optimization of Multiband Electrical Filters

abstract: The best uniform rational approximation of the \emph{sign} function on two intervals was explicitly found by Russian mathematician E.I. Zolotar\"ev in 1877. The progress in math eventually led to the progress in technology: half a century later German electrical engineer and physicist W.Cauer has invented low- and high-pass electrical filters known today as elliptic or Cauer-Zolotar\"ev filters and possessing the unbeatable quality. We discuss a recently developed approach for the solution of optimization problem naturally arising in the synthesis of multi-band (analogue, digital or microwave) electrical filters. The approach is based on techniques from algebraic geometry and generalizes the effective representation of Zolotar\"ev fraction.


title: Characterization of quantum spin liquids and their spinon band structures via functional renormalization

abstract: We combine the pseudofermion functional renormalization group (PFFRG) method with a self-consistent Fock-like mean-field scheme to calculate low-energy effective theories for emergent spinon excitations in spin-1/2 quantum spin liquids. Using effective spin interactions from PFFRG as an input for the Fock equation and allowing for the most general types of free spinon ans\"atze as classified by the projective symmetry group (PSG) method, we are able to systematically determine spinon band structures for spin-liquid candidate systems beyond mean-field theory. We apply this approach to the antiferromagnetic $J_1$-$J_2$ Heisenberg model on the square lattice and to the antiferromagnetic nearest-neighbor Heisenberg model on the kagome lattice. For the $J_1$-$J_2$ model, we find that in the regime of maximal frustration a SU(2) $\pi$-flux state with Dirac spinons yields the largest mean-field amplitudes. For the kagome model, we identify a gapless $\mathbb{Z}_2$ spin liquid with a small circular spinon Fermi surface and approximate Dirac-cones at low but finite energies.


title: Cosmological tests of gravity with latest observations

abstract: We perform observational tests of modified gravity on cosmological scales following model-dependent and model-independent approaches using the latest astronomical observations, including measurements of the local Hubble constant, cosmic microwave background, the baryonic acoustic oscillations and redshift space distortions derived from galaxy surveys including the SDSS BOSS and eBOSS, as well as the weak lensing observations performed by the CFHTLenS team. Using all data combined, we find a deviation from the prediction of general relativity in both the effective Newton's constant, $\mu(a,k)$, and in the gravitational slip, $\eta(a,k)$. The deviation is at a $3.1\sigma$ level in the joint $\{\mu(a,k),\eta(a,k)\}$ space using a two-parameter phenomenological model for $\mu$ and $\eta$, and it reaches a $3.7\sigma$ level if a general parametrisation is used. This signal, which may be subject to unknown observational systematics, or a sign of new physics, is worth further investigating with forthcoming observations.


title: Non-degeneracy of Riemannian Schwarzschild-anti de Sitter metrics: Birkhoff-type results in linearized gravity

abstract: We prove Birkhoff-type results showing that $L^2$ solutions of the linearized Einstein equations around Riemannian Kottler ("Schwarzschild-anti de Sitter") metrics in arbitrary dimension and horizon topology, which are not controlled by "master functions" are pure gauge. Together with earlier results this implies that the $TT$-gauge-fixed linearized Einstein operator for these metrics is non-degenerate for open ranges of the mass parameter.


title: Self-Supervised Feature Learning by Learning to Spot Artifacts

abstract: We introduce a novel self-supervised learning method based on adversarial training. Our objective is to train a discriminator network to distinguish real images from images with synthetic artifacts, and then to extract features from its intermediate layers that can be transferred to other data domains and tasks. To generate images with artifacts, we pre-train a high-capacity autoencoder and then we use a damage and repair strategy: First, we freeze the autoencoder and damage the output of the encoder by randomly dropping its entries. Second, we augment the decoder with a repair network, and train it in an adversarial manner against the discriminator. The repair network helps generate more realistic images by inpainting the dropped feature entries. To make the discriminator focus on the artifacts, we also make it predict what entries in the feature were dropped. We demonstrate experimentally that features learned by creating and spotting artifacts achieve state of the art performance in several benchmarks.


title: Detecting topological phases via survival probabilities of edge Majorana fermions

abstract: We investigate the evolutions of edge Majorana fermions (MFs) and unveil that they can be used to char- acterize different topological phases and study the topological phase transitions. For some limiting cases of the evolution process for the one-dimensional Kitaev model and Su-Schrieffer-Heeger (SSH) model, we give analytical expressions of the survival probabilities of the edge MFs, which indicates that different topological phases correspond to different zero point numbers of the defined survival probabilities at some times. For a general case, we consider a dimerized Kitaev model and the Kitaev chain with disorder chemical potential and numerically calculate the survival probabilities of two edge correlation MFs. Our results show that both of them equal to zero, one of them equals to zero at some times or neither of them equal to zero correspond to the SSH-like topological, topological superconductor and trivial phases respectively.


title: An Analytical Model for Wireless Mesh Networks with Collision-Free TDMA and Finite Queues

abstract: Wireless mesh networks are a promising technology for connecting sensors and actuators with high flexibility and low investment costs. In industrial applications, however, reliability is essential. Therefore, two time-slotted medium access methods, DSME and TSCH, were added to the IEEE 802.15.4 standard. They allow collision-free communication in multi-hop networks and provide channel hopping for mitigating external interferences. The slot schedule used in these networks is of high importance for the network performance. This paper supports the development of efficient schedules by providing an analytical model for the assessment of such schedules, focused on TSCH. A Markov chain model for the finite queue on every node is introduced that takes the slot distribution into account. The models of all nodes are interconnected to calculate network metrics such as packet delivery ratio, end-to-end delay and throughput. An evaluation compares the model with a simulation of the Orchestra schedule. The model is applied to Orchestra as well as to two simple distributed scheduling algorithms to demonstrate the importance of traffic-awareness for achieving high throughput.


title: Direct Measurement of the Magnitude of van der Waals interaction of Single and Multilayer Graphene

abstract: Vertical stacking of monolayers via van der Waals assembly is an emerging field that opens promising routes toward engineering physical properties of two-dimensional (2D) materials. Industrial exploitation of these engineering heterostructures as robust functional materials still requires bounding their measured properties so to enhance theoretical tractability and assist in experimental designs. Specifically, the short-range attractive van der Waals forces are responsible for the adhesion of chemically inert components and are recognized to play a dominant role in the functionality of these structures. Here we reliably quantify the the strength of van der Waals forces in terms of an effective Hamaker parameter for CVD-grown graphene and show how it scales by a factor of two or three from single to multiple layers on standard supporting surfaces such as copper or silicon oxide. Furthermore, direct measurements on freestanding graphene provide the means to discern the interplay between the van der Waals potential of graphene and its supporting substrate. Our results demonstrated that the underlying substrates could enhance or reduce the van der Waals force of graphene surfaces, and its consequences are explained in terms of a Lifshitz theory-based analytical model.


title: Socioeconomic driving forces of scientific research

abstract: Why do nations produce scientific research? This is a fundamental problem in the field of social studies of science. The paper confronts this question here by showing vital determinants of science to explain the sources of social power and wealth creation by nations. Firstly, this study suggests a new general definition of science and scientific research that synthetizes previous concepts and endeavors to extend them: Science discovers the root causes of phenomena to explain and predict them in a context of adaptation of life to new economic and social bases, whereas scientific research is a systematic process, applying methods of scientific inquiry, to solve consequential problems, to satisfy human wants, to take advantage of important opportunities and/or to cope with environmental threats. In particular, science and scientific research are driven by an organized social effort that inevitably reflect the concerns and interests of nations to achieve advances and discoveries that are spread to the rest of humankind. This study reveals that scientific research is produced for social and economic interests of nations (power, wealth creation, technological superiority, etc.), rather than philosophical inquiries. A main implication of this study is that the immense growth of science in modern society is not only due to activity of scientists but rather to general social efforts of nations to take advantage of important opportunities and/or to cope with environmental threats, such as war. Empirical evidence endeavors to support the sources of scientific research for nations, described here. Finally, relationships between R&D investment and productivity, and research policy implications are discussed.


title: Unbundling Open Access dimensions: a conceptual discussion to reduce terminology inconsistencies

abstract: The current ways in which documents are made freely accessible in the Web no longer adhere to the models established Budapest/Bethesda/Berlin (BBB) definitions of Open Access (OA). Since those definitions were established, OA-related terminology has expanded, trying to keep up with all the variants of OA publishing that are out there. However, the inconsistent and arbitrary terminology that is being used to refer to these variants are complicating communication about OA-related issues. This study intends to initiate a discussion on this issue, by proposing a conceptual model of OA. Our model features six different dimensions (prestige, user rights, stability, immediacy, peer-review, and cost). Each dimension allows for a range of different options. We believe that by combining the options in these six dimensions, we can arrive at all the current variants of OA, while avoiding ambiguous and/or arbitrary terminology. This model can be an useful tool for funders and policy makers who need to decide exactly which aspects of OA are necessary for each specific scenario.


title: Visually grounded cross-lingual keyword spotting in speech

abstract: Recent work considered how images paired with speech can be used as supervision for building speech systems when transcriptions are not available. We ask whether visual grounding can be used for cross-lingual keyword spotting: given a text keyword in one language, the task is to retrieve spoken utterances containing that keyword in another language. This could enable searching through speech in a low-resource language using text queries in a high-resource language. As a proof-of-concept, we use English speech with German queries: we use a German visual tagger to add keyword labels to each training image, and then train a neural network to map English speech to German keywords. Without seeing parallel speech-transcriptions or translations, the model achieves a precision at ten of 58%. We show that most erroneous retrievals contain equivalent or semantically relevant keywords; excluding these would improve P@10 to 91%.


title: In-Hand Object Stabilization by Independent Finger Control

abstract: Grip control during robotic in-hand manipulation is usually modeled as part of a monolithic task, relying on complex controllers specialized for specific situations. Such approaches do not generalize well and are difficult to apply to novel manipulation tasks. Here, we propose a modular object stabilization method based on a proposition that explains how humans achieve grasp stability. In this bio-mimetic approach, independent tactile grip stabilization controllers ensure that slip does not occur locally at the engaged robot fingers. Such local slip is predicted from the tactile signals of each fingertip sensor i.e., BioTac and BioTac SP by Syntouch. We show that stable grasps emerge without any form of central communication when such independent controllers are engaged in the control of multi-digit robotic hands. These grasps are resistant to external perturbations while being capable of stabilizing a large variety of objects.


title: Experimental Study on Laminar Burning Speed for Anisole/Air Mixture

abstract: Biofuels have shown to be a reliable source of energy and a replication of fossil fuels. A well-known branch of biofuels is oxygenated ones derived from lignin compounds. Although a wide range of studies was done on oxygenated fuels, anisole has not been investigated thoroughly despite its noticeable advantages. Laminar burning speeds of anisole/air mixtures have been studied experimentally under different initial pressures (0.5-2 bar) and equivalence ratios (0.8-1.4) at temperature of 453 K. All experiments are performed using a transparent constant volume combustion chamber (CVCC) and z-type schlieren optical diagnostics technique in conjunction with a high-speed CMOS camera with capability of taking pictures up to 680,000 fps. The recorded pressure data is used as the input for the newly developed multi-shell and differential-based theoretical model in order to calculate the laminar burning speeds for anisole/air mixtures.


title: The SL(K+3,C) Symmetry of the Bosonic String Scattering Amplitudes

abstract: We discover that the exact string scattering amplitudes (SSA) of three tachyons and one arbitrary string state, or the Lauricella SSA (LSSA), in the 26D open bosonic string theory can be expressed in terms of the basis functions in the infinite dimensional representation space of the SL(K+3,C) group. In addition, we find that the K+2 recurrence relations among the LSSA discovered by the present authors previously can be used to reproduce the Cartan subalgebra and simple root system of the SL(K+3,C) group with rank K+2. As a result, the SL(K+3,C) group can be used to solve all the LSSA and express them in terms of one amplitude. As an application in the hard scattering limit, the SL(K+3,C) group can be used to directly prove Gross conjecture [1-3], which was previously corrected and proved by the method of decoupling of zero norm states [4-10].


title: A Probabilistic U-Net for Segmentation of Ambiguous Images

abstract: Many real-world vision problems suffer from inherent ambiguities. In clinical applications for example, it might not be clear from a CT scan alone which particular region is cancer tissue. Therefore a group of graders typically produces a set of diverse but plausible segmentations. We consider the task of learning a distribution over segmentations given an input. To this end we propose a generative segmentation model based on a combination of a U-Net with a conditional variational autoencoder that is capable of efficiently producing an unlimited number of plausible hypotheses. We show on a lung abnormalities segmentation task and on a Cityscapes segmentation task that our model reproduces the possible segmentation variants as well as the frequencies with which they occur, doing so significantly better than published approaches. These models could have a high impact in real-world applications, such as being used as clinical decision-making algorithms accounting for multiple plausible semantic segmentation hypotheses to provide possible diagnoses and recommend further actions to resolve the present ambiguities.


title: Development of probabilistic dam breach model using Bayesian inference

abstract: Dam breach models are commonly used to predict outflow hydrographs of potentially failing dams and are key ingredients for evaluating flood risk. In this paper a new dam breach modeling framework is introduced that shall improve the reliability of hydrograph predictions of homogeneous earthen embankment dams. Striving for a small number of parameters, the simplified physics-based model describes the processes of failing embankment dams by breach enlargement, driven by progressive surface erosion. Therein the erosion rate of dam material is modeled by empirical sediment transport formulations. Embedding the model into a Bayesian multilevel framework allows for quantitative analysis of different categories of uncertainties. To this end, data available in literature of observed peak discharge and final breach width of historical dam failures was used to perform model inversion by applying Markov Chain Monte Carlo simulation. Prior knowledge is mainly based on non-informative distribution functions. The resulting posterior distribution shows that the main source of uncertainty is a correlated subset of parameters, consisting of the residual error term and the epistemic term quantifying the breach erosion rate. The prediction intervals of peak discharge and final breach width are congruent with values known from literature. To finally predict the outflow hydrograph for real case applications, an alternative residual model was formulated that assumes perfect data and a perfect model. The fully probabilistic fashion of hydrograph prediction has the potential to improve the adequate risk management of downstream flooding.


title: Simple Laws about Nonprominent Properties of Binary Relations

abstract: We checked each binary relation on a 5-element set for a given set of properties, including usual ones like asymmetry and less known ones like Euclideanness. Using a poor man's Quine-McCluskey algorithm, we computed prime implicants of non-occurring property combinations, like "not irreflexive, but asymmetric". We considered the non-trivial laws obtained this way, and manually proved them true for binary relations on arbitrary sets, thus contributing to the encyclopedic knowledge about less known properties.


title: Local Lorentz invariance and a new theory of gravitation equivalent to General Relativity

abstract: A gauge theory of the Lorentz group with a mass-dimension one gauge field coupling to matter of any spin is developed. As a completely new feature the "Vierbein" assuring local gauge invariance enters not as an independent dynamical field, but emerges as a functional of the Lorentz gauge field. The underlying geometry of the theory turns out to be a $SO(1,3)$ Banach bundle. The most general action which is renormalizable by power-counting is constructed in terms of the gauge field and its first derivatives. It contains no higher derivative terms in the gauge field which destroy unitarity in the usual renormalizable $R^2$-theories of gravitation. Finally equivalence of the Lorentz gauge field theory coupled to spin zero matter with General Relativity is established


title: Bicomplex Lucas and Horadam Numbers

abstract: In this work, we made a generalization that includes all bicomplex Fibonacci-like numbers such as; Fibonacci, Lucas, Pell, etc.. We named this generalization as bicomplex Horadam numbers. For bicomplex Fibonacci and Lucas numbers we gave some additional identities. Moreover, we have obtained the Binet formula and generating function for bicomplex Horadam numbers for the first time. We have also obtained two important identities that relate the matrix theory to the second order recurrence relations.


title: On Artin's conjecture: linear slices of diagonal hypersurfaces

abstract: Artin's conjecture is established for all forms that can be realised as a diagonal form on an hyperplane.


title: TTT2 with Termination Templates for Teaching

abstract: On the one hand, checking specific termination proofs by hand, say using a particular collection of matrix interpretations, can be an arduous and error-prone task. On the other hand, automation of such checks would save time and help to establish correctness of exam solutions, examples in lecture notes etc. To this end, we introduce a template mechanism for the termination tool TTT2 that allows us to restrict parameters of certain termination methods. In the extreme, when all parameters are fixed, such restrictions result in checks for specific proofs.


title: Lightcurves for asteroids 18301 Konyukhov and 2022 West

abstract: We report photometric analysis of two main-belt asteroids observed at the Observatorio Astronomico Nacional in the Sierra San Pedro Martir, Baja California, M\'exico. For 18301 Konyukhov our derived intrinsic rotation period is 2.6667 $\pm$ 0.0003 h with an amplitude of 0.16 magnitudes. To the best of our knowledge, this is the first lightcurve reported for this asteroid. In the case of 2022 West our derived intrinsic rotation period is 14.1385 $\pm$ 0.0031 h with an amplitude of 0.54 magnitudes.


title: Complexity Factor For Static Anisotropic Self-Gravitating Source in $f(R)$ Gravity

abstract: In a recent paper, Herrera \cite{2} (L. Herrera: Phys. Rev. D97, 044010(2018)) have proposed a new definition of complexity for static self-gravitating fluid in General Relativity. In the present article, we implement this definition of complexity for static self-gravitating fluid to case of $f(R)$ gravity. Here, we found that in the frame of $f(R)$ gravity the definition of complexity proposed by Herrera, entirely based on the quantity known as complexity factor which appears in the orthogonal splitting of the curvature tensor. It has been observed that fluid spheres possessing homogenous energy density profile and isotropic pressure are capable to diminish their the complexity factor. We are interested to see the effects of $f(R)$ term on complexity factor of the self-gravitating object. The gravitating source with inhomogeneous energy density and anisotropic pressure have maximum value of complexity. Further, such fluids may have zero complexity factor if the effects of inhomogeneity in energy density and anisotropic pressure cancel the effects of each other in the presence of $f(R)$ dark source term. Also, we have found some interior exact solutions of modified $f(R)$ field equations satisfying complexity criterium and some applications of this newly concept to the study of structure of compact objects are discussed in detail. It is interesting to note that previous results about the complexity for static self-gravitating fluid in General Relativity can be recovered from our analysis if $f(R)=R$, which General Relativistic limit of $f(R)$ gravity. Some future research directions have been mentioned in the end of the summary.


title: Self-consistent Method and Steady States of Second-order Oscillators

abstract: The self-consistent method, first introduced by Kuramoto, is a powerful tool for the analysis of the steady states of coupled oscillator networks. For second-order oscillator networks complications to the application of the self-consistent method arise because of the bistable behavior due to the co-existence of a stable fixed point and a stable limit cycle, and the resulting complicated boundary between the corresponding basins of attraction. In this paper, we report on a self-consistent analysis of second-order oscillators which is simpler compared to previous approaches while giving more accurate results in the small inertia regime and close to incoherence. We apply the method to analyze the steady states of coupled second-order oscillators and we introduce the concepts of margin region and scaled inertia. The improved accuracy of the self-consistent method close to incoherence leads to an accurate estimate of the critical coupling corresponding to transitions from incoherence.


title: On canonical bases of a formal ${\mathbb K}-algebra

abstract: We study canonical bases of a subalgebra ${\bf A}={\mathbb K}[\![f_1,\dots,f_s]\!]\subseteq {\mathbb K}[\![x_1,\dots,x_n]\!]$ over a field ${\mathbb K}$, and we associate with ${\bf A}$ a fan called the canonical fan of $\bf A$. This generalizes the notion of the standard fan of an ideal.