title: Smart cathodic protection system for real-time quantitative assessment of corrosion of sacrificial anode based on Electro-Mechanical Impedance (EMI)

abstract: Corrosion of metal structures is often prevented using cathodic protection systems, that employ sacrificial anodes that corrode more preferentially relative to the metal to be protected. In-situ monitoring of these sacrificial anodes during early stages of their useful life could offer several insights into deterioration of the material surrounding the infrastructure as well as serve as early warning indicator for preventive maintenance of critical infrastructure. In this paper, we present an Electro-Mechanical Impedance (EMI) measurement-based technique to quantify extent of corrosion of a zinc sacrificial anode without manual intervention. The detection apparatus consists of a lead zirconate titanate (PZT) transducer affixed onto a circular zinc disc, with waterproofing epoxy protecting the transducer element when the assembly is submerged in liquid electrolyte (salt solution) for accelerated corrosion by means of impressed current. We develop an analytical model for discerning the extent of corrosion by monitoring shift in resonance frequency for in-plane radial expansion mode of the disc, that also accurately models the nonlinearity introduced by partial delamination of the corrosion product (zinc oxide) from the disc. The analytical model thus developed shows excellent agreement with Finite Element Analysis (FEA) and experimental results. Our work establishes the efficacy of the proposed technique for monitoring the state of health of sacrificial anodes in their early stage of deterioration and could thus be widely adopted for structural health monitoring applications within the internet of things.


title: Distributed Deep Reinforcement Learning: An Overview

abstract: Deep reinforcement learning (DRL) is a very active research area. However, several technical and scientific issues require to be addressed, amongst which we can mention data inefficiency, exploration-exploitation trade-off, and multi-task learning. Therefore, distributed modifications of DRL were introduced; agents that could be run on many machines simultaneously. In this article, we provide a survey of the role of the distributed approaches in DRL. We overview the state of the field, by studying the key research works that have a significant impact on how we can use distributed methods in DRL. We choose to overview these papers, from the perspective of distributed learning, and not the aspect of innovations in reinforcement learning algorithms. Also, we evaluate these methods on different tasks and compare their performance with each other and with single actor and learner agents.


title: Angular Embedding: A New Angular Robust Principal Component Analysis

abstract: As a widely used method in machine learning, principal component analysis (PCA) shows excellent properties for dimensionality reduction. It is a serious problem that PCA is sensitive to outliers, which has been improved by numerous Robust PCA (RPCA) versions. However, the existing state-of-the-art RPCA approaches cannot easily remove or tolerate outliers by a non-iterative manner. To tackle this issue, this paper proposes Angular Embedding (AE) to formulate a straightforward RPCA approach based on angular density, which is improved for large scale or high-dimensional data. Furthermore, a trimmed AE (TAE) is introduced to deal with data with large scale outliers. Extensive experiments on both synthetic and real-world datasets with vector-level or pixel-level outliers demonstrate that the proposed AE/TAE outperforms the state-of-the-art RPCA based methods.


title: Upper bounds for the Steklov eigenvalues on trees

abstract: In this paper, we study the upper bounds for discrete Steklov eigenvalues on trees via geometric quantities. For a finite tree, we prove sharp upper bounds for the first nonzero Steklov eigenvalue by the reciprocal of the size of the boundary and the diameter respectively. We also prove similar estimates for higher order Steklov eigenvalues.


title: Enriching ImageNet with Human Similarity Judgments and Psychological Embeddings

abstract: Advances in object recognition flourished in part because of the availability of high-quality datasets and associated benchmarks. However, these benchmarks---such as ILSVRC---are relatively task-specific, focusing predominately on predicting class labels. We introduce a publicly-available dataset that embodies the task-general capabilities of human perception and reasoning. The Human Similarity Judgments extension to ImageNet (ImageNet-HSJ) is composed of human similarity judgments that supplement the ILSVRC validation set. The new dataset supports a range of task and performance metrics, including the evaluation of unsupervised learning algorithms. We demonstrate two methods of assessment: using the similarity judgments directly and using a psychological embedding trained on the similarity judgments. This embedding space contains an order of magnitude more points (i.e., images) than previous efforts based on human judgments. Scaling to the full 50,000 image set was made possible through a selective sampling process that used variational Bayesian inference and model ensembles to sample aspects of the embedding space that were most uncertain. This methodological innovation not only enables scaling, but should also improve the quality of solutions by focusing sampling where it is needed. To demonstrate the utility of ImageNet-HSJ, we used the similarity ratings and the embedding space to evaluate how well several popular models conform to human similarity judgments. One finding is that more complex models that perform better on task-specific benchmarks do not better conform to human semantic judgments. In addition to the human similarity judgments, pre-trained psychological embeddings and code for inferring variational embeddings are made publicly available. Collectively, ImageNet-HSJ assets support the appraisal of internal representations and the development of more human-like models.


title: Hyperbolic Distance versus Quasihyperbolic Distance in Plane Domains

abstract: We examine Euclidean plane domains with their hyperbolic or quasihyperbolic distance. We prove that the associated metric spaces are quasisymmetrically equivalent if and only if they are bi-Lipschitz equivalent. On the other hand, for Gromov hyperbolic domains, the two corresponding Gromov boundaries are always quasisymmetrically equivalent. Surprisingly, for any finitely connected hyperbolic domain, these two metric spaces are always quasiisometrically equivalent. We construct an example where the spaces are not quasiisometrically equivalent.


title: Machine Predictions and Human Decisions with Variation in Payoffs and Skill

abstract: Human decision-making differs due to variation in both incentives and available information. This constitutes a substantial challenge for the evaluation of whether and how machine learning predictions can improve decision outcomes. We propose a framework that incorporates machine learning on large-scale data into a choice model featuring heterogeneity in decision maker payoff functions and predictive skill. We apply this framework to the major health policy problem of improving the efficiency in antibiotic prescribing in primary care, one of the leading causes of antibiotic resistance. Our analysis reveals large variation in physicians' skill to diagnose bacterial infections and in how physicians trade off the externality inherent in antibiotic use against its curative benefit. Counterfactual policy simulations show that the combination of machine learning predictions with physician diagnostic skill results in a 25.4 percent reduction in prescribing and achieves the largest welfare gains compared to alternative policies for both estimated physician as well as conservative social planner preference weights on the antibiotic resistance externality.


title: Inferring long memory using extreme events

abstract: Many natural and physical processes display long memory and extreme events. In these systems, the measured time series is invariably contaminated by noise. As the extreme events display large deviation from the mean behaviour, the noise does not affect the extreme events as much as it affects the typical values. Since the extreme events also carry the information about correlations in the full time series, they can be used to infer the correlation properties of the latter. In this work, from a given time series, we construct three modified time series using only the extreme events. It is shown that the correlations in the original time series and in the modified time series, as measured by the exponent obtained from detrended fluctuation analysis technique, are related to each other. Hence, the correlation exponents for a long memory time series can be inferred from its extreme events alone. This approach is demonstrated for several empirical time series.


title: Self-Induced Valley Bosonic Stimulation of Exciton-Polaritons in a Monolayer Semiconductor

abstract: The newly discovered valley degree of freedom in atomically thin two-dimensional transition metal dichalcogenides (TMD) offers a promising platform to explore rich nonlinear physics, such as spinor Bose-Einstein condensate (BEC) and novel valleytronics applications. However, the critical nonlinear effect, such as valley polariton bosonic stimulation, has long remained an unresolved challenge due to the generation of limited polariton ground state densities necessary to induce the stimulated scattering of polaritons in specific valleys. Here, we report the self-induced valley bosonic stimulation of exciton-polaritons via spin-valley locking in a WS2 monolayer microcavity. This is achieved by the resonant injection of valley polaritons at specific energy and wavevector, which allows spin-polarized polaritons to efficiently populate their ground state and induce a valley-dependent bosonic stimulation. As a result, we observe the nonlinear self-amplification of polariton emission from the valley-dependent ground state. Our finding paves the way for the investigation of spin ordering and phase transitions in TMD polariton BEC, offering a promising route for the realization of polariton spin lattices in moir\'e polariton systems and spin-lasers.

categories: cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.other cond-mat.quant-gas


title: Cryo-ZSSR: multiple-image super-resolution based on deep internal learning

abstract: Single-particle cryo-electron microscopy (cryo-EM) is an emerging imaging modality capable of visualizing proteins and macro-molecular complexes at near-atomic resolution. The low electron-doses used to prevent sample radiation damage, result in images where the power of the noise is 100 times greater than the power of the signal. To overcome the low-SNRs, hundreds of thousands of particle projections acquired over several days of data collection are averaged in 3D to determine the structure of interest. Meanwhile, recent image super-resolution (SR) techniques based on neural networks have shown state of the art performance on natural images. Building on these advances, we present a multiple-image SR algorithm based on deep internal learning designed specifically to work under low-SNR conditions. Our approach leverages the internal image statistics of cryo-EM movies and does not require training on ground-truth data. When applied to a single-particle dataset of apoferritin, we show that the resolution of 3D structures obtained from SR micrographs can surpass the limits imposed by the imaging system. Our results indicate that the combination of low magnification imaging with image SR has the potential to accelerate cryo-EM data collection without sacrificing resolution.


title: Application of adapted-bubbles to the Helmholtz equation with large wave numbers in 2d

abstract: An adapted bubble approach which is a modifiation of the residual-free bubbles (RFB) method, is proposed for the Helmhotz problem in 2D. A new two-level finite element method is introduced for the approximations of the bubble functions. Unlike the other equations such as the advection-diffusion equation, RFB method when applied to the Helmholtz equation, does not depend on another stabilized method to obtain approximations to the solutions of the sub-problems. Adapted bubbles (AB) are obtained by a simple modification of the sub-problems. This modification increases the accuracy of the numerical solution impressively. The AB method is able to solve the Helmholtz equation efficiently in 2D up to ch = 3.5 where c is the wave number and h is the mesh size. We provide analysis to show how the AB method mitigates the pollution error.


title: Imaging the interface of a qubit and its quantum-many-body environment

abstract: Decoherence affects all quantum systems, natural or artificial, and is the primary obstacle impeding quantum technologies. We show theoretically that for a Rydberg qubit in a Bose condensed environment, experiments can image the system-environment interface that is central for decoherence. High precision absorption images of the condensed environment will be able to capture transient signals that show the real time build up of a mesoscopic entangled state in the environment. This is possible before decoherence sources other than the condensate itself can kick in, since qubit decoherence time-scales can be tuned from the order of nanoseconds to microseconds by choice of the excited Rydberg principal quantum number {\nu}. Imaging the interface will allow detailed explorations of open quantum system concepts and may offer guidance for coherence protection in challenging scenarios with non-Markovian environments.


title: Exploiting network information to disentangle spillover effects in a field experiment on teens' museum attendance

abstract: A key element in the education of youths is their sensitization to historical and artistic heritage. We analyze a field experiment conducted in Florence (Italy) to assess how appropriate incentives assigned to high-school classes may induce teens to visit museums in their free time. Non-compliance and spillover effects make the impact evaluation of this clustered encouragement design challenging. We propose to blend principal stratification and causal mediation, by defining sub-populations of units according to their compliance behavior and using the information on their friendship networks as mediator. We formally define principal natural direct and indirect effects and principal controlled direct and spillover effects, and use them to disentangle spillovers from other causal channels. We adopt a Bayesian approach for inference.


title: Tracking the evolution of crisis processes and mental health on social media during the COVID-19 pandemic

abstract: The COVID-19 pandemic has affected all aspects of society, not only bringing health hazards, but also posing challenges to public order, governments and mental health. Moreover, it is the first one in history in which people from around the world uses social media to massively express their thoughts and concerns. This study aims at examining the stages of crisis response and recovery as a sociological problem by operationalizing a well-known model of crisis stages in terms of a psycho-linguistic analysis. Based on a large collection of Twitter data spanning from March to August 2020 in Argentina, we present a thematic analysis on the differences in language used in social media posts, and look at indicators that reveal the different stages of a crisis and the country response thereof. The analysis was combined with a study of the temporal prevalence of mental health conversations across the time span. Beyond the Argentinian case-study, the proposed approach and analyses can be applied to any public large-scale data. This approach can provide insights for the design of public health politics oriented to monitor and eventually intervene during the different stages of a crisis, and thus improve the adverse mental health effects on the population.


title: On the irrationality of moduli spaces of K3 surfaces

abstract: We study how the degrees of irrationality of moduli spaces of polarized K3 surfaces grow with respect to the genus $g$. We prove that the growth is bounded by a polynomial function of degree $14+\varepsilon$ for any $\varepsilon>0$ and, for three sets of infinitely many genera, the bounds can be refined to polynomials of degree $10$. The main ingredients in our proof are the modularity of the generating series of Heegner divisors due to Borcherds and its generalization to higher codimensions due to Kudla, Millson, Zhang, Bruinier, and Westerholt-Raum. For special genera, the proof is also built upon the existence of K3 surfaces associated Hodge theoretically with certain cubic fourfolds, Gushel-Mukai fourfolds, and hyperk\"ahler fourfolds.


title: Sample size calculation for the Andersen-Gill model comparing rates of recurrent events

abstract: Recurrent events arise frequently in biomedical research, where the subject may experience the same type of events more than once. The Andersen-Gill (AG) model has become increasingly popular in the analysis of recurrent events particularly when the event rate is not constant over time. We propose a procedure for calculating the power and sample size for the robust Wald test from the AG model in superiority, noninferiority, and equivalence clinical trials. Its performance is demonstrated by numerical examples. Sample SAS code is provided in the Supplementary Material.


title: Constructing higher-order topological states in higher dimension

abstract: Higher-order topological phase as a generalization of Berry phase attracts an enormous amount of research. The current theoretical models supporting higher-order topological phases, however, cannot give the connection between lower and higher-order topological phases when extending the lattice from lower to higher dimensions. Here, we theoretically propose and experimentally demonstrate a topological corner state constructed from the edge states in one dimensional lattice. The two-dimensional square lattice owns independent spatial modulation of coupling in each direction, and the combination of edge states in each direction come up to the higher-order topological corner state in two-dimensional lattice, revealing the connection of topological phase in lower and higher dimensional lattices. Moreover, the topological corner states in two-dimensional lattice can also be viewed as the dimension-reduction from a four-dimensional topological phase characterized by vector Chern number, considering two modulation phases as synthetic dimensions in Aubry-Andre-Harper model discussed as example here. Our work deeps the understanding to topological phases breaking through the lattice dimension, and provides a promising tool constructing higher topological phases in higher dimensional structures.


title: An $L_p$-maximal regularity estimate of moments of solutions to second-order stochastic partial differential equations

abstract: We obtain uniqueness and existence of a solution $u$ to the following second-order stochastic partial differential equation (SPDE) : \begin{align} \label{abs eqn} du= \left( \bar a^{ij}(\omega,t)u_{x^ix^j}+ f \right)dt + g^k dw^k_t, \quad t \in (0,T); \quad u(0,\cdot)=0, \end{align} where $T \in (0,\infty)$, $w^k$ $(k=1,2,\ldots)$ are independent Wiener processes, $(\bar a^{ij}(\omega,t))$ is a (predictable) nonnegative symmetric matrix valued stochastic process such that $$ \kappa |\xi|^2 \leq \bar a^{ij}(\omega,t) \xi^i \xi^j \leq K |\xi|^2 \qquad \forall (\omega,t,\xi) \in \Omega \times (0,T) \times {\mathbf{R}}^d $$ for some $\kappa, K \in (0,\infty)$, $$ f \in L_p\left( (0,T) \times {\mathbf{R}}^d, dt \times dx ; L_r(\Omega, {\mathscr{F}} ,dP) \right), $$ and $$ g, g_x \in L_p\left( (0,T) \times {\mathbf{R}}^d, dt \times dx ; L_r(\Omega, {\mathscr{F}} ,dP; l_2) \right) $$ with $2 \leq r \leq p < \infty$ and appropriate measurable conditions.


title: Abstraction-based branch and bound approach to Q-learning for hybrid optimal control

abstract: In this paper, we design a theoretical framework allowing to apply model predictive control on hybrid systems. For this, we develop a theory of approximate dynamic programming by leveraging the concept of alternating simulation. We show how to combine these notions in a branch and bound algorithm that can further refine the Q-functions using Lagrangian duality. We illustrate the approach on a numerical example.


title: Quality Assurance Test of Silicon Photomultipliers and Electronic Boards for STAR Event Plane Detector

abstract: The event plane detector (EPD), installed in the Solenoid Tracker at the Relativistic Heavy-Ion Collider located at the Brookhaven National Laboratory is a plastic scintillator-based device that measures the reaction centrality and event plane in the forward region of the relativistic heavy-ion collisions. We used silicon photomultiplier (SiPM) arrays to detect the photons produced in the scintillator via the fiber connection. Signals from the SiPM arrays were amplified by the front-end electronic (FEE) board, and sent to the analog-to-digital converter (ADC) boards for further processing via the receiver(RX) board. The full EPD system consisted of 24 super-sectors (SSs); each SS was equipped with two SiPM boards, two FEE boards and two RX boards, and they corresponded to 744 readout channels. All these boards were mass produced at the University of Science and Technology of China, with a dedicated quality assurance (QA) procedures applied to identify any problems before deployment. This article describes the details of the QA method and the related test system. The QA test results are presented along with the discussions.


title: Play Like the Pros? Solving the Game of Darts as a Dynamic Zero-Sum Game

abstract: The game of darts has enjoyed great growth over the past decade with the perception of darts moving from that of a pub game to a game that is regularly scheduled on prime-time television in many countries including the U.K., Germany, the Netherlands, and Australia among others. The game of darts involves strategic interactions between two players but to date the literature has ignored these interactions. In this paper, we formulate and solve the game of darts as a dynamic zero-sum-game (ZSG), and to the best of our knowledge we are the first to do so. We also estimate individual skill models using a novel data-set based on darts matches that were played by the top 16 professional players in the world during the 2019 season. Using the fitted skill models and our ZSG problem formulation, we quantify the importance of playing strategically, i.e. taking into account the score and strategy of one's opponent, when computing an optimal strategy. For top professionals we find that playing strategically results in an increase in win-probability of just 0.2% - 0.6% over a single leg but as much as 2.3% over a best-of-35 legs match.


title: Boundary effects in two-band superconductors

abstract: We present a microscopic study of the behavior of the order parameters near boundaries of a two-band superconducting material, described by the standard tight-binding Bardeen-Cooper-Schrieffer model. We find superconducting surface states. The relative difference between bulk and surface critical temperatures is a nontrivial function of the interband coupling strength. For superconductors with weak interband coupling, boundaries induce variations of the gaps with the presence of multiple length scales, despite non-zero interband Josephson coupling.


title: Who's Who in the Information Technology Research in the Philippines A Social Network Analysis

abstract: This study reported the conference papers presented conducted by the two computing societies in the Philippines. Toward this goal, all published conference proceedings from the National Conference of IT Education and Philippine Computing Society Conference were gathered and analyzed using social network analysis. The findings of the study disclosed that there are 733 papers presented in the conference for the span of 18 years. On the average, both conferences had 27 papers presented annually. Private higher education institutions dominated the list of research productive schools where De La Salle University tops the list. A researcher in the University of the Philippines-Diliman is the most prolific researcher with 39 publications and "algorithm" was the most researched topic. Researchers tend to work in small team consisting of 2 to 3 members. Implications and limitations of the study are also presented.


title: Ring-localized states, radial aperiodicity and quantum butterflies on a Cayley tree

abstract: We present an analytical method, based on a real space decimation scheme, to extract the exact eigenvalues of a macroscopically large set of pinned localized excitations in a Cayley tree fractal network. Within a tight binding scheme we exploit the above method to scrutinize the effect of a deterministic deformation of the network, first through a hierarchical distribution in the values of the nearest neighbor hopping integrals, and then through a radial Aubry Andre Harper quasiperiodic modulation. With increasing generation index, the inflating loop less tree structure hosts pinned eigenstates on the peripheral sites that spread from the outermost rings into the bulk of the sample, resembling the spread of a forest fire, lighting up a predictable set of sites and leaving the rest unignited. The penetration depth of the envelope of amplitudes can be precisely engineered. The quasiperiodic modulation yields hitherto unreported quantum butterflies, which have further been investigated by calculating the inverse participation ratio for the eigenstates, and a multifractal analysis. The applicability of the scheme to photonic fractal waveguide networks is discussed at the end.


title: Development of Rubrics for Capstone Project Courses: Perspectives from Teachers and Students

abstract: This study attempted to develop fair, relevant, and content-valid assessment tools for capstone project courses. Toward this goal, new rating instruments based on the concept of rubrics were proposed. To ensure that the new instruments were valid and fair, several meetings with faculty and students of the computing science departments (i.e., Computer Science and Information Technology) were successively conducted. Eight faculty members and 10 students participated in the study. The final versions of the instruments were completed after a series of careful deliberations with faculty and students. Faculty and students perceived the new instruments fairer than the previous ones. Since the final instruments will be deployed this semester, their strengths and weaknesses are not yet known at this time. Directions for future research are presented.


title: Interpreting Super-Resolution Networks with Local Attribution Maps

abstract: Image super-resolution (SR) techniques have been developing rapidly, benefiting from the invention of deep networks and its successive breakthroughs. However, it is acknowledged that deep learning and deep neural networks are difficult to interpret. SR networks inherit this mysterious nature and little works make attempt to understand them. In this paper, we perform attribution analysis of SR networks, which aims at finding the input pixels that strongly influence the SR results. We propose a novel attribution approach called local attribution map (LAM), which inherits the integral gradient method yet with two unique features. One is to use the blurred image as the baseline input, and the other is to adopt the progressive blurring function as the path function. Based on LAM, we show that: (1) SR networks with a wider range of involved input pixels could achieve better performance. (2) Attention networks and non-local networks extract features from a wider range of input pixels. (3) Comparing with the range that actually contributes, the receptive field is large enough for most deep networks. (4) For SR networks, textures with regular stripes or grids are more likely to be noticed, while complex semantics are difficult to utilize. Our work opens new directions for designing SR networks and interpreting low-level vision deep models.


title: Random noise attenuation on finite-difference wave propagation using fuzzy transform

abstract: Fuzzy Transform (F-transform) has been introduced as an approximation method which encompasses both classical transforms and approximation methods studied in fuzzy modeling and fuzzy control. It has been proved that, under some conditions, F-transform can remove a periodical noise and it can significantly reduce random noise. In this work we apply the F-transform methodology to propose a finite-difference approach to solving the acoustic wave equation with noisy initial conditions.


title: An identity involving number of representations of $n$ as a sum of $r$ triangular numbers

abstract: Let $\sum_{d|n}$ denote sum over divisors of a positive integer $n$, and $t_{r}(n)$ denote the number of representations of $n$ as a sum of $r$ triangular numbers. Then we prove that $$ \sum_{d|n}\frac{1+2\,(-1)^{d}}{d}=\sum_{r=1}^{n}\frac{(-1)^{r}}{r}\, \binom{n}{r}\, t_{r}(n) $$ using a result of Ono, Robbins and Wahl.


title: Generalized numerical-theoretical transformation

abstract: The generalized number-theoretic transformation (NPT) is formulated on the basis of the exponential function theorem, which allows us to replace operations modulo the expression as a whole by modulo operations on the exponent of this function, which makes this theorem fundamental for NPT, since it is such a function used in NPT as a weight conversion function. On the basis of this theorem, all the main theorems of the generalized NPT, their duality, as well as the properties of the weight functions of this transformation are formulated and proved. The choice of the basis of this function, as which any number can be chosen, including a complex one, determines not only one or another type of transformation, but also the module of the transformation itself. This allows us to generalize a number of well-known NPTs, such as Mersen, Gauss, and even Fourier, in the form of a unified theory of discrete transformations.


title: Effective information processing with pure braid group formalism in view of 2D holographic principle for information

abstract: The so-called holographic principle, originally addressed to the high energy physics, suggests more generally that the information inseparatly bounded with a physical carrier (measured by its entropy) scales as the event horizon surface---a two-dimensional object. In this paper we present an idea of representing classical information in formalism of pure braid groups, characterized by an exceptionally rich structure for two-dimensional spaces. This leads to some interesting properties, e.g. information geometrization, multi-character alphabets energetic efficiency for information coding characteristic or a group structure decoding scheme. We also proved that proposed pure braid group approach meets all the conditions for storing and processing of information.


title: Electron, hole and exciton effective g-factors in semiconductor nanocrystals

abstract: We review the existing and present the new results of $\bf kp$ calculations of the electron, hole, and exciton effective $g$-factors in semiconductor nanocrystals of different shape and symmetry. We propose a simple yet accurate method for calculation of electron $g$-factor size dependence in bare nanocrystals within the eight-band Kane model. Using the spherical approximation for Luttinger Hamiltonian we find the dependence of hole $g$-factor on light to heavy hole effective mass ratio in semiconductor nanostructures with spherical, axial, and cubically symmetric shape. We show that the non-equidistant Zeeman splitting of the four-fold degenerate hole state may take place in cube and spheroidal nanocrystals. We present a comparison of the calculated hole $g$-factors in nanostructures based on II-VI and III-V semiconductors for different sets of the Luttinger parameters and analyze the main effects contributing to the $g$-factor renormalization with the respect to the bulk value. We discuss different approaches to the definition of the hole and exciton $g$-factors which should be taken into account during the analysis of the experimental data and compare our results of $g$-factor calculations with the experimental data for semiconductor spherical nanocrystals and thin nanoplatelets available in the literature.


title: Two-variable fibrations, factorisation systems and $\infty$-categories of spans

abstract: We prove a universal property for $\infty$-categories of spans in the generality of Barwick's adequate triples, explicitly describe the cocartesian fibration corresponding to the span functor, and show that the latter restricts to a self-equivalence on the class of orthogonal adequate triples, which we introduce for this purpose. As applications of the machinery we develop we give a quick proof of Barwick's unfurling theorem, show that an orthogonal factorisation system arises from a cartesian fibration if and only if it forms an adequate triple (generalising work of Lanari), extend the description of dual (co)cartesian fibrations by Barwick, Glasman and Nardin to two-variable fibrations, explicitly describe parametrised adjoints (extending work of Torii), identify the orthofibration classifying the mapping category functor of an $(\infty,2)$-category (building on work of Abell\'an Garcia and Stern), formally identify the unstraightenings of the identity functor on the $\infty$-category of $\infty$-categories with the (op)lax under-categories of a point, and deduce a certain naturality property of the Yoneda embedding (answering a question of Clausen).


title: Sensing: Equation One

abstract: Spin projection noise sets a limit for the sensitivity of spin-based magnetometers and experiments searching for parity- and time-reversal-invariance-violating dipole moments. The limit is described by a simple equation that appears to have universal applicability.


title: Topological Terms and the Misner String Entropy

abstract: The method of topological renormalization in anti-de Sitter (AdS) gravity consists in adding to the action a topological term which renders it finite, defining at the same time a well-posed variational problem. Here, we use this prescription to work out the thermodynamics of asymptotically locally anti-de Sitter (AlAdS) spacetimes, focusing on the physical properties of the Misner strings of both the Taub-NUT-AdS and Taub-Bolt-AdS solutions. We compute the contribution of the Misner string to the entropy by treating on the same footing the AdS and AlAdS sectors. As topological renormalization is found to correctly account for the physical quantities in the parity preserving sector of the theory, we then investigate the holographic consequences of adding also the Chern-Pontryagin topological invariant to the bulk action; in particular, we discuss the emergence of the parity-odd contribution in the boundary stress tensor.


title: Emergent quasiparticles in Euclidean tilings

abstract: Material's geometrical structure is a fundamental part of their properties. The honeycomb geometry of graphene is responsible for the arising of its Dirac cone, while the kagome and Lieb lattice hosts flat bands and pseudospin-1 Dirac dispersion. These features seem to be particular for few 2D systems rather than a common occurrence. Given this correlation between structure and properties, exploring new geometries can lead to unexplored states and phenomena. Kepler is the pioneer of the mathematical tiling theory, describing ways of filing the euclidean plane with geometrical forms in its book {\it Harmonices Mundi}. In this letter, we characterize $1255$ lattices composed of the euclidean plane's k-uniform tiling, with its intrinsic properties unveiled - this class of arranged tiles present high-degeneracy points, exotic quasiparticles, and flat bands as a common feature. Here, we present aid for experimental interpretation and prediction of new 2D systems.


title: Conjugacy classes of groups of prime order in $\mathrm{PGL}_{k+1}(\mathbb{C})$

abstract: Let $\mathbb{C}$ be the field of complex numbers. Let $k$ be natural number with $k \geq 2$ and let $p$ be a rational prime. In this paper we count the number of conjugacy classes of admissible cyclic subgroups of $\mathrm{PGL}_{k+1}(\mathbb{C})$ of order $p$, where with admissible we intend those finite subgroups that can be contained in the automorphism group of a set of points in $\mathbb{P}^k(\mathbb{C})$ in general position and of cardinality $n\geq k+3$. We also describe a kind of association between the conjugacy classes of these groups and show a beautiful relation connecting this type of association and the association between point sets.


title: Integrating automated acoustic vocalization data and point count surveys for estimation of bird abundance

abstract: Monitoring wildlife abundance across space and time is an essential task to study their population dynamics and inform effective management. Acoustic recording units are a promising technology for efficiently monitoring bird populations and communities. We present an integrated modeling framework that combines high-quality but temporally sparse bird point count survey data with acoustic recordings. Using simulations, we compare the accuracy and precision of abundance estimates using differing amounts of acoustic vocalizations obtained from a clustering algorithm, point count data, and a subset of manually validated acoustic vocalizations. We also use our modeling framework in a case study to estimate abundance of the Eastern Wood-Pewee (Contopus virens) in Vermont, U.S.A. The simulation study reveals that combining acoustic and point count data via an integrated model improves accuracy and precision of abundance estimates compared with models informed by either acoustic or point count data alone. Combining acoustic data with only a small number of point count surveys yields estimates of abundance without the need for validating any of the identified vocalizations from the acoustic data. Within our case study, the integrated models provided moderate support for a decline of the Eastern Wood-Pewee in this region. Our integrated modeling approach combines dense acoustic data with few point count surveys to deliver reliable estimates of species abundance without the need for manual identification of acoustic vocalizations or a prohibitively expensive large number of repeated point count surveys. Our proposed approach offers an efficient monitoring alternative for large spatio-temporal regions when point count data are difficult to obtain or when monitoring is focused on rare species with low detection probability.


title: GNNLens: A Visual Analytics Approach for Prediction Error Diagnosis of Graph Neural Networks

abstract: Graph Neural Networks (GNNs) aim to extend deep learning techniques to graph data and have achieved significant progress in graph analysis tasks (e.g., node classification) in recent years. However, similar to other deep neural networks like Convolutional Neural Networks (CNNs) and Recurrent Neural Networks (RNNs), GNNs behave like a black box with their details hidden from model developers and users. It is therefore difficult to diagnose possible errors of GNNs. Despite many visual analytics studies being done on CNNs and RNNs, little research has addressed the challenges for GNNs. This paper fills the research gap with an interactive visual analysis tool, GNNLens, to assist model developers and users in understanding and analyzing GNNs. Specifically, Parallel Sets View and Projection View enable users to quickly identify and validate error patterns in the set of wrong predictions; Graph View and Feature Matrix View offer a detailed analysis of individual nodes to assist users in forming hypotheses about the error patterns. Since GNNs jointly model the graph structure and the node features, we reveal the relative influences of the two types of information by comparing the predictions of three models: GNN, Multi-Layer Perceptron (MLP), and GNN Without Using Features (GNNWUF). Two case studies and interviews with domain experts demonstrate the effectiveness of GNNLens in facilitating the understanding of GNN models and their errors.


title: The VLSAT-1 Benchmark Suite

abstract: This report presents VLSAT-1 (an acronym for "Very Large Boolean SATisfiability problems"), the first part of a benchmark suite to be used in scientificexperiments and software competitions addressing SAT-solving issues.VLSAT-1 contains 100~benchmarks of increasing complexity, proposed in DIMACSCNF format under a permissive Creative Commons license. These benchmarks havebeen used by the 2020 International Competition on Model Counting.


title: Nonlocal fractional elliptic and parabol{\i}c equat{\i}ons in Besov spaces and applications

abstract: The maximal B_{p,q}^{s}-regularity properties of a nonlocal fractional elliptic equation is studied. Particularly, it is proven that the operator generated by this nonlocal ell{\i}p{\i}t{\i}c equation in B_{p,q}^{s} is sectorial and also is a generator of an analytic semigroup. Moreover, well-posedeness of nonlocal fractional parabolic equation in Besov spaces are established.


title: Ruppeiner geometry of isotropic Blume-Emery-Griffiths model

abstract: With the aid of Ruppeiner thermodynamic metric defined on a two-dimensional phase space of dipolar ($m$) and quadrupolar ($q$) order parameters, we derive an expression for the Ricci scalar ($R$) in the isotropic Blume-Emery-Griffiths model. Temperature dependence of $R$ is investigated for various values of bilinear to biquadratic ratio ($r$). Its behavior near the continuous/discontinuous phase transition temperatures and a tricritical point is presented. It is found that in addition to the divergence singularity and finite jumps connected with the phase transitions there are field-dependent broad extrema in the Ricci scalar.


title: Efficient embedding network for 3D brain tumor segmentation

abstract: 3D medical image processing with deep learning greatly suffers from a lack of data. Thus, studies carried out in this field are limited compared to works related to 2D natural image analysis, where very large datasets exist. As a result, powerful and efficient 2D convolutional neural networks have been developed and trained. In this paper, we investigate a way to transfer the performance of a two-dimensional classiffication network for the purpose of three-dimensional semantic segmentation of brain tumors. We propose an asymmetric U-Net network by incorporating the EfficientNet model as part of the encoding branch. As the input data is in 3D, the first layers of the encoder are devoted to the reduction of the third dimension in order to fit the input of the EfficientNet network. Experimental results on validation and test data from the BraTS 2020 challenge demonstrate that the proposed method achieve promising performance.


title: The Duistermaat-Heckman formula with application to circle actions and Poincar\'{e} $q$-polynomials in twisted equivariant K-theory

abstract: In this paper we deduce the sketch of proof of the Duistermaat-Heckman formula and investigate how the known Duistermaat-Heckman result could be specialized to the symplectic structure on the orbit space. The theorems of localization in equivariant cohomology not only provide us with beautiful mathematical formulas and stimulate achievements in algorithmic computations, but also promote progress in theoretical and mathematical physics. We present the elliptic genera and the characteristic $q$-series for the circle actions and twisted equivariant K-theory, with the case of the symmetric group of $n$ symbols separately analyzed. We show that the Poincar\'{e} $q$-polynomials admit presentation in terms of the Patterson-Selberg (or the Ruelle-type) spectral functions.


title: Consecutive Quadratic Residues And Quadratic Nonresidue Modulo $p$

abstract: Let $p$ be a large prime, and let $k\ll \log p$. A new proof of the existence of any pattern of $k$ consecutive quadratic residues and quadratic nonresidues is introduced in this note. Further, an application to the least quadratic nonresidues $n_p$ modulo $p$ shows that $n_p\ll (\log p)(\log \log p)$.


title: Determining complex spin mixing conductance and spin diffusion length from spin pumping experiments in magnetic insulator/heavy metal bilayers

abstract: Magnetic insulators are promising materials for the development of energy-efficient spintronics. Unlike metallic counterparts, the magnetic insulators are characterized by imaginary part of the interfacial spin mixing conductance as well in a bilayer with heavy metals and it is responsible for the field-like toque in spin-orbit torque devices. Here, we study the underlying theoretical constructs and develop a general strategy to determine the complex spin mixing conductance from the experimental results of ferromagnetic resonance and spin pumping. The results show that the imaginary part of the spin mixing conductance can be one order more than the real part and it matches the critical trend of spin mixing conductance with thickness of the heavy metal. The interpretation of experimental results also indicates that at small thicknesses the interface contribution becomes significant and bulk diffusion model cannot explain the results. A thickness-dependent spin diffusion length is necessary too that is tantamount to Elliott-Yafet spin relaxation mechanism in the heavy metals. Also, we effectively explain the experimental results while inserting a copper layer with varying thicknesses in between the magnetic insulator and the heavy metal using spin-circuit formalism.


title: Polynomization of the Chern--Fu--Tang conjecture

abstract: Bessenrodt and Ono's work on additive and multiplicative properties of the partition function and DeSalvo and Pak's paper on the log-concavity of the partition function have generated many beautiful theorems and conjectures. In January 2020, the first author gave a lecture at the MPIM in Bonn on a conjecture of Chern--Fu--Tang, and presented an extension (joint work with Neuhauser) involving polynomials. Partial results have been announced. Bringmann, Kane, Rolen and Tripp provided complete proof of the Chern--Fu--Tang conjecture, following advice from Ono to utilize a recently provided exact formula for the fractional partition functions. They also proved a large proportion of Heim--Neuhauser's conjecture, which is the polynomization of Chern--Fu--Tang's conjecture. We prove several cases, not covered by Bringmann et.\ al. Finally, we lay out a general approach for proving the conjecture.


title: Robust Gaussian Process Regression Based on Iterative Trimming

abstract: The Gaussian process (GP) regression can be severely biased when the data are contaminated by outliers. This paper presents a new robust GP regression algorithm that iteratively trims the most extreme data points. While the new algorithm retains the attractive properties of the standard GP as a nonparametric and flexible regression method, it can greatly improve the model accuracy for contaminated data even in the presence of extreme or abundant outliers. It is also easier to implement compared with previous robust GP variants that rely on approximate inference. Applied to a wide range of experiments with different contamination levels, the proposed method significantly outperforms the standard GP and the popular robust GP variant with the Student-t likelihood in most test cases. In addition, as a practical example in the astrophysical study, we show that this method can precisely determine the main-sequence ridge line in the color-magnitude diagram of star clusters.


title: Investigating Emotion-Color Association in Deep Neural Networks

abstract: It has been found that representations learned by Deep Neural Networks (DNNs) correlate very well to neural responses measured in primates' brains and psychological representations exhibited by human similarity judgment. On another hand, past studies have shown that particular colors can be associated with specific emotion arousal in humans. Do deep neural networks also learn this behavior? In this study, we investigate if DNNs can learn implicit associations in stimuli, particularly, an emotion-color association between image stimuli. Our study was conducted in two parts. First, we collected human responses on a forced-choice decision task in which subjects were asked to select a color for a specified emotion-inducing image. Next, we modeled this decision task on neural networks using the similarity between deep representation (extracted using DNNs trained on object classification tasks) of the images and images of colors used in the task. We found that our model showed a fuzzy linear relationship between the two decision probabilities. This results in two interesting findings, 1. The representations learned by deep neural networks can indeed show an emotion-color association 2. The emotion-color association is not just random but involves some cognitive phenomena. Finally, we also show that this method can help us in the emotion classification task, specifically when there are very few examples to train the model. This analysis can be relevant to psychologists studying emotion-color associations and artificial intelligence researchers modeling emotional intelligence in machines or studying representations learned by deep neural networks.


title: Non-Equilibrium Dynamics of a Dissipative Two-Site Hubbard Model Simulated on IBM Quantum Computers

abstract: Many-body physics is one very well suited field for testing quantum algorithms and for finding working heuristics on present quantum computers. We have investigated the non-equilibrium dynamics of one- and two-electron systems, which are coupled to an environment that introduces decoherence and dissipation. In our approach, the electronic system is represented in the framework of a two-site Hubbard model while the environment is modelled by a spin bath. To simulate the non-equilibrium population probabilities of the different states on a quantum computer we have encoded the electronic states and environmental degrees of freedom into qubits and ancilla qubits (bath), respectively. The total evolution time was divided into short time intervals, during which the system evolves. After each of these time steps, the system interacts with ancilla qubits representing the bath in thermal equilibrium. We have specifically studied spin baths leading to both, unital and non-unital dynamics of the electronic system and have found that electron correlations clearly enhance the electron transfer rates in the latter case. For short time periods, the simulation on the quantum computer is found to be in very good agreement with the exact results if error mitigation methods are applied. Our method to simulate also non-unitary time-evolution on a quantum computer can be well extended to simulate electronic systems in correlated spin baths as well as in bosonic and fermionic baths.


title: Registration of serial sections: An evaluation method based on distortions of the ground truths

abstract: Registration of histological serial sections is a challenging task. Serial sections exhibit distortions and damage from sectioning. Missing information on how the tissue looked before cutting makes a realistic validation of 2D registrations extremely difficult. This work proposes methods for ground-truth-based evaluation of registrations. Firstly, we present a methodology to generate test data for registrations. We distort an innately registered image stack in the manner similar to the cutting distortion of serial sections. Test cases are generated from existing 3D data sets, thus the ground truth is known. Secondly, our test case generation premises evaluation of the registrations with known ground truths. Our methodology for such an evaluation technique distinguishes this work from other approaches. Both under- and over-registration become evident in our evaluations. We also survey existing validation efforts. We present a full-series evaluation across six different registration methods applied to our distorted 3D data sets of animal lungs. Our distorted and ground truth data sets are made publicly available.


title: Confirmation of $g_{\rm A}$ quenching using the revised spectrum-shape method for the analysis of the $^{113}$Cd $\beta$-decay as measured with the COBRA demonstrator

abstract: In this article we present an updated spectrum-shape analysis of the $^{113}$Cd fourfold forbidden non-unique $\beta$-decay transition in order to address the quenching of the weak axial-vector coupling $g_{\rm A}$ in low-momentum exchange nuclear processes. The experimental data were collected in a dedicated low-threshold run with the COBRA demonstrator at the LNGS and resulted in 44 individual $^{113}$Cd spectra. These data are evaluated in the context of three nuclear model frameworks based on a revised version of the spectrum-shape method and the conserved vector current hypothesis. The novel idea devised in the present work is to fit the value of the small relativistic nuclear matrix element (s-NME) driving the nuclear model calculations, which remained essentially as a free parameter in previous studies. This is done by tuning the nuclear structure calculations and making use of the interplay of $g_{\rm A}$ and the s-NME such that the experimentally known $^{113}$Cd half-life gets reproducible by the different frameworks. In this way, a best fit s-NME value can be derived for each of the considered nuclear models, which finally enters the template calculations used to perform the spectrum-shape analysis for each of the obtained $^{113}$Cd spectra. The primary analysis strategy results in significantly quenched values of the axial-vector coupling for all three nuclear models: $\overline{g}_{\rm A}(\text{ISM}) = 0.907 \pm 0.064$, $\overline{g}_{\rm A}(\text{MQPM}) = 0.993 \pm 0.063$ and $\overline{g}_{\rm A}(\text{IBFM-2}) = 0.828 \pm 0.140$. Moreover, with our data-driven approach one of the main shortcomings of the spectrum-shape method has been resolved. This achievement is a milestone in the description of strongly forbidden $\beta$-decays and adds to the indications for the existence of a quenching of $g_{\rm A}$ in low-momentum exchange nuclear processes.


title: A Population-based Hybrid Approach to Hyperparameter Optimization for Neural Networks

abstract: In recent years, large amounts of data have been generated, and computer power has kept growing. This scenario has led to a resurgence in the interest in artificial neural networks. One of the main challenges in training effective neural network models is finding the right combination of hyperparameters to be used. Indeed, the choice of an adequate approach to search the hyperparameter space directly influences the accuracy of the resulting neural network model. Common approaches for hyperparameter optimization are Grid Search, Random Search, and Bayesian Optimization. There are also population-based methods such as CMA-ES. In this paper, we present HBRKGA, a new population-based approach for hyperparameter optimization. HBRKGA is a hybrid approach that combines the Biased Random Key Genetic Algorithm with a Random Walk technique to search the hyperparameter space efficiently. Several computational experiments on eight different datasets were performed to assess the effectiveness of the proposed approach. Results showed that HBRKGA could find hyperparameter configurations that outperformed (in terms of predictive quality) the baseline methods in six out of eight datasets while showing a reasonable execution time.


title: Learning a Deep Generative Model like a Program: the Free Category Prior

abstract: Humans surpass the cognitive abilities of most other animals in our ability to "chunk" concepts into words, and then combine the words to combine the concepts. In this process, we make "infinite use of finite means", enabling us to learn new concepts quickly and nest concepts within each-other. While program induction and synthesis remain at the heart of foundational theories of artificial intelligence, only recently has the community moved forward in attempting to use program learning as a benchmark task itself. The cognitive science community has thus often assumed that if the brain has simulation and reasoning capabilities equivalent to a universal computer, then it must employ a serialized, symbolic representation. Here we confront that assumption, and provide a counterexample in which compositionality is expressed via network structure: the free category prior over programs. We show how our formalism allows neural networks to serve as primitives in probabilistic programs. We learn both program structure and model parameters end-to-end.


title: Extremal numbers of cycles revisited

abstract: We give a simple geometric interpretation of an algebraic construction of Wenger that yields $n$-vertex graphs with no cycle of length $4$, $6$ or $10$ and close to the maximum number of edges.


title: A Modified Primal-Dual Weak Galerkin Finite Element Method for Second Order Elliptic Equations in Non-Divergence Form

abstract: A modified primal-dual weak Galerkin (M-PDWG) finite element method is designed for the second order elliptic equation in non-divergence form. Compared with the existing PDWG methods proposed in \cite{wwnondiv}, the system of equations resulting from the M-PDWG scheme could be equivalently simplified into one equation involving only the primal variable by eliminating the dual variable (Lagrange multiplier). The resulting simplified system thus has significantly fewer degrees of freedom than the one resulting from existing PDWG scheme. In addition, the condition number of the simplified system could be greatly reduced when a newly introduced bilinear term in the M-PDWG scheme is appropriately chosen. Optimal order error estimates are derived for the numerical approximations in the discrete $H^2$-norm, $H^1$-norm and $L^2$-norm respectively. Extensive numerical results are demonstrated for both the smooth and non-smooth coefficients on convex and non-convex domains to verify the accuracy of the theory developed in this paper.


title: Matrix-wise $\ell_0$-constrained Sparse Nonnegative Least Squares

abstract: Nonnegative least squares problems with multiple right-hand sides (MNNLS) arise in models that rely on additive linear combinations. In particular, they are at the core of most nonnegative matrix factorization algorithms and have many applications. The nonnegativity constraint is known to naturally favor sparsity, that is, solutions with few non-zero entries. However, it is often useful to further enhance this sparsity, as it improves the interpretability of the results and helps reducing noise, which leads to the sparse MNNLS problem. In this paper, as opposed to most previous works that enforce sparsity column- or row-wise, we first introduce a novel formulation for sparse MNNLS, with a matrix-wise sparsity constraint. Then, we present a two-step algorithm to tackle this problem. The first step divides sparse MNNLS in subproblems, one per column of the original problem. It then uses different algorithms to produce, either exactly or approximately, a Pareto front for each subproblem, that is, to produce a set of solutions representing different tradeoffs between reconstruction error and sparsity. The second step selects solutions among these Pareto fronts in order to build a sparsity-constrained matrix that minimizes the reconstruction error. We perform experiments on facial and hyperspectral images, and we show that our proposed two-step approach provides more accurate results than state-of-the-art sparse coding heuristics applied both column-wise and globally.


title: RNNP: A Robust Few-Shot Learning Approach

abstract: Learning from a few examples is an important practical aspect of training classifiers. Various works have examined this aspect quite well. However, all existing approaches assume that the few examples provided are always correctly labeled. This is a strong assumption, especially if one considers the current techniques for labeling using crowd-based labeling services. We address this issue by proposing a novel robust few-shot learning approach. Our method relies on generating robust prototypes from a set of few examples. Specifically, our method refines the class prototypes by producing hybrid features from the support examples of each class. The refined prototypes help to classify the query images better. Our method can replace the evaluation phase of any few-shot learning method that uses a nearest neighbor prototype-based evaluation procedure to make them robust. We evaluate our method on standard mini-ImageNet and tiered-ImageNet datasets. We perform experiments with various label corruption rates in the support examples of the few-shot classes. We obtain significant improvement over widely used few-shot learning methods that suffer significant performance degeneration in the presence of label noise. We finally provide extensive ablation experiments to validate our method.


title: Quasi-two-dimensional heterostructures (K$M_{1-x}$Te)(LaTe$_{3}$) ($M$ = Mn, Zn) with charge density waves

abstract: Layered heterostructure materials with two different functional building blocks can teach us about emergent physical properties and phenomena arising from interactions between the layers. We report the intergrowth compounds KLa$M$$_{1-x}$Te$_{4}$ ($M$ = Mn, Zn; $x\approx$ 0.35) featuring two chemically distinct alternating layers [LaTe$_3$] and [K$M$$_{1-x}$Te]. Their crystal structures are incommensurate, determined by single X-ray diffraction for the Mn compound and transmission electron microscope (TEM) study for the Zn compound. KLaMn$_{1-x}$Te$_{4}$ crystallizes in the orthorhombic superspace group $Pmnm$(01/2${\gamma}$)$s$00 with lattice parameters $a$ = 4.4815(3) {\AA}, $b$ = 21.6649(16) {\AA} and $c$ = 4.5220(3) {\AA}. It exhibits charge density wave (CDW) order at room temperature with a modulation wave vector $\mathbf{q}$ = 1/2$\mathbf{b}$* + 0.3478$\mathbf{c}$* originating from electronic instability of Te-square nets in [LaTe$_{3}$] layers. The Mn analog exhibits a cluster spin glass behavior with spin freezing temperature $T_{\mathrm{f}}$ $\approx$ 5 K attributed to disordered Mn vacancies and competing magnetic interactions in the [Mn$_{1-x}$Te] layers. The Zn analog also has charge density wave order at room temperature with a similar $\mathbf{q}$-vector having the $\mathbf{c}$* component ~ 0.346 confirmed by selected-area electron diffraction (SAED). Electron transfer from [K$M_{1-x}$Te] to [LaTe$_{3}$] layers exists in KLa$M_{1-x}$Te$_{4}$, leading to an enhanced electronic specific heat coefficient. The resistivities of KLa$M_{1-x}$Te$_{4}$ ($M$ = Mn, Zn) exhibit metallic behavior at high temperatures and an upturn at low temperatures, suggesting partial localization of carriers in the [LaTe$_{3}$] layers with some degree of disorder associated with the $M$ atom vacancies in the [$M_{1-x}$Te] layers.


title: An asymptotic Alexander-Hirschowitz theorem for surfaces

abstract: Let X be a smooth projective surface over C and let L be an ample line bundle on X. In this note, we show that, for all sufficiently large d, any number of general double points on X imposes the expected number of conditions on the linear system |L^d|. Equivalently, the space of d-plane sections of X singular at any number of general points has the expected dimension. We conjecture that the same holds for X of arbitrary dimension.


title: Topological Data Analysis of copy number alterations in cancer

abstract: Identifying subgroups and properties of cancer biopsy samples is a crucial step towards obtaining precise diagnoses and being able to perform personalized treatment of cancer patients. Recent data collections provide a comprehensive characterization of cancer cell data, including genetic data on copy number alterations (CNAs). We explore the potential to capture information contained in cancer genomic information using a novel topology-based approach that encodes each cancer sample as a persistence diagram of topological features, i.e., high-dimensional voids represented in the data. We find that this technique has the potential to extract meaningful low-dimensional representations in cancer somatic genetic data and demonstrate the viability of some applications on finding substructures in cancer data as well as comparing similarity of cancer types.


title: QuerYD: A video dataset with high-quality text and audio narrations

abstract: We introduce QuerYD, a new large-scale dataset for retrieval and event localisation in video. A unique feature of our dataset is the availability of two audio tracks for each video: the original audio, and a high-quality spoken description of the visual content. The dataset is based on YouDescribe, a volunteer project that assists visually-impaired people by attaching voiced narrations to existing YouTube videos. This ever-growing collection of videos contains highly detailed, temporally aligned audio and text annotations. The content descriptions are more relevant than dialogue, and more detailed than previous description attempts, which can be observed to contain many superficial or uninformative descriptions. To demonstrate the utility of the QuerYD dataset, we show that it can be used to train and benchmark strong models for retrieval and event localisation. Data, code and models are made publicly available, and we hope that QuerYD inspires further research on video understanding with written and spoken natural language.


title: Series solution of the time-dependent Schr\"{o}dinger-Newton equations in the presence of dark energy via the Adomian Decomposition Method

abstract: The Schr\"{o}dinger-Newton model is a nonlinear system obtained by coupling the linear Schr\"{o}dinger equation of canonical quantum mechanics with the Poisson equation of Newtonian mechanics. In this paper we investigate the effects of dark energy on the time-dependent Schr\"{o}dinger-Newton equations by including a new source term with energy density $\rho_{\Lambda} = \Lambda c^2/(8\pi G)$, where $\Lambda$ is the cosmological constant, in addition to the particle-mass source term $\rho_m = m|\psi|^2$. The resulting Schr\"{o}dinger-Newton-$\Lambda$ (S-N-$\Lambda$) system cannot be solved exactly, in closed form, and one must resort to either numerical or semianalytical (i.e., series) solution methods. We apply the Adomian Decomposition Method, a very powerful method for solving a large class of nonlinear ordinary and partial differential equations, to obtain accurate series solutions of the S-N-$\Lambda$ system, for the first time. The dark energy dominated regime is also investigated in detail. We then compare our results to existing numerical solutions and analytical estimates, and show that they are consistent with previous findings. Finally, we outline the advantages of using the Adomian Decomposition Method, which allows accurate solutions of the S-N-$\Lambda$ system to be obtained quickly, even with minimal computational resources.


title: Diagrammatic Design and Study of Ans\"{a}tze for Quantum Machine Learning

abstract: Given the rising popularity of quantum machine learning (QML), it is important to develop techniques that effectively simplify commonly adopted families of parameterised quantum circuits (commonly known as ans\"{a}tze). This thesis pioneers the use of diagrammatic techniques to reason with QML ans\"{a}tze. We take commonly used QML ans\"{a}tze and convert them to diagrammatic form and give a full description of how these gates commute, making the circuits much easier to analyse and simplify. Furthermore, we leverage a combinatorial description of the interaction between CNOTs and phase gadgets to analyse a periodicity phenomenon in layered ans\"{a}tze and also to simplify a class of circuits commonly used in QML.


title: Standardizing linguistic data: method and tools for annotating (pre-orthographic) French

abstract: With the development of big corpora of various periods, it becomes crucial to standardise linguistic annotation (e.g. lemmas, POS tags, morphological annotation) to increase the interoperability of the data produced, despite diachronic variations. In the present paper, we describe both methodologically (by proposing annotation principles) and technically (by creating the required training data and the relevant models) the production of a linguistic tagger for (early) modern French (16-18th c.), taking as much as possible into account already existing standards for contemporary and, especially, medieval French.


title: Convergence of energy minimizers of a MEMS model in the reinforced limit

abstract: Energy minimizers to a MEMS model with an insulating layer are shown to converge in its reinforced limit to the minimizer of the limiting model as the thickness of the layer tends to zero. The proof relies on the identification of the $\Gamma$-limit of the energy in this limit.


title: Spatial entanglement in interacting Bose-Einstein condensates

abstract: The entanglement between spatial regions in an interacting Bose-Einstein condensate is investigated using a quantum field theoretic formalism. Regions that are small compared to the healing length are governed by a non-relativistic quantum field theory in the vacuum limit, and we show that the latter has vanishing entanglement. In the opposite limit of a region that is large compared to the healing length, the entanglement entropy is like in the vacuum of a relativistic theory where the velocity of light is replaced with the velocity of sound and where the inverse healing length provides a natural ultraviolet regularization scale. Besides the von Neumann entanglement entropy, we also calculate R\'enyi entanglement entropies for a one-dimensional quasi-condensate.


title: Conical SL(3) foams

abstract: In the unoriented SL(3) foam theory, singular vertices are generic singularities of two-dimensional complexes. Singular vertices have neighbourhoods homeomorphic to cones over the one-skeleton of the tetrahedron, viewed as a trivalent graph on the two-sphere. In this paper we consider foams with singular vertices with neighbourhoods homeomorphic to cones over more general planar trivalent graphs. These graphs are subject to suitable conditions on their Kempe equivalence Tait coloring classes and include the dodecahedron graph. In this modification of the original homology theory it is straightforward to show that modules associated to the dodecahedron graph are free of rank 60, which is still an open problem for the original unoriented SL(3) foam theory.


title: End-to-End Differentiable 6DoF Object Pose Estimation with Local and Global Constraints

abstract: Inferring the 6DoF pose of an object from a single RGB image is an important but challenging task, especially under heavy occlusion. While recent approaches improve upon the two stage approaches by training an end-to-end pipeline, they do not leverage local and global constraints. In this paper, we propose pairwise feature extraction to integrate local constraints, and triplet regularization to integrate global constraints for improved 6DoF object pose estimation. Coupled with better augmentation, our approach achieves state of the art results on the challenging Occlusion Linemod dataset, with a 9% improvement over the previous state of the art, and achieves competitive results on the Linemod dataset.


title: Low-frequency and Moir\'e Floquet engineering: a review

abstract: We review recent work on low-frequency Floquet engineering and its application to quantum materials driven by light, emphasizing van der Waals systems hosting Moir\'e superlattices. These non-equilibrium systems combine the twist-angle sensitivity of the band structures with the flexibility of light drives. The frequency, amplitude, and polarization of light can be easily tuned in experimental setups, leading to platforms with on-demand properties. First, we review recent theoretical developments to derive effective Floquet Hamiltonians in different frequency regimes. We apply some of these theories to study twisted graphene and twisted transition metal dichalcogenide systems irradiated by light in free space and inside a waveguide. We study the changes induced in the quasienergies and steady-states, which can lead to topological transitions. Next, we consider van der Waals magnetic materials driven by low-frequency light pulses in resonance with the phonons. We discuss the phonon dynamics induced by the light and resulting magnetic transitions from a Floquet perspective. We finish by outlining new directions for Moir\'e-Floquet engineering in the low-frequency regime and their relevance for technological applications.


title: Ultraviolet suppression and nonlocality in optical model potentials for nucleon-nucleus scattering

abstract: We investigate the role of high momentum components of optical model potentials for nucleon-nucleus scattering and its incidence on their nonlocal structure in coordinate space. The study covers closed-shell nuclei with mass number in the range $4\leq A\leq 208$, for nucleon energies from tens of MeV up to 1 GeV. To this purpose microscopic optical potentials are calculated using density-dependent off-shell $g$ matrices in Brueckner-Hartree-Fock approximation and based on Argonne $v_{18}$ as well as chiral 2$N$ force up to next-to-next-to-next-to-leading order. We confirm that the gradual suppression of high-momentum contributions of the optical potential results in quite different coordinate-space counterparts, all of them accounting for the same scattering observables. We infer a minimum cutoff momentum $Q$, function of the target mass number and energy of the process, that filters out irrelevant ultraviolet components of the potential. We find that when ultraviolet suppression is applied to Perey-Buck nonlocal potential or local Woods-Saxon potentials, they also result nonlocal with similar appearance to those obtained from microscopic models in momentum space. We examine the transversal nonlocality, quantity that makes comparable the intrinsic nonlocality of any potential regardless of its representation. We conclude that meaningful comparisons of nonlocal features of alternative potentials require the suppression of their ultraviolet components.


title: Deep learning model trained on mobile phone-acquired frozen section images effectively detects basal cell carcinoma

abstract: Background: Margin assessment of basal cell carcinoma using the frozen section is a common task of pathology intraoperative consultation. Although frequently straight-forward, the determination of the presence or absence of basal cell carcinoma on the tissue sections can sometimes be challenging. We explore if a deep learning model trained on mobile phone-acquired frozen section images can have adequate performance for future deployment. Materials and Methods: One thousand two hundred and forty-one (1241) images of frozen sections performed for basal cell carcinoma margin status were acquired using mobile phones. The photos were taken at 100x magnification (10x objective). The images were downscaled from a 4032 x 3024 pixel resolution to 576 x 432 pixel resolution. Semantic segmentation algorithm Deeplab V3 with Xception backbone was used for model training. Results: The model uses an image as input and produces a 2-dimensional black and white output of prediction of the same dimension; the areas determined to be basal cell carcinoma were displayed with white color, in a black background. Any output with the number of white pixels exceeding 0.5% of the total number of pixels is deemed positive for basal cell carcinoma. On the test set, the model achieves area under curve of 0.99 for receiver operator curve and 0.97 for precision-recall curve at the pixel level. The accuracy of classification at the slide level is 96%. Conclusions: The deep learning model trained with mobile phone images shows satisfactory performance characteristics, and thus demonstrates the potential for deploying as a mobile phone app to assist in frozen section interpretation in real time.


title: Massively Parallel Causal Inference of Whole Brain Dynamics at Single Neuron Resolution

abstract: Empirical Dynamic Modeling (EDM) is a nonlinear time series causal inference framework. The latest implementation of EDM, cppEDM, has only been used for small datasets due to computational cost. With the growth of data collection capabilities, there is a great need to identify causal relationships in large datasets. We present mpEDM, a parallel distributed implementation of EDM optimized for modern GPU-centric supercomputers. We improve the original algorithm to reduce redundant computation and optimize the implementation to fully utilize hardware resources such as GPUs and SIMD units. As a use case, we run mpEDM on AI Bridging Cloud Infrastructure (ABCI) using datasets of an entire animal brain sampled at single neuron resolution to identify dynamical causation patterns across the brain. mpEDM is 1,530 X faster than cppEDM and a dataset containing 101,729 neuron was analyzed in 199 seconds on 512 nodes. This is the largest EDM causal inference achieved to date.


title: On two-frequency quasi-periodic perturbations of systems close to two-dimensional Hamiltonian ones with a double limit cycle

abstract: The problem of the effect of two-frequency quasi-periodic perturbations on systems close to arbitrary nonlinear two-dimensional Hamiltonian ones is studied in the case when the corresponding perturbed autonomous systems have a double limit cycle. Its solution is important both for the theory of synchronization of nonlinear oscillations and for the theory of bifurcations of dynamical systems. In the case of commensurability of the natural frequency of the unperturbed system with frequencies of quasi-periodic perturbation, resonance occurs. Averaged systems are derived that make it possible to ascertain the structure of the resonance zone, that is, to describe the behavior of solutions in the neighborhood of individual resonance levels. The study of these systems allows determining possible bifurcations arising when the resonance level deviates from the level of the unperturbed system, which generates a double limit cycle in a perturbed autonomous system. The theoretical results obtained are applied in the study of a two-frequency quasi-periodic perturbed pendulum-type equation and are illustrated by numerical computations.


title: Non-Identifiability in Network Autoregressions

abstract: We study identifiability of the parameters in autoregressions defined on a network. Most identification conditions that are available for these models either rely on the network being observed repeatedly, are only sufficient, or require strong distributional assumptions. This paper derives conditions that apply even when the individuals composing the network are observed only once, are necessary and sufficient for identification, and require weak distributional assumptions. We find that the model parameters are generically, in the measure theoretic sense, identified even without repeated observations, and analyze the combinations of the interaction matrix and the regressor matrix causing identification failures. This is done both in the original model and after certain transformations in the sample space, the latter case being relevant, for example, in some fixed effects specifications.


title: Identifying Critical Fleet Sizes Using a Novel Agent-Based Modelling Framework for Autonomous Ride-Sourcing

abstract: Ride-sourcing platforms enable an on-demand shared transport service by solving decision problems often related to customer matching, pricing and vehicle routing. These problems have been frequently represented using aggregated mathematical models and solved via algorithmic approaches designed by researchers. The increasing complexity of ride-sourcing environments compromises the accuracy of aggregated methods. It, therefore, signals the need for alternative practices such as agent-based models which capture the level of complex dynamics in ride-sourcing systems. The use of these agent-based models to simulate ride-sourcing fleets has been a focal point of many studies; however, this occurred in the absence of a prescribed approach on how to build the models to mimic fleet operations realistically. To bridge this research gap, we provide a framework for building bespoke agent-based models for ride-sourcing fleets, derived from the fundamentals of agent-based modelling theory. We also introduce a model building sequence of the different modules necessary to structure a simulator based on our framework. To showcase the strength of our framework, we use it to tackle the highly non-linear problem of minimum fleet size estimation for autonomous ride-sourcing fleets. We do so by investigating the relationship of system parameters based on queuing theory principles and by deriving and validating a novel model for pickup wait times. By modelling the ride-sourcing fleet function in the urban areas of Manhattan, San Francisco, Paris and Barcelona, we find that ride-sourcing fleets operate queues with zero assignment times above the critical fleet size. We also show that pickup wait times have a pivotal role in the estimation of the minimum fleet size in ride-sourcing operations, with agent-based modelling to be a more reliable route for their identification given the system parameters.


title: On Generalized Lemaitre-Tolman-Bondi Metric. Fractal Matter at the end of Matter-Antimatter Recombination

abstract: Many recent researches have investigated the deviations from the Friedmannian cosmological model, as well as their consequences on unexplained cosmological phenomena, such as dark matter and the acceleration of the Universe. On the one hand, a first order perturbative study of matter inhomogeneity returned a partial explanation of dark matter and dark energy, as relativistic effects due to the retarded potentials of far objects. On the other hand, the fractal cosmology, now modeled with a Lemaitre-Tolman-Bondi (LTB) metric, results in distortions of the luminosity distances of SNe Ia, explaining the acceleration as apparent. In this work we extend the LTB metric to ancient times. The origin of the fractal distribution of matter is explained as the matter remnant after the matter-antimatter recombination epoch. We show that the evolution of such a inhomogeneity necessarily requires a dynamical generalization of LTB, and we propose a particular solution.


title: Edge Deletion Algorithms for Minimizing Spread in SIR Epidemic Models

abstract: This paper studies algorithmic strategies to effectively reduce the number of infections in susceptible-infected-recovered (SIR) epidemic models. We consider a Markov chain SIR model and its two instantiations in the deterministic SIR (D-SIR) model and the independent cascade SIR (IC-SIR) model. We investigate the problem of minimizing the number of infections by restricting contacts under realistic constraints. Under moderate assumptions on the reproduction number, we prove that the infection numbers are bounded by supermodular functions in the D-SIR model and the IC-SIR model for large classes of random networks. We propose efficient algorithms with approximation guarantees to minimize infections. The theoretical results are illustrated by numerical simulations.


title: Data Mining Techniques in Predicting Breast Cancer

abstract: Background and Objective: Breast cancer, which accounts for 23% of all cancers, is threatening the communities of developing countries because of poor awareness and treatment. Early diagnosis helps a lot in the treatment of the disease. The present study conducted in order to improve the prediction process and extract the main causes impacted the breast cancer. Materials and Methods: Data were collected based on eight attributes for 130 Libyan women in the clinical stages infected with this disease. Data mining was used by applying six algorithms to predict disease based on clinical stages. All the algorithms gain high accuracy, but the decision tree provides the highest accuracy-diagram of decision tree utilized to build rules from each leafnode. Ranking variables applied to extract significant variables and support final rules to predict disease. Results: All applied algorithms were gained a high prediction with different accuracies. Rules 1, 3, 4, 5 and 9 provided a pure subset to be confirmed as significant rules. Only five input variables contributed to building rules, but not all variables have a significant impact. Conclusion: Tumor size plays a vital role in constructing all rules with a significant impact. Variables of inheritance, breast side and menopausal status have an insignificant impact in analysis, but they may consider remarkable findings using a different strategy of data analysis.


title: Entropy stable modal discontinuous Galerkin schemes and wall boundary conditions for the compressible Navier-Stokes equations

abstract: Entropy stable schemes ensure that physically meaningful numerical solutions also satisfy a semi-discrete entropy inequality under appropriate boundary conditions. In this work, we describe a discretization of viscous terms in the compressible Navier-Stokes equations which enables a simple and explicit imposition of entropy stable no-slip (adiabatic and isothermal) and reflective (symmetry) wall boundary conditions for discontinuous Galerkin (DG) discretizations. Numerical results confirm the robustness and accuracy of the proposed approaches.


title: Cross-Domain Generalization Through Memorization: A Study of Nearest Neighbors in Neural Duplicate Question Detection

abstract: Duplicate question detection (DQD) is important to increase efficiency of community and automatic question answering systems. Unfortunately, gathering supervised data in a domain is time-consuming and expensive, and our ability to leverage annotations across domains is minimal. In this work, we leverage neural representations and study nearest neighbors for cross-domain generalization in DQD. We first encode question pairs of the source and target domain in a rich representation space and then using a k-nearest neighbour retrieval-based method, we aggregate the neighbors' labels and distances to rank pairs. We observe robust performance of this method in different cross-domain scenarios of StackExchange, Spring and Quora datasets, outperforming cross-entropy classification in multiple cases.


title: Turnpike in Lipschitz-nonlinear optimal control

abstract: We present a new proof of the turnpike property for nonlinear optimal control problems, when the running target is a steady control-state pair of the underlying system. Our strategy combines the construction of quasi-turnpike controls via controllability, and a bootstrap argument, and does not rely on analyzing the optimality system or linearization techniques. This in turn allows us to address several optimal control problems for finite-dimensional, control-affine systems with globally Lipschitz (possibly nonsmooth) nonlinearities, without any smallness conditions on the initial data or the running target. These results are motivated by applications in machine learning through deep residual neural networks, which may be fit within our setting. We show that our methodology is applicable to controlled PDEs as well, such as the semilinear wave and heat equation with a globally Lipschitz nonlinearity, once again without any smallness assumptions.


title: On Galilean conformal bootstrap

abstract: In this work, we develop conformal bootstrap for Galilean conformal field theory (GCFT). In a GCFT, the Hilbert space could be decomposed into quasiprimary states and its global descendants. Different from the usual conformal field theory, the quasi-primary states in a GCFT constitute multiplets, which are block-diagonized under the Galilean boost operator. More importantly the multiplets include the states of negative norms, indicating the theory is not unitary. We compute global blocks of the multiplets, and discuss the expansion of four-point functions in terms of the global blocks of the multiplets. Furthermore we do the harmonic analysis for the Galilean conformal symmetry and obtain an inversion formula. As the first step to apply the Galilean conformal bootstrap, we construct generalized Galilean free theory (GGFT) explicitly. We read the data of GGFT by using Taylor series expansion of four-point function and the inversion formula independently, and find exact agreement. We discuss some novel features in the Galilean conformal bootstrap, due to the non-semisimpleness of the Galilean conformal algebra and the non-unitarity of the GCFTs.


title: Z2-Symmetric Thick Brane with Specific Warp Function

abstract: In this work, we investigate a new warped five-dimensional, Z2-symmetric thick brane solution in the presence of a real scalar field. We examine the different geometric aspects of the model. We discuss the stability of the solution under gravitational fluctuations and study both the graviton ground state and the continuum of Kaluza-Klein modes to find a correction to Newtons law. Then, we study the quantum version of the model by deriving the Wheeler-DeWitt equation and looking for the corresponding solution. Finally, the cosmology of the brane is studied.


title: Dense open-set recognition with synthetic outliers generated by Real NVP

abstract: Today's deep models are often unable to detect inputs which do not belong to the training distribution. This gives rise to confident incorrect predictions which could lead to devastating consequences in many important application fields such as healthcare and autonomous driving. Interestingly, both discriminative and generative models appear to be equally affected. Consequently, this vulnerability represents an important research challenge. We consider an outlier detection approach based on discriminative training with jointly learned synthetic outliers. We obtain the synthetic outliers by sampling an RNVP model which is jointly trained to generate datapoints at the border of the training distribution. We show that this approach can be adapted for simultaneous semantic segmentation and dense outlier detection. We present image classification experiments on CIFAR-10, as well as semantic segmentation experiments on three existing datasets (StreetHazards, WD-Pascal, Fishyscapes Lost & Found), and one contributed dataset. Our models perform competitively with respect to the state of the art despite producing predictions with only one forward pass.


title: How will AI and automation transform society and cities?

abstract: Against the backdrop of rising anxiety and discussions on the impact of AI on society, I explore in this article the structural possibilities of AI and automation triggering a new social conflict between the current capitalist elites and the emerging "creative class" (R&D scientists, engineers, business developers, etc.), and how this conflict can produce social tensions and transform urban space. By drawing insights from a structurally similar conflict in 17-18th century Europe between the aristocracy and the emerging bourgeoisie, the impact of this conflict on the social, spatial, and power landscapes in cities of that time, as well as current trends in urban geography, this article outlines the prospects of urban transformations under changing production and consumption economies.


title: A non-autonomous equation discovery method for time signal classification

abstract: Certain neural network architectures, in the infinite-layer limit, lead to systems of nonlinear differential equations. Motivated by this idea, we develop a framework for analyzing time signals based on non-autonomous dynamical equations. We view the time signal as a forcing function for a dynamical system that governs a time-evolving hidden variable. As in equation discovery, the dynamical system is represented using a dictionary of functions and the coefficients are learned from data. This framework is applied to the time signal classification problem. We show how gradients can be efficiently computed using the adjoint method, and we apply methods from dynamical systems to establish stability of the classifier. Through a variety of experiments, on both synthetic and real datasets, we show that the proposed method uses orders of magnitude fewer parameters than competing methods, while achieving comparable accuracy. We created the synthetic datasets using dynamical systems of increasing complexity; though the ground truth vector fields are often polynomials, we find consistently that a Fourier dictionary yields the best results. We also demonstrate how the proposed method yields graphical interpretability in the form of phase portraits.


title: TaiJi: Longest Chain Availability with BFT Fast Confirmation

abstract: Most state machine replication protocols are either based on the 40-years-old Byzantine Fault Tolerance (BFT) theory or the more recent Nakamoto's longest chain design. Longest chain protocols, designed originally in the Proof-of-Work (PoW) setting, are available under dynamic participation, but has probabilistic confirmation with long latency dependent on the security parameter. BFT protocols, designed for the permissioned setting, has fast deterministic confirmation, but assume a fixed number of nodes always online. We present a new construction which combines a longest chain protocol and a BFT protocol to get the best of both worlds. Using this construction, we design TaiJi, the first dynamically available PoW protocol which has almost deterministic confirmation with latency independent of the security parameter. In contrast to previous hybrid approaches which use a single longest chain to sample participants to run a BFT protocol, our native PoW construction uses many independent longest chains to sample propose actions and vote actions for the BFT protocol. This design enables TaiJi to inherit the full dynamic availability of Bitcoin, as well as its full unpredictability, making it secure against fully-adaptive adversaries with up to 50% of online hash power.


title: A Game Theoretic Analysis for Cooperative Smart Farming

abstract: The application of Internet of Things (IoT) and Machine Learning (ML) to the agricultural industry has enabled the development and creation of smart farms and precision agriculture. The growth in the number of smart farms and potential cooperation between these farms has given rise to the Cooperative Smart Farming (CSF) where different connected farms collaborate with each other and share data for their mutual benefit. This data sharing through CSF has various advantages where individual data from separate farms can be aggregated by ML models and be used to produce actionable outputs which then can be utilized by all the farms in CSFs. This enables farms to gain better insights for enhancing desired outputs, such as crop yield, managing water resources and irrigation schedules, as well as better seed applications. However, complications may arise in CSF when some of the farms do not transfer high-quality data and rather rely on other farms to feed ML models. Another possibility is the presence of rogue farms in CSFs that want to snoop on other farms without actually contributing any data. In this paper, we analyze the behavior of farms participating in CSFs using game theory approach, where each farm is motivated to maximize its profit. We first present the problem of defective farms in CSFs due to lack of better data, and then propose a ML framework that segregates farms and automatically assign them to an appropriate CSF cluster based on the quality of data they provide. Our proposed model rewards the farms supplying better data and penalize the ones that do not provide required data or are malicious in nature, thus, ensuring the model integrity and better performance all over while solving the defective farms problem.


title: Paradox resolved: The allometric scaling of cancer risk across species

abstract: Understanding the cross-species behavior of cancer is important for uncovering fundamental mechanisms of carcinogenesis, and for translating results of model systems between species. One of the most famous interspecific considerations of cancer is Peto's paradox, which asserts that organisms with vastly different body mass are expected to have a vastly different degree of cancer risk, a pattern that is not observed empirically. Here we show that this observation is not a paradox at all but follows naturally from the interspecific scaling of metabolic rates across mammalian body size. We connect metabolic allometry to evolutionary models of cancer development in tissues to show that waiting time to cancer scales with body mass in a similar way as normal organism lifespan does. Thus, the expectation across mammals is that lifetime cancer risk is invariant with body mass. Peto's observation is therefore not a paradox, but the natural expectation from interspecific scaling of metabolism and physiology. These allometric patterns have theoretical implications for understanding life span evolution, and practical implications for using smaller animals as model systems for human cancer.


title: Coulomb Correlation and Information Entropies in Confined Helium-Like Atoms

abstract: The present work studies aspects of the electronic correlation in confined H$^{-}$, He and Li$^+$ atoms in their ground states using the informational entropies. In this way, different variational wavefunctions are employed in order of better take account of Coulomb correlation. The obtained values for the $S_r$, $S_p$ and $S_t$ entropies are sensitive in relation to Coulomb correlation effects. In the strong confinement regime, the effects of the Coulomb correlation are negligible and the employment of the models of independent particle and two non-interacting electrons confined by a impenetrable spherical cage gains importance in this regime. Lastly, energy values are obtained in good agreement with the results available in the literature.