title: Block-groups and Hall relations

abstract: A binary relation on a finite set is called a Hall relation if it contains a permutation of the set. Under the usual relational product, Hall relations form a semigroup which is known to be a block-group, that is, a semigroup with at most one idempotent in each $\mathrsfs{R}$-class and each $\mathrsfs{L}$-class. Here we show that in a certain sense, the converse is true: every block-group divides a semigroup of Hall relations on a finite set.


title: Next-to-leading order spin-orbit effects in the equations of motion, energy loss and phase evolution of binaries of compact bodies in the effective field theory approach

abstract: We compute spin-orbit effects in the equations of motion, binding energy and energy loss of binary systems of compact objects at the next-to-leading order in the post-Newtonian (PN) approximation in the effective field theory (EFT) framework. We then use these quantities to compute the evolution of the orbital frequency and accumulated orbital phase including spin-orbit effects beyond the dominant order. To obtain the results presented in this paper, we make use of known ingredients in the EFT literature, such as the potential and the multipole moments with spin effects at next-to-leading order, and which are given in the linearized harmonic gauge and with the spins in the locally flat frame. We also obtain the correction to the center-of-mass frame caused by spin-orbit effects at next-to-leading order. We demonstrate the equivalence between our EFT results and those which were obtained elsewhere using different formalisms. The results presented in this paper provide us with the final ingredients for the construction of theoretical templates for gravitational waves including next-to-leading order spin-orbit effects, which will be presented in a future publication.


title: Narrowband oblique whistler-mode waves: Comparing properties observed by Parker Solar Probe at <0.2 AU and STEREO at 1 AU

abstract: AIM: Large amplitude narrowband obliquely propagating whistler-mode waves at frequencies of ~0.2 fce (electron cyclotron frequency) are commonly observed at 1 AU, and are most consistent with the whistler heat flux fan instability. We want to determine whether similar whistler-mode waves occur inside 0.2 AU, and how their properties compare to those at 1 AU. METHODS: We utilize the waveform capture data from the Parker Solar Probe Fields instrument to develop a data base of narrowband whistler waves. The SWEAP instrument, in conjunction with the quasi-thermal noise measurement form Fields, provides the electron heat flux, beta, and other electron parameters. RESULTS: Parker Solar Probe observations inside ~0.3 AU show that the waves are more intermittent than at 1 AU, and are often interspersed with electrostatic whistler/Bernstein waves at higher frequencies. This is likely due to the more variable solar wind observed closer to the Sun. The whistlers usually occur within regions when the magnetic field is more variable and often with small increases in the solar wind speed. The near-sun whistler-mode waves are also narrowband and large amplitude, and associated with beta greater than 1. Wave angles are sometimes highly oblique (near the resonance cone), but angles have been determined for only a small fraction of the events. The association with heat flux and beta is generally consistent with the whistler fan instability although there are intervals where the heat flux is significantly lower than the instability limit. Strong scattering of strahl energy electrons is seen in association with the waves, providing evidence that the waves regulate the electron heat flux..


title: Non-archimedean generalized Bessel potentials and their applications

abstract: This article describes a class of pseudo-differential operators \begin{equation*} (\mathcal{A}^{\alpha}\varphi)(x)=\mathcal{F}^{-1}_{\xi \rightarrow x}\left(\left[\max\{|\boldsymbol{\psi}_{1}(||\xi||_{p})|,|\boldsymbol{\psi}_{2}(||\xi||_{p})|\}\right]^{-\alpha}\widehat{\varphi}(\xi)\right), \end{equation*} $\varphi\in \mathcal{D}(\mathbb{Q}_{p}^{n})$ and $\alpha\in\mathbb{C}$; here $\left[\max\{|\boldsymbol{\psi}_{1}(||\xi||_{p})|,|\boldsymbol{\psi}_{2}(||\xi||_{p})|\}\right]^{-\alpha}$ is the symbol of the operator $\mathcal{A}^{\alpha}$. These operators can be seen as a generalization of the Bessel potentials in the $p$-adic context. We show that the family $\left(K_{\alpha}\right)_{\alpha>0}$ of convolution kernels attached to generalized Bessel potentials $\mathcal{A}^{\alpha}$, $\alpha>0$, determine a convolution semigroup on $\mathbb{Q}_{p}^{n}$. Imposing certain conditions we have that $K_{\alpha}$, $\alpha>0$, is a probability measure on $\mathbb{Q}_{p}^{n}$. Moreover, we will study certain properties corresponding to the Green function of the operator $\mathcal{A}^{\alpha}$ and we show that heat equations, naturally associated to these operators, describes the cooling (or loss of heat) in a given region over time.


title: Autonomous Hybrid Ground/Aerial Mobility in Unknown Environments

abstract: Hybrid ground and aerial vehicles can possess distinct advantages over ground-only or flight-only designs in terms of energy savings and increased mobility. In this work we outline our unified framework for controls, planning, and autonomy of hybrid ground/air vehicles. Our contribution is three-fold: 1) We develop a control scheme for the control of passive two-wheeled hybrid ground/aerial vehicles. 2) We present a unified planner for both rolling and flying by leveraging differential flatness mappings. 3) We conduct experiments leveraging mapping and global planning for hybrid mobility in unknown environments, showing that hybrid mobility uses up to five times less energy than flying only.


title: A Principled Approach to GraphQL Query Cost Analysis

abstract: The landscape of web APIs is evolving to meet new client requirements and to facilitate how providers fulfill them. A recent web API model is GraphQL, which is both a query language and a runtime. Using GraphQL, client queries express the data they want to retrieve or mutate, and servers respond with exactly those data or changes. GraphQL's expressiveness is risky for service providers because clients can succinctly request stupendous amounts of data, and responding to overly complex queries can be costly or disrupt service availability. Recent empirical work has shown that many service providers are at risk. Using traditional API management methods is not sufficient, and practitioners lack principled means of estimating and measuring the cost of the GraphQL queries they receive. In this work, we present a linear-time GraphQL query analysis that can measure the cost of a query without executing it. Our approach can be applied in a separate API management layer and used with arbitrary GraphQL backends. In contrast to existing static approaches, our analysis supports common GraphQL conventions that affect query cost, and our analysis is provably correct based on our formal specification of GraphQL semantics. We demonstrate the potential of our approach using a novel GraphQL query-response corpus for two commercial GraphQL APIs. Our query analysis consistently obtains upper cost bounds, tight enough relative to the true response sizes to be actionable for service providers. In contrast, existing static GraphQL query analyses exhibit over-estimates and under-estimates because they fail to support GraphQL conventions.


title: Locked fronts in a discrete time discrete space population model

abstract: A model of population growth and dispersal is considered where the spatial habitat is a lattice and reproduction occurs generationally. The resulting discrete dynamical systems exhibits velocity locking, where rational speed invasion fronts are observed to persist as parameters are varied. In this article, we construct locked fronts for a particular piecewise linear reproduction function. These fronts are shown to be linear combinations of exponentially decaying solutions to the linear system near the unstable state. Based upon these front solutions, we then derive expressions for the boundary of locking regions in parameter space. We obtain leading order expansions for the locking regions in the limit as the migration parameter tends to zero. Strict spectral stability in exponentially weighted spaces is also established.


title: Generating Accurate Assert Statements for Unit Test Cases using Pretrained Transformers

abstract: Unit testing represents the foundational basis of the software testing pyramid, beneath integration and end-to-end testing. Automated software testing researchers have proposed a variety of techniques to assist developers in this time-consuming task. In this paper we present an approach to support developers in writing unit test cases by generating accurate and useful assert statements. Our approach is based on a state-of-the-art transformer model initially pretrained on an English textual corpus. This semantically rich model is then trained in a semi-supervised fashion on a large corpus of source code. Finally, we finetune this model on the task of generating assert statements for unit tests. The resulting model is able to generate accurate assert statements for a given method under test. In our empirical evaluation, the model was able to predict the exact assert statements written by developers in 62% of the cases in the first attempt. The results show 80% relative improvement for top-1 accuracy over the previous RNN-based approach in the literature. We also show the substantial impact of the pretraining process on the performances of our model, as well as comparing it with assert auto-completion task. Finally, we demonstrate how our approach can be used to augment EvoSuite test cases, with additional asserts leading to improved test coverage.


title: Identification and Correction of Temporal and Spatial Distortions in Scanning Transmission Electron Microscopy

abstract: Scanning transmission electron microscopy (STEM) has become the technique of choice for quantitative characterization of atomic structure of materials, where the minute displacements of atomic columns from high-symmetry positions can be used to map strain, polarization, octahedra tilts, and other physical and chemical order parameter fields. The latter can be used as inputs into mesoscopic and atomistic models, providing insight into the correlative relationships and generative physics of materials on the atomic level. However, these quantitative applications of STEM necessitate understanding the microscope induced image distortions and developing the pathways to compensate them both as part of a rapid calibration procedure for in situ imaging, and the post-experimental data analysis stage. Here, we explore the spatiotemporal structure of the microscopic distortions in STEM using multivariate analysis of the atomic trajectories in the image stacks. Based on the behavior of principal component analysis (PCA), we develop the Gaussian process (GP)-based regression method for quantification of the distortion function. The limitations of such an approach and possible strategies for implementation as a part of in-line data acquisition in STEM are discussed. The analysis workflow is summarized in a Jupyter notebook that can be used to retrace the analysis and analyze the reader's data.


title: Machine Learning for Temporal Data in Finance: Challenges and Opportunities

abstract: Temporal data are ubiquitous in the financial services (FS) industry -- traditional data like economic indicators, operational data such as bank account transactions, and modern data sources like website clickstreams -- all of these occur as a time-indexed sequence. But machine learning efforts in FS often fail to account for the temporal richness of these data, even in cases where domain knowledge suggests that the precise temporal patterns between events should contain valuable information. At best, such data are often treated as uniform time series, where there is a sequence but no sense of exact timing. At worst, rough aggregate features are computed over a pre-selected window so that static sample-based approaches can be applied (e.g. number of open lines of credit in the previous year or maximum credit utilization over the previous month). Such approaches are at odds with the deep learning paradigm which advocates for building models that act directly on raw or lightly processed data and for leveraging modern optimization techniques to discover optimal feature transformations en route to solving the modeling task at hand. Furthermore, a full picture of the entity being modeled (customer, company, etc.) might only be attainable by examining multiple data streams that unfold across potentially vastly different time scales. In this paper, we examine the different types of temporal data found in common FS use cases, review the current machine learning approaches in this area, and finally assess challenges and opportunities for researchers working at the intersection of machine learning for temporal data and applications in FS.


title: Lotka-Volterra population dynamics in coherent and tunable oscillators of trapped polariton condensates

abstract: We demonstrate a regime in which matter-wave condensates of exciton-polaritons trapped in an elliptically shaped two-dimensional potential appear as a coherent mixture of ground and first-excited state of the quantum harmonic oscillator. This system resembles an optically controllable two-level system and produces near terahertz harmonic oscillations of the condensate's center of mass along the major axis of the elliptical trapping potential. The population ratio between the two trap levels is tunable through the excitation laser power and is shown to follow Lotka-Volterra dynamics. We demonstrate coherence formation between two spatially displaced trapped condensate oscillators - the polaritonic analogue of Huygen's clock synchronization for coupled condensate oscillators.


title: An encounter in the realm of Structural Stability between a qualitative theory for geometric shapes and one for the integral foliations of differential equations

abstract: This evocative essay focuses on some landmarks that led the author to the study of principal curvature configurations on surfaces in $\mathbb R^3$, their structural stability and generic properties. The starting point was an encounter with the book of D. Struik and the reading of the references to the works of Euler, Monge and Darboux found there. The concatenation of these references with the work of Peixoto, 1962, on differential equations on surfaces, was a crucial second step. The circumstances of the convergence toward the theorems of Guti\'errez and Sotomayor, 1982 - 1983, are recounted here. The above 1982 - 1983 theorems are pointed out as the first encounter between the line of thought disclosed from the works of Monge, 1796, Dupin, 1815, and Darboux, 1896, with that transpiring from the achievements of Poincar\'e, 1881, Andronov - Pontrjagin, 1937, and Peixoto, 1962. Some mathematical developments sprouting from the 1982 - 1983 works are mentioned on the final section of this essay.


title: Solving Arithmetic Word Problems by Scoring Equations with Recursive Neural Networks

abstract: Solving arithmetic word problems is a cornerstone task in assessing language understanding and reasoning capabilities in NLP systems. Recent works use automatic extraction and ranking of candidate solution equations providing the answer to arithmetic word problems. In this work, we explore novel approaches to score such candidate solution equations using tree-structured recursive neural network (Tree-RNN) configurations. The advantage of this Tree-RNN approach over using more established sequential representations, is that it can naturally capture the structure of the equations. Our proposed method consists of transforming the mathematical expression of the equation into an expression tree. Further, we encode this tree into a Tree-RNN by using different Tree-LSTM architectures. Experimental results show that our proposed method (i) improves overall performance with more than 3% accuracy points compared to previous state-of-the-art, and with over 15% points on a subset of problems that require more complex reasoning, and (ii) outperforms sequential LSTMs by 4% accuracy points on such more complex problems.


title: Scalar tachyonic instabilities in gravitational backgrounds: Existence and growth rate

abstract: It is well known that the Klein Gordon (KG) equation $\Box \Phi + m^2\Phi=0$ has tachyonic unstable modes on large scales ($k^2<\vert m \vert^2$) for $m^2<m_{cr}^2=0$ in a flat Minkowski spacetime with maximum growth rate $\Omega_{F}(m)= \vert m \vert$ achieved at $k=0$. We investigate these instabilities in a Reissner-Nordstr\"om-deSitter (RN-dS) background spacetime with mass $M$, charge $Q$, cosmological constant $\Lambda>0$ and multiple horizons. By solving the KG equation in the range between the event and cosmological horizons, using tortoise coordinates $r_*$, we identify the bound states of the emerging Schrodinger-like Regge-Wheeler equation corresponding to instabilities. We find that the critical value $m_{cr}$ such that for $m^2<m_{cr}^2$ bound states and instabilities appear, remains equal to the flat space value $m_{cr}=0$ for all values of background metric parameters despite the locally negative nature of the Regge-Wheeler potential for $m=0$. However, the growth rate $\Omega$ of tachyonic instabilities for $m^2<0$ gets significantly reduced compared to the flat case for all parameter values of the background metric ($\Omega(Q/M,M^2 \Lambda, mM)< \vert m \vert$). This increased lifetime of tachyonic instabilities is maximal in the case of a near extreme Schwarzschild-deSitter (SdS) black hole where $Q=0$ and the cosmological horizon is nearly equal to the event horizon ($\xi \equiv 9M^2 \Lambda \simeq 1$). The physical reason for this delay of instability growth appears to be the existence of a cosmological horizon that tends to narrow the negative range of the Regge-Wheeler potential in tortoise coordinates.


title: A Selective Review of Negative Control Methods in Epidemiology

abstract: Purpose of Review: Negative controls are a powerful tool to detect and adjust for bias in epidemiological research. This paper introduces negative controls to a broader audience and provides guidance on principled design and causal analysis based on a formal negative control framework. Recent Findings: We review and summarize causal and statistical assumptions, practical strategies, and validation criteria that can be combined with subject matter knowledge to perform negative control analyses. We also review existing statistical methodologies for detection, reduction, and correction of confounding bias, and briefly discuss recent advances towards nonparametric identification of causal effects in a double negative control design. Summary: There is great potential for valid and accurate causal inference leveraging contemporary healthcare data in which negative controls are routinely available. Design and analysis of observational data leveraging negative controls is an area of growing interest in health and social sciences. Despite these developments, further effort is needed to disseminate these novel methods to ensure they are adopted by practicing epidemiologists.


title: Computationally Efficient Bayesian Unit-Level Models for Non-Gaussian Data Under Informative Sampling

abstract: Statistical estimates from survey samples have traditionally been obtained via design-based estimators. In many cases, these estimators tend to work well for quantities such as population totals or means, but can fall short as sample sizes become small. In today's "information age," there is a strong demand for more granular estimates. To meet this demand, using a Bayesian pseudo-likelihood, we propose a computationally efficient unit-level modeling approach for non-Gaussian data collected under informative sampling designs. Specifically, we focus on binary and multinomial data. Our approach is both multivariate and multiscale, incorporating spatial dependence at the area-level. We illustrate our approach through an empirical simulation study and through a motivating application to health insurance estimates using the American Community Survey.


title: The Design Of "Stratega": A General Strategy Games Framework

abstract: Stratega, a general strategy games framework, has been designed to foster research on computational intelligence for strategy games. In contrast to other strategy game frameworks, Stratega allows to create a wide variety of turn-based and real-time strategy games using a common API for agent development. While the current version supports the development of turn-based strategy games and agents, we will add support for real-time strategy games in future updates. Flexibility is achieved by utilising YAML-files to configure tiles, units, actions, and levels. Therefore, the user can design and run a variety of games to test developed agents without specifically adjusting it to the game being generated. The framework has been built with a focus of statistical forward planning (SFP) agents. For this purpose, agents can access and modify game-states and use the forward model to simulate the outcome of their actions. While SFP agents have shown great flexibility in general game-playing, their performance is limited in case of complex state and action-spaces. Finally, we hope that the development of this framework and its respective agents helps to better understand the complex decision-making process in strategy games. Stratega can be downloaded at: https://github.research.its.qmul.ac.uk/eecsgameai/Stratega


title: Quasi-adiabatic and stochastic heating and particle acceleration at quasi-perpendicular shocks

abstract: Based on Magnetospheric Multiscale (MMS) observations from the Earth's bow shock, we have identified two plasma heating processes that operate at quasi-perpendicular shocks. Ions are subject to stochastic heating in a process controlled by the heating function $\chi_j = m_j q_j^{-1} B^{-2}\mathrm{div}(\mathbf{E}_\perp)$ for particles with mass $m_j$ and charge $q_j$ in the electric and magnetic fields $\mathbf{E}$ and $\mathbf{B}$. Test particle simulations are employed to identify the parameter ranges for bulk heating and stochastic acceleration of particles in the tail of the distribution function. The simulation results are used to show that ion heating and acceleration in the studied bow shock crossings is accomplished by waves at frequencies (1-10)$f_{cp}$ (proton gyrofrequency) for the bulk heating, and $f>10f_{cp}$ for the tail acceleration. When electrons are not in the stochastic heating regime, $|\chi_e|<1$, they undergo a quasi-adiabatic heating process characterized by the isotropic temperature relation $T/B=(T_0/B_0)(B_0/B)^{1/3}$. This is obtained when the energy gain from the conservation of the magnetic moment is redistributed to the parallel energy component through the scattering by waves. The results reported in this paper may also be applicable to particle heating and acceleration at astrophysical shocks.

categories: physics.space-ph astro-ph.EP astro-ph.HE physics.plasm-ph


title: Switchbacks as signatures of magnetic flux ropes generated by interchange reconnection in the corona

abstract: The structure of magnetic flux ropes injected into the solar wind during reconnection in the coronal atmosphere is explored with particle-in-cell simulations and compared with in situ measurements of magnetic "switchbacks" from the Parker Solar Probe. We suggest that multi-x-line reconnection between open and closed flux in the corona injects flux ropes into the solar wind and that these flux ropes convect outward over long distances before eroding due to reconnection. Simulations that explore the magnetic structure of flux ropes in the solar wind reproduce the following key features of the switchback observations: a rapid rotation of the radial magnetic field into the transverse direction, which is a consequence of reconnection with a strong guide field; and the potential to reverse the radial field component. The potential implication of the injection of large numbers of flux ropes in the coronal atmosphere for understanding the generation of the solar wind is discussed.


title: Complementary Numerical Sets

abstract: A numerical set $S$ is a cofinite subset of $\mathbb{N}$ which contains $0$. We use the natural bijection between numerical sets and Young diagrams to define a numerical set $\widetilde{S}$, such that their Young diagrams are complements. We determine various properties of $\widetilde{S}$, particularly with an eye to closure under addition (for both $S$ and $\widetilde{S}$), which promotes a numerical set to become a numerical semigroup.


title: Compressed Deep Networks: Goodbye SVD, Hello Robust Low-Rank Approximation

abstract: A common technique for compressing a neural network is to compute the $k$-rank $\ell_2$ approximation $A_{k,2}$ of the matrix $A\in\mathbb{R}^{n\times d}$ that corresponds to a fully connected layer (or embedding layer). Here, $d$ is the number of the neurons in the layer, $n$ is the number in the next one, and $A_{k,2}$ can be stored in $O((n+d)k)$ memory instead of $O(nd)$. This $\ell_2$-approximation minimizes the sum over every entry to the power of $p=2$ in the matrix $A - A_{k,2}$, among every matrix $A_{k,2}\in\mathbb{R}^{n\times d}$ whose rank is $k$. While it can be computed efficiently via SVD, the $\ell_2$-approximation is known to be very sensitive to outliers ("far-away" rows). Hence, machine learning uses e.g. Lasso Regression, $\ell_1$-regularization, and $\ell_1$-SVM that use the $\ell_1$-norm. This paper suggests to replace the $k$-rank $\ell_2$ approximation by $\ell_p$, for $p\in [1,2]$. We then provide practical and provable approximation algorithms to compute it for any $p\geq1$, based on modern techniques in computational geometry. Extensive experimental results on the GLUE benchmark for compressing BERT, DistilBERT, XLNet, and RoBERTa confirm this theoretical advantage. For example, our approach achieves $28\%$ compression of RoBERTa's embedding layer with only $0.63\%$ additive drop in the accuracy (without fine-tuning) in average over all tasks in GLUE, compared to $11\%$ drop using the existing $\ell_2$-approximation. Open code is provided for reproducing and extending our results.


title: Regular and bistable steady-state superradiant phases of an atomic beam traversing an optical cavity

abstract: We investigate the different photon emission regimes created by a preexcited and collimated atomic beam passing through a single mode of an optical cavity. In the regime where the cavity degrees of freedom can be adiabatically eliminated, we find that the atoms undergo superradiant emission when the collective linewidth exceeds the transit-time broadening. We analyze the case where the atomic beam direction is slanted with respect to the cavity axis. For this situation, we find that a phase of continuous light emission similar to steady-state superradiance is established providing the tilt of the atomic beam is sufficiently small. However, if the atoms travel more than half a wavelength along the cavity axis during one transit time we predict a dynamical phase transition to a new bistable superradiant regime. In this phase the atoms undergo collective spontaneous emission with a frequency that can be either blue or red detuned from the free-space atomic resonance. We analyze the different superradiant regimes and the quantum critical crossover boundaries. In particular we find the spectrum of the emitted light and show that the linewidth exhibits features of a critical scaling close to the phase boundaries.


title: Evaporative self-assembly of motile droplets

abstract: Self-assembly is the underlying building principle of biological systems and represents a promising approach for the future of manufacturing, but the yields are often limited by undesirable metastable states. Meanwhile, annealing methods have long been an important means to guide complex systems towards optimal states. Despite their importance, there have been few attempts to experimentally visualize the microscopic dynamics that occur during annealing. Here, we present an experimental system that enables the study of interacting many-body dynamics by exploiting the physics of multi-droplet evaporation on a prescribed lattice network. Ensembles of motile binary droplets are seeded into a hexagonal lattice template where interactions are mediated through the vapor phase and can be manipulated through the application of a global gravitational field. We show that for finite systems (61 droplets) the interacting droplets have an effective long-ranged interaction that results in the formation of frustrated, metastable states. Application of a periodic, global gravitational field can drive the system through a non-equilibrium phase transition separating phase-locked synchronization from interaction-dominated behavior. Finally, we directly visualize field-driven annealing that leads to terminal states that are less frustrated. Overall, our results represent a new platform for studying many-body physics with long-ranged interactions, enabling the design of field-based control strategies for programming the self-assembly of complex many-body systems.


title: Parallel Temperature Interfaces in the Katz-Lebowitz-Spohn Driven Lattice Gas

abstract: We explore a variant of the Katz-Lebowitz-Spohn (KLS) driven lattice gas in two dimensions, where the lattice is split into two regions that are coupled to heat baths with distinct temperatures. The temperature boundaries are oriented parallel to the external particle drive. If the hopping rates at the interfaces satisfy particle-hole symmetry, the current difference across them generates a vector flow diagram akin to a vortex sheet. We have studied the finite-size scaling of the particle density fluctuations in both temperature regions, and observed that it is controlled by the respective temperature values. If the colder subsystem is maintained at the KLS critical temperature, while the hotter subsystem's temperature is set much higher, the interface current greatly suppresses particle exchange between the two regions. As a result of the ensuing effective subsystem decoupling, strong fluctuations persist in the critical region, whence the particle density fluctuations scale with the KLS critical exponents. However, if both temperatures are set well above the critical temperature, the particle density fluctuations scale according to the totally asymmetric exclusion process (TASEP). We have also measured the entropy production rate in both subsystems; it displays intriguing algebraic decay in the critical region, while it saturates quickly at a small but non-zero level in the hotter region. We have also considered another possible choice of the hopping rates across the temperature interfaces that explicitly breaks particle-hole symmetry. In that case the boundary rates induce a net particle flux across the interfaces that displays power-law behavior, until ultimately the particle exclusion constraints generate a clogging transition to an inert state.


title: Multimodal Depression Severity Prediction from medical bio-markers using Machine Learning Tools and Technologies

abstract: Depression has been a leading cause of mental-health illnesses across the world. While the loss of lives due to unmanaged depression is a subject of attention, so is the lack of diagnostic tests and subjectivity involved. Using behavioural cues to automate depression diagnosis and stage prediction in recent years has relatively increased. However, the absence of labelled behavioural datasets and a vast amount of possible variations prove to be a major challenge in accomplishing the task. This paper proposes a novel Custom CM Ensemble approach and focuses on a paradigm of a cross-platform smartphone application that takes multimodal inputs from a user through a series of pre-defined questions, sends it to the Cloud ML architecture and conveys back a depression quotient, representative of its severity. Our app estimates the severity of depression based on a multi-class classification model by utilizing the language, audio, and visual modalities. The given approach attempts to detect, emphasize, and classify the features of a depressed person based on the low-level descriptors for verbal and visual features, and context of the language features when prompted with a question. The model achieved a precision value of 0.88 and an accuracy of 91.56%. Further optimization reveals the intramodality and intermodality relevance through the selection of the most influential features within each modality for decision making.


title: Covid-19 impact on cryptocurrencies: evidence from a wavelet-based Hurst exponent

abstract: Cryptocurrency history begins in 2008 as a means of payment proposal. However, cryptocurrencies evolved into complex, high yield speculative assets. Contrary to traditional financial instruments, they are not (mostly) traded in organized, law-abiding venues, but on online platforms, where anonymity reigns. This paper examines the long term memory in return and volatility, using high frequency time series of eleven important coins. Our study covers the pre-Covid-19 and the subsequent pandemia period. We use a recently developed method, based on the wavelet transform, which provides more robust estimators of the Hurst exponent. We detect that, during the peak of Covid-19 pandemic (around March 2020), the long memory of returns was only mildly affected. However, volatility suffered a temporary impact in its long range correlation structure. Our results could be of interest for both academics and practitioners.


title: Teaching Tech to Talk: K-12 Conversational Artificial Intelligence Literacy Curriculum and Development Tools

abstract: With children talking to smart-speakers, smart-phones and even smart-microwaves daily, it is increasingly important to educate students on how these agents work-from underlying mechanisms to societal implications. Researchers are developing tools and curriculum to teach K-12 students broadly about artificial intelligence (AI); however, few studies have evaluated these tools with respect to AI-specific learning outcomes, and even fewer have addressed student learning about AI-based conversational agents. We evaluate our Conversational Agent Interface for MIT App Inventor and workshop curriculum with respect to eight AI competencies from the literature. Furthermore, we analyze teacher (n=9) and student (n=47) feedback from workshops with the interface and recommend that future work leverages design considerations from the literature to optimize engagement, collaborates with teachers, and addresses a range of student abilities through pacing and opportunities for extension. We found students struggled most with the concepts of AI ethics and learning, and recommend emphasizing these topics when teaching. The appendix, including a demo video, can be found here: https://gist.github.com/jessvb/1cd959e32415a6ad4389761c49b54bbf


title: Reinforcement Learning for Optimal Primary Frequency Control: A Lyapunov Approach

abstract: As more inverter-connected renewable resources are integrated into the grid, frequency stability may degrade because of the reduction in mechanical inertia and damping. A common approach to mitigate this degradation in performance is to use the power electronic interfaces of the renewable resources for primary frequency control. Since inverter-connected resources can realize almost arbitrary responses to frequency changes, they are not limited to reproducing the linear droop behaviors. To fully leverage their capabilities, reinforcement learning (RL) has emerged as a popular method to design nonlinear controllers to optimize a host of objective functions. Because both inverter-connected resources and synchronous generators would be a significant part of the grid in the near and intermediate future, the learned controller of the former should be stabilizing with respect to the nonlinear dynamics of the latter. To overcome this challenge, we explicitly engineer the structure of neural network-based controllers such that they guarantee system stability by construction, through the use of a Lyapunov function. A recurrent neural network architecture is used to efficiently train the controllers. The resulting controllers only use local information and outperform optimal linear droop as well as other state-of-the-art learning approaches.


title: Lattice calculation of transport coefficient $\hat{q}$ in pure gluon plasma and (2+1)-flavor QCD plasma

abstract: The transport coefficient $\hat{q}$ is a leading coefficient that controls the modification of the hard parton traversing QGP, and hence, responsible for the suppression of the high transverse momentum (transverse to the beam direction) charged-hadrons in heavy-ion collisions. In this article, we present the first unquenched lattice QCD calculation of $\hat{q}$. The calculation is carried out using (2+1)-flavor of quarks, using the highly improved staggered quark action (HISQ) and tree-level Symanzik improved gauge action. The calculation is performed in a wide range of temperatures, ranging from 200 MeV $<T<$ 800 MeV using MILC code package. We considered a leading-order process where a hard parton scatters off the glue field of a thermal QCD medium by exchanging a Glauber gluon (whose transverse momentum is larger than its longitudinal components). The hard scale associated with the jet parton allows the coupling of the gluon to that parton to be treated in perturbation theory. The coupling of the gluon to the medium is treated non-perturbatively. This non-perturbative part is expressed in terms of a non-local (two-point) field-strength-field-strength operator product which can be Taylor expanded after analytic continuation to the deep Euclidean region. Such an expansion allows us to write $\hat{q}$ in terms of a series of local operators, which are suppressed by factors of the hard parton energy. The calculated $\hat{q}$ and its temperature dependence demonstrates reasonable agreement with the phenomenological extraction carried out by the JET collaboration.


title: Dynamics of a driven confined polyelectrolyte solution

abstract: The transport of polyelectrolytes confined by oppositely charged surfaces and driven by a constant electric field is of interest in studies of DNA separation according to size. Using molecular dynamics simulations that include surface polarization effect, we find that the mobilities of the polyelectrolytes and their counterions change non-monotonically with the confinement surface charge density. For an optimum value of the confinement charge density, efficient separation of polyelectrolytes can be achieved over a wide range of polyelectrolyte charge due to the differential friction imparted by the oppositely charged confinement on the polyelectrolyte chains. Furthermore, by altering the placement of the charged confinement counterions, enhanced polyelectrolyte separation can be achieved by utilizing surface polarization effect due to dielectric mismatch between the media inside and outside the confinement.


title: Unambiguous discrimination of Fermionic states through local operations and classical communication

abstract: The paper studies unambiguous discrimination of Fermionic states through local operations and classical communication (LOCC). In the task of unambiguous discrimination, no error is tolerated but an inconclusive result is allowed. We show that contrary to the quantum case, it is not always possible to distinguish two Fermionic states through LOCC unambiguously with the same success probability as if global measurements were allowed. Furthermore, we prove that we can overcome such a limit through an ancillary system made of two Fermionic modes, independently of the dimension of the system, prepared in a maximally entangled state: in this case, LOCC protocols achieve the optimal success probability.


title: Coupled Transport Equations for Quarkonium Production in Heavy Ion Collisions

abstract: Motivated by recent applications of the open quantum system formalism to understand quarkonium transport in the quark-gluon plasma, we develop a set of coupled Boltzmann equations for open heavy quark-antiquark pairs and quarkonia. Our approach keeps track of the correlation between the heavy quark-antiquark pair from quarkonium dissociation and thus is able to account for both uncorrelated and correlated recombination. By solving the coupled Boltzmann equations for current heavy ion collision experiments, we find correlated recombination is crucial to describe the data of bottomonia nuclear modification factors. To further test the importance of correlated recombination in experiments, we propose a new observable: $\frac{R_{AA}[\chi_b(1P)]}{R_{AA}[\Upsilon(2S)]}$. Future measurements of this ratio will help distinguish calculations with and without correlated recombination.


title: On backward uniqueness for parabolic equations when Osgood continuity of the coefficients fails at one point

abstract: We prove uniqueness for backward parabolic equations whose coefficients are Osgood continuous in time for $t>0$ but not at $t=0$.


title: Abstract Neural Networks

abstract: Deep Neural Networks (DNNs) are rapidly being applied to safety-critical domains such as drone and airplane control, motivating techniques for verifying the safety of their behavior. Unfortunately, DNN verification is NP-hard, with current algorithms slowing exponentially with the number of nodes in the DNN. This paper introduces the notion of Abstract Neural Networks (ANNs), which can be used to soundly overapproximate DNNs while using fewer nodes. An ANN is like a DNN except weight matrices are replaced by values in a given abstract domain. We present a framework parameterized by the abstract domain and activation functions used in the DNN that can be used to construct a corresponding ANN. We present necessary and sufficient conditions on the DNN activation functions for the constructed ANN to soundly over-approximate the given DNN. Prior work on DNN abstraction was restricted to the interval domain and ReLU activation function. Our framework can be instantiated with other abstract domains such as octagons and polyhedra, as well as other activation functions such as Leaky ReLU, Sigmoid, and Hyperbolic Tangent.


title: Reactions Governing Strangeness Abundance in Primordial Universe

abstract: Strangness production processes can balance natural strangeness decay in the early hadronic Universe. Comparing to the characteristic Hubble time $1/H$, the reaction rates for $\mu^\pm+\nu_{\mu}\rightarrow K^\pm$, $l^-+l^+\rightarrow\phi$, and $\pi+\pi\rightarrow K$ in sequence become slower than expansion rate at $T=33.9\,\mathrm{MeV}$, $T=25\,\mathrm{MeV}$ and $T=20\,\mathrm{MeV}$ respectively. This means that in the antibaryon annihilation epoch near to $T\simeq 40\,\mathrm{MeV}$ strangeness is in chemical equilibrium.


title: The Stable Limit of Moduli Spaces of Polygons

abstract: Polygon spaces have been studied extensively, and yet missing from the literature is a simple property that every polygon has: dimension. This is distinct (possibly) from the dimension of the ambient space in which the polygon lives. A square, in the usual sense of the word, is $2$-dimensional no matter the dimension of the ambient space in which it is embedded. If the ambient space has dimension greater than or equal to $3$ we may bend the square along a diagonal to produce a $3$-dimensional polygon with the same edge-lengths. And yet even if the dimension of the ambient space is large, no amount of bending of the square will produce a polygon of dimension larger than $3$. We generalize this idea to show that there are only finitely many moduli spaces of polygons with given edge-lengths, even as the ambient dimension increases without bound.


title: Reconstruction of a star motion in the vicinity of a Schwarzschild black hole by redshift of the spectrum

abstract: We investigate the time evolution of the redshift of the spectrum of electromagnetic radiation that is emitted by the star that moves in the vicinity of supermassive black hole. For the case of Schwarzschild black hole we solve this problem exactly in General Theory of Relativity. Also we formulate an approach that gives possibilities to solve the inverse problem: reconstruction of motion of a star in the vicinity of black hole using the redshift data. This approach consists of two steps. The first step gives possibilities to find unique solution for the integrals of motion of the star by solution of a system of non-linear equations, rather than the direct application of standard statistical methods. For this purpose we consider properties of congruences of isotropic geodesics that connect of the worldline of the source and the worldline of the observer. The second step is the application of standard least squares method in order to obtain more accurate solution. This approach is used on the numerical model of the star in the vicinity of the Center of our Galaxy.


title: Towards an Atlas of Cultural Commonsense for Machine Reasoning

abstract: Existing commonsense reasoning datasets for AI and NLP tasks fail to address an important aspect of human life: cultural differences. We introduce an approach that extends prior work on crowdsourcing commonsense knowledge by incorporating differences in knowledge that are attributable to cultural or national groups. We demonstrate the technique by collecting commonsense knowledge that surrounds six fairly universal rituals -- birth, coming-of-age, marriage, funerals, new year, and birthdays -- across two national groups: the United States and India. Our study expands the different types of relationships identified by existing work in the field of commonsense reasoning for commonplace events, and uses these new types to gather information that distinguish the identity of the groups providing the knowledge. It also moves us a step closer towards building a machine that doesn't assume a rigid framework of universal (and likely Western-biased) commonsense knowledge, but rather has the ability to reason in a contextually and culturally sensitive way. Our hope is that cultural knowledge of this sort will lead to more human-like performance in NLP tasks such as question answering (QA) and text understanding and generation.


title: Spatio-Temporal Functional Neural Networks

abstract: Explosive growth in spatio-temporal data and its wide range of applications have attracted increasing interests of researchers in the statistical and machine learning fields. The spatio-temporal regression problem is of paramount importance from both the methodology development and real-world application perspectives. Given the observed spatially encoded time series covariates and real-valued response data samples, the goal of spatio-temporal regression is to leverage the temporal and spatial dependencies to build a mapping from covariates to response with minimized prediction error. Prior arts, including the convolutional Long Short-Term Memory (CovLSTM) and variations of the functional linear models, cannot learn the spatio-temporal information in a simple and efficient format for proper model building. In this work, we propose two novel extensions of the Functional Neural Network (FNN), a temporal regression model whose effectiveness and superior performance over alternative sequential models have been proven by many researchers. The effectiveness of the proposed spatio-temporal FNNs in handling varying spatial correlations is demonstrated in comprehensive simulation studies. The proposed models are then deployed to solve a practical and challenging precipitation prediction problem in the meteorology field.


title: Affine Transformation-Based Deep Frame Prediction

abstract: We propose a neural network model to estimate the current frame from two reference frames, using affine transformation and adaptive spatially-varying filters. The estimated affine transformation allows for using shorter filters compared to existing approaches for deep frame prediction. The predicted frame is used as a reference for coding the current frame. Since the proposed model is available at both encoder and decoder, there is no need to code or transmit motion information for the predicted frame. By making use of dilated convolutions and reduced filter length, our model is significantly smaller, yet more accurate, than any of the neural networks in prior works on this topic. Two versions of the proposed model - one for uni-directional, and one for bi-directional prediction - are trained using a combination of Discrete Cosine Transform (DCT)-based l1-loss with various transform sizes, multi-scale Mean Squared Error (MSE) loss, and an object context reconstruction loss. The trained models are integrated with the HEVC video coding pipeline. The experiments show that the proposed models achieve about 7.3%, 5.4%, and 4.2% bit savings for the luminance component on average in the Low delay P, Low delay, and Random access configurations, respectively.


title: A Hamilton-Jacobi approach of sensitivity of ODE flows and switching points in optimal control problems

abstract: In optimal control problems of control-affine systems, whose solutions are bang-bang or singular type, verification of optimality using the Hamilton-Jacobi-Bellman (HJB) equation involves the computation of partial derivatives of switching times and switching states with respect to initial conditions (time and state). In this paper, we establish a formula for the partial derivatives of ordinary differential equations (ODE) flows with respect to initial conditions, which is more suitable for using in HJB equation than such provided by the classical theory of ODE. We apply the obtained results to the sensitivity analysis of hitting time and state of a reachable set, that in an optimal control problem can represent a switching locus.


title: KSM: Fast Multiple Task Adaption via Kernel-wise Soft Mask Learning

abstract: Deep Neural Networks (DNN) could forget the knowledge about earlier tasks when learning new tasks, and this is known as \textit{catastrophic forgetting}. While recent continual learning methods are capable of alleviating the catastrophic problem on toy-sized datasets, some issues still remain to be tackled when applying them in real-world problems. Recently, the fast mask-based learning method (e.g. piggyback \cite{mallya2018piggyback}) is proposed to address these issues by learning only a binary element-wise mask in a fast manner, while keeping the backbone model fixed. However, the binary mask has limited modeling capacity for new tasks. A more recent work \cite{hung2019compacting} proposes a compress-grow-based method (CPG) to achieve better accuracy for new tasks by partially training backbone model, but with order-higher training cost, which makes it infeasible to be deployed into popular state-of-the-art edge-/mobile-learning. The primary goal of this work is to simultaneously achieve fast and high-accuracy multi task adaption in continual learning setting. Thus motivated, we propose a new training method called \textit{kernel-wise Soft Mask} (KSM), which learns a kernel-wise hybrid binary and real-value soft mask for each task, while using the same backbone model. Such a soft mask can be viewed as a superposition of a binary mask and a properly scaled real-value tensor, which offers a richer representation capability without low-level kernel support to meet the objective of low hardware overhead. We validate KSM on multiple benchmark datasets against recent state-of-the-art methods (e.g. Piggyback, Packnet, CPG, etc.), which shows good improvement in both accuracy and training cost.


title: Quantifying Membership Inference Vulnerability via Generalization Gap and Other Model Metrics

abstract: We demonstrate how a target model's generalization gap leads directly to an effective deterministic black box membership inference attack (MIA). This provides an upper bound on how secure a model can be to MIA based on a simple metric. Moreover, this attack is shown to be optimal in the expected sense given access to only certain likely obtainable metrics regarding the network's training and performance. Experimentally, this attack is shown to be comparable in accuracy to state-of-art MIAs in many cases.


title: Reactive fungal wearable

abstract: Smart wearables sense and process information from the user's body and environment and report results of their analysis as electrical signals. Conventional electronic sensors and controllers are commonly, sometimes augmented by recent advances in soft electronics. Organic electronics and bioelectronics, especially with living substrates, offer a great opportunity to incorporate parallel sensing and information processing capabilities of natural systems into future and emerging wearables. Nowadays fungi are emerging as a promising candidate to produce sustainable textiles to be used as ecofriendly biowearables. To assess the sensing potential of fungal wearables we undertook laboratory experiments on electrical response of a hemp fabric colonised by oyster fungi~\emph{Pleurotus ostreatus} to mechanical stretching and stimulation with attractants and repellents. We have shown that it is possible to discern a nature of stimuli from the fungi electrical responses. The results paved a way towards future design of intelligent sensing patches to be used in reactive fungal wearables.


title: Inverse mapping of face GANs

abstract: Generative adversarial networks (GANs) synthesize realistic images from a random latent vector. While many studies have explored various training configurations and architectures for GANs, the problem of inverting a generative model to extract latent vectors of given input images has been inadequately investigated. Although there is exactly one generated image per given random vector, the mapping from an image to its recovered latent vector can have more than one solution. We train a ResNet architecture to recover a latent vector for a given face that can be used to generate a face nearly identical to the target. We use a perceptual loss to embed face details in the recovered latent vector while maintaining visual quality using a pixel loss. The vast majority of studies on latent vector recovery perform well only on generated images, we argue that our method can be used to determine a mapping between real human faces and latent-space vectors that contain most of the important face style details. In addition, our proposed method projects generated faces to their latent-space with high fidelity and speed. At last, we demonstrate the performance of our approach on both real and generated faces.


title: Solar Analogs as a Tool to Understand the Sun

abstract: Solar analogs, broadly defined as stars similar to the Sun in mass or spectral type, provide a useful laboratory for exploring the range of Sun-like behaviors and exploring the physical mechanisms underlying some of the Sun's most elusive processes like coronal heating and the dynamo. We describe a series of heliophysics-motivated, but astrophysics-like studies of solar analogs. We argue for a range of stellar observations, including (a) the identification and fundamental parameter determination of new solar analogs, and (b) characterizing emergent properties like activity, magnetism, and granulation. These parameters should be considered in the framework of statistical studies of the dependences of these observables on fundamental stellar parameters like mass, metallicity, and rotation.


title: Applications of Deep Neural Networks with Keras

abstract: Deep learning is a group of exciting new technologies for neural networks. Through a combination of advanced training techniques and neural network architectural components, it is now possible to create neural networks that can handle tabular data, images, text, and audio as both input and output. Deep learning allows a neural network to learn hierarchies of information in a way that is like the function of the human brain. This course will introduce the student to classic neural network structures, Convolution Neural Networks (CNN), Long Short-Term Memory (LSTM), Gated Recurrent Neural Networks (GRU), General Adversarial Networks (GAN), and reinforcement learning. Application of these architectures to computer vision, time series, security, natural language processing (NLP), and data generation will be covered. High-Performance Computing (HPC) aspects will demonstrate how deep learning can be leveraged both on graphical processing units (GPUs), as well as grids. Focus is primarily upon the application of deep learning to problems, with some introduction to mathematical foundations. Readers will use the Python programming language to implement deep learning using Google TensorFlow and Keras. It is not necessary to know Python prior to this book; however, familiarity with at least one programming language is assumed.


title: Explosion analysis from images: Trinity and Beirut

abstract: Images of an explosion can be used to study some of its physical properties. After reviewing the key aspects of the method originally developed to study the first nuclear detonation and analyzing the Trinity blast data, the method is applied to the Beirut explosion of August 2020 by using images from videos posted online. The applicability of the method is discussed and the process of selection, extraction, and analysis of the data is presented. The estimate for the energy yield of the Beirut explosion is found to be $2.3^{+1.1}_{-1.1}$ TJ or $0.6^{+0.3}_{-0.3}$ kt of TNT equivalent. The result is consistent with others recently appeared in the literature using different methods. Notice that this article includes content that some readers may find distressing.


title: Coreference Resolution System for Indonesian Text with Mention Pair Method and Singleton Exclusion using Convolutional Neural Network

abstract: Neural network has shown promising performance on coreference resolution systems that uses mention pair method. With deep neural network, it can learn hidden and deep relations between two mentions. However, there is no work on coreference resolution for Indonesian text that uses this learning technique. The state-of-the-art system for Indonesian text only states the use of lexical and syntactic features can improve the existing coreference resolution system. In this paper, we propose a new coreference resolution system for Indonesian text with mention pair method that uses deep neural network to learn the relations of the two mentions. In addition to lexical and syntactic features, in order to learn the representation of the mentions words and context, we use word embeddings and feed them to Convolutional Neural Network (CNN). Furthermore, we do singleton exclusion using singleton classifier component to prevent singleton mentions entering any entity clusters at the end. Achieving 67.37% without singleton exclusion, 63.27% with trained singleton classifier, and 75.95% with gold singleton classifier on CoNLL average F1 score, our proposed system outperforms the state-of-the-art system.


title: The luminosity constraint in the era of precision solar physics

abstract: The luminosity constraint is a very precise relationship linking the power released by the Sun as photons and the solar neutrino fluxes. Such a relation, which is a direct consequence of the physical processes controlling the production and the transport of energy in the solar interior, is of great importance for the studies of solar neutrinos and has a special role for the search of neutrinos from the CNO cycle, whose first detection with a 5$\sigma$ significance has been recently announced by the Borexino collaboration. Here we revise the luminosity constraint, discussing and validating its underlying hypotheses, in the light of latest solar neutrino and luminosity measurements. We generalize the current formulation of the luminosity constraint relation so that it can be easily used in future analysis of solar neutrino data, and we provide a specific application showing the link between CNO and pp neutrino fluxes.


title: Engineering entanglement and teleportation via solving Lindblad master equation

abstract: An experimentally realizable model based on the interaction between an excited two-level atom and a radiation field inside two quantum electrodynamics cavities is proposed. It consists of sending an excited two-level atom through two serial cavities which contain the radiation field. Hence, the Lindblad master equation described the reduced density matrix of the joint-joint field system inside the cavities is exactly solved in Markovian and non-Markovian regimes. However, the rate of entanglement inherent in the total field-field system are evaluated using various witnesses of entanglement such as concurrence, logarithmic negativity and quantum discord. Moreover, the non-classicality by means of negativity volume and Wigner function is discussed. Finally, two schemes of quantum teleportation are suggested.


title: To Root Artificial Intelligence Deeply in Basic Science for a New Generation of AI

abstract: One of the ambitions of artificial intelligence is to root artificial intelligence deeply in basic science while developing brain-inspired artificial intelligence platforms that will promote new scientific discoveries. The challenges are essential to push artificial intelligence theory and applied technologies research forward. This paper presents the grand challenges of artificial intelligence research for the next 20 years which include:~(i) to explore the working mechanism of the human brain on the basis of understanding brain science, neuroscience, cognitive science, psychology and data science; (ii) how is the electrical signal transmitted by the human brain? What is the coordination mechanism between brain neural electrical signals and human activities? (iii)~to root brain-computer interface~(BCI) and brain-muscle interface~(BMI) technologies deeply in science on human behaviour; (iv)~making research on knowledge-driven visual commonsense reasoning~(VCR), develop a new inference engine for cognitive network recognition~(CNR); (v)~to develop high-precision, multi-modal intelligent perceptrons; (vi)~investigating intelligent reasoning and fast decision-making systems based on knowledge graph~(KG). We believe that the frontier theory innovation of AI, knowledge-driven modeling methodologies for commonsense reasoning, revolutionary innovation and breakthroughs of the novel algorithms and new technologies in AI, and developing responsible AI should be the main research strategies of AI scientists in the future.


title: Strengthening Order Preserving Encryption with Differential Privacy

abstract: Ciphertexts of an order-preserving encryption (OPE) scheme preserve the order of their corresponding plaintexts. However, OPEs are vulnerable to inference attacks that exploit this preserved order. At another end, differential privacy has become the de-facto standard for achieving data privacy. One of the most attractive properties of DP is that any post-processing (inferential) computation performed on the noisy output of a DP algorithm does not degrade its privacy guarantee. In this paper, we propose a novel differentially private order preserving encryption scheme, OP$\epsilon$. Under OP$\epsilon$, the leakage of order from the ciphertexts is differentially private. As a result, in the least, OP$\epsilon$ ensures a formal guarantee (specifically, a relaxed DP guarantee) even in the face of inference attacks. To the best of our knowledge, this is the first work to combine DP with a property-preserving encryption scheme. We demonstrate OP$\epsilon$'s practical utility in answering range queries via extensive empirical evaluation on four real-world datasets. For instance, OP$\epsilon$ misses only around $4$ in every $10K$ correct records on average for a dataset of size $\sim732K$ with an attribute of domain size $\sim18K$ and $\epsilon= 1$.


title: Distribution of Nuclear Matter and Radiation in the Fragmentation Region

abstract: We study the fragmentation (far forward/backward) region of heavy ion collisions by considering an at-rest nucleus which is struck by a relativistic sheet of colored glass. By means of a simple classical model, we calculate the subsequent evolution of baryons and the associated radiation. We confirm that the struck nucleus undergoes a compression and that the dynamics of the early times of the collision are best described by two separate fluids as the produced radiation's velocity distribution is very different to the velocity distribution of the matter in the struck nucleus.


title: A Progressive Sub-Network Searching Framework for Dynamic Inference

abstract: Many techniques have been developed, such as model compression, to make Deep Neural Networks (DNNs) inference more efficiently. Nevertheless, DNNs still lack excellent run-time dynamic inference capability to enable users trade-off accuracy and computation complexity (i.e., latency on target hardware) after model deployment, based on dynamic requirements and environments. Such research direction recently draws great attention, where one realization is to train the target DNN through a multiple-term objective function, which consists of cross-entropy terms from multiple sub-nets. Our investigation in this work show that the performance of dynamic inference highly relies on the quality of sub-net sampling. With objective to construct a dynamic DNN and search multiple high quality sub-nets with minimal searching cost, we propose a progressive sub-net searching framework, which is embedded with several effective techniques, including trainable noise ranking, channel group and fine-tuning threshold setting, sub-nets re-selection. The proposed framework empowers the target DNN with better dynamic inference capability, which outperforms prior works on both CIFAR-10 and ImageNet dataset via comprehensive experiments on different network structures. Taken ResNet18 as an example, our proposed method achieves much better dynamic inference accuracy compared with prior popular Universally-Slimmable-Network by 4.4%-maximally and 2.3%-averagely in ImageNet dataset with the same model size.


title: Coordinated Container Migration and Base Station Handover in Mobile Edge Computing

abstract: Offloading computationally intensive tasks from mobile users (MUs) to a virtualized environment such as containers on a nearby edge server, can significantly reduce processing time and hence end-to-end (E2E) delay. However, when users are mobile, such containers need to be migrated to other edge servers located closer to the MUs to keep the E2E delay low. Meanwhile, the mobility of MUs necessitates handover among base stations in order to keep the wireless connections between MUs and base stations uninterrupted. In this paper, we address the joint problem of container migration and base-station handover by proposing a coordinated migration-handover mechanism, with the objective of achieving low E2E delay and minimizing service interruption. The mechanism determines the optimal destinations and time for migration and handover in a coordinated manner, along with a delta checkpoint technique that we propose. We implement a testbed edge computing system with our proposed coordinated migration-handover mechanism, and evaluate the performance using real-world applications implemented with Docker container (an industry-standard). The results demonstrate that our mechanism achieves 30%-40% lower service downtime and 13%-22% lower E2E delay as compared to other mechanisms. Our work is instrumental in offering smooth user experience in mobile edge computing.


title: MACE: A Flexible Framework for Membership Privacy Estimation in Generative Models

abstract: Generative machine learning models are being increasingly viewed as a way to share sensitive data between institutions. While there has been work on developing differentially private generative modeling approaches, these approaches generally lead to sub-par sample quality, limiting their use in real world applications. Another line of work has focused on developing generative models which lead to higher quality samples but currently lack any formal privacy guarantees. In this work, we propose the first formal framework for membership privacy estimation in generative models. We formulate the membership privacy risk as a statistical divergence between training samples and hold-out samples, and propose sample-based methods to estimate this divergence. Compared to previous works, our framework makes more realistic and flexible assumptions. First, we offer a generalizable metric as an alternative to the accuracy metric especially for imbalanced datasets. Second, we loosen the assumption of having full access to the underlying distribution from previous studies , and propose sample-based estimations with theoretical guarantees. Third, along with the population-level membership privacy risk estimation via the optimal membership advantage, we offer the individual-level estimation via the individual privacy risk. Fourth, our framework allows adversaries to access the trained model via a customized query, while prior works require specific attributes.


title: AttnGrounder: Talking to Cars with Attention

abstract: We propose Attention Grounder (AttnGrounder), a single-stage end-to-end trainable model for the task of visual grounding. Visual grounding aims to localize a specific object in an image based on a given natural language text query. Unlike previous methods that use the same text representation for every image region, we use a visual-text attention module that relates each word in the given query with every region in the corresponding image for constructing a region dependent text representation. Furthermore, for improving the localization ability of our model, we use our visual-text attention module to generate an attention mask around the referred object. The attention mask is trained as an auxiliary task using a rectangular mask generated with the provided ground-truth coordinates. We evaluate AttnGrounder on the Talk2Car dataset and show an improvement of 3.26% over the existing methods.


title: Linear Shannon Capacity of Cayley Graphs

abstract: The Shannon capacity of a graph is a fundamental quantity in zero-error information theory measuring the rate of growth of independent sets in graph powers. Despite being well-studied, this quantity continues to hold several mysteries. Lov\'asz famously proved that the Shannon capacity of $C_5$ (the 5-cycle) is at most $\sqrt{5}$ via his theta function. This bound is achieved by a simple linear code over $\mathbb{F}_5$ mapping $x \mapsto 2x$. This motivates the notion of linear Shannon capacity of graphs, which is the largest rate achievable when restricting oneself to linear codes. We give a simple proof based on the polynomial method that the linear Shannon capacity of $C_5$ is $\sqrt{5}$. Our method applies more generally to Cayley graphs over the additive group of finite fields $\mathbb{F}_q$, giving an upper bound on the linear Shannon capacity. We compare this bound to the Lov\'asz theta function, showing that they match for self-complementary Cayley graphs (such as $C_5$), and that the bound is smaller in some cases. We also exhibit a quadratic gap between linear and general Shannon capacity for some graphs.


title: QRnet: optimal regulator design with LQR-augmented neural networks

abstract: In this paper we propose a new computational method for designing optimal regulators for high-dimensional nonlinear systems. The proposed approach leverages physics-informed machine learning to solve high-dimensional Hamilton-Jacobi-Bellman equations arising in optimal feedback control. Concretely, we augment linear quadratic regulators with neural networks to handle nonlinearities. We train the augmented models on data generated without discretizing the state space, enabling application to high-dimensional problems. We use the proposed method to design a candidate optimal regulator for an unstable Burgers' equation, and through this example, demonstrate improved robustness and accuracy compared to existing neural network formulations.


title: Investigating Bi-LSTM and CRF with POS Tag Embedding for Indonesian Named Entity Tagger

abstract: Researches on Indonesian named entity (NE) tagger have been conducted since years ago. However, most did not use deep learning and instead employed traditional machine learning algorithms such as association rule, support vector machine, random forest, na\"ive bayes, etc. In those researches, word lists as gazetteers or clue words were provided to enhance the accuracy. Here, we attempt to employ deep learning in our Indonesian NE tagger. We use long short-term memory (LSTM) as the topology since it is the state-of-the-art of NE tagger. By using LSTM, we do not need a word list in order to enhance the accuracy. Basically, there are two main things that we investigate. The first is the output layer of the network: Softmax vs conditional random field (CRF). The second is the usage of part of speech (POS) tag embedding input layer. Using 8400 sentences as the training data and 97 sentences as the evaluation data, we find that using POS tag embedding as additional input improves the performance of our Indonesian NE tagger. As for the comparison between Softmax and CRF, we find that both architectures have a weakness in classifying an NE tag.


title: Spectroscopic study of the HII regions in the NGC 1232 galaxy

abstract: NGC 1232 is a face-on spiral galaxy that serves as an excellent laboratory for the study of star formation due to its proximity. Recent studies have revealed interesting features about this galaxy: X-ray observations suggest that it recently collided with a dwarf galaxy, however, no apparent remnant is observed. Here we search for evidence of this collision. We used long-slit optical spectra in two different positions obtained with the Goodman spectrograph at the SOAR telescope. We detected 18 HII regions in the north-south direction and 22 HII regions in the east-west direction and a background galaxy, NGC 1232B, for which we present the first redshift measurement and spectral analysis. We used the stellar population fitting technique to study the underlying stellar population and to subtract it from the spectra to measure the emission lines. The emission lines were used to determine the extinction, electron density, chemical abundance, and the star-formation rate gradient of NGC 1232. As is common in spiral galaxies, we found a stellar population gradient with older populations at the central regions and younger ones towards the outskirts, along with a negative oxygen abundance gradient of -0.16 dex/re. Due to the difficulty of measuring important emission lines, the number of objects for the abundance gradient is small, but there is a hint that this galaxy has a broken gradient profile, with a drop towards the center. If the collision caused any disturbance in the galaxy, we believe it would be small and hard to detect with a limited number of objects. From all the other measurements, we found no deviations from a typical spiral galaxy and no significant difference between different directions in the galaxy. The stellar population and emission line analysis of NGC 1232B suggest that it is a starburst galaxy.


title: Feedback Control Methods for a Single Machine Infinite Bus System

abstract: In this manuscript, we present a high-fidelity physics-based truth model of a Single Machine Infinite Bus (SMIB) system. We also present reduced-order control-oriented nonlinear and linear models of a synchronous generator-turbine system connected to a power grid. The reduced-order control-oriented models are next used to design various control strategies such as: proportional-integral derivative (PID), linear-quadratic regulator (LQR), pole placement-based state feedback, observer-based output feedback, loop transfer recovery (LTR)-based linear-quadratic-Gaussian (LQG), and nonlinear feedback-linearizing control for the SMIB system. The controllers developed are then validated on the high-fidelity physics-based truth model of the SMIB system. Finally, a comparison is made of the performance of the controllers at different operating points of the SMIB system.


title: A weak expectation property for operator modules, injectivity and amenable actions

abstract: We introduce an equivariant version of the weak expectation property (WEP) at the level of operator modules over completely contractive Banach algebras $A$. We prove a number of general results---for example, a characterization of the $A$-WEP in terms of an appropriate $A$-injective envelope, and also a characterization of those $A$ for which $A$-WEP implies WEP. In the case of $A=L^1(G)$, we recover the $G$-WEP for $G$-$C^*$-algebras in recent work of Buss--Echterhoff--Willett. When $A=A(G)$, we obtain a dual notion for operator modules over the Fourier algebra. These dual notions are related in the setting of dynamical systems, where we show that a $W^*$-dynamical system $(M,G,\alpha)$ with $M$ injective is amenable if and only if $M$ is $L^1(G)$-injective if and only if the crossed product $G\bar{\ltimes}M$ is $A(G)$-injective. Analogously, we show that a $C^*$-dynamical system $(A,G,\alpha)$ with $A$ nuclear and $G$ exact is amenable if and only if $A$ has the $L^1(G)$-WEP if and only if the reduced crossed product $G\ltimes A$ has the $A(G)$-WEP.


title: Detecting a long even hole

abstract: For each integer $\ell \geq 4$, we give a polynomial-time algorithm to test whether a graph contains an induced cycle with length at least $\ell$ and even


title: Balancing Polynomials in the Chebyshev Norm

abstract: Given $n$ polynomials $p_1, \dots, p_n$ of degree at most $n$ with $\|p_i\|_\infty \le 1$ for $i \in [n]$, we show there exist signs $x_1, \dots, x_n \in \{-1,1\}$ so that \[\Big\|\sum_{i=1}^n x_i p_i\Big\|_\infty < 30\sqrt{n}, \] where $\|p\|_\infty := \sup_{|x| \le 1} |p(x)|$. This result extends the Rudin-Shapiro sequence, which gives an upper bound of $O(\sqrt{n})$ for the Chebyshev polynomials $T_1, \dots, T_n$, and can be seen as a polynomial analogue of Spencer's "six standard deviations" theorem.


title: General interaction quenches in a Luttinger liquid

abstract: We discuss a general interaction quench in a Luttinger liquid described by a paired bosonic Hamiltonian. By employing $\mathsf{su}(1,1)$ Lie algebra, the post-quench time-evolved wavefunctions are obtained analytically, from which the time evolution of the entanglement in momentum space can be investigated. We note that depending on the choice of Bogoliubov quasiparticles, the expressions of wavefunctions, which describe time-evolved paired states, can take different forms. The correspondence between the largest entanglement eigenvalue in momentum space and the wavefunction overlap in quench dynamics is discussed, which generalizes the results of D\'ora {\em et al} [2016, {\em Phys. Rev. Lett.} \textbf{117}, 010603]. A numerical demonstration on an XXZ lattice model is presented via the exact diagonalization method.


title: Analytic Study on Chiral Phase Transition in Holographic QCD

abstract: The chiral symmetry breaking ($\chi_{SB}$) is one of the most fundamental problems in QCD. In this paper, we calculate quark condensation analytically in a holographic QCD model dual to the Einstein-Maxwell-Dilaton (EMD) system coupled to a probe scalar field. We find that the black hole phase transition in the EMD system seriously affects $\chi_{SB}$. At small chemical potential, $\chi_{SB}$ behaves as a crossover. For large chemical potential $\mu>\mu_c$, $\chi_{SB}$ becomes first order with exactly the same transition temperature as the black hole phase transition by a bypass mechanism. The phase diagram we obtained is qualitatively consistent with the recent results from lattice QCD simulations and NJL models.


title: RGB2LIDAR: Towards Solving Large-Scale Cross-Modal Visual Localization

abstract: We study an important, yet largely unexplored problem of large-scale cross-modal visual localization by matching ground RGB images to a geo-referenced aerial LIDAR 3D point cloud (rendered as depth images). Prior works were demonstrated on small datasets and did not lend themselves to scaling up for large-scale applications. To enable large-scale evaluation, we introduce a new dataset containing over 550K pairs (covering 143 km^2 area) of RGB and aerial LIDAR depth images. We propose a novel joint embedding based method that effectively combines the appearance and semantic cues from both modalities to handle drastic cross-modal variations. Experiments on the proposed dataset show that our model achieves a strong result of a median rank of 5 in matching across a large test set of 50K location pairs collected from a 14km^2 area. This represents a significant advancement over prior works in performance and scale. We conclude with qualitative results to highlight the challenging nature of this task and the benefits of the proposed model. Our work provides a foundation for further research in cross-modal visual localization.


title: An Exact Method For Simulating Rapidly Decreasing Tempered Stable Distributions

abstract: Rapidly decreasing tempered stable distributions are useful models for financial applications. However, there has been no exact method for simulation available in the literature. We remedy this by introducing an exact simulation method in the finite variation case. Our methodology works for the wider class of $p$-RDTS distributions.


title: YOLObile: Real-Time Object Detection on Mobile Devices via Compression-Compilation Co-Design

abstract: The rapid development and wide utilization of object detection techniques have aroused attention on both accuracy and speed of object detectors. However, the current state-of-the-art object detection works are either accuracy-oriented using a large model but leading to high latency or speed-oriented using a lightweight model but sacrificing accuracy. In this work, we propose YOLObile framework, a real-time object detection on mobile devices via compression-compilation co-design. A novel block-punched pruning scheme is proposed for any kernel size. To improve computational efficiency on mobile devices, a GPU-CPU collaborative scheme is adopted along with advanced compiler-assisted optimizations. Experimental results indicate that our pruning scheme achieves 14$\times$ compression rate of YOLOv4 with 49.0 mAP. Under our YOLObile framework, we achieve 17 FPS inference speed using GPU on Samsung Galaxy S20. By incorporating our proposed GPU-CPU collaborative scheme, the inference speed is increased to 19.1 FPS, and outperforms the original YOLOv4 by 5$\times$ speedup. Source code is at: \url{https://github.com/nightsnack/YOLObile}.


title: Relation Detection for Indonesian Language using Deep Neural Network -- Support Vector Machine

abstract: Relation Detection is a task to determine whether two entities are related or not. In this paper, we employ neural network to do relation detection between two named entities for Indonesian Language. We used feature such as word embedding, position embedding, POS-Tag embedding, and character embedding. For the model, we divide the model into two parts: Front-part classifier (Convolutional layer or LSTM layer) and Back-part classifier (Dense layer or SVM). We did grid search method of neural network hyper parameter and SVM. We used 6000 Indonesian sentences for training process and 1,125 for testing. The best result is 0.8083 on F1-Score using Convolutional Layer as front-part and SVM as back-part.


title: Linearized Calder\'on problem and exponentially accurate quasimodes for analytic manifolds

abstract: In this article we study the linearized anisotropic Calder\'on problem on a compact Riemannian manifold with boundary. This problem amounts to showing that products of pairs of harmonic functions of the manifold form a complete set. We assume that the manifold is transversally anisotropic and that the transversal manifold is real analytic and satisfies a geometric condition related to the geometry of pairs of intersecting geodesics. In this case, we solve the linearized anisotropic Calder\'on problem. The geometric condition does not involve the injectivity of the geodesic X-ray transform. Crucial ingredients in the proof of our result are the construction of Gaussian beam quasimodes on the transversal manifold, with exponentially small errors, as well as the FBI transform characterization of the analytic wave front set.


title: Information-Theoretic Multi-Objective Bayesian Optimization with Continuous Approximations

abstract: Many real-world applications involve black-box optimization of multiple objectives using continuous function approximations that trade-off accuracy and resource cost of evaluation. For example, in rocket launching research, we need to find designs that trade-off return-time and angular distance using continuous-fidelity simulators (e.g., varying tolerance parameter to trade-off simulation time and accuracy) for design evaluations. The goal is to approximate the optimal Pareto set by minimizing the cost for evaluations. In this paper, we propose a novel approach referred to as information-Theoretic Multi-Objective Bayesian Optimization with Continuous Approximations (iMOCA)} to solve this problem. The key idea is to select the sequence of input and function approximations for multiple objectives which maximize the information gain per unit cost for the optimal Pareto front. Our experiments on diverse synthetic and real-world benchmarks show that iMOCA significantly improves over existing single-fidelity methods.


title: Magnetic ground state and electron doping tuning of Curie temperature in Fe$_3$GeTe$_2$: first-principles studies

abstract: Intrinsic magnetic van der Waals (vdW) materials have attracted much attention, especially Fe$_{3}$GeTe$_{2}$ (FGT), which exhibits highly tunable properties. However, despite vast efforts, there are still several challenging issues to be resolved. Here using a first-principles linear-response approach, we carry out comprehensive investigation of both bulk and monolayer FGT. We find that although the magnetic exchange interactions in FGT are frustrated, our Monte Carlo simulations agree with the total energy calculations, confirming that the ground state of bulk FGT is indeed ferromagnetic (FM). A tiny electron doping reduces the magnetic frustration, resulting in significant increasing of the Curie temperature. We also calculate the spin-wave dispersion, and find a small spin gap as well as a nearly flat band in the magnon spectra. These features can be used to compare with the future neutron scattering measurement and finally clarify the microscopic magnetic mechanism in this two-dimensional family materials.


title: Risk-Sensitive Sequential Action Control with Multi-Modal Human Trajectory Forecasting for Safe Crowd-Robot Interaction

abstract: This paper presents a novel online framework for safe crowd-robot interaction based on risk-sensitive stochastic optimal control, wherein the risk is modeled by the entropic risk measure. The sampling-based model predictive control relies on mode insertion gradient optimization for this risk measure as well as Trajectron++, a state-of-the-art generative model that produces multimodal probabilistic trajectory forecasts for multiple interacting agents. Our modular approach decouples the crowd-robot interaction into learning-based prediction and model-based control, which is advantageous compared to end-to-end policy learning methods in that it allows the robot's desired behavior to be specified at run time. In particular, we show that the robot exhibits diverse interaction behavior by varying the risk sensitivity parameter. A simulation study and a real-world experiment show that the proposed online framework can accomplish safe and efficient navigation while avoiding collisions with more than 50 humans in the scene.


title: Gluck twisting roll spun knots

abstract: We show that the smooth homotopy 4-sphere obtained by Gluck twisting the m-twist n-roll spin of any unknotting number one knot is diffeomorphic to the standard 4-sphere, for any pair of integers (m,n). It follows as a corollary that an infinite collection of twisted doubles of Gompf's infinite order corks are standard.


title: Foodbot: A Goal-Oriented Just-in-Time Healthy Eating Interventions Chatbot

abstract: Recent research has identified a few design flaws in popular mobile health (mHealth) applications for promoting healthy eating lifestyle, such as mobile food journals. These include tediousness of manual food logging, inadequate food database coverage, and a lack of healthy dietary goal setting. To address these issues, we present Foodbot, a chatbot-based mHealth application for goal-oriented just-in-time (JIT) healthy eating interventions. Powered by a large-scale food knowledge graph, Foodbot utilizes automatic speech recognition and mobile messaging interface to record food intake. Moreover, Foodbot allows users to set goals and guides their behavior toward the goals via JIT notification prompts, interactive dialogues, and personalized recommendation. Altogether, the Foodbot framework demonstrates the use of open-source data, tools, and platforms to build a practical mHealth solution for supporting healthy eating lifestyle in the general population.


title: Tracking the year-to-year variation in the spectral energy distribution of the Narrow-line Seyfert 1 Galaxy Mrk335

abstract: Multi-wavelength monitoring of Mrk 335 with Swift between 2007-2019 are used to construct annual spectral energy distributions and track year-to-year changes. Non-contemporaneous archival data prior to 2007 are used to build a bright state SED. In this work, the changes are examined and quantified to build the foundation for future SED modelling. The yearly SEDs trace a downward trend on the average, with the X-ray portion varying significantly and acquiring further lower values in the past two years when compared to the optical/UV portion of SED. The bolometric Eddington ratios derived using optical/UV to X-ray SEDs and the calculated X-ray luminosities show a gradual decrease over the monitoring period. Changes in the parameters over time are examined. Principal component analysis suggests that the primary variability is in the X-ray properties of Mrk 335. When looking at the broader picture of Mrk 335 and its behaviour, the X-rays, accounting most of the variability in the 13-year data, are possibly driven by physical processes related to the corona or absorption whereas the modest optical-UV variations suggest their origin within the accretion disc. These results are consistent with the previous interpretation of Mrk 335 using the timing analyses on the monitoring data and spectral modelling of deep observations.


title: Universality in Non-Equilibrium Quantum Systems

abstract: The phenomenon of universality is one of the most striking in many-body physics. Despite having sometimes wildly different microscopic constituents, systems can nonetheless behave in precisely the same way, with only the variable names interchanged. The canonical examples are those of liquid boiling into vapor and quantum spins aligning into a ferromagnet; despite their obvious differences, they nonetheless both obey quantitatively the same scaling laws, and are thus in the same universality class. Remarkable though this is, universality is generally a phenomenon limited to thermodynamic equilibrium, most commonly present at transitions between different equilibrium phases. Once out of equilibrium, the fate of universality is much less clear. Can strongly non-equilibrium systems behave universally, and are their universality classes different from those familiar from equilibrium? How is quantum mechanics important? This dissertation attempts to address these questions, at least in a small way, by showing and analyzing universal phenomena in several classes of non-equilibrium quantum systems.

categories: cond-mat.str-el cond-mat.dis-nn cond-mat.stat-mech hep-th


title: Recently predicted ternary boride Hf3PB4: Insights into the physical properties of this hardest possible boride MAX phase

abstract: In this work, we have explored via first principles study of mechanical properties including Vickers hardness and mechanical anisotropy, electronic charge density distribution, Fermi surface, thermodynamic and optical properties of the recently predicted thermodynamically stable MAX phase boride Hf3PB4 for the first time. The calculated lattice constants of the optimized cell are consistent with those found by the predicted data available. Mechanical properties such as C44, B, G, Y, Hmacro and Hmicro of Hf3PB4 boride are compared with those of existing MAX phases. None of the MAX compounds synthesized so far has higher Hmacro and/or Hmicro than that of the predicted Hf3PB4 nanolaminate. Calculations of stiffness constants (Cij) indicate that Hf3PB4 is mechanically stable. The extraordinarily high values of elastic moduli and hardness parameters are explained with the use of density of states (DOS) and charge density mapping (CDM). The high stiffness of Hf3PB4 arises because of the additional B atoms which results in the strong B B covalent bonds in the crystal. The band structure and DOS calculations are used to confirm the metallic properties with dominant contribution from the Hf-5d states to the electronic states around the Fermi level. The technologically important thermal parameters such Debye temperature, minimum thermal conductivity, Gruneisen parameter and melting temperature of Hf3PB4 are calculated. It has been found that the estimated melting temperature of Hf3PB4 is also the highest among all the MAX phase nanolaminates. The important optical constants are calculated and analyzed in detail and their relevance to possible applications in the optoelectronic sectors is discussed. Our study reveals that Hf3PB4 has the potential to be the hardest known MAX phase based on the values of C44, Hmacro and Hmicro.


title: A Review on Cyber Crimes on the Internet of Things

abstract: Internet of Things (IoT) devices are rapidly becoming universal. The success of IoT cannot be ignored in the scenario today, along with its attacks and threats on IoT devices and facilities are also increasing day by day. Cyber attacks become a part of IoT and affecting the life and society of users, so steps must be taken to defend cyber seriously. Cybercrimes threaten the infrastructure of governments and businesses globally and can damage the users in innumerable ways. With the global cybercrime damages predicted to cost up to 6 trillion dollars annually on the global economy by cyber crime. Estimated of 328 Million Dollar annual losses with the cyber attacks in Australia itself. Various steps are taken to slow down these attacks but unfortunately not able to achieve success properly. Therefor secure IoT is the need of this time and understanding of attacks and threats in IoT structure should be studied. The reasons for cyber-attacks can be Countries having week cyber securities, Cybercriminals use new technologies to attack, Cybercrime is possible with services and other business schemes. MSP (Managed Service Providers) face different difficulties in fighting with Cyber-crime. They have to ensure that security of the customer as well as their security in terms of their servers, devices, and systems. Hence, they must use effective, fast, and easily usable antivirus and antimalware tools.


title: Quantum simulations employing connected moments expansions

abstract: Further advancement of quantum computing (QC) is contingent on enabling many-body models that avoid deep circuits and excessive use of CNOT gates. To this end, we develop a QC approach employing finite-order connected moment expansions (CMX) and affordable procedures for initial state preparation. We demonstrate the performance of our approach employing several quantum variants of CMX through the classical emulations on the H2 molecule potential energy surface and the Anderson model with a broad range of correlation strength. The results show that our approach is robust and flexible. Good agreements with exact solutions can be maintained even at the dissociation and strong correlation limits.


title: Programming Active Cohesive Granular Matter with Mechanically Induced Phase Changes

abstract: Active matter physics and swarm robotics have provided powerful tools for the study and control of ensembles driven by internal sources. At the macroscale, controlling swarms typically utilizes significant memory, processing power, and coordination unavailable at the microscale, e.g., for colloidal robots, which could be useful for fighting disease, fabricating intelligent textiles, and designing nanocomputers. To develop principles that that can leverage physics of interactions and thus can be utilized across scales, we take a two-pronged approach: a theoretical abstraction of self-organizing particle systems and an experimental robot system of active cohesive granular matter that intentionally lacks digital electronic computation and communication, using minimal (or no) sensing and control, to test theoretical predictions. We consider the problems of aggregation, dispersion, and collective transport. As predicted by the theory, as a parameter representing interparticle attraction increases, the robots transition from a dispersed phase to an aggregated one, forming a dense, compact collective. When aggregated, the collective can transport non-robot "impurities" in their environment, thus performing an emergent task driven by the physics underlying the transition. These results point to a fruitful interplay between algorithm design and active matter robophysics that can result in new nonequilibrium physics and principles for programming collectives without the need for complex algorithms or capabilities.