title: Toward a First-Principles Calculation of Electroweak Box Diagrams

abstract: We derive a Feynman-Hellmann theorem relating the second-order nucleon energy shift resulting from the introduction of periodic source terms of electromagnetic and isovector axial currents to the parity-odd nucleon structure function $F_3^N$. It is a crucial ingredient in the theoretical study of the $\gamma W$ and $\gamma Z$ box diagrams that are known to suffer from large hadronic uncertainties. We demonstrate that for a given $Q^2$, one only needs to compute a small number of energy shifts in order to obtain the required inputs for the box diagrams. Future lattice calculations based on this approach may shed new light on various topics in precision physics including the refined determination of the Cabibbo-Kobayashi-Maskawa matrix elements and the weak mixing angle.


title: A Choquet Fuzzy Integral Vertical Bagging Classifier for Mobile Telematics Data Analysis

abstract: Mobile app development in recent years has resulted in new products and features to improve human life. Mobile telematics is one such development that encompasses multidisciplinary fields for transportation safety. The application of mobile telematics has been explored in many areas, such as insurance and road safety. However, to the best of our knowledge, its application in gender detection has not been explored. This paper proposes a Choquet fuzzy integral vertical bagging classifier that detects gender through mobile telematics. In this model, different random forest classifiers are trained by randomly generated features with rough set theory, and the top three classifiers are fused using the Choquet fuzzy integral. The model is implemented and evaluated on a real dataset. The empirical results indicate that the Choquet fuzzy integral vertical bagging classifier outperforms other classifiers.


title: Convergence Analysis of Inexact Randomized Iterative Methods

abstract: In this paper we present a convergence rate analysis of inexact variants of several randomized iterative methods. Among the methods studied are: stochastic gradient descent, stochastic Newton, stochastic proximal point and stochastic subspace ascent. A common feature of these methods is that in their update rule a certain sub-problem needs to be solved exactly. We relax this requirement by allowing for the sub-problem to be solved inexactly. In particular, we propose and analyze inexact randomized iterative methods for solving three closely related problems: a convex stochastic quadratic optimization problem, a best approximation problem and its dual, a concave quadratic maximization problem. We provide iteration complexity results under several assumptions on the inexactness error. Inexact variants of many popular and some more exotic methods, including randomized block Kaczmarz, randomized Gaussian Kaczmarz and randomized block coordinate descent, can be cast as special cases. Numerical experiments demonstrate the benefits of allowing inexactness.


title: A new hard X-ray selected sample of extreme high-energy peaked BL Lac objects and their TeV gamma-ray properties

abstract: Extreme high-energy peaked BL Lac objects (EHBLs) are an emerging class of blazars with exceptional spectral properties. The non-thermal emission of the relativistic jet peaks in the spectral energy distribution (SED) plot with the synchrotron emission in X-rays and with the gamma-ray emission in the TeV range or above. These high photon energies may represent a challenge for the standard modeling of these sources. They are important for the implications on the indirect measurements of the extragalactic background light, the intergalactic magnetic field estimate, and the possible origin of extragalactic high-energy neutrinos. In this paper, we perform a comparative study of the multi-wavelength spectra of 32 EHBL objects detected by the Swift-BAT telescope in the hard X-ray band and by the Fermi-LAT telescope in the high-energy gamma-ray band. The source sample presents uniform spectral properties in the broad-band SEDs, except for the TeV gamma-ray band where an interesting bimodality seems to emerge. This suggests that the EHBL class is not homogeneous, and a possible sub-classification of the EHBLs may be unveiled. Furthermore, in order to increase the number of EHBLs and settle their statistics, we discuss the potential detectability of the 14 currently TeV gamma-ray undetected sources in our sample by the Cherenkov telescopes.


title: Deep Eikonal Solvers

abstract: A deep learning approach to numerically approximate the solution to the Eikonal equation is introduced. The proposed method is built on the fast marching scheme which comprises of two components: a local numerical solver and an update scheme. We replace the formulaic local numerical solver with a trained neural network to provide highly accurate estimates of local distances for a variety of different geometries and sampling conditions. Our learning approach generalizes not only to flat Euclidean domains but also to curved surfaces enabled by the incorporation of certain invariant features in the neural network architecture. We show a considerable gain in performance, validated by smaller errors and higher orders of accuracy for the numerical solutions of the Eikonal equation computed on different surfaces The proposed approach leverages the approximation power of neural networks to enhance the performance of numerical algorithms, thereby, connecting the somewhat disparate themes of numerical geometry and learning.


title: On a class of linear functional equations without range condition

abstract: The main purpose of this work is to provide the general solutions of a class of linear functional equations. Let $n\geq 2$ be an arbitrarily fixed integer, let further $X$ and $Y$ be linear spaces over the field $\mathbb{K}$ and let $\alpha_{i}, \beta_{i}\in \mathbb{K}$, $i=1, \ldots, n$ be arbitrarily fixed constants. We will describe all those functions $f, f_{i, j}\colon X\times Y\to \mathbb{K}$, $i, j=1, \ldots, n$ that fulfill functional equation \[ f\left(\sum_{i=1}^n \alpha_i x_i, \sum_{i=1}^n \beta_i y_i\right)= \sum_{i, j=1}^{n}f_{i, j}(x_i, y_j) \qquad \left(x_i \in X, y_i \in Y, i=1, \ldots, n\right). \] Additionally, necessary and sufficient conditions will also be given that guarantee the solutions to be non-trivial.


title: Inertial migration of neutrally buoyant particles in square channels at high Reynolds numbers

abstract: KEY WORDS suspensions, inertial focusing, particle-laden flows, high Reynolds numbers SHORT SUMMARY The inertial migration of particles in square channel flows at the micro-scale has been deeply investigated in the last two decades. The well-known four equilibrium positions are located near the center of each channel face at moderate Reynolds numbers [1]. More recently, Miura et al. [2] revealed experimentally the presence of eight equilibrium positions in millimetric square channels for Reynolds numbers higher than 250. The aim of the present work is to extend these results obtained at millimeter scale to the micrometer scale. To this end, in situ visualization of particles flowing in square micro-channels at Reynolds numbers ranging from 5 to 300 have been conducted and analyzed.


title: Uncertainty Quantification in Multivariate Mixed Models for Mass Cytometry Data

abstract: Mass cytometry technology enables the simultaneous measurement of over 40 proteins on single cells. This has helped immunologists to increase their understanding of heterogeneity, complexity, and lineage relationships of white blood cells. Current statistical methods often collapse the rich single-cell data into summary statistics before proceeding with downstream analysis, discarding the information in these multivariate datasets. In this article, our aim is to exhibit the use of statistical analyses on the raw, uncompressed data thus improving replicability, and exposing multivariate patterns and their associated uncertainty profiles. We show that multivariate generative models are a valid alternative to univariate hypothesis testing. We propose two models: a multivariate Poisson log-normal mixed model and a logistic linear mixed model. We show that these models are complementary and that either model can account for different confounders. We use Hamiltonian Monte Carlo to provide Bayesian uncertainty quantification. Our models applied to a recent pregnancy study successfully reproduce key findings while quantifying increased overall protein-to-protein correlations between first and third trimester.


title: Tackling Initial Centroid of K-Means with Distance Part (DP-KMeans)

abstract: The initial centroid is a fairly challenging problem in the k-means method because it can affect the clustering results. In addition, choosing the starting centroid of the cluster is not always appropriate, especially, when the number of groups increases.


title: Cost Optimal Design of Zero Emission Neighborhoods' (ZENs) Energy System: Model Presentation and Case Study on Evenstad

abstract: Zero Emission Neighborhoods (ZEN) is a concept studied in Norway to reduce the CO_2 emission of neighborhoods. One question coming along this concept is how to design the energy system of such neighborhoods to fit the ZEN definition. From this definition we extract the CO_2 balance, requiring an annual net zero emission of CO_2 in the lifetime of the neighborhood. This paper proposes a MILP model for obtaining cost optimal design of ZEN's energy system and demonstrates it on a case study. Different technologies are included as investment options and, notably PV as an on-site electricity production mean. Wind turbines are not included in this study because inappropriate in the context of most cities. The results for the case study highlight the importance of PV investment in reaching the ZEN requirements. For example, around 850 kW of solar is needed for our test cases of 10 000 m^2 of floor area, for an annual energy demand of around 700 MWh of electricity and 620 MWh of heat. The investments in other technologies are small in comparison.


title: An asymptotic Formula for the iterated exponential Bell Numbers

abstract: In 1938 E. T. Bell introduced "The Iterated Exponential Integers". He proved that these numbers may be expressed by polynomials with rational coefficients. However, Bell gave no formulas for any of the coefficients except the trivial one, which is always 1. Our task has been to find the coefficient of the leading term, giving asymptotic information about these numbers.


title: Maximal estimates for the bilinear spherical averages and the bilinear Bochner-Riesz operators

abstract: We study the maximal estimates for the bilinear spherical average and the bilinear Bochner-Riesz operator. Firstly, we obtain $L^p\times L^q \to L^r$ estimates for the bilinear spherical maximal function on the optimal range. Thus, we settle the problem which was previously considered by Geba, Greenleaf, Iosevich, Palsson and Sawyer, later Barrionevo, Grafakos, D. He, Honz\'ik and Oliveira, and recently Heo, Hong and Yang. Secondly, we consider $L^p\times L^q \to L^r$ estimates for the maximal bilinear Bochner-Riesz operators and improve the previous known results. For the purpose we draw a connection between the maximal estimates and the square function estimates for the classical Bochner-Riesz operators.


title: Twins Recognition with Multi Biometric System: Handcrafted-Deep Learning Based Multi Algorithm with Voice-Ear Recognition Based Multi Modal

abstract: With the development of technology, the usage areas and importance of biometric systems have started to increase. Since the characteristics of each person are different from each other, a single model biometric system can yield successful results. However, because the characteristics of twin people are very close to each other, multiple biometric systems including multiple characteristics of individuals will be more appropriate and will increase the recognition rate. In this study, a multiple biometric recognition system consisting of a combination of multiple algorithms and multiple models was developed to distinguish people from other people and their twins. Ear and voice biometric data were used for the multimodal model and 38 pair of twin ear images and sound recordings were used in the data set. Sound and ear recognition rates were obtained using classical (hand-crafted) and deep learning algorithms. The results obtained were combined with the score level fusion method to achieve a success rate of 94.74% in rank-1 and 100% in rank -2.


title: Effect of milling on dispersion of graphene nanosheet reinforcement in different morphology copper powder matrix

abstract: The effective dispersion of Graphene Nanosheet (GNS) as reinforcement was studied with various morphology of Copper (Cu) powder as matrix. High energy milling was used for modifying the morphology of the Cu powders. The Cu powder with Spherical and dentric shape was used in this study. Using high energy milling both the powders were milled for 8 h and 16 h respectively. The morphology of Cu powders was altered as flake shape upon milling. GNS (2 wt. %) was added as reinforcement uniformly with various morphology Cu powder used as matrix. The effect of size and shape of Cu as matrix on Cu/GNS composite properties was comprehensively studied. The Cu/GNS composite was prepared using powder metallurgy technique. Using the different shape and size of the Cu as matrix the interface of GNS has been studied. The hardness properties of Cu/GNS composite are evaluated. The effect of GNS interface in Cu particles has a significant influence on mechanical properties of composites. The hardness of Cu matrix composite has improved up to 20% compared to that of pure Cu. Thus morphology of Cu has the ability to improve the mechanical properties with GNS reinforcement.


title: Model-Free Data-Driven Methods in Mechanics: Material Data Identification and Solvers

abstract: This paper presents an integrated model-free data-driven approach to solid mechanics, allowing to perform numerical simulations on structures on the basis of measures of displacement fields on representative samples, without postulating a specific constitutive model. A material data identification procedure, allowing to infer strain-stress pairs from displacement fields and boundary conditions, is used to build a material database from a set of mutiaxial tests on a non-conventional sample. This database is in turn used by a data-driven solver, based on an algorithm minimizing the distance between manifolds of compatible and balanced mechanical states and the given database, to predict the response of structures of the same material, with arbitrary geometry and boundary conditions. Examples illustrate this modelling cycle and demonstrate how the data-driven identification method allows importance sampling of the material state space, yielding faster convergence of simulation results with increasing database size, when compared to synthetic material databases with regular sampling patterns.


title: Quadratic differential algebras generated by Euclidean spaces

abstract: We define a class of quadratic differential algebras which are generated as differential graded algebras by the elements of an Euclidean space. Such a differential algebra is a differential calculus over the quadratic algebra of its elements of differential degree zero. This generalizes for arbitrary quadratic algebras the differential graded algebra of exterior polynomial differential forms for the algebra of polynomial functions on $\mathbb R^n$. We investigate the structure of these differential algebras and their connection with the Koszul complexes of quadratic algebras.


title: On the use of group theory to generalize elements of pairwise comparisons matrix: a cautionary note

abstract: This paper examines the constricted use of group theory in the studies of pairwise comparisons. The presented approach is based on the application of the famous Levi Theorems of 1942 and 1943 for orderable groups. The theoretical foundation for multiplicative (ratio) pairwise comparisons has been provided. Counterexamples have been provided to support the theory. In our opinion, the scientific community must be made aware of the limitations of using the group theory in pairwise comparisons. Groups, which are not torsion free, cannot be used for ratios by Levi's theorems.


title: A BSDE Approach to Stochastic Differential Games Involving Impulse Controls and HJBI Equation

abstract: This paper focuses on zero-sum stochastic differential games in the framework of forward-backward stochastic differential equations on a finite time horizon with both players adopting impulse controls. By means of BSDE methods, in particular that of the notion from Peng's stochastic \textit{% backward semigroups}, we prove a dynamic programming principle for both the upper and the lower value functions of the game. The upper and the lower value functions are then shown to be the unique viscosity solutions of the Hamilton-Jacobi-Bellman-Isaacs equations with a double-obstacle. As a consequence, the uniqueness implies that the upper and lower value functions coincide and the game admits a value.


title: Compressive Spectral Imaging with Diffractive Lenses

abstract: Compressive spectral imaging enables to reconstruct the entire three-dimensional (3D) spectral cube from a few multiplexed images. Here, we develop a novel compressive spectral imaging technique using diffractive lenses. Our technique uses a coded aperture to spatially modulate the optical field from the scene and a diffractive lens such as a photon-sieve for dispersion. The coded field is passed through the diffractive lens and then measured at a few planes using a monochrome detector. The 3D spectral cube is then reconstructed from these highly compressed measurements through sparse recovery. A fast sparse recovery method is developed to solve this large-scale inverse problem. The imaging performance is illustrated at visible regime for various scenarios with different compression ratios through numerical simulations. The results demonstrate that promising reconstruction performance can be achieved with as little as two measurements. This opens up new possibilities for high resolution spectral imaging with low-cost and simple designs.


title: Deep Learning Enables Automatic Detection and Segmentation of Brain Metastases on Multi-Sequence MRI

abstract: Detecting and segmenting brain metastases is a tedious and time-consuming task for many radiologists, particularly with the growing use of multi-sequence 3D imaging. This study demonstrates automated detection and segmentation of brain metastases on multi-sequence MRI using a deep learning approach based on a fully convolution neural network (CNN). In this retrospective study, a total of 156 patients with brain metastases from several primary cancers were included. Pre-therapy MR images (1.5T and 3T) included pre- and post-gadolinium T1-weighted 3D fast spin echo, post-gadolinium T1-weighted 3D axial IR-prepped FSPGR, and 3D fluid attenuated inversion recovery. The ground truth was established by manual delineation by two experienced neuroradiologists. CNN training/development was performed using 100 and 5 patients, respectively, with a 2.5D network based on a GoogLeNet architecture. The results were evaluated in 51 patients, equally separated into those with few (1-3), multiple (4-10), and many (>10) lesions. Network performance was evaluated using precision, recall, Dice/F1 score, and ROC-curve statistics. For an optimal probability threshold, detection and segmentation performance was assessed on a per metastasis basis. The area under the ROC-curve (AUC), averaged across all patients, was 0.98. The AUC in the subgroups was 0.99, 0.97, and 0.97 for patients having 1-3, 4-10, and >10 metastases, respectively. Using an average optimal probability threshold determined by the development set, precision, recall, and Dice-score were 0.79, 0.53, and 0.79, respectively. At the same probability threshold, the network showed an average false positive rate of 8.3/patient (no lesion-size limit) and 3.4/patient (10 mm3 lesion size limit). In conclusion, a deep learning approach using multi-sequence MRI can aid in the detection and segmentation of brain metastases.


title: Long $A$-$B$-paths have the edge-Erd\H os-P\'osa property

abstract: For a fixed integer $\ell$ a path is long if its length is at least $\ell$. We prove that for all integers $k$ and $\ell$ there is a number $f(k,\ell)$ such that for every graph $G$ and vertex sets $A,B$ the graph $G$ either contains $k$ edge-disjoint long $A$-$B$-paths or it contains an edge set $F$ of size $|F|\leq f(k,\ell)$ that meets every long $A$-$B$-path. This is the edge analogue of a theorem of Montejano and Neumann-Lara (1984). We also prove a similar result for long $A$-paths and long $\mathcal{S}$-paths.


title: Some results for range of random walk on graph with spectral dimension two

abstract: We consider the range of the simple random walk on graphs with spectral dimension two. We give a form of strong law of large numbers under a certain uniform condition, which is satisfied by not only the square integer lattice but also a class of fractal graphs. Our results imply the strong law of large numbers on the square integer lattice established by Dvoretzky and Erd\"os (1951). Our proof does not depend on spacial homogeneity of space and gives a new proof of the strong law of large numbers on the lattice. We also show that the behavior of appropriately scaled expectations of the range is stable with respect to every "finite modification" of the two-dimensional integer lattice, and furthermore we construct a recurrent graph such that the uniform condition holds but the scaled expectations fluctuate. As an application, we establish a form of law of the iterated logarithms for lamplighter random walks in the case that the spectral dimension of the underlying graph is two.


title: Maximum Entropy in Turbulence

abstract: Turbulence may appear as a complex process with a multitude of scales and flow patterns, but still obeys simple physical principles such as the conservation of momentum, of energy, and the maximum entropy principle. The latter states that the energy distribution will tend toward the maximum entropy under physical constraints, such as the zero energy at the boundaries and viscous dissipation. For the turbulence energy spectra, a distribution function that maximizes entropy with the physical constraints is a log-normal function, which agrees well with the experimental data over a large range of Reynolds numbers and scales. Also, for channel flows DNS data exhibits an increase in the Shannons entropy and total viscous dissipation as a function of the Reynolds number in a predictable manner. These concepts are used to determine turbulence energy spectra and the spatial distribution of turbulence kinetic energy. The latter leads to a solution to the channel flow problem, when used in conjunction with the expression for the Reynolds stress found earlier.


title: Efficient Smoothing of Dilated Convolutions for Image Segmentation

abstract: Dilated Convolutions have been shown to be highly useful for the task of image segmentation. By introducing gaps into convolutional filters, they enable the use of larger receptive fields without increasing the original kernel size. Even though this allows for the inexpensive capturing of features at different scales, the structure of the dilated convolutional filter leads to a loss of information. We hypothesise that inexpensive modifications to Dilated Convolutional Neural Networks, such as additional averaging layers, could overcome this limitation. In this project we test this hypothesis by evaluating the effect of these modifications for a state-of-the art image segmentation system and compare them to existing approaches with the same objective. Our experiments show that our proposed methods improve the performance of dilated convolutions for image segmentation. Crucially, our modifications achieve these results at a much lower computational cost than previous smoothing approaches.


title: Parameter Synthesis for Markov Models: Covering the Parameter Space

abstract: Markov chain analysis is a key technique in formal verification. A practical obstacle is that all probabilities in Markov models need to be known. However, system quantities such as failure rates or packet loss ratios, etc. are often not -- or only partially -- known. This motivates considering parametric models with transitions labeled with functions over parameters. Whereas traditional Markov chain analysis relies on a single, fixed set of probabilities, analysing parametric Markov models focuses on synthesising parameter values that establish a given safety or performance specification $\varphi$. Examples are: what component failure rates ensure the probability of a system breakdown to be below 0.00000001?, or which failure rates maximise the performance, for instance the throughput, of the system? This paper presents various analysis algorithms for parametric discrete-time Markov chains and Markov decision processes. We focus on three problems: (a) do all parameter values within a given region satisfy $\varphi$?, (b) which regions satisfy $\varphi$ and which ones do not?, and (c) an approximate version of (b) focusing on covering a large fraction of all possible parameter values. We give a detailed account of the various algorithms, present a software tool realising these techniques, and report on an extensive experimental evaluation on benchmarks that span a wide range of applications.


title: An Evaluation of Bitcoin Address Classification based on Transaction History Summarization

abstract: Bitcoin is a cryptocurrency that features a distributed, decentralized and trustworthy mechanism, which has made Bitcoin a popular global transaction platform. The transaction efficiency among nations and the privacy benefiting from address anonymity of the Bitcoin network have attracted many activities such as payments, investments, gambling, and even money laundering in the past decade. Unfortunately, some criminal behaviors which took advantage of this platform were not identified. This has discouraged many governments to support cryptocurrency. Thus, the capability to identify criminal addresses becomes an important issue in the cryptocurrency network. In this paper, we propose new features in addition to those commonly used in the literature to build a classification model for detecting abnormality of Bitcoin network addresses. These features include various high orders of moments of transaction time (represented by block height) which summarizes the transaction history in an efficient way. The extracted features are trained by supervised machine learning methods on a labeling category data set. The experimental evaluation shows that these features have improved the performance of Bitcoin address classification significantly. We evaluate the results under eight classifiers and achieve the highest Micro-F1/Macro-F1 of 87%/86% with LightGBM.


title: Bose-Einstein condensation in spherically symmetric traps

abstract: We present a pedagogical introduction to Bose-Einstein condensation in traps with spherical symmetry, namely the spherical box and the thick shell, sometimes called bubble trap. In order to obtain the critical temperature for Bose-Einstein condensation, we describe how to calculate the cumulative state number and density of states in these geometries, using numerical and analytical (semi-classical) approaches. The differences in the results of both methods are a manifestation of Weyl's theorem, i.e., they reveal how the geometry of the trap (boundary condition) affects the number of the eigenstates counted. Using the same calculation procedure, we analyzed the impact of going from three-dimensions to two-dimensions, as we move from a thick shell to a two-dimensional shell. The temperature range we obtained, for most commonly used atomic species and reasonable confinement volumes, is compatible with current cold atom experiments, which demonstrates that these trapping potentials may be employed in experiments.


title: Gorensteinness and iteration of Cox rings for Fano type varieties

abstract: We show that finitely generated Cox rings are Gorenstein. This leads to a refined characterization of varieties of Fano type: they are exactly those projective varieties with Gorenstein canonical quasicone Cox ring. We then show that for varieties of Fano type and Kawamata log terminal quasicones, iteration of Cox rings is finite with factorial master Cox ring. Moreover, we prove a relative version of Cox ring iteration for almost principal solvable $G$-bundles.


title: Variety, Complexity and Economic Development

abstract: We propose a combinatorial model of economic development. An economy develops by acquiring new capabilities allowing for the production of an ever greater variety of products of increasingly complex products. Taking into account that economies abandon the least complex products as they develop over time, we show that variety first increases and then decreases in the course of economic development. This is consistent with the empirical pattern known as 'the hump'. Our results question the common association of variety with complexity. We further discuss the implications of our model for future research.


title: Near-Field UHF RFID Transponder with a Screen-Printed Graphene Antenna

abstract: As a method of producing RFID tags, printed graphene provides a low-cost and eco-friendly alternative to the etching of aluminum or copper. The high resistivity of graphene, however, sets a challenge for the antenna design. In practice, it has led to using very large antennas in the UHF RFID far field tags demonstrated before. Using inductive near field as the coupling method between the reader and the tag is an alternative to the radiating far field also at UHF. The read range of such a near field tag is very short, but, on the other hand, the tag is extremely simple and small. In this paper, near field UHF RFID transponders with screen-printed graphene antennas are presented and the effect of the dimensions of the tag and the attachment method of the microchip studied. The attachment of the microchip is an important step of the fabrication process of a tag that has its impact on the final cost of a tag. Of the tags demonstrated, even the smallest one with the outer dimensions of 21 mm * 18 mm and the chip attached with isotropic conductive adhesive (ICA) was readable from a distance of 10 mm with an RF power marginal of 19 dB, which demonstrates that an operational and small graphene-based UHF RFID tag can be fabricated with low-cost industrial processes.


title: Feasible Region: an Actuation-Aware Extension of the Support Region

abstract: In legged locomotion the projection of the robot Center of Mass (CoM) being inside the convex hull of the contact points is a commonly accepted sufficient condition to achieve static balancing. However, some of these configurations cannot be realized because the joint torques required to sustain them would be above their limits (actuation limits). In this manuscript we rule out such configurations and define the Feasible Region, a revisited support region that guarantees both global static stability in the sense of tipover and slippage avoidance and of existence of a set of joint-torques that are able to sustain the robot body weight. We show that the feasible region can be employed for the selection of feasible footholds and CoM trajectories to achieve static locomotion on rough terrains, also in presence of load intensive tasks. Key results of our approach include the efficiency in the computation of the feasible region thanks to an Iterative Projection algorithm. This allowed us to carry out successful experiments on the HyQ robot, that was able to negotiate obstacles of moderate dimensions while carrying an extra 10 kg payload.


title: Derivation of a Langevin equation in a system with multiple scales: the case of negative temperatures

abstract: We consider the problem of building a continuous stochastic model, i.e. a Langevin or Fokker-Planck equation, through a well-controlled coarse-graining procedure. Such a method usually involves the elimination of the fast degrees of freedom of the "bath" to which the particle is coupled. Specifically, we look into the general case where the bath may be at negative temperatures, as found - for instance - in models and experiments with bounded effective kinetic energy. Here, we generalise previous studies by considering the case in which the coarse-graining leads to (i) a renormalisation of the potential felt by the particle, and (ii) spatially dependent viscosity and diffusivity. In addition, a particular relevant example is provided, where the bath is a spin system and a sort of phase transition takes place when going from positive to negative temperatures. A Chapman-Enskog-like expansion allows us to rigorously derive the Fokker-Planck equation from the microscopic dynamics. Our theoretical predictions show an excellent agrement with numerical simulations.


title: Gauss-Kronecker Curvature and equisingularity at infinity of definable families

abstract: Assume given a polynomially bounded o-minimal structure expanding the real numbers. Let $(T_s)_{s\in \mathbb{R}}$ be a globally definable one parameter family of $C^2$-hypersurfaces of $\mathbb{R}^n$. Upon defining the notion of generalized critical value for such a family we show that the functions $s \to |K(s)|$ and $s\to K(s)$, respectively the total absolute Gauss-Kronecker and total Gauss-Kronecker curvature of $T_s$, are continuous in any neighbourhood of any value which is not generalized critical. In particular this provides a necessary criterion of equisingularity for the family of the levels of a real polynomial.


title: WASP-180Ab: Doppler tomography of an hot Jupiter orbiting the primary star in a visual binary

abstract: We report the discovery and characterisation of WASP-180Ab, a hot Jupiter confirmed by the detection of its Doppler shadow and by measuring its mass using radial velocities. We find the 0.9 $\pm$ 0.1 $M_{\rm Jup}$, 1.24 $\pm$ 0.04 $R_{\rm Jup}$ planet to be in a misaligned, retrograde orbit around an F7 star with $T_{\rm eff}$ = 6500K and a moderate rotation speed of vsini = 19.9 km s$^{-1}$. The host star is the primary of a $V$ = 10.7 binary, where a secondary separated by 5$''$ ($\sim$1200 AU) contributes $\sim$30% of the light. WASP-180Ab therefore adds to a small sample of transiting hot Jupiters known in binary systems. A 4.6-day modulation seen in the WASP data is likely to be the rotational modulation of the companion star, WASP-180B.


title: Measuring the Effectiveness of Learning Resources Via Student Interaction with Online Learning Modules

abstract: We present a new method for measuring the effectiveness of online learning resources, through the analysis of time-stamped log data of students' interaction with a sequence of online learning modules created based on the concept of mastery learning. Each module was designed to assess students' mastery of one topic before and after interacting with the learning resources in the module. In addition, analysis of log data provides information on students' test-taking effort when completing the assessment, and learning effort when interacting with the learning resources. Combining these three measurements provides accurate information on the quality of each online learning module, as well as detailed suggestions for future improvements. The results from data collected from all 10 modules are presented in a sequence of sunburst charts, an intuitive visual representation designed to allow the average instructor to quickly grasp the key outcomes of the data analysis, and identify less effective modules for future improvements. Online learning modules can be implemented much more frequently than either clinical experiments or classroom assessments, and can provide more interpretable data than most existing online courses, making it a valuable tool for quickly assessing the effectiveness of online learning resources.


title: ReviewerNet: Visualizing Citation and Authorship Relations for Finding Reviewers

abstract: We propose ReviewerNet, an online, interactive visualization system aimed to improve the reviewer selection process in the academic domain. Given a paper submitted for publication, we assume that good candidate reviewers can be chosen among the authors of a small set of relevant and pertinent papers; ReviewerNet supports the construction of such set of papers, by visualizing and exploring a literature citation network. Then, the system helps to select reviewers that are both well distributed in the scientific community and that do not have any conflict-of-interest, by visualising the careers and co-authorship relations of candidate reviewers. The system is publicly available, and it has been evaluated by a set of experienced researchers in the field of Computer Graphics.


title: Quasilinear Approach of the Whistler Heat-Flux Instability in the Solar Wind

abstract: The hot beaming (or strahl) electrons responsible for the main electron heat-flux in the solar wind are believed to be self-regulated by the electromagnetic beaming instabilities, also known as the heat-flux instabilities. Here we report the first quasi-linear theoretical approach of the whistler unstable branch able to characterize the long-term saturation of the instability as well as the relaxation of the electron velocity distributions. The instability saturation is not solely determined by the drift velocities, which undergo only a minor relaxation, but mainly from a concurrent interaction of electrons with whistlers that induces (opposite) temperature anisotropies of the core and beam populations and reduces the effective anisotropy. These results might be able to (i) explain the low intensity of the whistler heat-flux fluctuations in the solar wind (although other explanations remain possible and need further investigation), and (ii) confirm a reduced effectiveness of these fluctuations in the relaxation and isotropization of the electron strahl and in the regulation of the electron heat-flux.


title: Spin Dynamics of CPMG sequence in time-dependent magnetic fields

abstract: We analyze the effects of time dependent magnetic and RF fields on the spin dynamics of the Carr-Purcell-Meiboom-Gill (CPMG) sequence. The analysis is based on the decomposition of the magnetization into the eigenmodes of the propagator of a single refocusing cycle. For sufficiently slow changes in the external fields, the magnetization follows the changing eigenmodes adiabatically. This results in echo amplitudes that show regular modulations with time. Faster field changes can induce transitions between the eigenmodes. Such non-adiabatic behavior occurs preferentially at particular offsets of the Larmor frequency from the RF frequency where the eigenmodes become nearly degenerate. We introduce the instantaneous adiabaticity parameter ${\cal A}(t)$ that accurately predicts the crossover from the adiabatic to the non-adiabatic regime and allows the classification of field fluctuations. ${\cal A}(t)$ is determined solely by the properties of a single refocusing cycle under static conditions and the instantaneous value of the field offset and its temporal derivative. The analytical results are compared with numerical simulations.


title: A comparison between obstructions to local-global principles over semiglobal fields

abstract: We consider local-global principles for rational points on varieties, in particular torsors, over one-variable function fields over complete discretely valued fields. There are several notions of such principles, arising either from the valuation theory of the function field, or from the geometry of a regular model of the function field. Our results compare the corresponding obstructions, proving in particular that a local-global principle with respect to valuations implies a local-global principle with respect to a sufficiently fine regular model.


title: Rank-normalization, folding, and localization: An improved $\widehat{R}$ for assessing convergence of MCMC

abstract: Markov chain Monte Carlo is a key computational tool in Bayesian statistics, but it can be challenging to monitor the convergence of an iterative stochastic algorithm. In this paper we show that the convergence diagnostic $\widehat{R}$ of Gelman and Rubin (1992) has serious flaws. Traditional $\widehat{R}$ will fail to correctly diagnose convergence failures when the chain has a heavy tail or when the variance varies across the chains. In this paper we propose an alternative rank-based diagnostic that fixes these problems. We also introduce a collection of quantile-based local efficiency measures, along with a practical approach for computing Monte Carlo error estimates for quantiles. We suggest that common trace plots should be replaced with rank plots from multiple chains. Finally, we give recommendations for how these methods should be used in practice.


title: Displaying the cohomology of toric line bundles

abstract: There is a standard method to calculate the cohomology of torus-invariant sheaves $L$ on a toric variety via the simplicial cohomology of associated subsets $V(L)$ of the space $N_{\mathbb R}$ of 1-parameter subgroups of the torus. For a line bundle $L$ represented by a formal difference $\Delta^+-\Delta^-$ of polyhedra in the character space $M_{\mathbb R}$, [ABKW18] contains a simpler formula for the cohomology of $L$, replacing $V(L)$ by the set-theoretic difference $\Delta^- \setminus \Delta^+$. Here, we provide a short and direct proof of this formula.


title: Radiation-induced Effects on Data Integrity and Link Stability of the RD53A Pixel Readout Chip

abstract: The phase-2 upgrade of the LHC will require novel pixel readout chips, which deliver hit information at drastically increased data rates and tolerate unprecedented radiation levels. The large-scale prototype chip RD53A has been designed by the RD53 collaboration and manufactured in a 65 nm CMOS process, suitable for the innermost layers of both the ATLAS and the CMS experiment. In order to verify the radiation hardness design goal of 500 Mrad total ionizing dose, RD53A has been irradiated using X-rays. The radiation effects on the performance of the data link, reset circuit and the clock generation have been investigated. Furthermore, the operating margins in terms of supply voltage and frequency have been analyzed.


title: Data-driven PDE discovery with evolutionary approach

abstract: The data-driven models allow one to define the model structure in cases when a priori information is not sufficient to build other types of models. The possible way to obtain physical interpretation is the data-driven differential equation discovery techniques. The existing methods of PDE (partial derivative equations) discovery are bound with the sparse regression. However, sparse regression is restricting the resulting model form, since the terms for PDE are defined before regression. The evolutionary approach described in the article has a symbolic regression as the background instead and thus has fewer restrictions on the PDE form. The evolutionary method of PDE discovery (EPDE) is described and tested on several canonical PDEs. The question of robustness is examined on a noised data example.


title: Ensemble Clustering for Graphs: Comparisons and Applications

abstract: We recently proposed a new ensemble clustering algorithm for graphs (ECG) based on the concept of consensus clustering. We validated our approach by replicating a study comparing graph clustering algorithms over benchmark graphs, showing that ECG outperforms the leading algorithms. In this paper, we extend our comparison by considering a wider range of parameters for the benchmark, generating graphs with different properties. We provide new experimental results showing that the ECG algorithm alleviates the well-known resolution limit issue, and that it leads to better stability of the partitions. We also illustrate how the ensemble obtained with ECG can be used to quantify the presence of community structure in the graph, and to zoom in on the sub-graph most closely associated with seed vertices. Finally, we illustrate further applications of ECG by comparing it to previous results for community detection on weighted graphs, and community-aware anomaly detection.


title: Non-uniqueness for a critical heat equation in two dimensions with singular data

abstract: Nonlinear heat equations in two dimensions with singular initial data are studied. In recent works nonlinearities with exponential growth of Trudinger-Moser type have been shown to manifest critical behavior: well-posedness in the subcritical case and non-existence for certain supercritical data. In this article we propose a specific model nonlinearity with Trudinger-Moser growth for which we obtain surprisingly complete results: a) for initial data strictly below a certain singular threshold function $\widetilde u$ the problem is well-posed, b) for initial data above this threshold function $\widetilde u$, there exists no solution, c) for the singular initial datum $\widetilde u$ there is non-uniqueness. The function $\widetilde u$ is a weak stationary singular solution of the problem, and we show that there exists also a regularizing classical solution with the same initial datum $\widetilde u$.


title: Independent Range Sampling, Revisited Again

abstract: We revisit the range sampling problem: the input is a set of points where each point is associated with a real-valued weight. The goal is to store them in a structure such that given a query range and an integer $k$, we can extract $k$ independent random samples from the points inside the query range, where the probability of sampling a point is proportional to its weight. This line of work was initiated in 2014 by Hu, Qiao, and Tao and it was later followed up by Afshani and Wei. The first line of work mostly studied unweighted but dynamic version of the problem in one dimension whereas the second result considered the static weighted problem in one dimension as well as the unweighted problem in 3D for halfspace queries. We offer three main results and some interesting insights that were missed by the previous work: We show that it is possible to build efficient data structures for range sampling queries if we allow the query time to hold in expectation (the first result), or obtain efficient worst-case query bounds by allowing the sampling probability to be approximately proportional to the weight (the second result). The third result is a conditional lower bound that shows essentially one of the previous two concessions is needed. For instance, for the 3D range sampling queries, the first two results give efficient data structures with near-linear space and polylogarithmic query time whereas the lower bound shows with near-linear space the worst-case query time must be close to $n^{2/3}$, ignoring polylogarithmic factors. Up to our knowledge, this is the first such major gap between the expected and worst-case query time of a range searching problem.


title: The Clemens-Griffiths method over non-closed fields

abstract: We use the Clemens-Griffiths method to construct smooth projective threefolds, over any field $k$ admitting a separable quadratic extension, that are $k$-unirational and $\bar{k}$-rational but not $k$-rational. When $k=\mathbb{R}$, we can moreover ensure that their real locus is diffeomorphic to the real locus of a smooth projective $\mathbb{R}$-rational variety and that all their unramified cohomology groups are trivial.


title: Landau level broadening, hyperuniformity, and discrete scale invariance

abstract: We study the energy spectrum of a two-dimensional electron in the presence of both a perpendicular magnetic field and a potential. In the limit where the potential is small compared to the Landau level spacing, we show that the broadening of Landau levels is simply expressed in terms of the structure factor of the potential. For potentials that are either periodic or random, we recover known results. Interestingly, for potentials with a dense Fourier spectrum made of Bragg peaks (as found, e.g., in quasicrystals), we find an algebraic broadening with the magnetic field characterized by the hyperuniformity exponent of the potential. Furthermore, if the potential is self-similar such that its structure factor has a discrete scale invariance, the broadening displays log-periodic oscillations together with an algebraic envelope.


title: The L 98-59 System: Three Transiting, Terrestrial-Sized Planets Orbiting a Nearby M-dwarf

abstract: We report the Transiting Exoplanet Survey Satellite (TESS) discovery of three terrestrial-sized planets transiting L 98-59 (TOI-175, TIC 307210830) -- a bright M dwarf at a distance of 10.6 pc. Using the Gaia-measured distance and broad-band photometry we find that the host star is an M3 dwarf. Combined with the TESS transits from three sectors, the corresponding stellar parameters yield planet radii ranging from 0.8REarth to 1.6REarth. All three planets have short orbital periods, ranging from 2.25 to 7.45 days with the outer pair just wide of a 2:1 period resonance. Diagnostic tests produced by the TESS Data Validation Report and the vetting package DAVE rule out common false positive sources. These analyses, along with dedicated follow-up and the multiplicity of the system, lend confidence that the observed signals are caused by planets transiting L 98-59 and are not associated with other sources in the field. The L 98-59 system is interesting for a number of reasons: the host star is bright (V = 11.7 mag, K = 7.1 mag) and the planets are prime targets for further follow-up observations including precision radial-velocity mass measurements and future transit spectroscopy with the James Webb Space Telescope; the near resonant configuration makes the system a laboratory to study planetary system dynamical evolution; and three planets of relatively similar size in the same system present an opportunity to study terrestrial planets where other variables (age, metallicity, etc.) can be held constant. L 98-59 will be observed in 4 more TESS sectors, which will provide a wealth of information on the three currently known planets and have the potential to reveal additional planets in the system.


title: Spline Based Intrusion Detection in Vehicular Ad Hoc Networks (VANET)

abstract: Intrusion detection systems (IDSs) play a crucial role in the identification and mitigation for attacks on host systems. Of these systems, vehicular ad hoc networks (VANETs) are particularly difficult to protect due to the dynamic nature of their clients and their necessity for constant interaction with their respective cyber-physical systems. Currently, there is a need for a VANET-specific IDS that can satisfy these requirements. Spline function-based IDSs have shown to be effective in traditional network settings. By examining the various construction of splines and testing their robustness, the viability for a spline-based IDS can be determined.


title: A Taxonomic Study of Asteroid Families from KMTNet-SAAO Multi-band Photometry

abstract: We present here multi-band photometry for over 2000 Main-belt asteroids. For each target we report the probabilistic taxonomy using the measured V-R and V-I colors in combination with a machine-learning generated decision surface in color-color space. Through this method we classify >85% of our targets as one the four main Bus-DeMeo complexes: S-, C-, X-, or D-type. Roughly one third of our targets have a known associated dynamic family with 69 families represented in our data. Within uncertainty our results show no discernible difference in taxonomic distribution between family members and non-family members. Nine of the 69 families represented in our observed sample had 20 or more members present and therefore we investigate the taxonomy of these families in more detail and find excellent agreement with literature. Out of these 9 well-sampled families, our data show that the Themis, Koronis, Hygiea, Massalia, and Eunomia families display a high degree of taxonomic homogeneity and that the Vesta, Flora, Nysa-Polana, and Eos families show a significant level of mixture in taxonomies. Using the taxonomic purity and the degree of dispersion in observed colors for each of the 9 well-sampled collisional families we also speculate which of these families potentially originated from a differentiated parent body and/or is a family with a possible undetermined nested family. Additionally, we obtained sufficient photometric data for 433 of our targets to extract reliable rotation periods and observe no obvious correlation between rotation properties and family membership.


title: Quantum search on Hanoi network

abstract: Hanoi network has a one-dimensional periodic lattice as its main structure with additional long-range edges, which allow having efficient quantum walk algorithm that can find a target state on the network faster than the exhaustive classical search. In this article, we use regular quantum walks and lackadaisical quantum walks respectively to search for a target state. From the curve fitting of the numerical results for Hanoi network of degree three and four we find that their running time for the regular quantum walks followed by amplitude amplification scales as $\mathcal{O}\left(N^{0.79} \sqrt{\log N}\right)$ and $\mathcal{O}\left(N^{0.65} \sqrt{\log N}\right)$ respectively. And for the search by lackadaisical quantum walks the running time scales as $\mathcal{O}\left(N^{0.57}\log N\right)$ and $\mathcal{O}\left(N^{0.50}\log N\right)$ respectively.


title: A transportation approach to the mean-field approximation

abstract: We develop transportation-entropy inequalities which are saturated for measures such that their log-density with respect to the background measure is an affine function, in the setting of the uniform measure on the discrete hypercube and the exponential measure. In this sense, this extends the well-known result of Talagrand in the Gaussian case. By duality, these transportation-entropy inequalities imply a strong integrability inequality for Bernoulli and exponential processes. As a result, we obtain a dimension-free mean-field approximation of the free energy of a Gibbs measure and a dimension-free nonlinear large deviations bound on the discrete hypercube. Applied to the Ising model, we deduce that the mean-field approximation is within $O(\sqrt{n} ||J||_2)$ of the free energy, where $n$ is the number of spins and $||J||_2$ is the Hilbert-Schmidt norm of the interaction matrix. Finally, we obtain a reverse log-Sobolev inequality on the discrete hypercube similar to the one proved recently in the Gaussian case by Eldan and Ledoux.


title: Protori and Torsion-Free Abelian Groups

abstract: The Resolution Theorem for Compact Abelian Groups is applied to show that the profinite subgroups of a finite-dimensional compact connected abelian group (protorus) which induce tori quotients comprise a lattice under intersection (meet) and $+$ (join), facilitating a proof of the existence of a universal resolution. A finite rank torsion-free abelian group $X$ is algebraically isomorphic to a canonical dense subgroup $X_G$ of its Pontryagin dual $G$. A morphism between protori lifts to a product morphism between the universal covers, so morphisms in the category can be studied as pairs of maps: homomorphisms between finitely generated profinite abelian groups and linear maps between finite-dimensional real vector spaces. A concept of non-Archimedean dimension is introduced which acts a useful invariant for classifying protori.


title: IndyLSTMs: Independently Recurrent LSTMs

abstract: We introduce Independently Recurrent Long Short-term Memory cells: IndyLSTMs. These differ from regular LSTM cells in that the recurrent weights are not modeled as a full matrix, but as a diagonal matrix, i.e.\ the output and state of each LSTM cell depends on the inputs and its own output/state, as opposed to the input and the outputs/states of all the cells in the layer. The number of parameters per IndyLSTM layer, and thus the number of FLOPS per evaluation, is linear in the number of nodes in the layer, as opposed to quadratic for regular LSTM layers, resulting in potentially both smaller and faster models. We evaluate their performance experimentally by training several models on the popular \iamondb and CASIA online handwriting datasets, as well as on several of our in-house datasets. We show that IndyLSTMs, despite their smaller size, consistently outperform regular LSTMs both in terms of accuracy per parameter, and in best accuracy overall. We attribute this improved performance to the IndyLSTMs being less prone to overfitting.


title: Broadband magnetoelastic coupling in magphonic crystals for high-frequency nanoscale spin wave generation

abstract: Spin waves are promising candidates for information carriers in advanced technology. The interactions between spin waves and acoustic waves in magnetic nanostructures are of much interest because of their potential application for spin wave generation, amplification and transduction. We investigate numerically the dynamics of magnetoelastic excitations in a one-dimensional magphonic crystal consisting of alternating layers of permalloy and cobalt. We use the plane wave method and the finite element method for frequency- and time-domain simulations, respectively. The studied structure is optimized for hybridization of specific spin-wave and acoustic dispersion branches in the entire Brillouin zone in a broad frequency range. We show that this type of periodic structure can be used for efficient generation of high-frequency spin waves.


title: Bayesian MIDAS Penalized Regressions: Estimation, Selection, and Prediction

abstract: We propose a new approach to mixed-frequency regressions in a high-dimensional environment that resorts to Group Lasso penalization and Bayesian techniques for estimation and inference. In particular, to improve the prediction properties of the model and its sparse recovery ability, we consider a Group Lasso with a spike-and-slab prior. Penalty hyper-parameters governing the model shrinkage are automatically tuned via an adaptive MCMC algorithm. We establish good frequentist asymptotic properties of the posterior of the in-sample and out-of-sample prediction error, we recover the optimal posterior contraction rate, and we show optimality of the posterior predictive density. Simulations show that the proposed models have good selection and forecasting performance in small samples, even when the design matrix presents cross-correlation. When applied to forecasting U.S. GDP, our penalized regressions can outperform many strong competitors. Results suggest that financial variables may have some, although very limited, short-term predictive content.


title: Stellar encounters with giant molecular clouds

abstract: Giant molecular clouds (GMCs) are believed to affect the biospheres of planets as their host star passes through them. We simulate the trajectories of stars and GMCs in the Galaxy and determine how often stars pass through GMCs. We find a strong decreasing dependence with Galactocentric radius, and with the velocity perpendicular to the Galactic plane, $V_z$. The \textit{XY}-component of the kinematic heating of stars was shown to not affect the GMC hit rate, unlike the \textit{Z}-dependence ($V_z$) implies that stars hit fewer GMCs as they age. GMCs are locations of star formation, therefore we also determine how often stars pass near supernovae. For the supernovae the decrease with $V_z$ is steeper as how fast the star passes through the GMC determines the probability of a supernova encounter. We then integrate a set of Sun-like trajectories to see the implications for the Sun. We find that the Sun hits $1.6\pm1.3$ GMCs per Gyr which results in $1.5\pm1.1$ or (with correction for clustering) $0.8\pm 0.6$ supernova closer than 10 pc per Gyr. The different supernova frequencies are from whether one considers multiple supernova per GMC crossing (few Myr) as separate events. We then discuss the effect of the GMC hits on the Oort cloud, and the Earth's climate due to accretion, we also discuss the records of distant supernova. Finally, we determine Galactic Habitable Zone using our model. For the thin disk we find it to lie between 5.8-8.7 kpc and for the thick disk to lie between 4.5-7.7 kpc.


title: The Viral State Dynamics of the Discrete-Time NIMFA Epidemic Model

abstract: The majority of research on epidemics relies on models which are formulated in continuous-time. However, real-world epidemic data is gathered and processed in a digital manner, which is more accurately described by discrete-time epidemic models. We analyse the discrete-time NIMFA epidemic model on directed networks with heterogeneous spreading parameters. In particular, we show that the viral state is increasing and does not overshoot the steady-state, the steady-state is globally exponentially stable, and we provide linear systems that bound the viral state evolution. Thus, the discrete-time NIMFA model succeeds to capture the qualitative behaviour of a viral spread and provides a powerful means to study real-world epidemics.


title: State-Building through Public Land Disposal? An Application of Matrix Completion for Counterfactual Prediction

abstract: This paper examines how homestead policies, which opened vast frontier lands for settlement, influenced the development of American frontier states. It uses a treatment propensity-weighted matrix completion model to estimate the counterfactual size of these states without homesteading. In simulation studies, the method shows lower bias and variance than other estimators, particularly in higher complexity scenarios. The empirical analysis reveals that homestead policies significantly and persistently reduced state government expenditure and revenue. These findings align with continuous difference-in-differences estimates using 1.46 million land patent records. This study's extension of the matrix completion method to include propensity score weighting for causal effect estimation in panel data, especially in staggered treatment contexts, enhances policy evaluation by improving the precision of long-term policy impact assessments.


title: The twisted gradient flow coupling at one loop

abstract: We compute the one-loop running of the $SU(N)$ 't Hooft coupling in a finite volume gradient flow scheme using twisted boundary conditions. The coupling is defined in terms of the energy density of the gradient flow fields at a scale $\tilde{l}$ given by an adequate combination of the torus size and the rank of the gauge group, and is computed in the continuum using dimensional regularization. We present the strategy to regulate the divergences for a generic twist tensor, and determine the matching to the $\overline{\rm MS}$ scheme at one-loop order. For the particular case in which the twist tensor is non-trivial in a single plane, we evaluate the matching coefficient numerically and determine the ratio of $\Lambda$ parameters between the two schemes. We analyze the $N$ dependence of the results and the possible implications for non-commutative gauge theories and volume independence.


title: On generalized Inoue manifolds

abstract: This paper is about a generalization of famous Inoue's surfaces. Let $M$ be a matrix in $SL(2n+1,\mathbb{Z})$ having only one real eigenvalue which is simple. We associate to $M$ a complex manifold $T_M$ of complex dimension $n+1$. This manifold fibers over $S^1$ with the fiber $\mathbb{T}^{2n+1}$ and monodromy $M^\top$. Our construction is elementary and does not use algebraic number theory. We show that some of the Oeljeklaus-Toma manifolds are biholomorphic to the manifolds of type $T_M$. We prove that if $M$ is not diagonalizable, then $T_M$ does not admit a K\"ahler structure and is not homeomorphic to any of Oeljeklaus-Toma manifolds.


title: Small eigenvalues of random 3-manifolds

abstract: We show that for every $g\geq 2$ there exists a number $c(g)>0$ such that the smallest positive eigenvalue of a random closed 3-manifold $M$ of Heegaard genus $g$ is at most $c(g)/{\rm vol}(M)^2$.


title: Precessing winds from the nucleus of the prototype Red Geyser?

abstract: Super-massive black holes (SMBH) are present at the center of most galaxies, with the related mass accretion processes giving origin to outflows in Active Galactic Nuclei (AGN). It has been presumed that only intense winds from luminous AGN were able to suppress star formation until the discovery of a new class of galaxies with no recent star formation and with the nucleus in a quiescent state showing kpc scale outflows. We used SDSS MaNGA and Gemini Integral Field Spectroscopy of the prototype Red Geyser Akira and found that the orientation of the outflow changes by about 50$^\circ$ from its nucleus to kpc scales. A possible interpretation is that the outflow is produced by a precessing accretion disk due to a misalignment between the orientation of the disk and the spin of the SMBH. The precession of the central source is also supported by a similar change in the orientation of the ionization pattern. Although similar behavior has commonly being reported for collimated relativistic jets, the precession of an AGN wide wind is reported here for the first time, implying on a larger work surface of the wind, which in turn increases the star formation suppression efficiency of the outflow.


title: Inference for fractional Ornstein-Uhlenbeck type processes with periodic mean in the non-ergodic case

abstract: In the paper we consider the problem of estimating parameters entering the drift of a fractional Ornstein-Uhlenbeck type process in the non-ergodic case, when the underlying stochastic integral is of Young type. We consider the sampling scheme that the process is observed continuously on $[0,T]$ and $T\to\infty$. For known Hurst parameter $H\in(0.5, 1)$, i.e. the long range dependent case, we construct a least-squares type estimator and establish strong consistency. Furthermore, we prove a second order limit theorem which provides asymptotic normality for the parameters of the periodic function with a rate depending on $H$ and a non-central Cauchy limit result for the mean reverting parameter with exponential rate. For the special case that the periodicity parameter is the weight of a periodic function, which integrates to zero over the period, we can even improve the rate to $\sqrt{T}$.


title: Giant localised spin-Peltier effect due to ultrafast domainwalls motion in antiferromagnetic metals

abstract: Spin thermo-electric phenomena have attracted wide attention recently, e.g. the Spin Peltier effect (SPE) heat generation by magnonic spin currents. Here we find that the Spin Peltier ef-fect also manifests as a heat wave accompanying fast moving magnetic textures. High speed andextreme magnetic excitation localisation are paramount for efficient transfer of energy from thespin-degrees of freedom to electrons and lattice. While satisfying both conditions is subject to se-vere restrictions in ferromagnets, we find that domain walls in antiferomagnets can overcome theselimitations due to their potential ultrahigh mobility and ultra-small widths originating from the rel-ativistic contraction. To illustrate our findings, we show that electric current driven domain wallmotion in the antiferromagnetic metal Mn2Au can carry a localised heat wave with the maximumamplitude up to 1 K . Since domain walls are well localised nanoscale magnetic objects, this effecthas the potential for nanoscale heating sensing and functionalities.


title: Initial Li Abundances in the Protogalaxy and Globular Clusters Based upon the Chemical Separation and Hierarchical Structure Formation

abstract: The chemical separation of Li+ ions induced by a magnetic field during the hierarchical structure formation can reduce initial Li abundances in cosmic structures. It is shown that cosmological reionization of neutral Li atoms quickly completes as soon as the first star is formed. Since almost all Li is singly ionized during the main course of structure formation, it can efficiently separate from gravitationally collapsing neutral gas. The separation is more efficient in smaller structures which formed earlier. In the framework of the hierarchical structure formation, extremely metal-poor stars can have smaller Li abundances because of their earlier formations. It is found that the chemical separation by a magnetic field thus provides a reason that Li abundances in extremely metal-poor stars are lower than the Spite plateau and have a large dispersion as well as an explanation of the Spite plateau itself. In addition, the chemical separation scenario can explain Li abundances in NGC 6397 which are higher than the Spite plateau. Thus, Li abundances in metal-poor stars possibly keep information on the primordial magnetic field and the structure formation history.


title: Spacing Dependent and Doping Independent Superconductivity in Intercalated 1T Two Dimensional SnSe2

abstract: The weak van der Waals interlayer interactions in the transition metal dichalcogenide (TMD) materials have created a rich platform to study their exotic electronic properties through chemical doping or physical gating techniques. We reported bulk superconductivity up to 7.6 K through careful manipulation of the charge carrier density and interlayer spacing d in the chemically intercalated two dimensional 1T-SnSe2 phase. We found, for the first time in the two dimensional SnSe2, that polar organic molecules cointercalated with the alkali metal Li into the basal layers, thus significantly enhancing the superconducting Tc. We observed that the Tc scales with the basal spacing distance, meanwhile being almost independent of x in Lix(THF)ySnSe2 system. Our results offers a new general chemical route to study the rich electron correlations and the interplay of charge density wave and unconventional superconductivity in the two dimensional material.


title: Boundary condition and geometry engineering in electronic hydrodynamics

abstract: We analyze the role of boundary geometry in viscous electronic hydrodynamics. We address the twin questions of how boundary geometry impacts flow profiles, and how one can engineer boundary conditions -- in particular the effective slip parameter -- to manipulate the flow in a controlled way. We first propose a micropatterned geometry involving finned barriers, for which we show by an explicit solution that one can obtain effectively no-slip boundary conditions regardless of the detailed microscopic nature of the channel surface. Next we analyse the role of mesoscopic boundary curvature on the effective slip length, in particular its impact on the Gurzhi effect. Finally we investigate a hydrodynamic flow through a circular junction, providing a solution, which suggests an experimental set-up for determining the slip parameter. We find that its transport properties differ qualitatively from the case of ballistic conduction, and thus presents a promising setting for distinguishing the two.


title: Light-cone distribution amplitudes of pseudoscalar mesons from lattice QCD

abstract: We present the first lattice determination of the two lowest Gegenbauer moments of the leading-twist pion and kaon light-cone distribution amplitudes with full control of all errors. The calculation is carried out on 35 different CLS ensembles with $N_f=2+1$ flavors of dynamical Wilson-clover fermions. These cover a multitude of pion and kaon mass combinations (including the physical point) and 5 different lattice spacings down to $a=0.039\,$fm. The momentum smearing technique and a new operator basis are employed to reduce statistical fluctuations and to improve the overlap with the ground states. The results are obtained from a combined chiral and continuum limit extrapolation that includes three separate trajectories in the quark mass plane. The present arXiv version (v3) includes an Addendum where we update the results using the recently calculated three-loop matching factors for the conversion from the RI'/SMOM to the $\overline{\text{MS}}$ scheme. We find $a_2^\pi=0.116^{+19}_{-20}$ for the pion, $a_1^K=0.0525^{+31}_{-33}$ and $a_2^K=0.106^{+15}_{-16}$ for the kaon. We also include the previous values, which were obtained with two-loop matching.


title: Software-Defined Networks Supporting Time-Sensitive In-Vehicular Communication

abstract: Future in-vehicular networks will be based on Ethernet. The IEEE Time-Sensitive Networking (TSN) is a promising candidate to satisfy real-time requirements in future car communication. Software-Defined Networking (SDN) extends the Ethernet control plane with a programming option that can add much value to the resilience, security, and adaptivity of the automotive environment. In this work, we derive a first concept for combining Software-Defined Networking with Time-Sensitive Networking along with an initial evaluation. Our measurements are performed via a simulation that investigates whether an SDN architecture is suitable for time-critical applications in the car. Our findings indicate that the control overhead of SDN can be added without a delay penalty for the TSN traffic when protocols are mapped properly.


title: The exponential dichotomy and invariant manifolds for some classes of differential equations

abstract: We study some classes of semi-linear differential equations including both well-posed and ill-posed cases that can generate cocycles (or cocycle correspondences with generating cocycles). Under exponential dichotomy condition with other mild assumptions, we investigate the existence, persistence and regularity of different types of invariant manifolds for these differential equations based on our previous works about invariant manifold theory for abstract `generalized dynamical systems': invariant graphs (global version) and normally hyperbolic invariant manifolds (local version); brief summaries of those works are also given.


title: Countably compact groups and sequential order

abstract: We use $\diamondsuit$ to construct, for every $\alpha\leq\omega_1$ a sequential countably compact topological group of sequential order $\alpha$. This establishes the independence of the existence of sequential countably compact non Fr\'echet groups from the usual axioms of ZFC and answers several questions of D.~Shakhmatov.


title: Mass Variance from Archival X-ray Properties of Dark Energy Survey Year-1 Galaxy Clusters

abstract: Using archival X-ray observations and a log-normal population model, we estimate constraints on the intrinsic scatter in halo mass at fixed optical richness for a galaxy cluster sample identified in Dark Energy Survey Year-One (DES-Y1) data with the redMaPPer algorithm. We examine the scaling behavior of X-ray temperatures, $T_X$, with optical richness, $\lambda_{RM}$, for clusters in the redshift range $0.2<z<0.7$. X-ray temperatures are obtained from Chandra and XMM observations for 58 and 110 redMaPPer systems, respectively. Despite non-uniform sky coverage, the $T_X$ measurements are $> 50\%$ complete for clusters with $\lambda_{RM} > 130$. Regression analysis on the two samples produces consistent posterior scaling parameters, from which we derive a combined constraint on the residual scatter, $\sigma_{\ln Tx | \lambda} = 0.275 \pm 0.019$. Joined with constraints for $T_X$ scaling with halo mass from the Weighing the Giants program and richness--temperature covariance estimates from the LoCuSS sample, we derive the richness-conditioned scatter in mass, $\sigma_{\ln M | \lambda} = 0.30 \pm 0.04\, _{({\rm stat})} \pm 0.09\, _{({\rm sys})}$, at an optical richness of approximately 70. Uncertainties in external parameters, particularly the slope and variance of the $T_X$--mass relation and the covariance of $T_X$ and $\lambda_{RM}$ at fixed mass, dominate the systematic error. The $95\%$ confidence region from joint sample analysis is relatively broad, $\sigma_{\ln M | \lambda} \in [0.14, \, 0.55]$, or a factor ten in variance.


title: Progress towards a nonintegrality conjecture

abstract: Given $r \in \mathbb{N}$, define the function $S_{r}: \mathbb{N} \rightarrow \mathbb{Q}$ by $S_{r}(n)=\displaystyle \sum_{k=0}^{n} \frac{k}{k+r} \binom{n}{k}$. In $2015$, the second author conjectured that there are infinitely many $r \in \mathbb{N}$ such that $S_{r}(n)$ is nonintegral for all $n \geq 1$, and proved that $S_{r}(n)$ is not an integer for $r \in \{2,3,4\}$ and for all $n \geq 1$. In $2016$, Florian Luca and the second author raised the stronger conjecture that for any $r \geq 1$, $S_{r}(n)$ is nonintegral for all $n \geq 1$. They proved that $S_{r}(n)$ is nonintegral for $r \in \{5,6\}$ and that $S_{r}(n)$ is not an integer for any $r \geq 2$ and $1 \leq n \leq r-1$. In particular, for all $r \geq 2$, $S_{r}(n)$ is nonintegral for at least $r-1$ values of $n$. In $2018$, the fourth author gave sufficient conditions for the nonintegrality of $S_{r}(n)$ for all $n \geq 1$, and derived an algorithm to sometimes determine such nonintegrality; along the way he proved that $S_{r}(n)$ is nonintegral for $r \in \{7,8,9,10\}$ and for all $n \geq 1$. By improving this algorithm we prove the conjecture for $r\le 22$. Our principal result is that $S_r(n)$ is usually nonintegral in that the upper asymptotic density of the set of integers $n$ with $S_r(n)$ integral decays faster than any fixed power of $r^{-1}$ as $r$ grows.


title: Extended Radio Structures and a Compact X-ray Cool-Core in the Cluster Source PKS 1353-341

abstract: We present a radio and X-ray study of PKS 1353-341, the brightest cluster galaxy radio source at the center of a recent Chandra-discovered X-ray cluster. Our multi-frequency VLA images reveal an edge-brightened (FR-II), double-lobed structure with total ~50 kpc extent and 1.5 GHz power of $1.2\times10^{25}$ W Hz$^{-1}$, separated from the bright, arcsecond-scale core. We reanalyzed the Chandra data and found the X-ray emitting AGN is offset by ~9 kpc from a compact X-ray cool-core with temperature, $kT=3.1\pm0.5$ keV, and a radius of ~22 kpc, surrounded by a hotter $kT=6.3\pm0.7$ keV gas out to ~50 kpc. The offset suggests sloshing inside the cool-core induced by a minor merger or a past outburst of the AGN that produced the large-scale radio lobes. The comparable spatial scales of the lobes with the interface between the different temperature X-ray plasma indicate the lobes are actively heating the outer layers of what is now a remnant compact cool-core. Our dual-frequency VLBA images reveal substructure in the central radio source, consisting of a radio core with double-sided pc-scale jets pointing toward the kpc-scale structures. The northern jet is detected only at 8.4 GHz, indicating its emission is behind an absorbing torus or disk. We also measured faster apparent motions in the southern jet up to $1.9\pm1.1c$ than in the northern jet ($0.8\pm0.5c$). While the VLBA observations indicate the southern jet is aligned slightly closer to our line of sight, the asymmetries are overall modest and imply minimal projection effects in the large-scale radio structures.


title: On the convergence of massive loop-erased random walks to massive SLE(2) curves

abstract: Following the strategy proposed by Makarov and Smirnov in arXiv:0909.5377, we provide technical details for the proof of convergence of massive loop-erased random walks to the chordal mSLE(2) process. As no follow-up of arXiv:0909.5377 appeared since then, we believe that such a treatment might be of interest for the community. We do not require any regularity of the limiting planar domain $\Omega$ near its degenerate prime ends $a$ and $b$ except that $(\Omega^\delta,a^\delta,b^\delta)$ are assumed to be `close discrete approximations' to $(\Omega,a,b)$ near $a$ and $b$ in the sense of a recent work arXiv:1810.05608.


title: Event-triggered Pulse Control with Model Learning (if Necessary)

abstract: In networked control systems, communication is a shared and therefore scarce resource. Event-triggered control (ETC) can achieve high performance control with a significantly reduced amount of samples compared to classical, periodic control schemes. However, ETC methods usually rely on the availability of an accurate dynamics model, which is oftentimes not readily available. In this paper, we propose a novel event-triggered pulse control strategy that learns dynamics models if necessary. In addition to adapting to changing dynamics, the method also represents a suitable replacement for the integral part typically used in periodic control.


title: Order statistics from overlapping samples: bivariate densities and regression properties

abstract: In this paper we are interested in the joint distribution of two order statistics from overlapping samples. We give an explicit formula for the distribution of such a pair of random variables under the assumption that the parent distribution is absolutely continuous (with respect to the Lebesgue measure on the real line). The distribution is identified through the form of the density with respect to a measure which is a sum of the bivariate Lebesgue measure on $\R^2$ and the univariate Lebesgue measure on the diagonal $\{(x,x):\,x\in\R\}$. We are also interested in the question to what extent conditional expectation of one of such order statistic given another determines the parent distribution. In particular, we provide a new characterization by linearity of regression of an order statistic from the extended sample given the one from the original sample, special case of which solves a problem explicitly stated in the literature. It appears that to describe the correct parent distribution it is convenient to use quantile density functions. In several other cases of regressions of order statistics we provide new results regarding uniqueness of the distribution in the sample. Nevertheless the general question of identifiability of the parent distribution by regression of order statistics from overlapping samples remains open.


title: Multi-party authorization and conflict mediation for decentralized configuration management processes

abstract: Configuration management in networks with highest security demands must not depend on just one administrator and her device. Otherwise, problems can be caused by mistakes or malicious behavior of this admin, or when her computer got compromised, which allows an attacker to abuse the administrator's far-reaching permissions. Instead, we propose to use a reliable and resilient configuration management process orchestrated by a configuration management system (CMS). This can be achieved by separation of concerns (proposing a configuration vs. authorizing it), employing multi-party authorization (MPA), and enforcing that only authorized configurations can be deployed. This results in a configuration management process that is decentralized on a human, decision-making level, and a technical, device level. However, due to different opinions or adversarial interference, the result of an MPA process can end in a conflict. This raises the question how such conflicts can be mediated in a better way than just employing majority voting, which is insufficient in certain situations. As an alternative, this paper introduces building blocks of customizable conflict mediation strategies which we integrated into our CMS TANCS . The conflict mediation functionality as well as the initial TANCS implementation run on top of the distributed ledger and smart contract framework Hyperledger Fabric which makes all processes resilient and tamper-resistant.


title: Algorithmic complexity of multiplex networks

abstract: Multilayer networks preserve full information about the different interactions among the constituents of a complex system, and have recently proven quite useful in modelling transportation networks, social circles, and the human brain. A fundamental and still open problem is to assess if and when the multilayer representation of a system provides a qualitatively better model than the classical single-layer aggregated network. Here we tackle this problem from an algorithmic information theory perspective. We propose an intuitive way to encode a multilayer network into a bit string, and we define the complexity of a multilayer network as the ratio of the Kolmogorov complexity of the bit strings associated to the multilayer and to the corresponding aggregated graph. We find that there exists a maximum amount of additional information that a multilayer model can encode with respect to the equivalent single-layer graph. We show how our complexity measure can be used to obtain low-dimensional representations of multidimensional systems, to cluster multilayer networks into a small set of meaningful super-families, and to detect tipping points in the evolution of different time-varying multilayer graphs. Interestingly, the low-dimensional multiplex networks obtained with the proposed method also retain most of the dynamical properties of the original systems, as demonstrated for instance by the preservation of the epidemic threshold in the multiplex SIS model. These results suggest that information-theoretic approaches can be effectively employed for a more systematic analysis of static and time-varying multidimensional complex systems.

categories: physics.soc-ph cond-mat.stat-mech cs.IT math.IT physics.data-an


title: Phase separations induced by a trapping potential in one-dimensional fermionic systems as a source of core-shell structures

abstract: Ultracold fermionic gases in optical lattices give a great opportunity for creating different types of novel states. One of them is phase separation induced by a trapping potential between different types of superfluid phases. The core-shell structures, occurring in systems with a trapping potential, are a good example of such separations. The types and the sequences of phases which emerge in such structures can depend on spin-imbalance, shape of the trap and on-site interaction strength. In this work, we investigate the properties of such structures within an attractive Fermi gas loaded in the optical lattice, in the presence of the trapping potential and their relations to the phase diagram of the homogeneous system. Moreover, we show how external and internal parameters of the system and parameters of the trap influence their properties. In particular, we show a possible occurrence of the core-shell structure in a system with a harmonic trap, containing the BCS and FFLO states. Additionally, we find a spatial separation of two superfuild states in the system, one in the BCS limit as well as the other one in the tightly bound local pairs (BEC) regime.


title: Identity-Free Facial Expression Recognition using conditional Generative Adversarial Network

abstract: A novel Identity-Free conditional Generative Adversarial Network (IF-GAN) was proposed for Facial Expression Recognition (FER) to explicitly reduce high inter-subject variations caused by identity-related facial attributes, e.g., age, race, and gender. As part of an end-to-end system, a cGAN was designed to transform a given input facial expression image to an "average" identity face with the same expression as the input. Then, identity-free FER is possible since the generated images have the same synthetic "average" identity and differ only in their displayed expressions. Experiments on four facial expression datasets, one with spontaneous expressions, show that IF-GAN outperforms the baseline CNN and achieves state-of-the-art performance for FER.


title: Trends on Computer Security: Cryptography, User Authentication, Denial of Service and Intrusion Detection

abstract: The new generation of security threats has been promoted by digital currencies and real-time applications, where all users develop new ways to communicate on the Internet. Security has evolved in the need of privacy and anonymity for all users and his portable devices. New technologies in every field prove that users need security features integrated into their communication applications, parallel systems for mobile devices, internet, and identity management. This review presents the key concepts of the main areas in computer security and how it has evolved in the last years. This work focuses on cryptography, user authentication, denial of service attacks, intrusion detection and firewalls.


title: Varieties of Data Languages

abstract: We establish an Eilenberg-type correspondence for data languages, i.e. languages over an infinite alphabet. More precisely, we prove that there is a bijective correspondence between varieties of languages recognized by orbit-finite nominal monoids and pseudovarieties of such monoids. This is the first result of this kind for data languages. Our approach makes use of nominal Stone duality and a recent category theoretic generalization of Birkhoff-type HSP theorems that we instantiate here for the category of nominal sets. In addition, we prove an axiomatic characterization of weak pseudovarieties as those classes of orbit-finite monoids that can be specified by sequences of nominal equations, which provides a nominal version of a classical theorem of Eilenberg and Sch\"utzenberger.


title: Cellular reproduction number, generation time and growth rate differ between human- and avian-adapted influenza strains

abstract: When analysing in vitro data, growth kinetics of influenza strains are often compared by computing their growth rates, which are sometimes used as proxies for fitness. However, analogous to mechanistic epidemic models, the growth rate can be defined as a function of two parameters: the basic reproduction number (the average number of cells each infected cell infects) and the mean generation time (the average length of a replication cycle). Using a mechanistic model, previously published data from experiments in human lung cells, and newly generated data, we compared estimates of all three parameters for six influenza A strains. Using previously published data, we found that the two human-adapted strains (pre-2009 seasonal H1N1, and pandemic H1N1) had a lower basic reproduction number, shorter mean generation time and slower growth rate than the two avian-adapted strains (H5N1 and H7N9). These same differences were then observed in data from new experiments where two strains were engineered to have different internal proteins (pandemic H1N1 and H5N1), but the same surface proteins (PR8), confirming our initial findings and implying that differences between strains were driven by internal genes. Also, the model predicted that the human-adapted strains underwent more replication cycles than the avian-adapted strains by the time of peak viral load, potentially accumulating mutations more quickly. These results suggest that the in vitro reproduction number, generation time and growth rate differ between human-adapted and avian-adapted influenza strains, and thus could be used to assess host adaptation of internal proteins to inform pandemic risk assessment.


title: Unified approach to reset processes and application to coupling between process and reset

abstract: We present a unified approach to those observables of stochastic processes under reset that take the form of averages of functionals depending on the most recent renewal period. We derive solutions for the observables, and determine the conditions for existence and equality of their stationary values with and without reset. For intermittent reset times, we derive exact asymptotic expressions for observables that vary asymptotically as a power of time. We illustrate the general approach with general and particular results for the power spectral density, and moments of subdiffusive processes. We focus on coupling of the process and reset via a diffusion-decay process with microscopic dependence between transport and decay. In contrast to the uncoupled case, we find that restarting the particle upon decay does not produce a probability current equal to the decay rate, but instead drastically alters the time dependence of the decay rate and the resulting current.


title: On the general position problem on Kneser graphs

abstract: In a graph $G$, a geodesic between two vertices $x$ and $y$ is a shortest path connecting $x$ to $y$. A subset $S$ of the vertices of $G$ is in general position if no vertex of $S$ lies on any geodesic between two other vertices of $S$. The size of a largest set of vertices in general position is the general position number that we denote by $gp(G)$. Recently, Ghorbani et al, proved that for any $k$ if $n\ge k^3-k^2+2k-2$, then $gp(Kn_{n,k})=\binom{n-1}{k-1}$, where $Kn_{n,k}$ denotes the Kneser graph. We improve on their result and show that the same conclusion holds for $n\ge 2.5k-0.5$ and this bound is best possible. Our main tools are a result on cross-intersecting families and a slight generalization of Bollob\'as's inequality on intersecting set pair systems.


title: Google Auto ML versus Apple Create ML for Histopathologic Cancer Diagnosis; Which Algorithms Are Better?

abstract: Artificial Intelligence is set to revolutionize multiple fields in the coming years. One subset of AI, machine learning, shows immense potential for application in a diverse set of medical specialties, including diagnostic pathology. In this study, we investigate the utility of the Apple Create ML and Google Cloud Auto ML, two machine learning platforms, in a variety of pathological scenarios involving lung and colon pathology. First, we evaluate the ability of the platforms to differentiate normal lung tissue from cancerous lung tissue. Also, the ability to accurately distinguish two subtypes of lung cancer (adenocarcinoma and squamous cell carcinoma) is examined and compared. Similarly, the ability of the two programs to differentiate colon adenocarcinoma from normal colon is assessed as is done with lung tissue. Also, cases of colon adenocarcinoma are evaluated for the presence or absence of a specific gene mutation known as KRAS. Finally, our last experiment examines the ability of the Apple and Google platforms to differentiate between adenocarcinomas of lung origin versus colon origin. In our trained models for lung and colon cancer diagnosis, both Apple and Google machine learning algorithms performed very well individually and with no statistically significant differences found between the two platforms. However, some critical factors set them apart. Apple Create ML can be used on local computers but is limited to an Apple ecosystem. Google Auto ML is not platform specific but runs only in Google Cloud with associated computational fees. In the end, both are excellent machine learning tools that have great potential in the field of diagnostic pathology, and which one to choose would depend on personal preference, programming experience, and available storage space.


title: On the weight distribution of second order Reed-Muller codes and their relatives

abstract: The weight distribution of second order $q$-ary Reed-Muller codes have been determined by Sloane and Berlekamp (IEEE Trans. Inform. Theory, vol. IT-16, 1970) for $q=2$ and by McEliece (JPL Space Programs Summary, vol. 3, 1969) for general prime power $q$. Unfortunately, there were some mistakes in the computation of the latter one. This paper aims to provide a precise account for the weight distribution of second order $q$-ary Reed-Muller codes. In addition, the weight distributions of second order $q$-ary homogeneous Reed-Muller codes and second order $q$-ary projective Reed-Muller codes are also determined.


title: Supersaturation for subgraph counts

abstract: The classic extremal problem is that of computing the maximum number of edges in an $F$-free graph. In the case where $F=K_{r+1}$, the extremal number was determined by Tur\'an. Later results, known as supersaturation theorems, proved that in a graph containing more edges than the extremal number, there must also be many copies of $K_{r+1}$. Alon and Shikhelman introduced a broader class of problems asking for the maximum number of copies of a graph $T$ in an $F$-free graph. In this paper, we determine some of these generalized extremal numbers and prove supersaturation results for them.


title: Hidden self-energies as origin of cuprate superconductivity revealed by machine learning

abstract: Experimental data are the source of understanding matter. However, measurable quantities are limited and theoretically important quantities are sometimes hidden. Nonetheless, recent progress of machine-learning techniques opens possibilities of exposing them only from available experimental data. In this paper, after establishing the reliability of the method in various careful benchmark tests, the Boltzmann-machine method is applied to the angle-resolved photoemission spectroscopy spectra of cuprate high temperature superconductors, Bi$_2$Sr$_2$CuO$_{6+\delta}$ (Bi2201) and Bi$_2$Sr$_2$CaCuO$_{8+\delta}$ (Bi2212). We find prominent peak structures both in normal and anomalous self-energies, but they cancel in the total self-energy making the structure apparently invisible, while the peaks make universally dominant contributions to superconducting gap, hence evidencing the signal that generates the high-$T_{\rm c}$ superconductivity. The relation between superfluid density and critical temperature supports involvement of universal carrier relaxation associated with dissipative strange metals, where enhanced superconductivity is promoted by entangled quantum-soup nature of the cuprates. The present achievement opens avenues for innovative machine-learning spectroscopy method to reveal fundamental properties hidden in direct experimental accesses.


title: Few-shot machine learning in the three-dimensional Ising model

abstract: We investigate theoretically the phase transition in three dimensional cubic Ising model utilizing state-of-the-art machine learning algorithms. Supervised machine learning models show high accuracies (~99\%) in phase classification and very small relative errors ($< 10^{-4}$) of the energies in different spin configurations. Unsupervised machine learning models are introduced to study the spin configuration reconstructions and reductions, and the phases of reconstructed spin configurations can be accurately classified by a linear logistic algorithm. Based on the comparison between various machine learning models, we develop a few-shot strategy to predict phase transitions in larger lattices from trained sample in smaller lattices. The few-shot machine learning strategy for three dimensional(3D) Ising model enable us to study 3D ising model efficiently and provides a new integrated and highly accurate approach to other spin models.