title: Color Channel Perturbation Attacks for Fooling Convolutional Neural Networks and A Defense Against Such Attacks

abstract: The Convolutional Neural Networks (CNNs) have emerged as a very powerful data dependent hierarchical feature extraction method. It is widely used in several computer vision problems. The CNNs learn the important visual features from training samples automatically. It is observed that the network overfits the training samples very easily. Several regularization methods have been proposed to avoid the overfitting. In spite of this, the network is sensitive to the color distribution within the images which is ignored by the existing approaches. In this paper, we discover the color robustness problem of CNN by proposing a Color Channel Perturbation (CCP) attack to fool the CNNs. In CCP attack new images are generated with new channels created by combining the original channels with the stochastic weights. Experiments were carried out over widely used CIFAR10, Caltech256 and TinyImageNet datasets in the image classification framework. The VGG, ResNet and DenseNet models are used to test the impact of the proposed attack. It is observed that the performance of the CNNs degrades drastically under the proposed CCP attack. Result show the effect of the proposed simple CCP attack over the robustness of the CNN trained model. The results are also compared with existing CNN fooling approaches to evaluate the accuracy drop. We also propose a primary defense mechanism to this problem by augmenting the training dataset with the proposed CCP attack. The state-of-the-art performance using the proposed solution in terms of the CNN robustness under CCP attack is observed in the experiments. The code is made publicly available at \url{https://github.com/jayendrakantipudi/Color-Channel-Perturbation-Attack}.


title: Jets as a probe of the quark-gluon plasma

abstract: The suppression and modification of high-energy objects, like jets, in heavy-ion collisions provide an important window to access the degrees of freedom of the quark-gluon plasma on different length scales. Despite increasingly precise and differential measurements of the properties of jets in heavy-ion collisions, however, it has remained challenging to use jets to make unambiguous and model-independent statements about the quark-gluon plasma. Here I will give a personal take on some origins of these challenges, including the difficulty of modelling and biases from jet selection that obfuscate the direct interpretation of jet modification measurements. I will discuss a few model studies that have helped to disentangle the source of non-intuitive effects in measurements, and finally highlight data-driven approaches as an interesting opportunity toward studying the quark-gluon plasma in a model-independent way using jets.


title: An efficient method for approximating resonance curves of weakly-damped nonlinear mechanical systems

abstract: A method is presented for tracing the locus of a specific peak in the frequency response under variation of a parameter. It is applicable to periodic, steady-state vibrations of harmonically forced nonlinear mechanical systems. It operates in the frequency domain and its central idea is to assume a constant phase lag between forcing and response. The method is validated for a two-degree-of-freedom oscillator with cubic spring and a bladed disk with shroud contact. The method provides superior computational efficiency, but is limited to weakly-damped systems. Finally, the capability to reveal isolated solution branches is highlighted.


title: Enhancing Handwritten Text Recognition with N-gram sequence decomposition and Multitask Learning

abstract: Current state-of-the-art approaches in the field of Handwritten Text Recognition are predominately single task with unigram, character level target units. In our work, we utilize a Multi-task Learning scheme, training the model to perform decompositions of the target sequence with target units of different granularity, from fine to coarse. We consider this method as a way to utilize n-gram information, implicitly, in the training process, while the final recognition is performed using only the unigram output. % in order to highlight the difference of the internal Unigram decoding of such a multi-task approach highlights the capability of the learned internal representations, imposed by the different n-grams at the training step. We select n-grams as our target units and we experiment from unigrams to fourgrams, namely subword level granularities. These multiple decompositions are learned from the network with task-specific CTC losses. Concerning network architectures, we propose two alternatives, namely the Hierarchical and the Block Multi-task. Overall, our proposed model, even though evaluated only on the unigram task, outperforms its counterpart single-task by absolute 2.52\% WER and 1.02\% CER, in the greedy decoding, without any computational overhead during inference, hinting towards successfully imposing an implicit language model.


title: Stellar wind structures in the eclipsing binary system IGR J18027-2016

abstract: IGR J18027-2016 is an obscured high-mass X-ray binary formed by a neutron star accreting from the wind of a supergiant companion with a $\sim$4.57 day orbital period. The source shows an asymmetric eclipse profile that remained stable across several years. We aim at investigating the geometrical and physical properties of stellar wind structures formed by the interaction between the compact object and the supergiant star. In this work we analyse the temporal and spectral evolution of this source along its orbit using six archival XMM-Newton observations and the accumulated Swift/BAT hard X-ray light curve. XMM-Newton light curves show that the source hardens during the ingress and egress of the eclipse, in accordance with the asymmetric profile seen in Swift/BAT data. A reduced pulse modulation is observed on the ingress to the eclipse. We model XMM-Newton spectra by means of a thermally-comptonized continuum (nthcomp) adding two gaussian emission lines corresponding to Fe K$\alpha$ and Fe K$\beta$. We included two absorption components to account for the interstellar and intrinsic media. We found that the local absorption column outside the eclipse fluctuates uniformly around $\sim$ 6$\times$10$^{22}$~cm$^{-2}$, whereas, when the source enters and leaves the eclipse, the column increases by a factor of $\gtrsim$3, reaching values up to $\sim$35 and $\sim$15$\times 10^{22}$~cm$^{-2}$, respectively. Combining the physical properties derived from the spectral analysis, we propose a scenario where a photo-ionisation wake (mainly) and an accretion wake (secondarily) are responsible for the orbital evolution of the absorption column, the continuum emission and the variability seen at the Fe-line complex.


title: Corrections to {\it Uniformity of rational points} and further comments

abstract: This paper corrects an error in the authors' earlier work, by proving stronger forms of the basic lemmas


title: Statistical instability and non-statistical dynamics

abstract: \textit{Non-statistical dynamics} are those for which a set of points with positive measure (w.r.t. a reference probability measure which is in most examples the Lebesgue on a manifold) do not have a convergent sequence of empirical measures. In this paper, we show that behind the existence of non-statistical dynamics, there is some other dynamical property: \textit{statistical instability}. To this aim, we present a general formalization of the notions of statistical stability and instability and introduce sufficient conditions on a subset of dynamical systems to contain non-statistical maps in terms of statistical instability. We follow this idea and introduce a new class of non-statistical maps in the space of Anasov-Katok diffeomorphisms of the annulus.


title: Quantum walks in polycyclic aromatic hydrocarbons

abstract: Aromaticity is a well-known phenomenon in both physics and chemistry, and is responsible for many unique chemical and physical properties of aromatic molecules. The primary feature contributing to the stability of polycyclic aromatic hydrocarbons is the delocalised $\pi$-electron clouds in the $2p_z$ orbitals of each of the $N$ carbon atoms. While it is known that electrons delocalize among the hybridized $sp^2$ orbitals, this paper proposes quantum walk as the mechanism by which the delocalization occurs, and also obtains how the functional chemical structures of these molecules arise naturally out of such a construction. We present results of computations performed for some benzoid polycyclic aromatic hydrocarbons in this regard, and show that the quantum walk-based approach does correctly predict the reactive sites and stability order of the molecules considered.


title: Disentangled Planning and Control in Vision Based Robotics via Reward Machines

abstract: In this work we augment a Deep Q-Learning agent with a Reward Machine (DQRM) to increase speed of learning vision-based policies for robot tasks, and overcome some of the limitations of DQN that prevent it from converging to good-quality policies. A reward machine (RM) is a finite state machine that decomposes a task into a discrete planning graph and equips the agent with a reward function to guide it toward task completion. The reward machine can be used for both reward shaping, and informing the policy what abstract state it is currently at. An abstract state is a high level simplification of the current state, defined in terms of task relevant features. These two supervisory signals of reward shaping and knowledge of current abstract state coming from the reward machine complement each other and can both be used to improve policy performance as demonstrated on several vision based robotic pick and place tasks. Particularly for vision based robotics applications, it is often easier to build a reward machine than to try and get a policy to learn the task without this structure.


title: Classification of Pathological and Normal Gait: A Survey

abstract: Gait recognition is a term commonly referred to as an identification problem within the Computer Science field. There are a variety of methods and models capable of identifying an individual based on their pattern of ambulatory locomotion. By surveying the current literature on gait recognition, this paper seeks to identify appropriate metrics, devices, and algorithms for collecting and analyzing data regarding patterns and modes of ambulatory movement across individuals. Furthermore, this survey seeks to motivate interest in a broader scope of longitudinal analysis regarding the perturbations in gait across states (i.e. physiological, emotive, and/or cognitive states). More broadly, inferences to normal versus pathological gait patterns can be attributed, based on both longitudinal and non-longitudinal forms of classification. This may indicate promising research directions and experimental designs, such as creating algorithmic metrics for the quantification of fatigue, or models for forecasting episodic disorders. Furthermore, in conjunction with other measurements of physiological and environmental conditions, pathological gait classification might be applicable to inference for syndromic surveillance of infectious disease states or cognitive impairment.


title: Reliability optimization of friction-damped systems using nonlinear modes

abstract: A novel probabilistic approach for the design of mechanical structures with friction interfaces is proposed. The objective function is defined as the probability that a specified performance measure of the forced vibration response is achieved subject to parameter uncertainties. The practicability of the approach regarding the extensive amount of required design evaluations is strictly related to the computational efficiency of the nonlinear dynamic analysis. Therefore, it is proposed to employ a recently developed parametric reduced order model (ROM) based on nonlinear modes of vibration, which can facilitate a decrease of the computational burden by several orders of magnitude. The approach was applied to a rotationally periodic assembly of a bladed disk with underplatform friction dampers. The robustness of the optimum damper design was significantly improved compared to the deterministic approach, taking into account uncertainties in the friction coefficient, the excitation level and the linear damping. Moreover, a scale invariance for piecewise linear contact constraints is proven, which can be very useful for the reduction of the numerical effort for the analysis of such systems.


title: Sparse moments of univariate step functions and allele frequency spectra

abstract: We study the univariate moment problem of piecewise-constant density functions on the interval $[0,1]$ and its consequences for an inference problem in population genetics. We show that, up to closure, any collection of $n$ moments is achieved by a step function with at most $n-1$ breakpoints and that this bound is tight. We use this to show that any point in the $n$th coalescence manifold in population genetics can be attained by a piecewise constant population history with at most $n-2$ changes. Both the moment cones and the coalescence manifold are projected spectrahedra and we describe the problem of finding a nearest point on them as a semidefinite program.

categories: math.PR math.AG math.FA math.OC q-bio.PE


title: Fields interpretable in the free group

abstract: We prove that no infinite field is interpretable in the first-order theory of nonabelian free groups.


title: On the computation of the slow dynamics of nonlinear modes of mechanical systems

abstract: A novel method for the numerical prediction of the slowly varying dynamics of nonlinear mechanical systems has been developed. The method is restricted to the regime of an isolated nonlinear mode and consists of a two-step procedure: In the first step, a multiharmonic analysis of the autonomous system is performed to directly compute the amplitude-dependent characteristics of the considered nonlinear mode. In the second step, these modal properties are used to construct a two-dimensional reduced order model (ROM) that facilitates the efficient computation of steady-state and unsteady dynamics provided that nonlinear modal interactions are absent. The proposed methodology is applied to several nonlinear mechanical systems ranging form single degree-of-freedom to Finite Element models. Unsteady vibration phenomena such as approaching behavior towards an equilibrium point or limit cycles, and resonance passages are studied regarding the effect of various nonlinearities such as cubic springs, unilateral contact and friction. It is found that the proposed ROM facilitates very fast and accurate analysis of the slow dynamics of nonlinear systems. Moreover, the ROM concept offers a huge parameter space including additional linear damping, stiffness and near-resonant forcing.


title: Application of laser-induced breakdown spectroscopy and neural networks on archaeological human bones for the discrimination of distinct individuals

abstract: The use of elemental analysis based on Laser-Induced Breakdown Spectroscopy (LIBS) combined with Neural Networks (NN) is being evaluated as a method for assigning archaeological bone remains to individuals. The bone samples examined originate from excavations of burials at the Cross Street Unitarian Chapel, Manchester (United Kingdom) that date from the 17th to the 19th century. In this study, we critically assess the influence of soil contaminants, by separating the bone elemental fingerprint into two groups of different components prior to the NN analysis. The first group includes elements related to the bone matrix (Ca and P) as well as elements that are regularly incorporated in the living bone tissues (Mg, Na, Sr, and Ba). The second group includes metals with a low probability of accumulation in living bone tissues whose presence is more likely to be related to diagenesis and the chemical composition of the burial soil (Al, Fe, Mn). The NN analysis of the spectral data, based on the use of an open access software, provided accurate results, indicating that it can be a promising tool for enhancing LIBS applications in osteoarchaeology. The influence of bone diagenesis and soil contaminants is significant. False classifications occurred exclusively in the NN analyses that relied partially on elemental peaks from the second group of elements. Overall, the present study indicates that discrimination between individuals through LIBS and NN analysis of bone material in an archaeological setting is possible, but a targeted approach based on selected elements is required and the influence of bone diagenesis will have to be assessed on a case-by-case basis. The proposed LIBS-NN method has potential as a tool capable for distinguishing distinct individuals in disarticulated or commingled human skeletal assemblages particularly if combined with standard osteometric methods.


title: Entanglement Monotones from Complementarity Relations

abstract: Bohr's complementarity and Schr\"odinger's entanglement are two prominent physical characters of quantum systems. In this letter, we formally connect them. It is known that complementarity relations for wave-particle duality are saturated only for pure, single-quanton, quantum states. For mixed states, the wave-particle quantifiers never saturate a complementarity relation and can even reach zero for a maximally mixed state. To fully characterize a quanton, it is not enough to consider its wave-particle aspect; we have also to regard its quantum correlations with other systems. Here we prove that for any complete complementarity relation involving predictability and visibility measures that satisfy the criteria established in the literature, these corresponding quantum correlations are entanglement monotones.


title: Partial Smash Coproduct of Multiplier Hopf Algebras

abstract: In this work we define partial (co)actions on multiplier Hopf algebras, we also present examples and properties. From a partial comodule coalgebra we construct a partial smash coproduct generalizing the constructions made by the L. Delvaux, E. Batista and J. Vercruysse.


title: Hybrid System for Solar Energy Conversion with Nano-Structured Electrodes

abstract: Solar energy is clean and renewable but has a low flux density. The lack of a continuous and reliable power supply reduces their average daily output. Since the infrared part is not utilized to produce electricity, conventional photovoltaic cells use only about half of the solar spectrum. Direct radiation flux is also necessary for solar Stirling engine to work efficiently. The hybrid system can largely overcome these problems. The design combines the photovoltaic and energy storage-integrated Stirling engine or thermal field emission technologies in the same concentrating solar power system, providing a great potential in terms of energy production per unit area. The photovoltaic cells can be deposited on the concentrating solar power main mirror to allow the system to collect and convert the diffuse component of the light. The design allows utilization of existing equipment, particularly a high-grade parabolic dish or midgrade Fresnel concentrator for rooftop installation. To optimize the use of solar energy, beam splitters thermally decouple the modules by splitting the solar spectrum into three spectral ranges and directing visible, ultraviolet and infrared radiation into the photovoltaic cells, gate/Cs-filled gap and cavity-type solar receiver, respectively. A photon-enhanced gate electrode creates on the cathode surface an electrostatic field large enough to compensate space charge field and initiates thermal field emission process. In the thermal field emission cathodes with nano-structured surfaces, the current density can reach values close to the field emission limit. The design of the electrodes based on nano-structured emission materials were experimentally explored by the co-authors. In these experiments, efficiency of heat-to-electricity conversion was investigated and conditions for advanced nano-materials application for harvesting solar energy were found.


title: Paraconsistent Foundations for Probabilistic Reasoning, Programming and Concept Formation

abstract: It is argued that 4-valued paraconsistent truth values (called here "p-bits") can serve as a conceptual, mathematical and practical foundation for highly AI-relevant forms of probabilistic logic and probabilistic programming and concept formation. First it is shown that appropriate averaging-across-situations and renormalization of 4-valued p-bits operating in accordance with Constructible Duality (CD) logic yields PLN (Probabilistic Logic Networks) strength-and-confidence truth values. Then variations on the Curry-Howard correspondence are used to map these paraconsistent and probabilistic logics into probabilistic types suitable for use within dependent type based programming languages. Zach Weber's paraconsistent analysis of the sorites paradox is extended to form a paraconsistent / probabilistic / fuzzy analysis of concept boundaries; and a paraconsistent version of concept formation via Formal Concept Analysis is presented, building on a definition of fuzzy property-value degrees in terms of relative entropy on paraconsistent probability distributions. These general points are fleshed out via reference to the realization of probabilistic reasoning and programming and concept formation in the OpenCog AGI framework which is centered on collaborative multi-algorithm updating of a common knowledge metagraph.


title: Cross-sections for the ${^{27}\!\rm{Al}}(\gamma,\textit{x})^{24}\rm{Na}$ multiparticle reaction at $E_{\rm{\gamma max}}$ = 40 $\div$ 95 MeV

abstract: The bremsstrahlung flux-averaged cross-sections $\langle{\sigma(E_{\rm{\gamma max}})}\rangle$ and the cross-sections per equivalent photon $\langle{\sigma(E_{\rm{\gamma max}})_{\rm{Q}}}\rangle$ were measured for the photonuclear multiparticle reaction $^{27}\!\rm{Al}(\gamma,\textit{x}; \textit{x} = {^{3}\rm{He}} + pd + 2pn)^{24}\rm{Na}$ at bremsstrahlung end-point energies ranging from 40 MeV to 95 MeV. The experiments were performed using the beam from the NSC KIPT electron linear accelerator LUE-40 with the use of the $\gamma$-activation technique. The bremsstrahlung quantum flux was calculated with the program GEANT4 and, in addition, was monitored by means of the $^{100}\rm{Mo}(\gamma,n)^{99}\rm{Mo}$ reaction. The cross-sections $\sigma(E)$ were computed using the TALYS1.9 code with the default options. The measured average cross-sections $\langle{\sigma(E_{\rm{\gamma max}})}\rangle$ and $\langle{\sigma(E_{\rm{\gamma max}})_{\rm{Q}}}\rangle$ have appeared to be higher by factors of 2.0 to 2.4 than the theoretical results. The experimental results have been found to be in good agreement with the data of other laboratories. Consideration is given to special features of calculation of $\langle{\sigma(E_{\rm{\gamma max}})}\rangle$ and $\langle{\sigma(E_{\rm{\gamma max}})_{\rm{Q}}}\rangle$ for the $^{27}\!\rm{Al}(\gamma,\textit{x})^{24}\rm{Na}$ reaction, with occurrence of three $^{27}\!\rm{Al}$ photodisintegration channels. The paper also discusses the possibility of using the $^{27}\!\rm{Al}(\gamma,\textit{x})^{24}\rm{Na}$ reaction for monitoring the bremsstrahlung $\gamma$-quantum flux in the photon energy region above 30 MeV.


title: Cohen-Macaulay and Gorenstein tangential varieties of the Segre-Veronese Varieties

abstract: We classify the tangential varieties of the Segre-Veronese varieties which are Cohen-Macaulay or Gorenstein.


title: Causal Perception in Question-Answering Systems

abstract: Root cause analysis is a common data analysis task. While question-answering systems enable people to easily articulate a why question (e.g., why students in Massachusetts have high ACT Math scores on average) and obtain an answer, these systems often produce questionable causal claims. To investigate how such claims might mislead users, we conducted two crowdsourced experiments to study the impact of showing different information on user perceptions of a question-answering system. We found that in a system that occasionally provided unreasonable responses, showing a scatterplot increased the plausibility of unreasonable causal claims. Also, simply warning participants that correlation is not causation seemed to lead participants to accept reasonable causal claims more cautiously. We observed a strong tendency among participants to associate correlation with causation. Yet, the warning appeared to reduce the tendency. Grounded in the findings, we propose ways to reduce the illusion of causality when using question-answering systems.


title: The Half-Full Landau Level

abstract: At even-denominator Landau level filling fractions, such as $\nu=1/2$, the ground state, in most cases, has no energy gap, and there is no quantized plateau in the Hall conductance. Nevertheless, the states exhibit non-trivial low-energy phenomena. Open questions concerning the proper description of these systems have attracted renewed attention during the last few years. Issues at $\nu=1/2$ include consequences of particle-hole symmetry, which should be present for a spin-aligned system in the limit where one can neglect mixing between Landau levels. Other issues concern questions of anisotropy and geometry, properties at non-zero temperature, and effects of relatively strong disorder. In cases where one does find a gapped even-denominator quantized Hall state, such as $\nu=5/2$ in GaAs structures, major questions have arisen about the nature of the quantum state, which will be discussed briefly in this chapter. The chapter will also discuss phenomena that can occur in a two-component system near half filling, i.e., when the total filling factor $\nu_{\rm{tot}} $ is close to 1.


title: Weak completions of paratopological groups

abstract: Given a $T_0$ paratopological group $G$ and a class $\mathcal C$ of continuous homomorphisms of paratopological groups, we define the $\mathcal C$-$semicompletion$ $\mathcal C[G)$ and $\mathcal C$-$completion$ $\mathcal C[G]$ of the group $G$ that contain $G$ as a dense subgroup, satisfy the $T_0$-separation axiom and have certain universality properties. For special classes $\mathcal C$, we present some necessary and sufficient conditions on $G$ in order that the (semi)completions $\mathcal C[G)$ and $\mathcal C[G]$ be Hausdorff. Also, we give an example of a Hausdorff paratopological abelian group $G$ whose $\mathcal C$-semicompletion $\mathcal C[G)$ fails to be a $T_1$-space, where $\mathcal C$ is the class of continuous homomorphisms of sequentially compact topological groups to paratopological groups. In particular, the group $G$ contains an $\omega$-bounded sequentially compact subgroup $H$ such that $H$ is a topological group but its closure in $G$ fails to be a subgroup.


title: On free subalgebras of varieties

abstract: We show that some results of L. Makar-Limanov, P. Malcolmson and Z. Reichstein on the existence of free associative algebras are valid in the more general context of varieties of algebras.


title: A Survey on Vulnerabilities of Ethereum Smart Contracts

abstract: Smart contract (SC) is an extension of BlockChain technology. Ethereum BlockChain was the first to incorporate SC and thus started a new era of crypto-currencies and electronic transactions. Solidity helps to program the SCs. Still, soon after Solidity's emergence in 2014, Solidity-based SCs suffered many attacks that deprived the SC account holders of their precious funds. The main reason for these attacks was the presence of vulnerabilities in SC. This paper discusses SC vulnerabilities and classifies them according to the domain knowledge of the faulty operations. This classification is a source of reminding developers and software engineers that for SC's safety, each SC requires proper testing with effective tools to catch those classes' vulnerabilities.


title: Multivariate Smoothing via the Fourier Integral Theorem and Fourier Kernel

abstract: Starting with the Fourier integral theorem, we present natural Monte Carlo estimators of multivariate functions including densities, mixing densities, transition densities, regression functions, and the search for modes of multivariate density functions (modal regression). Rates of convergence are established and, in many cases, provide superior rates to current standard estimators such as those based on kernels, including kernel density estimators and kernel regression functions. Numerical illustrations are presented.


title: On direct product, semidirect product of groupoids and partial actions

abstract: We present some constructions of groupoids as: direct product, semidirect product, and we give necessary and sufficient conditions for a groupoid to be embedded into a direct product of groupoids. Also, we establish necessary and sufficient conditions to determine when a semidirect product is direct. Moreover, we establish an equivalence between the category of strict partial groupoid actions and the category of star injective functors. Finally, we give a relation of categorical type between the actions groupoids (G, X) and (G, Y), being Y a universal globalization of X.


title: MAORY AO performances

abstract: The Multi-conjugate Adaptive Optics RelaY (MAORY) should provide 30% SR in K band (50% goal) on half of the sky at the South Galactic Pole. Assessing its performance and the sensitivity to parameter variations during the design phase is a fundamental step for the engineering of such a complex system. This step, centered on numerical simulations, is the connection between the performance requirements and the Adaptive Optics system configuration. In this work we present MAORY configuration and performance and we justify theAdaptive Optics system design choices.


title: Linked partition ideals and Euclidean billiard partitions

abstract: Euclidean billiard partitions were recently introduced by Andrews, Dragovic and Radnovic in their study of periodic trajectories of ellipsoidal billiards in the Euclidean space. They are integer partitions into distinct parts such that (E1) adjacent parts are never both odd; (E2) the smallest part is even. By refining the framework of linked partition ideals, we establish a couple of relevant trivariate generating function identities, from which the result of Andrews, Dragovic and Radnovic follows as an immediate consequence.


title: A Reference Architecture for the American Multi-Modal Energy System

abstract: The American Multimodal Energy System (AMES) is a system-of-systems comprised of four separate but interdependent infrastructure systems: the electric grid, the natural gas system, the oil system, and the coal system. Their interdependence creates the need to better understand the underlying architecture in order to pursue a more sustainable, resilient and accessible energy system. Collectively, these requirements necessitate a sustainable energy transition that constitute a change in the AMES instantiated architecture; although it leaves its reference architecture largely unchanged. Consequently, from a model-based systems engineering perspective, identifying the underlying reference architecture becomes a high priority. This paper defines a reference architecture for the AMES and its four component energy infrastructures in a single SysML model. The architecture includes (allocated) block definition and activity diagrams for each infrastructure. The reference architecture was developed from the S&P Global Platts (GIS) Map Data Pro data set and the EIA Annual Energy Outlook dataset. This reference architecture serves as the foundation from which to accurately and consistently create mathematical model of the AMES.


title: MAVIS: system modelling and performance prediction

abstract: The MCAO Assisted Visible Imager and Spectrograph (MAVIS) Adaptive Optics Module has very demanding goals to support science in the optical: providing 15% SR in V band on a large FoV of 30arcsec diameter in standard atmospheric conditions at Paranal. It will be able to work in closed loop on up to three natural guide stars down to H=19, providing a sky coverage larger than 50% in the south galactic pole. Such goals and the exploration of a large MCAO system parameters space have required a combination of analytical and end- to-end simulations to assess performance, sky coverage and drive the design. In this work we report baseline performance, statistical sky coverage and parameters sensitivity analysis done in the phase-A instrument study.


title: Phishing Detection through Email Embeddings

abstract: The problem of detecting phishing emails through machine learning techniques has been discussed extensively in the literature. Conventional and state-of-the-art machine learning algorithms have demonstrated the possibility of building classifiers with high accuracy. The existing research studies treat phishing and genuine emails through general indicators and thus it is not exactly clear what phishing features are contributing to variations of the classifiers. In this paper, we crafted a set of phishing and legitimate emails with similar indicators in order to investigate whether these cues are captured or disregarded by email embeddings, i.e., vectorizations. We then fed machine learning classifiers with the carefully crafted emails to find out about the performance of email embeddings developed. Our results show that using these indicators, email embeddings techniques is effective for classifying emails as phishing or legitimate.


title: Efficient and realistic 3-D Boundary Element simulations of underground construction using isogeometric analysis

abstract: The paper outlines some recent developments of the boundary element method (BEM) that makes it more user friendly and suitable for a realistic simulation in geomechanics, especially for underground excavations and tunnelling. The innovations refer to the introduction of isogeometric concepts, elasto-plastic analysis and the simulation of ground support. The introduction of isogeometric concepts for the description of the excavation boundaries results in less user and analysis effort, since complex geometries can be modelled with few parameters and degrees of freedom. No mesh generation is necessary. In order to consider heterogeneous and inelastic ground conditions a domain discretisation is used but the use of isogeometric methods results in a minimum of user effort. Efficient methods are also presented for modelling rock bolts. A comparison of results of test examples with other numerical methods and analytical solutions confirm the efficiency and accuracy of the proposed implementation. A practical example with a complex geometry is presented.


title: Self-adjointness in Quantum Mechanics: a pedagogical path

abstract: Observables in quantum mechanics are represented by self-adjoint operators on Hilbert space. Such ubiquitous, well-known, and very foundational fact, however, is traditionally subtle to be explained in typical first classes in quantum mechanics, as well as to senior physicists who have grown up with the lesson that self-adjointness is "just technical". The usual difficulties are to clarify the connection between the demand for certain physical features in the theory and the corresponding mathematical requirement of self-adjointness, and to distinguish between self-adjoint and hermitian operator not just at the level of the mathematical definition but most importantly from the perspective that mere hermiticity, without self-adjointness, does not ensure the desired physical requirements and leaves the theory inconsistent. In this work we organise an amount of standard facts on the physical role of self-adjointness into a coherent pedagogical path aimed at making quantum observables emerge as necessarily self-adjoint, and not merely hermitian operators. Next to the central core of our line of reasoning -- the necessity of a non-trivial declaration of a domain to associate with the formal action of an observable, and the emergence of self-adjointness as a consequence of fundamental physical requirements -- we include some complementary materials consisting of a few instructive mathematical proofs and a short retrospective, ranging from the past decades to the current research agenda, on the self-adjointness problem for quantum Hamiltonians of relevance in applications.


title: Density-matrix model for photon-driven transport in quantum cascade lasers

abstract: We developed a time-dependent density-matrix model to study photon-assisted (PA) electron transport in quantum cascade lasers. The Markovian equation of motion for the density matrix in the presence of an optical field is solved for an arbitrary field amplitude. Level-broadening terms emerge from microscopic Hamiltonians and supplant the need for empirical parameters that are often employed in related approaches. We show that, in quantum cascade lasers with diagonal design, photon resonances have a pronounced impact on electron dynamics around and above the lasing threshold, an effect that stems from the large spatial separation between the upper and lower lasing states. With the inclusion of PA tunneling, the calculated current density and output power are in good agreement with experiment.


title: Hypergeometric Functions and Feynman Diagrams

abstract: The relationship between Feynman diagrams and hypergeometric functions is discussed. Special attention is devoted to existing techniques for the construction of the $\epsilon$-expansion. As an example, we present a detailed discussion of the construction of the epsilon-expansion of the Appell function $F_3$ around rational values of parameters via an iterative solution of differential equations. As a by-product, we have found that the one-loop massless pentagon diagram in dimension $d=3-2\epsilon$ is not expressible in terms of multiple polylogarithms. Another interesting example is the Puiseux-type solution involving a differential operator generated by a hypergeometric function of three variables. The holonomic properties of the $F_N$ hypergeometric functions are briefly discussed.

categories: hep-th hep-ph math-ph math.AP math.CA math.MP


title: Zero-Sum Triangles for Involutory, Idempotent, Nilpotent and Unipotent Matrices

abstract: In some matrix formations, factorizations and transformations, we need special matrices with some properties and we wish that such matrices should be easily and simply generated and of integers. In this paper, we propose a zero-sum rule for the recurrence relations to construct integer triangles as triangular matrices with involutory, idempotent, nilpotent and unipotent properties, especially nilpotent and unipotent matrices of index 2. With the zero-sum rule we also give the conditions for the special matrices and the generic methods for the generation of those special matrices. The generated integer triangles are mostly newly discovered, and more combinatorial identities can be found with them.


title: Quantum state tomography as a numerical optimization problem

abstract: We present a framework that formulates the quest for the most efficient quantum state tomography scheme as an optimization problem which can be solved numerically. This approach can be applied to a broad spectrum of relevant setups including measurements restricted to a subsystem. To illustrate the power of this method we present results for the six-dimensional Hilbert space constituted by a qubit-qutrit system, which could be realized e.g. by the N-14 nuclear spin-1 and two electronic spin states of a nitrogen-vacancy center in diamond. Measurements of the qubit subsystem are expressed by projectors of rank three, i.e., projectors on half-dimensional subspaces. For systems consisting only of qubits, it was shown analytically that a set of projectors on half-dimensional subspaces can be arranged in an informationally optimal fashion for quantum state tomography, thus forming so-called mutually unbiased subspaces. Our method goes beyond qubits-only systems and we find that in dimension six such a set of mutually-unbiased subspaces can be approximated with a deviation irrelevant for practical applications.


title: SASSI -- Super-Pixelated Adaptive Spatio-Spectral Imaging

abstract: We introduce a novel video-rate hyperspectral imager with high spatial, and temporal resolutions. Our key hypothesis is that spectral profiles of pixels in a super-pixel of an oversegmented image tend to be very similar. Hence, a scene-adaptive spatial sampling of an hyperspectral scene, guided by its super-pixel segmented image, is capable of obtaining high-quality reconstructions. To achieve this, we acquire an RGB image of the scene, compute its super-pixels, from which we generate a spatial mask of locations where we measure high-resolution spectrum. The hyperspectral image is subsequently estimated by fusing the RGB image and the spectral measurements using a learnable guided filtering approach. Due to low computational complexity of the superpixel estimation step, our setup can capture hyperspectral images of the scenes with little overhead over traditional snapshot hyperspectral cameras, but with significantly higher spatial and spectral resolutions. We validate the proposed technique with extensive simulations as well as a lab prototype that measures hyperspectral video at a spatial resolution of $600 \times 900$ pixels, at a spectral resolution of 10 nm over visible wavebands, and achieving a frame rate at $18$fps.


title: Guided accumulation of active particles by topological design of a second-order skin effect

abstract: Collective guidance of out-of-equilibrium systems without using external fields is a challenge of paramount importance in active matter, ranging from bacterial colonies to swarms of self-propelled particles. Designing strategies to guide active matter and exploiting enhanced diffusion associated to its motion will provide insights for application from sensing, drug delivery to water remediation. However, achieving directed motion without breaking detailed balance, for example by asymmetric topographical patterning, is challenging. Here we engineer a two-dimensional periodic topographical design with detailed balance in its unit cell where we observe spontaneous particle edge guidance and corner accumulation of self-propelled particles. This emergent behaviour is guaranteed by a second-order non-Hermitian skin effect, a topologically robust non-equilibrium phenomenon, that we use to dynamically break detailed balance. Our stochastic circuit model predicts, without fitting parameters, how guidance and accumulation can be controlled and enhanced by design: a device guides particles more efficiently if the topological invariant characterizing it is non-zero. Our work establishes a fruitful bridge between active and topological matter, and our design principles offer a blueprint to design devices that display spontaneous, robust and predictable guided motion and accumulation, guaranteed by out-of-equilibrium topology.


title: Raman mapping of photodissociation regions

abstract: Broad Raman-scattered wings of hydrogen lines can be used to map neutral gas illuminated by high-mass stars in star forming regions. Raman scattering transforms far-ultraviolet starlight from the wings of the Lyman beta line (1022 Angstrom to 1029 Angstrom) to red visual light in the wings of the H alpha line (6400 Angstrom to 6700 Angstrom). Analysis of spatially resolved spectra of the Orion Bar and other regions in the Orion Nebula shows that this process occurs in the neutral photo-dissociation region between the ionization front and dissociation front. The inner Raman wings are optically thick and allow the neutral hydrogen density to be determined, implying n(H0) ~= 100,000 per cubic cm for the Orion Bar. Far-ultraviolet resonance lines of neutral oxygen imprint their absorption onto the stellar continuum as it passes through the ionization front, producing characteristic absorption lines at 6633 Angstrom and 6664 Angstrom with widths of order 2 Angstrom. This is a unique signature of Raman scattering, which allows it to be easily distinguished from other processes that might produce broad H alpha wings, such as electron scattering or high-velocity outflows.


title: Maximum entropy and integer partitions

abstract: We derive asymptotic formulas for the number of integer partitions with given sums of $j$th powers of the parts for $j$ belonging to a finite, non-empty set $J \subset \mathbb N$. The method we use is based on the `principle of maximum entropy' of Jaynes. This principle leads to an intuitive variational formula for the asymptotics of the logarithm of the number of constrained partitions as the solution to a convex optimization problem over real-valued functions.


title: Importance of long-ranged electron-electron interactions for the magnetic phase diagram of twisted bilayer graphene

abstract: Electron-electron interactions are intrinsically long ranged, but many models of strongly interacting electrons only take short-ranged interactions into account. Here, we present results of atomistic calculations including both long-ranged and short-ranged electron-electron interactions for the magnetic phase diagram of twisted bilayer graphene and demonstrate that qualitatively different results are obtained when long-ranged interactions are neglected. In particular, we use Hartree theory augmented with Hubbard interactions and calculate the interacting spin susceptibility at a range of doping levels and twist angles near the magic angle to identify the dominant magnetic instabilities. At the magic angle, mostly anti-ferromagnetic order is found, while ferromagnetism dominates at other twist angles. Moreover, long-ranged interactions significantly increase the twist angle window in which strong correlation phenomena can be expected. These findings are in good agreement with available experimental data.


title: A Paragraph-level Multi-task Learning Model for Scientific Fact-Verification

abstract: Even for domain experts, it is a non-trivial task to verify a scientific claim by providing supporting or refuting evidence rationales. The situation worsens as misinformation is proliferated on social media or news websites, manually or programmatically, at every moment. As a result, an automatic fact-verification tool becomes crucial for combating the spread of misinformation. In this work, we propose a novel, paragraph-level, multi-task learning model for the SciFact task by directly computing a sequence of contextualized sentence embeddings from a BERT model and jointly training the model on rationale selection and stance prediction.


title: Neural Network Approximation

abstract: Neural Networks (NNs) are the method of choice for building learning algorithms. Their popularity stems from their empirical success on several challenging learning problems. However, most scholars agree that a convincing theoretical explanation for this success is still lacking. This article surveys the known approximation properties of the outputs of NNs with the aim of uncovering the properties that are not present in the more traditional methods of approximation used in numerical analysis. Comparisons are made with traditional approximation methods from the viewpoint of rate distortion. Another major component in the analysis of numerical approximation is the computational time needed to construct the approximation and this in turn is intimately connected with the stability of the approximation algorithm. So the stability of numerical approximation using NNs is a large part of the analysis put forward. The survey, for the most part, is concerned with NNs using the popular ReLU activation function. In this case, the outputs of the NNs are piecewise linear functions on rather complicated partitions of the domain of $f$ into cells that are convex polytopes. When the architecture of the NN is fixed and the parameters are allowed to vary, the set of output functions of the NN is a parameterized nonlinear manifold. It is shown that this manifold has certain space filling properties leading to an increased ability to approximate (better rate distortion) but at the expense of numerical stability. The space filling creates a challenge to the numerical method in finding best or good parameter choices when trying to approximate.


title: A Unified Spectral Model for Accreting Neutron Stars

abstract: Recent studies show that accretion flows around weakly magnetic Neutron Stars undergo multiple shocks, before reaching the surface of the star, which contribute to the spectral and timing variabilities observed in the X-Rays. Here, we report, for the first time, the spectral properties of a unified model of shocked accretion flows around Neutron Stars, based on the Two-Component Advective Flow paradigm. We compare our theoretical results with the X-Ray spectral features of Z and Atoll sources, across different states. We also fit RXTE/PCA spectra of Sco X-1 and 4U 1705-44 to show the potential application of this new model.


title: Growth, development, and structural change at the firm-level: The example of the PR China

abstract: Understanding the microeconomic details of technological catch-up processes offers great potential for informing both innovation economics and development policy. We study the economic transition of the PR China from an agrarian country to a high-tech economy as one example for such a case. It is clear from past literature that rapidly rising productivity levels played a crucial role. However, the distribution of labor productivity in Chinese firms has not been comprehensively investigated and it remains an open question if this can be used to guide economic development. We analyze labor productivity and the dynamic change of labor productivity in firm-level data for the years 1998-2013 from the Chinese Industrial Enterprise Database. We demonstrate that both variables are conveniently modeled as L\'evy alpha-stable distributions, provide parameter estimates and analyze dynamic changes to this distribution. We find that the productivity gains were not due to super-star firms, but due to a systematic shift of the entire distribution with otherwise mostly unchanged characteristics. We also found an emerging right-skew in the distribution of labor productivity change. While there are significant differences between the 31 provinces and autonomous regions of the P.R. China, we also show that there are systematic relations between micro-level and province-level variables. We conclude with some implications of these findings for development policy.


title: Docking study for Protein Nsp-12 of SARS-CoV with Betalains and Alfa-Bisabolol

abstract: The present Health Crisis tests the response of modern science and medicine to finding treatment for a new COVID-19 disease. The presentation on the world stage of antivirals such as remdesivir, obeys to the continuous investigation of biologically active molecules with multiple theoretical, computational and experimental tools. Diseases such as COVID:19 remind us that research into active ingredients for therapeutic purposes should cover all available sources, such as plants. In the present work, in silico tools, specifically docking study, were used to evaluate the binding and inhibition capacity of an antiviral such as remdesivir on the NSP-12 protein of SARS-CoV, a polymerase that is key in the replication of the SARS-COV virus. The results are then compared with a docking analysis of two natural products (Alpha-Bisabolol and betalain) with SARS-CoV protein, in order to find more candidates for COVID-19 virus replication inhibitors. in addition to increasing studies that help explain the specific mechanisms of the SARs-CoV-2 virus, remembering that we will have to live with the virus for an indefinite time from now on. Finally, natural products such as betalains may have inhibitory effects of a small order but in conjunction with other synergistic active ingredients they may increase their inhibition effect on NSP-12 protein of SARS-CoV.


title: The Bourgain-Br\'ezis-Mironescu formula in arbitrary bounded domains

abstract: We obtain a Bourgain-Br\'ezis-Mironescu formula on the limit behaviour of a modified fractional Sobolev seminorm when $s\nearrow 1$, which is valid in arbitrary bounded domains. In the case of extension domains, we recover the classical result.


title: Memory-dependent noise-induced resonance and diffusion in non-markovian systems

abstract: We study the random processes with non-local memory and obtain new solutions of the Mori-Zwanzig equation describing non-markovian systems. We analyze the system dynamics depending on the amplitudes $\nu$ and $\mu_0$ of the local and non-local memory and pay attention to the line in the ($\nu$, $\mu_0$)-plane separating the regions with asymptotically stationary and non-stationary behavior. We obtain general equations for such boundaries and consider them for three examples of the non-local memory functions. We show that there exist two types of the boundaries with fundamentally different system dynamics. On the boundaries of the first type, the diffusion with memory takes place, whereas on borderlines of the second type, the phenomenon of noise-induced resonance can be observed. A distinctive feature of noise-induced resonance in the systems under consideration is that it occurs in the absence of an external regular periodic force. It takes place due to the presence of frequencies in the noise spectrum, which are close to the self-frequency of the system. We analyze also the variance of the process and compare its behavior for regions of asymptotic stationarity and non-stationarity, as well as for diffusive and noise-induced-resonance borderlines between them.


title: Cosmic-ray transport and gamma-ray emission in M31

abstract: We study the possibility that an extended cosmic-ray leptonic and/or hadronic halo is at the origin of the large-scale gamma-ray emission detected from the Andromeda Galaxy (M31). We consider a broad ensemble of non-homogeneous diffusion scenarios and of cosmic-ray injection sources. We find that cosmic-ray electrons and protons could be, and very likely are, responsible for part, or all, of the gamma-ray emission from M31, including out to more than 100 kpc from the center of the galaxy. We also simulate possible emission from pulsars in M31, and consider the effect of regions of highly inefficient diffusion around cosmic-ray acceleration sites, as suggested by recent TeV halo observations with Cherenkov telescopes.


title: Optical properties of massive anisotropic tilted Dirac systems

abstract: We explore the effect of valley-contrasting gaps in the optical response of two-dimensional anisotropic tilted Dirac systems. We study the spectrum of intraband and interband transitions through the joint density of states (JDOS), the optical conductivity tensor, and the Drude spectral weight. The energy bands present an indirect gap in each valley. Thus a new possibility opens for the position of the Fermi level (an ``indirect zone''), and for the momentum space for allowed transitions. The JDOS near each gap displays a set of three van Hove singularities which are in contrast to the case of gapped graphene (an absorption edge only) or 8-$Pmmn$ borophene (two interband critical points due to the tilt). For the Fermi level lying in the gap, the JDOS shows the usual linear dependence on frequency, while when above an indirect zone it looks similar to the borophene case. These spectral characteristics determine the prominent structure of the optical conductivity. The longitudinal conductivity illustrates the strong anisotropy of the optical response. Similarly, the Drude weight is anisotropic and shows regions of nonlinear dependence on the Fermi level. The breaking of valley symmetry leads to a finite Hall response and associated optical properties. The anomalous and valley Hall conductivities present graphene-like behavior with characteristic modifications due to the indirect zones. Almost perfect circular dichroism can be achieved by tuning the exciting frequency with an appropriate Fermi level position. We also calculate the spectra of optical opacity and polarization rotation, which can reach magnitudes of tenths of radians in some cases. The spectral features of the calculated response properties are signatures of the simultaneous presence of tilt and mass and suggest optical ways to determine the formation of different gaps in such class of Dirac systems.


title: Dimension-free estimates for the discrete spherical maximal functions

abstract: We prove that the discrete spherical maximal functions (in the spirit of Magyar, Stein and Wainger) corresponding to the Euclidean spheres in $\mathbb Z^d$ with dyadic radii have $\ell^p(\mathbb Z^d)$ bounds for all $p\in[2, \infty]$ independent of the dimensions $d\ge 5$. An important part of our argument is the asymptotic formula in the Waring problem for the squares with a dimension-free multiplicative error term. By considering new approximating multipliers we will show how to absorb an exponential in dimension (like $C^d$ for some $C>1$) growth in norms arising from the sampling principle of Magyar, Stein and Wainger, and ultimately deduce dimension-free estimates for the discrete spherical maximal functions.


title: Singular perturbations and asymptotic expansions for SPDEs with an application to term structure models

abstract: We study the dependence of mild solutions to linear stochastic evolution equations on Hilbert space driven by Wiener noise, with drift having linear part of the type $A+\varepsilon G$, on the parameter $\varepsilon$. In particular, we study the limit and the asymptotic expansions in powers of $\varepsilon$ of these solutions, as well as of functionals thereof, as $\varepsilon \to 0$, with good control on the remainder. These convergence and series expansion results are then applied to a parabolic perturbation of the Musiela SPDE of mathematical finance modeling the dynamics of forward rates.


title: Detecting Anomalous Invoice Line Items in the Legal Case Lifecycle

abstract: The United States is the largest distributor of legal services in the world, representing a $437 billion market. Of this, corporate legal departments pay law firms $80 billion for their services. Every month, legal departments receive and process invoices from these law firms and legal service providers. Legal invoice review is and has been a pain point for corporate legal department leaders. Complex and intricate, legal invoices often contain several hundred line-items that account for anything from tasks such as hands-on legal work to expenses such as copying, meals, and travel. The man-hours and scrutiny involved in the invoice review process can be overwhelming. Even with common safeguards in place, such as established billing guidelines, experienced invoice reviewers (typically highly paid in-house attorneys), and rule-based electronic billing tools ("e-billing"), many discrepancies go undetected. Using machine learning, our goal is to demonstrate the current flaws of, and to explore improvements to, the legal invoice review process for invoices submitted by law firms to their corporate clients. In this work, we detail our approach, applying several machine learning model architectures, for detecting anomalous invoice line-items based on their suitability in the legal case's lifecycle (modeled using a set of case-level and invoice line-item-level features). To overcome the challenge of unlabeled data, we generate a synthetic dataset which utilizes subject matter expertise ("SME") to manipulate existing records' attributes to reflect an anomalous state in the product lifecycle, and characterize our method's performance using a set of model architectures. We demonstrate how this process advances solving anomaly detection problems, specifically when the characteristics of the anomalies are well known, and offer lessons learned from applying our approach to real-world data.


title: No-substitution k-means Clustering with Adversarial Order

abstract: We investigate $k$-means clustering in the online no-substitution setting when the input arrives in \emph{arbitrary} order. In this setting, points arrive one after another, and the algorithm is required to instantly decide whether to take the current point as a center before observing the next point. Decisions are irrevocable. The goal is to minimize both the number of centers and the $k$-means cost. Previous works in this setting assume that the input's order is random, or that the input's aspect ratio is bounded. It is known that if the order is arbitrary and there is no assumption on the input, then any algorithm must take all points as centers. Moreover, assuming a bounded aspect ratio is too restrictive -- it does not include natural input generated from mixture models. We introduce a new complexity measure that quantifies the difficulty of clustering a dataset arriving in arbitrary order. We design a new random algorithm and prove that if applied on data with complexity $d$, the algorithm takes $O(d\log(n) k\log(k))$ centers and is an $O(k^3)$-approximation. We also prove that if the data is sampled from a ``natural" distribution, such as a mixture of $k$ Gaussians, then the new complexity measure is equal to $O(k^2\log(n))$. This implies that for data generated from those distributions, our new algorithm takes only $\text{poly}(k\log(n))$ centers and is a $\text{poly}(k)$-approximation. In terms of negative results, we prove that the number of centers needed to achieve an $\alpha$-approximation is at least $\Omega\left(\frac{d}{k\log(n\alpha)}\right)$.


title: From $A$ to $B$ to $Z$

abstract: The variety generated by the Brandt semigroup ${\bf B}_2$ can be defined within the variety generated by the semigroup ${\bf A}_2$ by the single identity $x^2y^2\approx y^2x^2$. Edmond Lee asked whether or not the same is true for the monoids ${\bf B}_2^1$ and ${\bf A}_2^1$. We employ an encoding of the homomorphism theory of hypergraphs to show that there is in fact a continuum of distinct subvarieties of ${\bf A}_2^1$ that satisfy $x^2y^2\approx y^2x^2$ and contain ${\bf B}_2^1$. A further consequence is that the variety of ${\bf B}_2^1$ cannot be defined within the variety of ${\bf A}_2^1$ by any finite system of identities. Continuing downward, we then turn to subvarieties of ${\bf B}_2^1$. We resolve part of a further question of Lee by showing that there is a continuum of distinct subvarieties all satisfying the stronger identity $x^2y\approx yx^2$ and containing the monoid $M({\bf z}_\infty)$, where ${\bf z}_\infty$ denotes the infinite limit of the Zimin words ${\bf z}_0=x_0$, ${\bf z}_{n+1}={\bf z}_n x_{n+1}{\bf z}_n$.


title: Adiabatic Quantum Algorithm for Multijet Clustering in High Energy Physics

abstract: The currently predicted increase in computational demand for the upcoming High-Luminosity Large Hadron Collider (HL-LHC) event reconstruction, and in particular jet clustering, is bound to challenge present day computing resources, becoming an even more complex combinatorial problem. In this paper, we show that quantum annealing can tackle dijet event clustering by introducing a novel quantum annealing binary clustering algorithm. The benchmarked efficiency is of the order of $96\%$, thus yielding substantial improvements over the current quantum state-of-the-art. Additionally, we also show how to generalize the proposed objective function into a more versatile form, capable of solving the clustering problem in multijet events.


title: Hedgehog-lattice spin texture in classical Heisenberg antiferromagnets on the breathing pyrochlore lattice

abstract: The hedgehog lattice, a three-dimensional periodic array of magnetic monopoles and antimonopoles, is known to be realized in the presence of the Dzyaloshinskii-Moriya (DM) interaction. Here, we demonstrate by means of Monte Carlo simulations that the hedgehog lattice is induced by not the DM interaction but frustration in classical Heisenberg antiferromagnets on the breathing pyrochlore lattice. In the model, the breathing bond-alternation is characterized by the ratio of the nearest-neighbor (NN) antiferromagnetic exchange interaction for large tetrahedra to that for small ones, J1'/J1. A quadruple-q state with the ordering vector of q=(\pm 1/2,\pm 1/2,\pm 1/2), which is realized for a large third NN antiferromagnetic interaction along the bond direction J3, turns out to become the hedgehog-lattice state in the breathing case of J1'/J1 <1, while in the uniform case of J1'/J1 =1, it is a collinear state favored by thermal fluctuations. It is also found that in a magnetic field, the structure of the (1/2,1/2,1/2) hedgehog lattice is changed from cubic to tetragonal, resulting in a nonzero net spin chirality which in a metalic system, should yield a characteristic topological Hall effect.


title: Synergy between Observation Systems Oceanic in Turbulent Regions

abstract: Ocean dynamics constitute a source of incertitude in determining the ocean's role in complex climatic phenomena. Current observation systems have limitations in achieving sufficiently statistical precision for three-dimensional oceanic data. It is crucial knowledge to describe the behavior of internal ocean structures. We present the data-driven approaches which explore latent class regressions and deep regression neural networks in modeling ocean dynamics in the extensions of Gulf Stream and Kuroshio currents. The obtained results show a promising data-driven direction for understanding the ocean's characteristics, including salinity and temperature, in both spatial and temporal dimensions in the turbulent regions. Our source codes are publicly available at https://github.com/v18nguye/gulfstream-lrm and at https://github.com/sagudelor/Kuroshio.


title: Comparison of different CNNs for breast tumor classification from ultrasound images

abstract: Breast cancer is one of the deadliest cancer worldwide. Timely detection could reduce mortality rates. In the clinical routine, classifying benign and malignant tumors from ultrasound (US) imaging is a crucial but challenging task. An automated method, which can deal with the variability of data is therefore needed. In this paper, we compared different Convolutional Neural Networks (CNNs) and transfer learning methods for the task of automated breast tumor classification. The architectures investigated in this study were VGG-16 and Inception V3. Two different training strategies were investigated: the first one was using pretrained models as feature extractors and the second one was to fine-tune the pre-trained models. A total of 947 images were used, 587 corresponded to US images of benign tumors and 360 with malignant tumors. 678 images were used for the training and validation process, while 269 images were used for testing the models. Accuracy and Area Under the receiver operating characteristic Curve (AUC) were used as performance metrics. The best performance was obtained by fine tuning VGG-16, with an accuracy of 0.919 and an AUC of 0.934. The obtained results open the opportunity to further investigation with a view of improving cancer detection.


title: Approximate Killing symmetries in non-perturbative quantum gravity

abstract: It is an open question whether fluctuations at the Planck scale in a non-perturbative theory of quantum gravity behave in such a way that the resulting semi-classical geometry can be modelled by a space that admits (approximate) Killing symmetries. We have investigated whether the notion of approximate Killing vector fields is suitable to address this question in lattice theories of quantum gravity, such as (Causal) Dynamical Triangulations. We show that it is possible to construct quantum observables related to approximate Killing vector fields using the framework of Discrete Exterior Calculus. We have evaluated the expectation value of one particular choice of observable on three toy models of two-dimensional quantum gravity.


title: On groupoids and $C^*$-algebras from self-similar actions

abstract: Given a self-similar groupoid action $(G,E)$ on the path space of a finite graph, we study the associated Exel-Pardo \'etale groupoid ${\mathcal G}(G,E)$ and its $C^*$-algebra $C^*(G,E)$. We review some facts about groupoid actions, skew products and semi-direct products and generalize a result of Renault about similarity of groupoids which resembles Takai duality. We also describe a general strategy to compute the $K$-theory of $C^*(G,E)$ and the homology of ${\mathcal G}(G,E)$ in certain cases and illustrate with an example.


title: Seamless Active Morphing Wing Simultaneous Gust and Maneuver Load Alleviation

abstract: This paper deals with the simultaneous gust and maneuver load alleviation problem of a seamless active morphing wing. The incremental nonlinear dynamic inversion with quadratic programming control allocation and virtual shape functions (denoted as INDI-QP-V) is proposed to fulfill this goal. The designed control allocator provides an optimal solution while satisfying actuator position constraints, rate constraints, and relative position constraints. Virtual shape functions ensure the smoothness of the morphing wing at every moment. In the presence of model uncertainties, external disturbances, and control allocation errors, the closed-loop stability is guaranteed in the Lyapunov sense. Wind tunnel tests demonstrate that INDI-QP-V can make the seamless wing morph actively to resist ``1-cos'' gusts and modify the spanwise lift distribution at the same time. The wing root shear force and bending moment have been alleviated by more than 44% despite unexpected actuator fault and nonlinear backlash. Moreover, during the experiment, all the input constraints were satisfied, the wing shape was smooth all the time, and the control law was executed in real time. Furthermore, as compared to the linear quadratic Gaussian (LQG) control, the hardware implementation of INDI-QP-V is easier; the robust performance of INDI-QP-V is also superior.


title: Minoration via Mixed Volumes and Cover's Problem for General Channels

abstract: We give a complete solution to an open problem of Thomas Cover in 1987 about the capacity of a relay channel in the general discrete memoryless setting without any additional assumptions. The key step in our approach is to lower bound a certain soft-max of a stochastic process by convex geometry methods, which is based on two ideas: First, the soft-max is lower bounded in terms of the supremum of another process, by approximating a convex set with a polytope with bounded number of vertices. Second, using a result of Pajor, the supremum of the process is lower bounded in terms of packing numbers by means of mixed-volume inequalities (Minkowski's first inequality).


title: Nearby Cycle Sheaves for Stable Polar Representations

abstract: We extend the results of [GVX] to the setting of a stable polar representation G|V (G connected, reductive over C), satisfying some mild additional hypotheses. Given a G-equivariant rank one local system L on the general fiber of the quotient map f : V --> V/G, we compute the Fourier transform of the corresponding nearby cycle sheaf P on the zero-fiber of f. Our main intended application is to the theory of character sheaves for graded Lie algebras over C.


title: Monte Carlo Quantum Computing

abstract: It is shown that a class of separately frustration-free (SFF) Hamiltonians can be Monte Carlo simulated efficiently on a classical computing machine, because such an SFF Hamiltonian corresponds to a Gibbs wavefunction whose nodal structure is efficiently computable by solving a small subsystem associated with a low-dimensional configuration subspace. It is further demonstrated that SFF Hamiltonians can be designed to implement universal ground state quantum computation. The two results combined have effectively solved the notorious sign problem in Monte Carlo simulations, and proved that all bounded-error quantum polynomial time algorithms admit bounded-error probabilistic polynomial time simulations.


title: Why does individual learning endure when crowds are wiser?

abstract: The ability to learn from others (social learning) is often deemed a cause of human species success. But if social learning is indeed more efficient (whether less costly or more accurate) than individual learning, it raises the question of why would anyone engage in individual information seeking, which is a necessary condition for social learning's efficacy. We propose an evolutionary model solving this paradox, provided agents (i) aim not only at information quality but also vie for audience and prestige, and (ii) do not only value accuracy but also reward originality -- allowing them to alleviate herding effects. We find that under some conditions (large enough success rate of informed agents and intermediate taste for popularity), both social learning's higher accuracy and the taste for original opinions are evolutionary-stable, within a mutually beneficial division of labour-like equilibrium. When such conditions are not met, the system most often converges towards mutually detrimental equilibria.


title: Lines in the plane with the $L_1$ metric

abstract: A well-known theorem in plane geometry states that any set of $n$ non-collinear points in the plane determines at least $n$ lines. Chen and Chv\'{a}tal asked whether an analogous statement holds within the framework of finite metric spaces, with lines defined using the notion of {\em betweenness}. In this paper, we prove that in the plane with the $L_1$ (also called Manhattan) metric, a non-collinear set of $n$ points induces at least $\lceil n/2\rceil$ lines. This is an improvement of the previous lower bound of $n/37$, with substantially different proof. As a consequence, we also get the same lower bound for non-collinear point sets in the plane with the $L_{\infty}$ metric.


title: The Analog Front-end for the LGAD Based Precision Timing Application in CMS ETL

abstract: The analog front-end for the Low Gain Avalanche Detector (LGAD) based precision timing application in the CMS Endcap Timing Layer (ETL) has been prototyped in a 65 nm CMOS mini-ASIC named ETROC0. Serving as the very first prototype of ETL readout chip (ETROC), ETROC0 aims to study and demonstrate the performance of the analog frontend, with the goal to achieve 40 to 50 ps time resolution per hit with LGAD (therefore reach about 30ps per track with two detector-layer hits per track). ETROC0 consists of preamplifier and discriminator stages, which amplifies the LGAD signal and generates digital pulses containing time of arrival and time over threshold information. This paper will focus on the design considerations that lead to the ETROC front-end architecture choice, the key design features of the building blocks, the methodology of using the LGAD simulation data to evaluate and optimize the front-end design. The ETROC0 prototype chips have been extensively tested using charge injection and the measured performance agrees well with simulation. The initial beam test results are also presented, with time resolution of around 33 ps observed from the preamplifier waveform analysis and around 41 ps from the discriminator pulses analysis. A subset of ETROC0 chips have also been tested to a total ionizing dose of 100 MRad with X-ray and no performance degradation been observed.


title: Trilateration using Unlabeled Path or Loop Lengths

abstract: Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^d$ for some $n$ and some $d \ge 2$. Each pair of points defines an edge, which has a Euclideanlength in the configuration. A path is an ordered sequence of the points, and a loop is a path that begins and ends at the same point. A path or loop, as a sequence of edges, also has a Euclidean length, which is simply the sum of its Euclidean edge lengths. We are interested in reconstructing $\mathbf{p}$ given a set of edge, path and loop lengths. In particular, we consider the unlabeled setting where the lengths are given simply as a set of real numbers, and are not labeled with the combinatorial data describing which paths or loops gave rise to these lengths. In this paper, we study the question of when $\mathbf{p}$ will be uniquely determined (up to an unknowable Euclidean transform) from some given set of path or loop lengths through an exhaustive trilateration process. Such a process has already been used for the simpler problem of reconstruction using unlabeled edge lengths. This paper also provides a complete proof that this process must work in that edge-setting when given a sufficiently rich set of edge measurements and assuming that $\mathbf{p}$ is generic.


title: Trivial colors in colorings of Kneser graphs

abstract: We show that any proper coloring of a Kneser graph $KG_{n,k}$ with $n-2k+2$ colors contains a trivial color (i.e., a color consisting of sets that all contain a fixed element), provided $n>(2+\varepsilon)k^2$, where $\varepsilon\to 0$ as $k\to \infty$. This bound is essentially tight. This is a consequence of a more general result on the minimum number of non-trivial colors needed to properly color $KG_{n,k}$.


title: Elliptic surfaces and intersections of adelic $\mathbb{R}$-divisors

abstract: Suppose $\mathcal{E} \to B$ is a non-isotrivial elliptic surface defined over a number field, for smooth projective curve $B$. Let $k$ denote the function field $\overline{\mathbb{Q}}(B)$ and $E$ the associated elliptic curve over $k$. In this article, we construct adelically metrized $\mathbb{R}$-divisors $\overline{D}_X$ on the base curve $B$ over a number field, for each $X \in E(k)\otimes \mathbb{R}$. We prove non-degeneracy of the Arakelov-Zhang intersection numbers $\overline{D}_X\cdot \overline{D}_Y$, as a biquadratic form on $E(k)\otimes \mathbb{R}$. As a consequence, we have the following Bogomolov-type statement for the N\'eron-Tate height functions on the fibers $E_t(\overline{\mathbb{Q}})$ of $\mathcal{E}$ over $t \in B(\overline{\mathbb{Q}})$: given points $P_1, \ldots, P_m \in E(k)$ with $m\geq 2$, there exist an infinite sequence $t_n\in B(\overline{\mathbb{Q}})$ and small-height perturbations $P_{i,t_n}' \in E_{t_n}(\overline{\mathbb{Q}})$ of specializations $P_{i,t_n}$ so that the set $\{P_{1, t_n}', \ldots, P_{m,t_n}'\}$ satisfies at least two independent linear relations for all $n$, if and only if the points $P_1, \ldots, P_m$ are linearly dependent in $E(k)$. This gives a new proof of results of Masser and Zannier and of Barroero and Capuano and extends our earlier results. In the Appendix, we prove an equidistribution theorem for adelically metrized $\mathbb{R}$-divisors on projective varieties (over a number field) using results of Moriwaki, extending the equidistribution theorem of Yuan.


title: On the T-test

abstract: The $T$-test is probably the most popular statistical test; it is routinely recommended by the textbooks. The applicability of the test relies upon the validity of normal or Student's approximation to the distribution of Student's statistic $\,t_n$. However, the latter assumption is not valid as often as assumed. We show that normal or Student's approximation to $\,\L(t_n)\,$ does not hold uniformly even in the class $\,{\cal P}_n\,$ of samples from zero-mean unit-variance bounded distributions. We present lower bounds to the corresponding error. The fact that a non-parametric test is not applicable uniformly to samples from the class $\,{\cal P}_n\,$ seems to be established for the first time. It means the $T$-test can be misleading, and should not be recommended in its present form. We suggest a generalisation of the test that allows for variability of possible limiting/approximating distributions to $\,\L(t_n)$.


title: Quantitative equidistribution of angles of multipliers

abstract: We study angles of multipliers of repelling cycles for hyperbolic rational maps in $\mathbb C(z)$. For a fixed $K \gg 1$, we show that almost all intervals of length $2\pi/K$ in $(-\pi,\pi]$ contain a multiplier angle with the property that the norm of the multiplier is bounded above by a polynomial in $K$.


title: Average-distance problem with curvature penalization for data parameterization: regularity of minimizers

abstract: We propose a model for finding one-dimensional structure in a given measure. Our approach is based on minimizing an objective functional which combines the average-distance functional to measure the quality of the approximation and penalizes the curvature, similarly to the elastica functional. Introducing the curvature penalization overcomes some of the shortcomings of the average-distance functional, in particular the lack of regularity of minimizers. We establish existence, uniqueness and regularity of minimizers of the proposed functional. In particular we establish $C^{1,1}$ estimates on the minimizers.


title: On a fusion chain reaction via suprathermal ions in high-density H-$^{11}$B plasma

abstract: The $^{11}$B$(p,\alpha)2\alpha$ fusion reaction is particularly attractive for energy production purposes because of its aneutronic character and the absence of radioactive species among reactants and products. Its exploitation in the thermonuclear regime, however, appears to be prohibitive due to the low reactivity of the $^{11}$B fuel at temperatures up to 100 keV. A fusion chain sustained by elastic collisions between the alpha particles and fuel ions, this way scattered to suprathermal energies, has been proposed as a possible route to overcome this limitation. Based on a simple model, this work investigates the reproduction process in an infinite, non-degenerate $^{11}$B plasma, in a wide range of densities and temperatures which are of interest for laser-driven experiments ($10^{24} \lesssim n_e \lesssim 10^{28} {\rm cm}^{-3}$, $T_e \lesssim 100$ keV, $T_i \sim$ 1 keV). In particular, cross section data for the $\alpha$-$p$ scattering which include the nuclear interaction have been used. The multiplication factor, $k_\infty$, increases markedly with electron temperature and less significantly with plasma density. However, even at the highest temperature and density considered, and despite a more than twofold increase by the inclusion of the nuclear scattering, $k_\infty$ turns out to be of the order of $10^{-2}$ only. In general, values of $k_\infty$ very close to 1 are needed in a confined scheme to enhance the suprathermal-to-thermonuclear energy yield by factors of up to $10^3$-$10^4$.


title: Research in Global Software Engineering: A Systematic Snapshot

abstract: This paper reports our extended analysis of the recent literature addressing global software engineering (GSE), using a new Systematic Snapshot Mapping (SSM) technique. The primary purpose of this work is to understand what issues are being addressed and how research is being carried out in GSE -- and comparatively, what work is not being conducted. We carried out the analysis in two stages. In the first stage we analyzed 275 papers published between January 2011 and June 2012, and in the second stage we augmented our analysis by considering a further 26 papers (from the 2013 International Conference on Global Software Engineering (ICGSE'13). Our results reveal that, currently, GSE studies are focused on management- and infrastructure-related factors, using principally evaluative research approaches. Most of the studies are conducted at the organizational level, mainly using methods such as interviews, surveys, field studies and case studies. The USA, India and China are major players in GSE, with USA-India collaborations being the most frequently studied, followed by USA-China. While a considerable number of GSE-related studies have been published since January 2011 they are currently quite narrowly focused, on exploratory research and explanatory theories, and the critical research paradigm has been untouched. An absence of formulative research, experimentation and simulation, and a related focus on evaluative approaches, all suggest that existing tools, methods and approaches from related fields are being tested in the GSE context, even though these may not be inherently applicable to the additional scale and complexity of GSE.


title: Robust Dialogue Utterance Rewriting as Sequence Tagging

abstract: The task of dialogue rewriting aims to reconstruct the latest dialogue utterance by copying the missing content from the dialogue context. Until now, the existing models for this task suffer from the robustness issue, i.e., performances drop dramatically when testing on a different domain. We address this robustness issue by proposing a novel sequence-tagging-based model so that the search space is significantly reduced, yet the core of this task is still well covered. As a common issue of most tagging models for text generation, the model's outputs may lack fluency. To alleviate this issue, we inject the loss signal from BLEU or GPT-2 under a REINFORCE framework. Experiments show huge improvements of our model over the current state-of-the-art systems on domain transfer.


title: Multi-Principal Assistance Games: Definition and Collegial Mechanisms

abstract: We introduce the concept of a multi-principal assistance game (MPAG), and circumvent an obstacle in social choice theory, Gibbard's theorem, by using a sufficiently collegial preference inference mechanism. In an MPAG, a single agent assists N human principals who may have widely different preferences. MPAGs generalize assistance games, also known as cooperative inverse reinforcement learning games. We analyze in particular a generalization of apprenticeship learning in which the humans first perform some work to obtain utility and demonstrate their preferences, and then the robot acts to further maximize the sum of human payoffs. We show in this setting that if the game is sufficiently collegial, i.e. if the humans are responsible for obtaining a sufficient fraction of the rewards through their own actions, then their preferences are straightforwardly revealed through their work. This revelation mechanism is non-dictatorial, does not limit the possible outcomes to two alternatives, and is dominant-strategy incentive-compatible.


title: Lattice stability of ordered Au-Cu alloys in the warm dense matter regime

abstract: In the warm dense regime, where the electron temperature is increased to the same order of the Fermi temperature, the dynamical stability of elemental metals depends on its electronic band structure as well as its crystal structure. It has been known that phonon hardening occurs due to an enhanced internal pressure caused by electron excitations as in close-packed simple metals, whereas phonon softening occurs at a specific point in the Brillouin zone as in body-centered cubic metals. Here, we investigate the dynamical stability of binary ordered alloys (Au and Cu) in the L1$_0$ and L1$_2$ structures. By performing first principles calculations on phonon dispersions, we demonstrate that warm dense Au-Cu systems show phonon hardening behavior except the lowest frequency phonon mode at point R of AuCu in the L1$_0$ structure. We show that when a phonon mode is stabilized by long-range interatomic interactions at ambient condition, such a phonon will be destabilized by the short-range nature of the warm dense matters.


title: A Model for Software Contexts

abstract: It is widely acknowledged by researchers and practitioners that software development methodologies are generally adapted to suit specific project contexts. Research into practices-as-implemented has been fragmented and has tended to focus either on the strength of adherence to a specific methodology or on how the efficacy of specific practices is affected by contextual factors. We submit the need for a more holistic, integrated approach to investigating context-related best practice. We propose a six-dimensional model of the problem-space, with dimensions organisational drivers (why), space and time (where), culture (who), product life-cycle stage (when), product constraints (what) and engagement constraints (how). We test our model by using it to describe and explain a reported implementation study. Our contributions are a novel approach to understanding situated software practices and a preliminary model for software contexts.


title: TensorX: Extensible API for Neural Network Model Design and Deployment

abstract: TensorX is a Python library for prototyping, design, and deployment of complex neural network models in TensorFlow. A special emphasis is put on ease of use, performance, and API consistency. It aims to make available high-level components like neural network layers that are, in effect, stateful functions, easy to compose and reuse. Its architecture allows for the expression of patterns commonly found when building neural network models either on research or industrial settings. Incorporating ideas from several other deep learning libraries, it makes it easy to use components commonly found in state-of-the-art models. The library design mixes functional dataflow computation graphs with object-oriented neural network building blocks. TensorX combines the dynamic nature of Python with the high-performance GPU-enabled operations of TensorFlow. This library has minimal core dependencies (TensorFlow and NumPy) and is distributed under Apache License 2.0 licence, encouraging its use in both an academic and commercial settings. Full documentation, source code, and binaries can be found in https://tensorx.org/.


title: Source Identification for Mixtures of Product Distributions

abstract: We give an algorithm for source identification of a mixture of $k$ product distributions on $n$ bits. This is a fundamental problem in machine learning with many applications. Our algorithm identifies the source parameters of an identifiable mixture, given, as input, approximate values of multilinear moments (derived, for instance, from a sufficiently large sample), using $2^{O(k^2)} n^{O(k)}$ arithmetic operations. Our result is the first explicit bound on the computational complexity of source identification of such mixtures. The running time improves previous results by Feldman, O'Donnell, and Servedio (FOCS 2005) and Chen and Moitra (STOC 2019) that guaranteed only learning the mixture (without parametric identification of the source). Our analysis gives a quantitative version of a qualitative characterization of identifiable sources that is due to Tahmasebi, Motahari, and Maddah-Ali (ISIT 2018).


title: YASO: A Targeted Sentiment Analysis Evaluation Dataset for Open-Domain Reviews

abstract: Current TSA evaluation in a cross-domain setup is restricted to the small set of review domains available in existing datasets. Such an evaluation is limited, and may not reflect true performance on sites like Amazon or Yelp that host diverse reviews from many domains. To address this gap, we present YASO - a new TSA evaluation dataset of open-domain user reviews. YASO contains 2,215 English sentences from dozens of review domains, annotated with target terms and their sentiment. Our analysis verifies the reliability of these annotations, and explores the characteristics of the collected data. Benchmark results using five contemporary TSA systems show there is ample room for improvement on this challenging new dataset. YASO is available at https://github.com/IBM/yaso-tsa.


title: NBR: Neutralization Based Reclamation

abstract: Safe memory reclamation (SMR) algorithms suffer from a trade-off between bounding unreclaimed memory and the speed of reclamation. Hazard pointer (HP) based algorithms bound unreclaimed memory at all times, but tend to be slower than other approaches. Epoch based reclamation (EBR) algorithms are faster, but do not bound memory reclamation. Other algorithms follow hybrid approaches, requiring special compiler or hardware support, changes to record layouts, and/or extensive code changes. Not all SMR algorithms can be used to reclaim memory for all data structures. We propose a new neutralization based reclamation (NBR) algorithm that is faster than the best known EBR algorithms and achieves bounded unreclaimed memory. It is non-blocking when used with a non-blocking operating system (OS) kernel, and only requires atomic read, write and CAS. NBR is straightforward to use with many different data structures, and in most cases, require similar reasoning and programmer effort to two-phased locking. NBR is implemented using OS signals and a lightweight handshaking mechanism between participating threads to determine when it is safe to reclaim a record. Experiments on a lock-based binary search tree and a lazy linked list show that NBR significantly outperforms many state of the art reclamation algorithms. In the tree NBR is faster than next best algorithm, DEBRA by upto 38% and HP by upto 17%. And, in the list NBR is 15% and 243% faster than DEBRA and HP, respectively.


title: Resolution limit revisited: community detection using generalized modularity density

abstract: Various attempts have been made in recent years to solve the Resolution Limit (RL) problem in community detection by considering variants of the modularity metric in the detection algorithms. These metrics purportedly largely mitigate the RL problem and are preferable to modularity in many realistic scenarios. However, they are not generally suitable for analyzing weighted networks or for detecting hierarchical community structure. Resolution limit problems can be complicated, though, and in particular it can be unclear when it should be considered as problem. In this paper, we introduce a metric that we call generalized modularity density $Q_g$ that eliminates the RL problem at any desired resolution and is easily extendable to study weighted and hierarchical networks. We also propose a benchmark test to quantify the resolution limit problem, examine various modularity-like metrics to show that the new metric $Q_g$ performs best, and show that $Q_g$ can identify modular structure in real-world and artificial networks that is otherwise hidden.

categories: physics.soc-ph cond-mat.stat-mech cs.DM cs.SI


title: Visual Probing and Correction of Object Recognition Models with Interactive user feedback

abstract: With the advent of state-of-the-art machine learning and deep learning technologies, several industries are moving towards the field. Applications of such technologies are highly diverse ranging from natural language processing to computer vision. Object recognition is one such area in the computer vision domain. Although proven to perform with high accuracy, there are still areas where such models can be improved. This is in-fact highly important in real-world use cases like autonomous driving or cancer detection, that are highly sensitive and expect such technologies to have almost no uncertainties. In this paper, we attempt to visualise the uncertainties in object recognition models and propose a correction process via user feedback. We further demonstrate our approach on the data provided by the VAST 2020 Mini-Challenge 2.


title: Quantum Monte Carlo study of few- and many-body Bose systems in one and two dimensions

abstract: In this Thesis, we report a detailed study of the ground-state properties of a set of quantum few- and many-body systems in one and two dimensions with different types of interactions by using Quantum Monte Carlo methods. Nevertheless, the main focus of this work is the study of the ground-state properties of an ultracold Bose system with dipole-dipole interaction between the particles. We consider the cases where the bosons are confined to a bilayer and multilayer geometries, that consist of equally spaced two-dimensional layers. These layers can be experimentally realized by imposing tight confinement in one direction. We specifically address the study of new quantum phases, their properties, and transitions between them. One expects these systems to have a rich collection of few- and many-body phases because the dipole-dipole interaction is anisotropic and quasi long-range.


title: Stirling numbers and inverse factorial series

abstract: We study inverse factorial series and their relation to Stirling numbers of the first kind. We prove a special representation of the polylogarithm function in terms of series with such numbers. Using various identities for Stirling numbers of the first kind we construct a number of expansions of functions in terms of inverse factorial series where the coefficients are special numbers. These results are used to prove/reprove the asymptotic expansion of some classical functions. We also prove a binomial formula involving inverse factorials.


title: Surface defects in holographic 5d SCFTs

abstract: We use holography to study codimension-2 surface defects in 5d SCFTs engineered by $(p,q)$ 5-brane webs. The three-dimensional defects are realized by D3-branes ending on the brane web. We identify the holographic representation of the defects in Type IIB $AdS_6$ solutions as probe D3-branes, and study conformal and non-conformal defects which, respectively, preserve one half and one quarter of the supersymmetry. For a sample of 5d SCFTs, including the $T_N$ theories, we provide explicit solutions for conformal and non-conformal defects. For the conformal defects we obtain their contribution to the free energy on $S^5$.


title: Magneto-Mechanical Transmitters for Ultra-Low Frequency Near-field Communication

abstract: Electromagnetic signals in the ultra-low frequency (ULF) range below 3 kHz are well suited for underwater and underground wireless communication thanks to low signal attenuation and high penetration depth. However, it is challenging to design ULF transmitters that are simultaneously compact and energy efficient using traditional approaches, e.g., using coils or dipole antennas. Recent works have considered magneto-mechanical alternatives, in which ULF magnetic fields are generated using the motion of permanent magnets, since they enable extremely compact ULF transmitters that can operate with low energy consumption and are suitable for human-portable applications. Here we explore the design and operating principles of resonant magneto-mechanical transmitters (MMT) that operate over frequencies spanning a few 10's of Hz up to 1 kHz. We experimentally demonstrate two types of MMT designs using both single-rotor and multi-rotor architectures. We study the nonlinear electro-mechanical dynamics of MMTs using point dipole approximation and magneto-static simulations. We further experimentally explore techniques to control the operation frequency and demonstrate amplitude modulation up to 10 bits-per-second.