title: Plasmonic properties of individual gallium nanoparticles

abstract: Gallium is a plasmonic material offering ultraviolet to near-infrared tunability, facile and scalable preparation, and good stability of nanoparticles. In our contribution, we experimentally demonstrate the link between the shape and size of individual gallium nanoparticles and their optical properties. To this end, we utilize scanning transmission electron microscopy combined with electron energy loss spectroscopy. Lens-shaped gallium nanoparticles with a diameter between 10 nm and 200 nm were grown directly on a silicon nitride membrane using an in-house developed effusion cell operated at ultra-high vacuum conditions. We have experimentally proved that they support localized surface plasmon resonances and their dipole mode can be tuned through their size from ultraviolet to near-infrared spectral region. The measurements are supported by numerical simulations using realistic particle shapes and sizes. Our results open the way for future applications of gallium nanoparticles such as hyperspectral absorption of sunlight in energy harvesting or plasmon-enhanced luminescence of ultraviolet emitters.


title: Evaluating Generalizability of Deep Learning Models Using Indian-COVID-19 CT Dataset

abstract: Computer tomography (CT) have been routinely used for the diagnosis of lung diseases and recently, during the pandemic, for detecting the infectivity and severity of COVID-19 disease. One of the major concerns in using ma-chine learning (ML) approaches for automatic processing of CT scan images in clinical setting is that these methods are trained on limited and biased sub-sets of publicly available COVID-19 data. This has raised concerns regarding the generalizability of these models on external datasets, not seen by the model during training. To address some of these issues, in this work CT scan images from confirmed COVID-19 data obtained from one of the largest public repositories, COVIDx CT 2A were used for training and internal vali-dation of machine learning models. For the external validation we generated Indian-COVID-19 CT dataset, an open-source repository containing 3D CT volumes and 12096 chest CT images from 288 COVID-19 patients from In-dia. Comparative performance evaluation of four state-of-the-art machine learning models, viz., a lightweight convolutional neural network (CNN), and three other CNN based deep learning (DL) models such as VGG-16, ResNet-50 and Inception-v3 in classifying CT images into three classes, viz., normal, non-covid pneumonia, and COVID-19 is carried out on these two datasets. Our analysis showed that the performance of all the models is comparable on the hold-out COVIDx CT 2A test set with 90% - 99% accuracies (96% for CNN), while on the external Indian-COVID-19 CT dataset a drop in the performance is observed for all the models (8% - 19%). The traditional ma-chine learning model, CNN performed the best on the external dataset (accu-racy 88%) in comparison to the deep learning models, indicating that a light-weight CNN is better generalizable on unseen data. The data and code are made available at https://github.com/aleesuss/c19.


title: Toward Integrated Sensing and Communications in IEEE 802.11bf Wi-Fi Networks

abstract: As Wi-Fi becomes ubiquitous in public and private spaces, it becomes natural to leverage its intrinsic ability to sense the surrounding environment to implement groundbreaking wireless sensing applications such as human presence detection, activity recognition, and object tracking. For this reason, the IEEE 802.11bf Task Group is defining the appropriate modifications to existing Wi-Fi standards to enhance sensing capabilities through 802.11-compliant devices. However, the new standard is expected to leave the specific sensing algorithms open to implementation. To fill this gap, this article explores the practical implications of integrating sensing into Wi-Fi networks. We provide an overview of the physical and medium access control layers sensing enablers, together with the application layer perspective. We analyze the impact of communication parameters on sensing performance and detail the main research challenges. To make our evaluation replicable, we pledge to release all of our dataset and code to the community.


title: Transmitter Selection for Secrecy Against Colluding Eavesdroppers with Backhaul Uncertainty

abstract: Due to the exponential growth of interconnected devices and reduced cell coverage, beyond fifth-generation networks will be dense. Thus, instead of wired backhaul, wireless backhaul will be cost-effective and flexible. For security in multi-transmitter systems, sub-optimal and optimal transmitter selection schemes exist. However, including backhaul activity knowledge available (BKA) and backhaul activity knowledge unavailable (BKU) cases and transmitter selection schemes, there is no generalized secrecy analysis method. Moreover, evaluation of the ergodic secrecy rate (ESR) of the optimal selection schemes is impossible using existing solution approaches. To address these, we propose two sub-optimal and optimal transmitter selection schemes for a small-cell multi-transmitter system in BKU or BKA cases in the presence of multiple colluding eavesdroppers. We derive the distribution of the ratio of the destination channel SNR and eavesdropping channel SNR, thereby providing different secrecy performance metrics uniformly irrespective of selection schemes and BKU or BKA cases. Simplified asymptotic expressions are provided to elucidate the influence of the system parameters and of the backhaul reliability. We observe that the secrecy performance improves when the knowledge of backhaul link activity is utilized, and the improvement is most noticeable when the backhaul is highly unreliable. We also observe that while the secrecy performance degrades with an increasing number of eavesdroppers, neither the asymptotic saturation value of the secrecy outage probability nor the rate of improvement of the ESR with signal-to-noise-ratio depends on the number of eavesdroppers.


title: Chiral critical behavior of 3D lattice fermionic models with quartic interactions

abstract: We study the critical behavior of the three-dimensional (3D) Gross-Neveu (GN) model with $N_f$ Dirac fermionic flavors and quartic interactions, at the chiral ${\mathbb Z}_2$ transition in the massless ${\mathbb Z}_2$-symmetric limit. For this purpose, we consider a lattice GN model with staggered Kogut-Susskind fermions and a scalar field coupled to the scalar bilinear fermionic operator, which effectively realizes the attractive four-fermion interaction. We perform Monte Carlo (MC) simulations for $N_f=4,8,12,16$. By means of finite-size scaling analyses of the numerical data, we obtain estimates of the critical exponents that are compared with the large-$N_f$ predictions obtained using the continuum GN field theory. We observe a substantial agreement. This confirms that lattice GN models with staggered fermions provide a nonpertubative realization of the GN quantum field theory, even though the lattice interactions explicitly break the flavor ${\rm U}(N_f)\otimes {\rm U}(N_f)$ symmetry of the GN field theory, which is only recovered in the critical limit.


title: Coding Guidelines and Undecidability

abstract: The C and C++ programming languages are widely used for the implementation of software in critical systems. They are complex languages with subtle features and peculiarities that might baffle even the more expert programmers. Hence, the general prescription of language subsetting, which occurs in most functional safety standards and amounts to only using a "safer" subset of the language, is particularly applicable to them. Coding guidelines are the preferred way of expressing language subsets. Some guidelines are formulated in terms of the programming language and its implementation only: in this case they are amenable to automatic checking. However, due to fundamental limitations of computing, some guidelines are undecidable, that is, they are based on program properties that no current and future algorithm can capture in all cases. The most mature and widespread coding standards, the MISRA ones, explicitly tag guidelines with undecidable or decidable. It turns out that this information is not of secondary nature and must be taken into account for a full understanding of what the guideline is asking for. As a matter of fact, undecidability is a common source of confusion affecting many users of coding standards and of the associated checking tools. In this paper, we recall the notions of decidability and undecidability in terms that are understandable to any C/C++ programmer. The paper includes a systematic study of all the undecidable MISRA C:2012 guidelines, discussing the reasons for the undecidability and its consequences. We pay particular attention to undecidable guidelines that have decidable approximations whose enforcement would not overly constrain the source code. We also discuss some coding guidelines for which compliance is hard, if not impossible, to prove, even beyond the issue of decidability.


title: Comparative statistical study of two local clustering coefficient formulations as tropical cyclone markers for climate networks

abstract: We introduce a new formulation of local clustering coefficient for weighted correlation networks. This new formulation is based upon a definition introduced previously in the neuroscience context and aimed at compensating for spurious correlations caused by indirect interactions. We modify this definition further by replacing Pearson's pairwise correlation coefficients and three-way partial correlation coefficients by the respective Kendall's rank correlations. This reduces statistical sample size requirements to compute the correlations, which translates into the possibility of using shorter time windows and hence into a shorter response time of the real-time climate network analysis. We construct evolving climate networks of mean sea level pressure fluctuations and analyze anomalies of local clustering coefficient in these networks. We develop a broadly applicable statistical methodology to study association between spatially inhomogeneous georeferenced multivariate time series and binary-valued spatiotemporal data (or other data reducible to this representation) and use it to compare the newly proposed formulation of local clustering coefficient (for weighted correlation networks) to the conventional one (for unweighted graphs) in terms of the association of these measures in climate networks to tropical cyclones. Thus we substantiate the previously made observation that tropical cyclones are associated with anomalously high values of local clustering coefficient, and confirm that the new formulation shows a stronger association.


title: On majorization for polynomials sharing a common interlacer

abstract: We give necessary and sufficient conditions for majorization of realrooted polynomials sharing a common interlacer by means of residues coming from fraction decomposition. We also introduce a motivated notion called strong majorization, and we show how it relates to standard majorization.


title: On Pathologies in KL-Regularized Reinforcement Learning from Expert Demonstrations

abstract: KL-regularized reinforcement learning from expert demonstrations has proved successful in improving the sample efficiency of deep reinforcement learning algorithms, allowing them to be applied to challenging physical real-world tasks. However, we show that KL-regularized reinforcement learning with behavioral reference policies derived from expert demonstrations can suffer from pathological training dynamics that can lead to slow, unstable, and suboptimal online learning. We show empirically that the pathology occurs for commonly chosen behavioral policy classes and demonstrate its impact on sample efficiency and online policy performance. Finally, we show that the pathology can be remedied by non-parametric behavioral reference policies and that this allows KL-regularized reinforcement learning to significantly outperform state-of-the-art approaches on a variety of challenging locomotion and dexterous hand manipulation tasks.


title: Towards Disentangling Relevance and Bias in Unbiased Learning to Rank

abstract: Unbiased learning to rank (ULTR) studies the problem of mitigating various biases from implicit user feedback data such as clicks, and has been receiving considerable attention recently. A popular ULTR approach for real-world applications uses a two-tower architecture, where click modeling is factorized into a relevance tower with regular input features, and a bias tower with bias-relevant inputs such as the position of a document. A successful factorization will allow the relevance tower to be exempt from biases. In this work, we identify a critical issue that existing ULTR methods ignored - the bias tower can be confounded with the relevance tower via the underlying true relevance. In particular, the positions were determined by the logging policy, i.e., the previous production model, which would possess relevance information. We give both theoretical analysis and empirical results to show the negative effects on relevance tower due to such a correlation. We then propose three methods to mitigate the negative confounding effects by better disentangling relevance and bias. Empirical results on both controlled public datasets and a large-scale industry dataset show the effectiveness of the proposed approaches.


title: Coherence and entanglement in Grover and Harrow-Hassidim-Lloyd algorithm

abstract: Coherence, discord and geometric measure of entanglement are important tools for measuring physical resources. We compute them at every steps of the Grover's algorithm. We summarize these resources's patterns of change. These resources are getting smaller at the step oracle and are getting bigger or invariant at the step diffuser. This result is similar to the entanglement's pattern of change in Grover's algorithm. Furthermore, we compute GM at every steps of the Harrow-Hassidim-Lloyd algorithm.


title: Data Augmentation using Transformers and Similarity Measures for Improving Arabic Text Classification

abstract: The performance of learning models heavily relies on the availability and adequacy of training data. To address the dataset adequacy issue, researchers have extensively explored data augmentation (DA) as a promising approach. DA generates new data instances through transformations applied to the available data, thereby increasing dataset size and variability. This approach has enhanced model performance and accuracy, particularly in addressing class imbalance problems in classification tasks. However, few studies have explored DA for the Arabic language, relying on traditional approaches such as paraphrasing or noising-based techniques. In this paper, we propose a new Arabic DA method that employs the recent powerful modeling technique, namely the AraGPT-2, for the augmentation process. The generated sentences are evaluated in terms of context, semantics, diversity, and novelty using the Euclidean, cosine, Jaccard, and BLEU distances. Finally, the AraBERT transformer is used on sentiment classification tasks to evaluate the classification performance of the augmented Arabic dataset. The experiments were conducted on four sentiment Arabic datasets: AraSarcasm, ASTD, ATT, and MOVIE. The selected datasets vary in size, label number, and unbalanced classes. The results show that the proposed methodology enhanced the Arabic sentiment text classification on all datasets with an increase in F1 score by 4% in AraSarcasm, 6% in ASTD, 9% in ATT, and 13% in MOVIE.


title: Holographic thermal correlators: A tale of Fuchsian ODEs and integration contours

abstract: We analyze real-time thermal correlation functions of conserved currents in holographic field theories using the grSK geometry, which provides a contour prescription for their evaluation. We demonstrate its efficacy, arguing that there are situations involving components of conserved currents, or derivative interactions, where such a prescription is, in fact, essential. To this end, we first undertake a careful analysis of the linearized wave equations in AdS black hole backgrounds and identify the ramification points of the solutions as a function of (complexified) frequency and momentum. All the equations we study are Fuchsian with only regular singular points that for the most part are associated with the geometric features of the background. Special features, e.g., the appearance of apparent singular points at the horizon, whence outgoing solutions end up being analytic, arise at higher codimension loci in parameter space. Using the grSK geometry, we demonstrate that these apparent singularities do not correspond to any interesting physical features in higher-point functions. We also argue that the Schwinger-Keldysh collapse and KMS conditions, implemented by the grSK geometry, continue to hold even in the presence of such singularities. For charged black holes above a critical charge, the energy density operator does not possess an exponentially growing mode, associated with `pole-skipping' (from one such apparent singularity). Our analysis suggests that the connection between the scrambling physics of black holes and energy transport has, at best, a limited domain of validity.


title: HeATed Alert Triage (HeAT): Transferrable Learning to Extract Multistage Attack Campaigns

abstract: With growing sophistication and volume of cyber attacks combined with complex network structures, it is becoming extremely difficult for security analysts to corroborate evidences to identify multistage campaigns on their network. This work develops HeAT (Heated Alert Triage): given a critical indicator of compromise (IoC), e.g., a severe IDS alert, HeAT produces a HeATed Attack Campaign (HAC) depicting the multistage activities that led up to the critical event. We define the concept of "Alert Episode Heat" to represent the analysts opinion of how much an event contributes to the attack campaign of the critical IoC given their knowledge of the network and security expertise. Leveraging a network-agnostic feature set, HeAT learns the essence of analyst's assessment of "HeAT" for a small set of IoC's, and applies the learned model to extract insightful attack campaigns for IoC's not seen before, even across networks by transferring what have been learned. We demonstrate the capabilities of HeAT with data collected in Collegiate Penetration Testing Competition (CPTC) and through collaboration with a real-world SOC. We developed HeAT-Gain metrics to demonstrate how analysts may assess and benefit from the extracted attack campaigns in comparison to common practices where IP addresses are used to corroborate evidences. Our results demonstrates the practical uses of HeAT by finding campaigns that span across diverse attack stages, remove a significant volume of irrelevant alerts, and achieve coherency to the analyst's original assessments.


title: Imprint of galactic rotation curves and metric fluctuations on the recombination era anisotropy

abstract: In applications of the conformal gravity theory it has been shown that a scale of order 105 Mpc due to large scale inhomogeneities such as clusters of galaxies is imprinted on the rotation curves of galaxies. Here we show that this same scale is imprinted on recombination era anisotropies in the cosmic microwave background. We revisit an analysis due to Mannheim and Horne, to show that in the conformal gravity theory the length scale of metric signals that originate in the primordial nucleosynthesis era at $10^{9\circ}$K can fill out the entire recombination era sky. Similarly, the length scale of acoustic signals that originate at $10^{13\circ}$K can also fill out the entire recombination era sky. We show that the amplitudes of metric fluctuations that originate in the nucleosynthesis era can grow by a factor of $10^{12}$ at recombination, and by a factor of $10^{18}$ at the current time. In addition we find that without any period of exponential expansion a length scale as small as $10^{-33}$ cm can grow to the size of the recombination sky if it begins to grow at a temperature of order $10^{33}$ degrees.


title: Conservative stabilized Runge-Kutta methods for the Vlasov-Fokker-Planck equation

abstract: In this work, we aim at constructing numerical schemes, that are as efficient as possible in terms of cost and conservation of invariants, for the Vlasov--Fokker--Planck system coupled with Poisson or Amp\`ere equation. Splitting methods are used where the linear terms in space are treated by spectral or semi-Lagrangian methods and the nonlinear diffusion in velocity in the collision operator is treated using a stabilized Runge--Kutta--Chebyshev (RKC) integrator, a powerful alternative of implicit schemes. The new schemes are shown to exactly preserve mass and momentum. The conservation of total energy is obtained using a suitable approximation of the electric field. An H-theorem is proved in the semi-discrete case, while the entropy decay is illustrated numerically for the fully discretized problem. Numerical experiments that include investigation of Landau damping phenomenon and bump-on-tail instability are performed to illustrate the efficiency of the new schemes.


title: Conformal Galilean Spin-3 Gravity in 3d

abstract: We consider Galilean limit of conformal algebra for spin-2 and spin-3 fields, and study the gauge theory of these algebras. We analyze the equations of motion and obtain the spectra of the theories.


title: A Segmentation Method for fluorescence images without a machine learning approach

abstract: Background: Image analysis applications in digital pathology include various methods for segmenting regions of interest. Their identification is one of the most complex steps, and therefore of great interest for the study of robust methods that do not necessarily rely on a machine learning (ML) approach. Method: A fully automatic and optimized segmentation process for different datasets is a prerequisite for classifying and diagnosing Indirect ImmunoFluorescence (IIF) raw data. This study describes a deterministic computational neuroscience approach for identifying cells and nuclei. It is far from the conventional neural network approach, but it is equivalent to their quantitative and qualitative performance, and it is also solid to adversative noise. The method is robust, based on formally correct functions, and does not suffer from tuning on specific data sets. Results: This work demonstrates the robustness of the method against the variability of parameters, such as image size, mode, and signal-to-noise ratio. We validated the method on two datasets (Neuroblastoma and NucleusSegData) using images annotated by independent medical doctors. Conclusions: The definition of deterministic and formally correct methods, from a functional to a structural point of view, guarantees the achievement of optimized and functionally correct results. The excellent performance of our deterministic method (NeuronalAlg) to segment cells and nuclei from fluorescence images was measured with quantitative indicators and compared with those achieved by three published ML approaches.


title: Star Cluster Formation and Survival in the First Galaxies

abstract: Using radiation-hydrodynamic cosmological simulations, we present a detailed ($0.1$ pc resolution), physically motivated portrait of a typical-mass dwarf galaxy before the epoch of reionization, resolving the formation and evolution of star clusters into individual $10\:\mathrm{M_{\odot}}$ star particles. In the rest-frame UV, the galaxy has an irregular morphology with no bulge or galactic disk, dominated by light emitted from numerous, compact, and gravitationally-bound star clusters. This is especially interesting in light of recent HST and JWST observations that -- aided by the magnifying power of gravitational lenses -- have imaged, at parsec-scale resolution, individual young star clusters in the process of forming in similar galaxies at $z>6$. Because of their low metallicities and high temperatures, star-forming gas clouds in this galaxy have densities $\sim 100$ times higher than typical giant molecular clouds; hence, their star formation efficiencies are high enough ($f_*\sim10-70$ per cent) to produce a sizeable population of potential globular cluster progenitors but typically smaller (between a few $100\:-\: 2\times10^4\:\mathrm{M_{\odot}}$, sizes of $0.1-3$ pc) and of lower metallicities ($10^{-3.5}-10^{-2.5}\:\mathrm{Z_{\odot}}$). The initial mass function of the star-forming clouds is log-normal while the bound star cluster mass function is a power-law with a slope that depends mainly on $f_*$ but also on the temporal proximity to a major starburst. We find slopes between $-0.5$ and $-2.5$ depending on the assumed sub-grid $f_*$. Star formation is self-regulated on galactic scales; however, the multi-modal metallicity distribution of the star clusters and the fraction of stars locked into surviving bound star clusters depends on $f_*$.


title: Sharp Vaught's Conjecture for Some Classes of Partial Orders

abstract: Matatyahu Rubin has shown that a sharp version of Vaught's conjecture, $I({\mathcal T},\omega )\in \{ 0,1,{\mathfrak{c}}\}$, holds for each complete theory of linear order ${\mathcal T}$. We show that the same is true for each complete theory of partial order having a model in the the minimal class of partial orders containing the class of linear orders and which is closed under finite products and finite disjoint unions. The same holds for the extension of the class of rooted trees admitting a finite monomorphic decomposition, obtained in the same way. The sharp version of Vaught's conjecture also holds for the theories of trees which are infinite disjoint unions of linear orders.


title: Family Floer SYZ singularities for the conifold transition

abstract: We show a mathematically precise version of the SYZ conjecture, proposed in the family Floer context, for the conifold with a conjectural mirror relation between smoothing and crepant resolution. The singular T-duality fibers are explicitly written and exactly correspond to the codimension-2 `missing points' in the mirror cluster variety, which confirms the speculation of Chan, Pomerleano, and Ueda but only in the non-archimedean setting. Concerning purely the area of Berkovich geometry and forgetting all the mirror symmetry background, our B-side analytic fibration is also a new explicit example of affinoid torus fibration with singular extension.


title: RevealED: Uncovering Pro-Eating Disorder Content on Twitter Using Deep Learning

abstract: The Covid-19 pandemic induced a vast increase in adolescents diagnosed with eating disorders and hospitalized due to eating disorders. This immense growth stemmed partially from the stress of the pandemic but also from increased exposure to content that promotes eating disorders via social media, which, within the last decade, has become plagued by pro-eating disorder content. This study aimed to create a deep learning model capable of determining whether a given social media post promotes eating disorders based solely on image data. Tweets from hashtags that have been documented to promote eating disorders along with Tweets from unrelated hashtags were collected. After prepossessing, these images were labeled as either pro-eating disorder or not based on which Twitter hashtag they were scraped from. Several deep-learning models were trained on the scraped dataset and were evaluated based on their accuracy, F1 score, precision, and recall. Ultimately, the Vision Transformer model was determined to be the most accurate, attaining an F1 score of 0.877 and an accuracy of 86.7% on the test set. The model, which was applied to unlabeled Twitter image data scraped from "#selfie", uncovered seasonal fluctuations in the relative abundance of pro-eating disorder content, which reached its peak in the summertime. These fluctuations correspond not only to the seasons, but also to stressors, such as the Covid-19 pandemic. Moreover, the Twitter image data indicated that the relative amount of pro-eating disorder content has been steadily rising over the last five years and is likely to continue increasing in the future.


title: Mixed Coherent and Non-Coherent Transmission for Multi-CPU Cell-Free Systems

abstract: Existing works on cell-free systems consider either coherent or non-coherent downlink data transmission and a network deployment with a single central processing unit (CPU). While it is known that coherent transmission outperforms noncoherent transmission when assuming unlimited fronthaul links, the former requires a perfect timing synchronization, which is practically not viable over a large network. Furthermore, relying on a single CPU for geographically large cell-free networks is not scalable. Thus, to realize the expected gains of cellfree systems in practice, alternative transmission strategies for realistic multi-CPU cell-free systems are required. Therefore, this paper proposes a novel downlink data transmission scheme that combines and generalizes the existing coherent and non-coherent transmissions. The proposed transmission scheme, named mixed transmission, works based on the realistic assumption that only the access points (APs) controlled by a same CPU are synchronized, and thus transmit in a coherent fashion, while APs from different CPUs require no synchronism and transmit in a non-coherent manner. We also propose extensions of existing clustering algorithms for multi-CPU cell-free systems with mixed transmission. Simulation results show that the combination of the proposed clustering algorithms with mixed transmission have the potential to perform close to the ideal coherent transmission.


title: Population heterogeneity in vaccine coverage impacts epidemic thresholds and bifurcation dynamics

abstract: Population heterogeneity, especially in individuals' contact networks, plays an important role in transmission dynamics of infectious diseases. For vaccine-preventable diseases, outstanding issues like vaccine hesitancy and availability of vaccines further lead to nonuniform coverage among groups, not to mention the efficacy of vaccines and the mixing pattern varying from one group to another. As the ongoing COVID-19 pandemic transitions to endemicity, it is of interest and significance to understand the impact of aforementioned population heterogeneity on the emergence and persistence of epidemics. Here we analyze epidemic thresholds and characterize bifurcation dynamics by accounting for heterogeneity caused by group-dependent characteristics, including vaccination rate and efficacy as well as disease transmissibility. Our analysis shows that increases in the difference in vaccination coverage among groups can render multiple equilibria of disease burden to exist even if the overall basic reproductive ratio is below one (also known as backward bifurcation). The presence of other heterogeneity factors such as differences in vaccine efficacy, transmission, mixing pattern, and group size can each exhibit subtle impacts on bifurcation. We find that heterogeneity in vaccine efficacy can undermine the condition for backward bifurcations whereas homophily tends to aggravate disease endemicity. Our results have practical implications for improving public health efforts by addressing the role of population heterogeneity in the spread and control of diseases.


title: Noise-induced stabilization of dynamical states in a non-Markovian system

abstract: A Josephson junction subject to an external RF excitation may experience the inverse AC Josephson effect, where the phase across the junction locks to the drive. The resulting ``Shapiro steps'' of quantized voltage are currently utilized in primary voltage standards. The effect has also been a key technique in the search for topological superconductivity. Here, we study a particularly interesting regime in which the zero voltage state becomes unstable at zero DC bias, and the junction spontaneously develops the first Shapiro step with a voltage $V=\pm \hbar \omega /2e$. The switching time between the $+ \hbar \omega /2e$ and $- \hbar \omega /2e$ states ranges from milliseconds to hours. Most interestingly, we find a surprising regime with a non-monotonic temperature dependence, in which the switching time demonstrates a pronounced minimum at intermediate temperatures. Tuning of the measurement parameters is also shown to give rise to a tristable switching behavior, showcasing the potential for further experiments in stochastic physics and quantum thermodynamics.


title: Spectral Theory of Self-adjoint Finitely Cyclic Operators and Introduction to Matrix Measure $L^2$-spaces

abstract: We study finitely cyclic self-adjoint operators in a Hilbert space, i.e. self-adjoint operators that posses such a finite subset in the domain that the orbits of all its elements with respect to the operator are linearly dense in the space. One of the main goals here is to obtain the representation theorem for such operators in a form analogous to the one well-known in the cyclic self-adjoint operators case. To do this, we present here a detailed introduction to matrix measures, to the matrix measure $L^2$ spaces, and to the multiplication by scalar functions operators in such spaces. This allows us to formulate and prove in all the details the less known representation result, saying that the finitely cyclic self-adjoint operator is unitary equivalent to the multiplication by the identity function on $\mathbb{R}$ in the appropriate matrix measure $L^2$ space. We study also some detailed spectral problems for finitely cyclic self-adjoint operators, like the absolute continuity.


title: Comparing the spectrum of Schr\"odinger operators on quantum graphs

abstract: We study Schr\"odinger operators on compact finite metric graphs subject to $\delta$-coupling and standard boundary conditions. We compare the $n$-th eigenvalues of those self-adjoint realizations and derive an asymptotic result for the mean value of deviations. By doing this, we generalize recent results from Rudnick et al. obtained for domains in $\mathbb{R}^2$ to the setting of quantum graphs. This also leads to a generalization of related results previously and independently obtained in [arXiv:2212.09143] and [arXiv:2212.12531] for metric graphs. In addition, based on our main result, we introduce some notions of circumference for a (quantum) graph which might prove useful in the future.


title: Beyond the Golden Ratio for Variational Inequality Algorithms

abstract: We improve the understanding of the $\textit{golden ratio algorithm}$, which solves monotone variational inequalities (VI) and convex-concave min-max problems via the distinctive feature of adapting the step sizes to the local Lipschitz constants. Adaptive step sizes not only eliminate the need to pick hyperparameters, but they also remove the necessity of global Lipschitz continuity and can increase from one iteration to the next. We first establish the equivalence of this algorithm with popular VI methods such as reflected gradient, Popov or optimistic gradient descent-ascent in the unconstrained case with constant step sizes. We then move on to the constrained setting and introduce a new analysis that allows to use larger step sizes, to complete the bridge between the golden ratio algorithm and the existing algorithms in the literature. Doing so, we actually eliminate the link between the golden ratio $\frac{1+\sqrt{5}}{2}$ and the algorithm. Moreover, we improve the adaptive version of the algorithm, first by removing the maximum step size hyperparameter (an artifact from the analysis) to improve the complexity bound, and second by adjusting it to nonmonotone problems with weak Minty solutions, with superior empirical performance.


title: Large cities are less efficient for sustainable transport: The ABC of mobility

abstract: The use of cars in cities has many negative impacts on its population, including pollution, noise and the use of space. Yet, detecting factors that reduce automobile dependency is a serious challenge, particularly across different regions. Here we model the use of different modes of transport in a city by aggregating active mobility (A), public transport (B) and cars (C), thus expressing the modal share of a city by its ABC triplet. Data for nearly 800 cities across 60 countries is used to model car use and its relationship with city size and income. Our findings suggest that outside the US, longer distances experienced in large cities reduce the propensity of active mobility and of cars, but public transport is more prominent. For cities in the US, roughly 90\% of its mobility depends on cars, regardless of city size. Further, income is strongly related to automobile dependency. Results show that a city with twice the income has 37\% more journeys by car.


title: Deforming the ODE/IM correspondence with $\mathrm{T}\bar{\mathrm{T}}$

abstract: The ODE/IM correspondence is an exact link between classical and quantum integrable models. The primary purpose of this work is to show that it remains valid after $\mathrm{T}\bar{\mathrm{T}}$ perturbation on both sides of the correspondence. In particular, we prove that the deformed Lax pair of the sinh-Gordon model, obtained from the unperturbed one through a dynamical change of coordinates, leads to the same Burgers-type equation governing the quantum spectral flow induced by $\mathrm{T}\bar{\mathrm{T}}$. Our main conclusions have general validity, as the analysis may be easily adapted to all the known ODE/IM examples involving integrable quantum field theories.


title: Rossby numbers of fully and partially convective stars

abstract: We investigate stellar magnetic activity from the theoretical point of view, by using stellar evolution models to calculate theoretical convective turnover times ($\tau_{\rm c}$) and Rossby numbers (${\rm Ro}$) for pre-main-sequence and main-sequence stars. The problem is that the canonical place where $\tau_{\rm c}$ is usually determined (half a mixing length above the base of the convective zone) fails for fully convective stars and there is no agreement on this in the literature. Our calculations were performed with the ATON stellar evolution code. We concentrated our analysis on fully and partially convective stars motivated by recent observations of slowly rotating fully convective stars, whose X-ray emissions correlate with their Rossby numbers in the same way as in solar-like stars, suggesting that the presence of a tachocline is not required for magnetic field generation. We investigate the behaviour of $\tau_{\rm c}$ over the stellar radius for stars of different masses and ages. As ${\rm Ro}$ depends on $\tau_{\rm c}$, which varies strongly with the stellar radius, we use our theoretical results to determine a better radial position at which to calculate it for fully convective stars. Using our alternative locations, we fit a sample of 847 stars in the rotation-activity diagram ($L_{\rm X}/L_{\rm bol}$ versus ${\rm Ro}$) with a two-part power-law function. Our fit parameters are consistent with previous work, showing that stars with ${\rm Ro}$$\leq$${\rm Ro_{sat}}$ are distributed around a saturation level in $L_{\rm X}/L_{\rm bol}$ and, for stars with ${\rm Ro}$$>$${\rm Ro_{sat}}$, $L_{\rm X}/L_{\rm bol}$ clearly decays with ${\rm Ro}$ with an exponent of $-2.4\!\pm\!0.1$.


title: Mid-infrared spectra of differentiated meteorites (achondrites): Comparison with astronomical observations of dust in protoplanetary and debris disks

abstract: Mid-infrared (5 micron to 25 micron) transmission/absorption spectra of differentiated meteorites (achondrites) were measured to permit comparison with astronomical observations of dust in different stages of evolution of young stellar objects. In contrast to primitive chondrites, achondrites underwent heavy metamorphism and/or extensive melting and represent more advanced stages of planetesimal evolution. Spectra were obtained from primitive achondrites (acapulcoite, winonaite, ureilite, and brachinite) and differentiated achondrites (eucrite, diogenite, aubrite, and mesosiderite silicates). The ureilite and brachinite show spectra dominated by olivine features, and the diogenite and aubrite by pyroxene features. The acapulcoite, winonaite, eucrite, and mesosiderite silicates exhibit more complex spectra, reflecting their multi-phase bulk mineralogy. Mixtures of spectra of the primitive achondrites and differentiated achondrites in various proportions show good similarities to the spectra of the few Myr old protoplanetary disks HD104237A and V410 Anon 13. A spectrum of the differentiated mesosiderite silicates is similar to the spectra of the mature debris disks HD172555 and HD165014. A mixture of spectra of the primitive ureilite and brachinite is similar to the spectrum of the debris disk HD113766. The results raise the possibility that materials produced in the early stage of planetesimal differentiation occur in the protoplanetary and debris disks.


title: Breakdown of rotational tori in 2D and 4D conservative and dissipative standard maps

abstract: We study the breakdown of rotational invariant tori in 2D and 4D standard maps by implementing three different methods. First, we analyze the domains of analyticity of a torus with given frequency through the computation of the Lindstedt series expansions of the embedding of the torus and the drift term. The Pad\'e approximants provide the shape of the analyticity domains by plotting the poles of the polynomial at the denominator of the approximants. Secondly, we implement a Newton method to construct the embedding of the torus; the breakdown threshold is then estimated by looking at the blow-up of the Sobolev norms of the embedding. Finally, we implement an extension of Greene method to get information on the breakdown threshold of an invariant torus with irrational frequency by looking at the stability of the periodic orbits with periods approximating the frequency of the torus. We apply these methods to 2D and 4D standard maps. The 2D maps can either be conservative (symplectic) or dissipative ( more precisely, conformally symplectic, namely a dissipative map with the geometric property to transform the symplectic form into a multiple of itself). The 4D maps are obtained coupling $(i)$ two symplectic standard maps, or $(ii)$ two conformally symplectic standard maps, or $(iii)$ a symplectic and a conformally symplectic standard map. Concerning the results, Pad\'e and Newton methods perform well and provide reliable and consistent results (although we implemented Newton method only for symplectic and conformally symplectic maps). Our implementation of the extension of Greene method is inconclusive, since it is computationally expensive and delicate, especially in 4D non-symplectic maps, also due to the existence of Arnold tongues.


title: An algebraic approach to the "frozen formalism" problem of time

abstract: The long-standing problem of time in canonical quantum gravity is the source of several conceptual and technical issues. Here, recent mathematical results are used to provide a consistent algebraic formulation of dynamical symplectic reduction that avoids difficult requirements such as the computation of a complete set of Dirac observables or the construction of a physical Hilbert space. In addition, the new algebraic treatment makes it possible to implement a consistent realization of the gauge structure off the constraint surface. As a consequence, previously unrecognized consistency conditions are imposed on deparameterization -- the method traditionally used to unfreeze evolution in completely constrained systems. A detailed discussion of how the new formulation extends previous semiclassical results shows that an internal time degree of freedom need not be semiclassical in order to define a consistent quantum evolution.


title: Induced Matching below Guarantees: Average Paves the Way for Fixed-Parameter Tractability

abstract: In this work, we study the Induced Matching problem: Given an undirected graph $G$ and an integer $\ell$, is there an induced matching $M$ of size at least $\ell$? An edge subset $M$ is an induced matching in $G$ if $M$ is a matching such that there is no edge between two distinct edges of $M$. Our work looks into the parameterized complexity of Induced Matching with respect to "below guarantee" parameterizations. We consider the parameterization $u - \ell$ for an upper bound $u$ on the size of any induced matching. For instance, any induced matching is of size at most $n / 2$ where $n$ is the number of vertices, which gives us a parameter $n / 2 - \ell$. In fact, there is a straightforward $9^{n/2 - \ell} \cdot n^{O(1)}$-time algorithm for Induced Matching [Moser and Thilikos, J. Discrete Algorithms]. Motivated by this, we ask: Is Induced Matching FPT for a parameter smaller than $n / 2 - \ell$? In search for such parameters, we consider $MM(G) - \ell$ and $IS(G) - \ell$, where $MM(G)$ is the maximum matching size and $IS(G)$ is the maximum independent set size of $G$. We find that Induced Matching is presumably not FPT when parameterized by $MM(G) - \ell$ or $IS(G) - \ell$. In contrast to these intractability results, we find that taking the average of the two helps -- our main result is a branching algorithm that solves Induced Matching in $49^{(MM(G) + IS(G))/ 2 - \ell} \cdot n^{O(1)}$ time. Our algorithm makes use of the Gallai-Edmonds decomposition to find a structure to branch on.


title: First-principles study of spin orbit coupling contribution to anisotropic magnetic interaction

abstract: Anisotropic magnetic exchange interactions lead to a surprisingly rich variety of the magnetic properties. Considering the spin orbit coupling (SOC) as perturbation, we extract the general expression of a bilinear spin Hamiltonian, including isotropic exchange interaction, antisymmetric Dzyaloshinskii-Moriya (DM) interaction and symmetric $\Gamma $ term. Though it is commonly believed that the magnitude of the DM and $\Gamma $ interaction correspond to the first and second order of SOC strength $% \lambda $ respectively, we clarify that the term proportional to $\lambda ^{2}$ also has contribution to DM interaction. Based on combining magnetic force theorem and linear-response approach, we have presented the method of calculating anisotropic magnetic interactions, which now has been implemented in the open source software WienJ. Furthermore, we introduce another method which could calculate the first and second order SOC contribution to the DM interaction separately, and overcome some shortcomings of previous methods. Our methods are successfully applied to several typical weak ferromagnets for $3d$, $4d$ and $5d$ transition metal oxides. We also predict the conditions where the DM interactions proportional to $\lambda $ are symmetrically forbidden while the DM interactions proportional to $\lambda ^{2}$ are nonzero, and believe that it is widespread in certain magnetic materials.


title: Dark matter searches and energy accumulation and release in materials

abstract: Efforts to identify dark matter by detecting nuclear recoils produced by dark matter particles reveal low-energy backgrounds of unknown origin in different types of detectors. In many cases, energy accumulation and delayed burst-like releases of stored energy could provide an explanation. These dynamics follow Prigogine's ideas on systems with energy and the general Self-Organized Criticality scenario. We compare these models with properties of excess backgrounds in cryogenic solid-state detectors, relaxation processes in glasses and crystals, our observations of delayed luminescence in NaI(Tl), and make predictions for more phenomena present in these systems and in superconducting photon detectors and qubits. Experiments to create accurate phenomenological models are needed.


title: FoldingNet Autoencoder model to create a geospatial grouping of CityGML building dataset

abstract: Explainable numerical representations or latent information of otherwise complex datasets are more convenient to analyze and study. These representations assist in identifying clusters and outliers, assess similar data points, and explore and interpolate data. Dataset of three-dimensional (3D) building models possesses inherent complexity in various footprint shapes, distinct roof types, walls, height, and volume. Traditionally, grouping similar buildings or 3D shapes requires matching their known properties and shape metrics with each other. However, this requires obtaining a plethora of such properties to calculate similarity. This study, in contrast, utilizes an autoencoder to compute the shape information in a fixed-size vector form that can be compared and grouped with the help of distance metrics. The study uses 'FoldingNet,' a 3D autoencoder, to generate the latent representation of each building from the obtained LoD 2 CityGML dataset. The efficacy of the embeddings obtained from the autoencoder is further analyzed by dataset reconstruction, latent spread visualization, and hierarchical clustering methods. While the clusters give an overall perspective of the type of build forms, they do not include geospatial information in the clustering. A geospatial model is therefore created to iteratively find the geographical groupings of buildings using cosine similarity approaches in embedding vectors. The German federal states of Brandenburg and Berlin are taken as an example to test the methodology. The output provides a detailed overview of the build forms in the form of semantic topological clusters and geographical groupings. This approach is beneficial and scalable for complex analytics, e.g., in large urban simulations, urban morphological studies, energy analysis, or evaluations of building stock.


title: What is expected for China's SARS-CoV-2 epidemic?

abstract: Recently, China announced that its "zero-covid" policy would end, which will bring serious challenges to the country's health system. In here we provide simple calculations that allows us to provide an estimate of what is expected as an outcome in terms of fatalities, using the fact that it is a highly contagious disease that will expose most of a highly vaccinated population to the virus. We use recent findings regarding the amount of reduction in the risk of severe outcome achieved by vaccination and arrive to an estimate of 1.1 m deaths, 60% of these are males. In our model, 84% percent of deaths occur in individuals with age 55 years or older. In a scenario in which this protection is completely lost due to waning and the infection fatality rate of the prevalent strain reaches similar levels to the observed in the beginning of the epidemic, the death toll could reach 2.4 m, 93% in 55 years or older.


title: Extreme Image Transformations Affect Humans and Machines Differently

abstract: Some recent artificial neural networks (ANNs) claim to model aspects of primate neural and human performance data. Their success in object recognition is, however, dependent on exploiting low-level features for solving visual tasks in a way that humans do not. As a result, out-of-distribution or adversarial input is often challenging for ANNs. Humans instead learn abstract patterns and are mostly unaffected by many extreme image distortions. We introduce a set of novel image transforms inspired by neurophysiological findings and evaluate humans and ANNs on an object recognition task. We show that machines perform better than humans for certain transforms and struggle to perform at par with humans on others that are easy for humans. We quantify the differences in accuracy for humans and machines and find a ranking of difficulty for our transforms for human data. We also suggest how certain characteristics of human visual processing can be adapted to improve the performance of ANNs for our difficult-for-machines transforms.


title: Mysterious Triality and M-Theory

abstract: In a previous paper, we introduced Mysterious Triality as an extension, via algebraic topology in the form of rational homotopy theory, of Mysterious Duality by Iqbal, Neitzke, and Vafa, which provides connections between physics, in the form of dimensional reduction of M-theory, and algebraic geometry, in the form of intersection theory on del Pezzo surfaces. The starting point for that connection to rational homotopy theory is the description of M-theory dynamics using the 4-sphere, via Hypothesis H. This progresses to dimensional reduction of M-theory on tori $T^k$ with its dynamics described via cyclic loop spaces of the 4-sphere $\mathcal{L}_c^k S^4$, producing a series of data analogous to that given by the del Pezzo surfaces $\mathbb{B}_k$, for $k=0, \dots, 8$. With the mathematical constructions established in the previous paper, in this companion physics paper we present novel connections to M-theory that enhance the triality, including those strengthening the duality. This uncovers interesting ties between algebraic geometry, algebraic topology, and M-theory and provides tantalizing links. We further expand on the extension of the duality and triality to the Kac-Moody setting.


title: Quantum simulation of partial differential equations via Schrodingerisation

abstract: We present a simple new way - called Schrodingerisation - to simulate general linear partial differential equations via quantum simulation. Using a simple new transform, referred to as the warped phase transformation, any linear partial differential equation can be recast into a system of Schrodinger's equations - in real time - in a straightforward way. This can be seen directly on the level of the dynamical equations without more sophisticated methods. This approach is not only applicable to PDEs for classical problems but also those for quantum problems - like the preparation of quantum ground states, Gibbs states and the simulation of quantum states in random media in the semiclassical limit.


title: Breaking the Architecture Barrier: A Method for Efficient Knowledge Transfer Across Networks

abstract: Transfer learning is a popular technique for improving the performance of neural networks. However, existing methods are limited to transferring parameters between networks with same architectures. We present a method for transferring parameters between neural networks with different architectures. Our method, called DPIAT, uses dynamic programming to match blocks and layers between architectures and transfer parameters efficiently. Compared to existing parameter prediction and random initialization methods, it significantly improves training efficiency and validation accuracy. In experiments on ImageNet, our method improved validation accuracy by an average of 1.6 times after 50 epochs of training. DPIAT allows both researchers and neural architecture search systems to modify trained networks and reuse knowledge, avoiding the need for retraining from scratch. We also introduce a network architecture similarity measure, enabling users to choose the best source network without any training.


title: CT-LungNet: A Deep Learning Framework for Precise Lung Tissue Segmentation in 3D Thoracic CT Scans

abstract: Segmentation of lung tissue in computed tomography (CT) images is a precursor to most pulmonary image analysis applications. Semantic segmentation methods using deep learning have exhibited top-tier performance in recent years, however designing accurate and robust segmentation models for lung tissue is challenging due to the variations in shape, size, and orientation. Additionally, medical image artifacts and noise can affect lung tissue segmentation and degrade the accuracy of downstream analysis. The practicality of current deep learning methods for lung tissue segmentation is limited as they require significant computational resources and may not be easily deployable in clinical settings. This paper presents a fully automatic method that identifies the lungs in three-dimensional (3D) pulmonary CT images using deep networks and transfer learning. We introduce (1) a novel 2.5-dimensional image representation from consecutive CT slices that succinctly represents volumetric information and (2) a U-Net architecture equipped with pre-trained InceptionV3 blocks to segment 3D CT scans while maintaining the number of learnable parameters as low as possible. Our method was quantitatively assessed using one public dataset, LUNA16, for training and testing and two public datasets, namely, VESSEL12 and CRPF, only for testing. Due to the low number of learnable parameters, our method achieved high generalizability to the unseen VESSEL12 and CRPF datasets while obtaining superior performance over Luna16 compared to existing methods (Dice coefficients of 99.7, 99.1, and 98.8 over LUNA16, VESSEL12, and CRPF datasets, respectively). We made our method publicly accessible via a graphical user interface at medvispy.ee.kntu.ac.ir.


title: Level-spectra Statistics in Planar Fractal Tight-Binding Models

abstract: In this communication, we study the level-spectra statistics when a noninteracting electron gas is confined in \textit{Sierpi\'{n}ski Carpet} (\textit{SC}) lattices. These \textit{SC} lattices are constructed under two representative patterns of the $self$ and $gene$ patterns, and classified into two subclass lattices by the area-perimeter scaling law. By the singularly continuous spectra and critical traits using two level-statistic tools\iffalse the nearest spacing distribution and alternative gap-ratio distribution\fi, we ascertain that both obey the critical phase due to broken translation symmetry and the long-range order of scaling symmetry. The Wigner-like conjecture is confirmed numerically since both belong to the Gaussian orthogonal ensemble. An analogy was observed in a quasiperiodic lattice~\cite{Zhong1998Level}. In addition, this critical phase isolates the crucial behavior near the metal-insulator transition edge in Anderson model. The lattice topology of the self-similarity feature can induce level clustering behavior.


title: Absorption, scattering and shadow by a noncommutative black hole with global monopole

abstract: In this paper, we investigate the process of massless scalar wave scattering due to a noncommutative black hole with a global monopole through the partial wave method. We computed the cross section of differential scattering and absorption at the low frequency limit. We also calculated, at the high frequency limit, the absorption and the shadow radius by the null geodesic method. We showed that noncommutativity causes a reduction in the differential scattering/absorption cross section and shadow radius, while the presence of the global monopole has the effect of increasing the value of such quantities. In the limit of the null mass parameter, we verify that the cross section of differential scattering, absorption and shadow ray approach to a non-zero value proportional to a minimum mass.


title: Adversarial Virtual Exemplar Learning for Label-Frugal Satellite Image Change Detection

abstract: Satellite image change detection aims at finding occurrences of targeted changes in a given scene taken at different instants. This task is highly challenging due to the acquisition conditions and also to the subjectivity of changes. In this paper, we investigate satellite image change detection using active learning. Our method is interactive and relies on a question and answer model which asks the oracle (user) questions about the most informative display (dubbed as virtual exemplars), and according to the user's responses, updates change detections. The main contribution of our method consists in a novel adversarial model that allows frugally probing the oracle with only the most representative, diverse and uncertain virtual exemplars. The latter are learned to challenge the most the trained change decision criteria which ultimately leads to a better re-estimate of these criteria in the following iterations of active learning. Conducted experiments show the out-performance of our proposed adversarial display model against other display strategies as well as the related work.


title: Photon quantization in cosmological spaces

abstract: Canonical quantization of the photon -- a free massless vector field -- is considered in cosmological spacetimes in a two-parameter family of linear gauges that treat all the vector potential components on equal footing. The goal is setting up a framework for computing photon two-point functions appropriate for loop computations in realistic inflationary spacetimes. The quantization is implemented without relying on spacetime symmetries, but rather it is based on the classical canonical structure. Special attention is paid to the quantization of the canonical first-class constraint structure that is implemented as the condition on the physical states. This condition gives rise to subsidiary conditions that the photon two-point functions must satisfy. Some of the de Sitter space photon propagators from the literature are found not to satisfy these subsidiary conditions, bringing into question their consistency.


title: Floquet topological phases on a honeycomb lattice using elliptically polarized light

abstract: We study the effect of driving a two-dimensional honeycomb system out of equilibrium using an elliptically polarized light as a time-dependent perturbation. In particular, we try to understand the topological phase diagram of this driven system when the external drive is a vector potential given by ${\bf A}(t) = (A_{0x} \cos(\Omega t), A_{0y} \cos(\Omega t + \phi_0))$. These topological phases are characterized by the Floquet Chern number which, in each of these phases, is related to the number of robust edge modes on a nanoribbon. We show that varying the ratio $A_{0x}/A_{0y}$ of the external drive is a possible way to take the system from a trivial to a topological phase and vice versa.


title: Fast and energy-efficient derivatives risk analysis: Streaming option Greeks on Xilinx and Intel FPGAs

abstract: Whilst FPGAs have enjoyed success in accelerating high-frequency financial workloads for some time, their use for quantitative finance, which is the use of mathematical models to analyse financial markets and securities, has been far more limited to-date. Currently, CPUs are the most common architecture for such workloads, and an important question is whether FPGAs can ameliorate some of the bottlenecks encountered on those architectures. In this paper we extend our previous work accelerating the industry standard Securities Technology Analysis Center's (STAC\textregistered) derivatives risk analysis benchmark STAC-A2\texttrademark{}, by first porting this from our previous Xilinx implementation to an Intel Stratix-10 FPGA, exploring the challenges encountered when moving from one FPGA architecture to another and suitability of techniques. We then present a host-data-streaming approach that ultimately outperforms our previous version on a Xilinx Alveo U280 FPGA by up to 4.6 times and requiring 9 times less energy at the largest problem size, while outperforming the CPU and GPU versions by up to 8.2 and 5.2 times respectively. The result of this work is a significant enhancement in FPGA performance against the previous version for this industry standard benchmark running on both Xilinx and Intel FPGAs, and furthermore an exploration of optimisation and porting techniques that can be applied to other HPC workloads.


title: Controllability of suspension bridge model proposed by Lazer and Mckenna under the influence of impulses, delays, and non-local conditions

abstract: The main purpose of this paper is to prove the controllability of the model proposed by Lazer and Mckenna under the influence of impulses, delay, and non-local conditions. First, we study approximate controllability by employing a technique that pulls back the control solution to a fixed curve in a short time interval. Subsequently, based on Banach Fixed Point Theorem we investigate the exact controllability.


title: TiG-BEV: Multi-view BEV 3D Object Detection via Target Inner-Geometry Learning

abstract: To achieve accurate and low-cost 3D object detection, existing methods propose to benefit camera-based multi-view detectors with spatial cues provided by the LiDAR modality, e.g., dense depth supervision and bird-eye-view (BEV) feature distillation. However, they directly conduct point-to-point mimicking from LiDAR to camera, which neglects the inner-geometry of foreground targets and suffers from the modal gap between 2D-3D features. In this paper, we propose the learning scheme of Target Inner-Geometry from the LiDAR modality into camera-based BEV detectors for both dense depth and BEV features, termed as TiG-BEV. First, we introduce an inner-depth supervision module to learn the low-level relative depth relations between different foreground pixels. This enables the camera-based detector to better understand the object-wise spatial structures. Second, we design an inner-feature BEV distillation module to imitate the high-level semantics of different keypoints within foreground targets. To further alleviate the BEV feature gap between two modalities, we adopt both inter-channel and inter-keypoint distillation for feature-similarity modeling. With our target inner-geometry distillation, TiG-BEV can effectively boost BEVDepth by +2.3% NDS and +2.4% mAP, along with BEVDet by +9.1% NDS and +10.3% mAP on nuScenes val set. Code will be available at https://github.com/ADLab3Ds/TiG-BEV.


title: Towards Learning Abstractions via Reinforcement Learning

abstract: In this paper we take the first steps in studying a new approach to synthesis of efficient communication schemes in multi-agent systems, trained via reinforcement learning. We combine symbolic methods with machine learning, in what is referred to as a neuro-symbolic system. The agents are not restricted to only use initial primitives: reinforcement learning is interleaved with steps to extend the current language with novel higher-level concepts, allowing generalisation and more informative communication via shorter messages. We demonstrate that this approach allow agents to converge more quickly on a small collaborative construction task.


title: Web-based volunteer distributed computing for handling time-critical urgent workloads

abstract: Urgent computing workloads are time critical, unpredictable, and highly dynamic. Whilst efforts are on-going to run these on traditional HPC machines, another option is to leverage the computing power donated by volunteers. Volunteer computing, where members of the public donate some of their CPU time to large scale projects has been popular for many years because it is a powerful way of delivering compute for specific problems, with the public often eager to contribute to a good cause with societal benefits. However, traditional volunteer computing has required user installation of specialist software which is a barrier to entry, and the development of the software itself by the projects, even on-top of existing frameworks, is non-trivial. As such, the number of users donating CPU time to these volunteer computing projects has decreased in recent years, and this comes at a time when the frequency of disasters, often driven by climate change, are rising fast. We believe that an alternative approach, where visitors to websites donate some of their CPU time whilst they are browsing, has the potential to address these issues. However, web-based distributed computing is an immature field and there are numerous questions that must be answered to fully understand the viability of leveraging the large scale parallelism that website visitors represent. In this paper we describe our web-based distributed computing framework, Panther, and perform in-depth performance experiments for two benchmarks using real world hardware and real world browsing habits for the first time. By exploring the performance characteristics of our approach we demonstrate that this is viable for urgent workloads, but there are numerous caveats, not least the most appropriate visitor patterns to a website, that must be considered.


title: Photon propagator in de Sitter space in the general covariant gauge

abstract: We consider a free photon field in $D$-dimensional de Sitter space, and construct its propagator in the general covariant gauge. Canonical quantization is employed to define the system starting from the classical theory. This guarantees that the propagator satisfies both the equation of motion and subsidiary conditions descending from gauge invariance and gauge fixing. We first construct the propagator as a sum-over-modes in momentum space, carefully accounting for symmetry properties of the state. We then derive the position space propagator in a covariant representation, that is our main result. Our conclusions disagree with previous results as we find that the position space photon propagator necessarily breaks de Sitter symmetry, except in the exact transverse gauge limit.


title: Frustration- and doping-induced magnetism in a Fermi-Hubbard simulator

abstract: Geometrical frustration in strongly correlated systems can give rise to a plethora of novel ordered states and intriguing magnetic phases, such as quantum spin liquids. Promising candidate materials for such phases can be described by the Hubbard model on an anisotropic triangular lattice, a paradigmatic model capturing the interplay between strong correlations and magnetic frustration. However, the fate of frustrated magnetism in the presence of itinerant dopants remains unclear, as well as its connection to the doped phases of the square Hubbard model. Here we investigate the local spin order of a Hubbard model with controllable frustration and doping, using ultracold fermions in anisotropic optical lattices continuously tunable from a square to a triangular geometry. At half-filling and strong interactions $U/t \sim 9$, we observe at the single-site level how frustration reduces the range of magnetic correlations and drives a transition from a collinear N\'eel antiferromagnet to a short-range correlated 120$^{\circ}$ spiral phase. Away from half-filling, the triangular limit shows enhanced antiferromagnetic correlations on the hole-doped side and a reversal to ferromagnetic correlations at particle dopings above 20%, hinting at the role of kinetic magnetism in frustrated systems. This work paves the way towards exploring possible chiral ordered or superconducting phases in triangular lattices and realizing t-t' square lattice Hubbard models that may be essential to describe superconductivity in cuprate materials.


title: Performance Analysis of V2I Zone Activation and Scalability for C-V2X Transactional Services

abstract: Cellular-V2X (C-V2X) enables communication between vehicles and other transportation entities over the 5.9GHz spectrum. C-V2X utilizes direct communication mode for safety packet broadcasts (through the usage of periodic basic safety messages) while leaving sufficient room in the resource pool for advanced service applications. While many such ITS applications are under development, it is crucial to identify and optimize the relevant network parameters. In this paper, we envision an infrastructure-assisted transaction procedure entirely carried out by C-V2X, and we optimize it in terms of the service parameters. To achieve the service utility of a transaction class, two C-V2X entities require a successive exchange of multiple messages. With this notion, our proposed application prototype can be generalized for any vehicular service to establish connections on-the-fly. We identify suitable activation zones for vehicles and assess their impact on service efficiency. The results show a variety of potential service and parameter settings that can be appropriate for different use-cases, laying the foundation for subsequent studies.


title: Persistence-based operators in machine learning

abstract: Artificial neural networks can learn complex, salient data features to achieve a given task. On the opposite end of the spectrum, mathematically grounded methods such as topological data analysis allow users to design analysis pipelines fully aware of data constraints and symmetries. We introduce a class of persistence-based neural network layers. Persistence-based layers allow the users to easily inject knowledge about symmetries (equivariance) respected by the data, are equipped with learnable weights, and can be composed with state-of-the-art neural architectures.


title: Green Bitcoin: Global Sound Money

abstract: Modern societies have adopted government-issued fiat currencies many of which exist today mainly in the form of digits in credit and bank accounts. Fiat currencies are controlled by central banks for economic stimulation and stabilization. Boom-and-bust cycles are created. The volatility of the cycle has become increasingly extreme. Social inequality due to the concentration of wealth is prevalent worldwide. As such, restoring sound money, which provides stored value over time, has become a pressing issue. Currently, cryptocurrencies such as Bitcoin are in their infancy and may someday qualify as sound money. Bitcoin today is considered as a digital asset for storing value. But Bitcoin has problems. The first issue of the current Bitcoin network is its high energy consumption consensus mechanism. The second is the cryptographic primitives which are unsafe against post-quantum (PQ) attacks. We aim to propose Green Bitcoin which addresses both issues. To save energy in consensus mechanism, we introduce a post-quantum secure (self-election) verifiable coin-toss function and novel PQ secure proof-of-computation primitives. It is expected to reduce the rate of energy consumption more than 90 percent of the current Bitcoin network. The elliptic curve cryptography will be replaced with PQ-safe versions. The Green Bitcoin protocol will help Bitcoin evolve into a post-quantum secure network.


title: Encryption Mechanism And Resource Allocation Optimization Based On Edge Computing Environment

abstract: A method for optimizing encryption mechanism and resource allocation based on edge computing environment is proposed. A local differential privacy algorithm based on a histogram algorithm is used to protect user information during task offloading, which allows accurate preservation of user contextual information while reducing interference with the playback decision. To efficiently offload tasks and improve offloading performance, a joint optimization algorithm for task offloading and resource allocation is proposed that optimizes overall latency. A balance will be found between privacy protection and task offloading accuracy. The impact of contextual data interference on task offloading decisions is minimized while ensuring a predefined level of privacy protection. In the concrete connected vehicle example, the method distributes tasks among roadside devices and neighboring vehicles with sufficient computational resources.


title: Machine Learning for Detecting Malware in PE Files

abstract: The increasing number of sophisticated malware poses a major cybersecurity threat. Portable executable (PE) files are a common vector for such malware. In this work we review and evaluate machine learning-based PE malware detection techniques. Using a large benchmark dataset, we evaluate features of PE files using the most common machine learning techniques to detect malware.


title: AdvCat: Domain-Agnostic Robustness Assessment for Cybersecurity-Critical Applications with Categorical Inputs

abstract: Machine Learning-as-a-Service systems (MLaaS) have been largely developed for cybersecurity-critical applications, such as detecting network intrusions and fake news campaigns. Despite effectiveness, their robustness against adversarial attacks is one of the key trust concerns for MLaaS deployment. We are thus motivated to assess the adversarial robustness of the Machine Learning models residing at the core of these security-critical applications with categorical inputs. Previous research efforts on accessing model robustness against manipulation of categorical inputs are specific to use cases and heavily depend on domain knowledge, or require white-box access to the target ML model. Such limitations prevent the robustness assessment from being as a domain-agnostic service provided to various real-world applications. We propose a provably optimal yet computationally highly efficient adversarial robustness assessment protocol for a wide band of ML-driven cybersecurity-critical applications. We demonstrate the use of the domain-agnostic robustness assessment method with substantial experimental study on fake news detection and intrusion detection problems.


title: Detecting Exploit Primitives Automatically for Heap Vulnerabilities on Binary Programs

abstract: Automated Exploit Generation (AEG) is a well-known difficult task, especially for heap vulnerabilities. Previous works first detected heap vulnerabilities and then searched for exploitable states by using symbolic execution and fuzzing techniques on binary programs. However, it is not always easy to discovery bugs using fuzzing or symbolic technologies and solvable for internal overflow of heap objects. In this paper, we present a solution DEPA to detect exploit primitives based on primitive-crucial-behavior model for heap vulnerabilities. The core of DEPA contains two novel techniques, 1) primitive-crucial-behavior identification through pointer dependence analysis, and 2) exploit primitive determination method which includes triggering both vulnerabilities and exploit primitives. We evaluate DEPA on eleven real-world CTF(capture the flag) programs with heap vulnerabilities and DEPA can discovery arbitrary write and arbitrary jump exploit primitives for ten programs except for program multi-heap. Results showed that primitive-crucial-behavior identification and determining exploit primitives are accurate and effective by using our approach. In addition, DEPA is superior to the state-of-the-art tools in determining exploit primitives for the heap object internal overflow


title: Detection, Explanation and Filtering of Cyber Attacks Combining Symbolic and Sub-Symbolic Methods

abstract: Machine learning (ML) on graph-structured data has recently received deepened interest in the context of intrusion detection in the cybersecurity domain. Due to the increasing amounts of data generated by monitoring tools as well as more and more sophisticated attacks, these ML methods are gaining traction. Knowledge graphs and their corresponding learning techniques such as Graph Neural Networks (GNNs) with their ability to seamlessly integrate data from multiple domains using human-understandable vocabularies, are finding application in the cybersecurity domain. However, similar to other connectionist models, GNNs are lacking transparency in their decision making. This is especially important as there tend to be a high number of false positive alerts in the cybersecurity domain, such that triage needs to be done by domain experts, requiring a lot of man power. Therefore, we are addressing Explainable AI (XAI) for GNNs to enhance trust management by exploring combining symbolic and sub-symbolic methods in the area of cybersecurity that incorporate domain knowledge. We experimented with this approach by generating explanations in an industrial demonstrator system. The proposed method is shown to produce intuitive explanations for alerts for a diverse range of scenarios. Not only do the explanations provide deeper insights into the alerts, but they also lead to a reduction of false positive alerts by 66% and by 93% when including the fidelity metric.


title: Social-Aware Clustered Federated Learning with Customized Privacy Preservation

abstract: A key feature of federated learning (FL) is to preserve the data privacy of end users. However, there still exist potential privacy leakage in exchanging gradients under FL. As a result, recent research often explores the differential privacy (DP) approaches to add noises to the computing results to address privacy concerns with low overheads, which however degrade the model performance. In this paper, we strike the balance of data privacy and efficiency by utilizing the pervasive social connections between users. Specifically, we propose SCFL, a novel Social-aware Clustered Federated Learning scheme, where mutually trusted individuals can freely form a social cluster and aggregate their raw model updates (e.g., gradients) inside each cluster before uploading to the cloud for global aggregation. By mixing model updates in a social group, adversaries can only eavesdrop the social-layer combined results, but not the privacy of individuals. We unfold the design of SCFL in three steps.i) Stable social cluster formation. Considering users' heterogeneous training samples and data distributions, we formulate the optimal social cluster formation problem as a federation game and devise a fair revenue allocation mechanism to resist free-riders. ii) Differentiated trust-privacy mapping}. For the clusters with low mutual trust, we design a customizable privacy preservation mechanism to adaptively sanitize participants' model updates depending on social trust degrees. iii) Distributed convergence}. A distributed two-sided matching algorithm is devised to attain an optimized disjoint partition with Nash-stable convergence. Experiments on Facebook network and MNIST/CIFAR-10 datasets validate that our SCFL can effectively enhance learning utility, improve user payoff, and enforce customizable privacy protection.


title: Metaverse Communications, Networking, Security, and Applications: Research Issues, State-of-the-Art, and Future Directions

abstract: Metaverse is an evolving orchestrator of the next-generation Internet architecture that produces an immersive and self-adapting virtual world in which humans perform activities similar to those in the real world, such as playing sports, doing work, and socializing. It is becoming a reality and is driven by ever-evolving advanced technologies such as extended reality, artificial intelligence, and blockchain. In this context, Metaverse will play an essential role in developing smart cities, which becomes more evident in the post COVID 19 pandemic metropolitan setting. However, the new paradigm imposes new challenges, such as developing novel privacy and security threats that can emerge in the digital Metaverse ecosystem. Moreover, it requires the convergence of several media types with the capability to quickly process massive amounts of data to keep the residents safe and well-informed, which can raise issues related to scalability and interoperability. In light of this, this research study aims to review the literature on the state of the art of integrating the Metaverse architecture concepts in smart cities. First, this paper presents the theoretical architecture of Metaverse and discusses international companies interest in this emerging technology. It also examines the notion of Metaverse relevant to virtual reality, identifies the prevalent threats, and determines the importance of communication infrastructure in information gathering for efficient Metaverse operation. Next, the notion of blockchain technologies is discussed regarding privacy preservation and how it can provide tamper-proof content sharing among Metaverse users. Finally, the application of distributed Metaverse for social good is highlighted.


title: Investigation and rectification of NIDS datasets and standardized feature set derivation for network attack detection with graph neural networks

abstract: Network Intrusion and Detection Systems (NIDS) are essential for malicious traffic and cyberattack detection in modern networks. Artificial intelligence-based NIDS are powerful tools that can learn complex data correlations for accurate attack prediction. Graph Neural Networks (GNNs) provide an opportunity to analyze network topology along with flow features which makes them particularly suitable for NIDS applications. However, successful application of such tool requires large amounts of carefully collected and labeled data for training and testing. In this paper we inspect different versions of ToN-IoT dataset and point out inconsistencies in some versions. We filter the full version of ToN-IoT and present a new version labeled ToN-IoT-R. To ensure generalization we propose a new standardized and compact set of flow features which are derived solely from NetFlowv5-compatible data. We separate numeric data and flags into different categories and propose a new dataset-agnostic normalization approach for numeric features. This allows us to preserve meaning of flow flags and we propose to conduct targeted analysis based on, for instance, network protocols. For flow classification we use E-GraphSage algorithm with modified node initialization technique that allows us to add node degree to node features. We achieve high classification accuracy on ToN-IoT-R and compare it with previously published results for ToN-IoT, NF-ToN-IoT, and NF-ToN-IoT-v2. We highlight the importance of careful data collection and labeling and appropriate data preprocessing choice and conclude that the proposed set of features is more applicable for real NIDS due to being less demanding to traffic monitoring equipment while preserving high flow classification accuracy.


title: The Right to be an Exception to a Data-Driven Rule

abstract: Data-driven tools are increasingly used to make consequential decisions. They have begun to advise employers on which job applicants to interview, judges on which defendants to grant bail, lenders on which homeowners to give loans, and more. In such settings, different data-driven rules result in different decisions. The problem is: to every data-driven rule, there are exceptions. While a data-driven rule may be appropriate for some, it may not be appropriate for all. As data-driven decisions become more common, there are cases in which it becomes necessary to protect the individuals who, through no fault of their own, are the data-driven exceptions. At the same time, it is impossible to scrutinize every one of the increasing number of data-driven decisions, begging the question: When and how should data-driven exceptions be protected? In this piece, we argue that individuals have the right to be an exception to a data-driven rule. That is, the presumption should not be that a data-driven rule--even one with high accuracy--is suitable for an arbitrary decision-subject of interest. Rather, a decision-maker should apply the rule only if they have exercised due care and due diligence (relative to the risk of harm) in excluding the possibility that the decision-subject is an exception to the data-driven rule. In some cases, the risk of harm may be so low that only cursory consideration is required. Although applying due care and due diligence is meaningful in human-driven decision contexts, it is unclear what it means for a data-driven rule to do so. We propose that determining whether a data-driven rule is suitable for a given decision-subject requires the consideration of three factors: individualization, uncertainty, and harm. We unpack this right in detail, providing a framework for assessing data-driven rules and describing what it would mean to invoke the right in practice.


title: Robustifying Markowitz

abstract: Markowitz mean-variance portfolios with sample mean and covariance as input parameters feature numerous issues in practice. They perform poorly out of sample due to estimation error, they experience extreme weights together with high sensitivity to change in input parameters. The heavy-tail characteristics of financial time series are in fact the cause for these erratic fluctuations of weights that consequently create substantial transaction costs. In robustifying the weights we present a toolbox for stabilizing costs and weights for global minimum Markowitz portfolios. Utilizing a projected gradient descent (PGD) technique, we avoid the estimation and inversion of the covariance operator as a whole and concentrate on robust estimation of the gradient descent increment. Using modern tools of robust statistics we construct a computationally efficient estimator with almost Gaussian properties based on median-of-means uniformly over weights. This robustified Markowitz approach is confirmed by empirical studies on equity markets. We demonstrate that robustified portfolios reach the lowest turnover compared to shrinkage-based and constrained portfolios while preserving or slightly improving out-of-sample performance.


title: Even the photon propagator must break de Sitter symmetry

abstract: The propagator for the massless vector field in de Sitter space cannot maintain de Sitter invariance in the general covaraint gauge, except in the exactly transverse gauge limit. This is due to a previously overlooked Ward-Takahashi identity that the propagator must satisfy. Here we construct the propagator that satisfies all the conditions of a consistently quantized theory. Our solution preserves cosmological symmetries and dilations, but breaks spatial special conformal transformations. The solution amounts to adding a homogeneous de Sitter breaking term to previously reported de Sitter invariant solutions of the propagator equation of motion. Even though the corrections we report pertain to the gauge sector of the linear theory, they are relevant and have to be accounted for when interactions are included.


title: Emergence of String Monodromy in Effective Field Theory

abstract: String monodromy is a set of linear relations among open string tree amplitudes with different orderings of the vertex operators. In this Letter, we show how these intrinsically stringy relations emerge in low-energy effective field theory from the assumptions of locality and the field theory Kleiss-Kuijf (KK) and Bern-Carrasco-Johansson (BCJ) relations. Specifically, we study the bi-adjoint scalar model effective field theory (BAS EFT). We impose the field theory KK and BCJ relations on one of the two color-orderings of the BAS EFT amplitudes and show that the second color-ordering has an emergent set of linear relations that, as checked at 4-point to 36-derivative order, are exactly the monodromy relations. The 4-point results depend on a delicate interplay between consistent factorization of 6-point BAS EFT amplitudes and the 6-point KK BCJ conditions. As a consequence of the analysis, the 4-point Z-theory tree amplitudes are bootstrapped up to a symmetric function in $s,t,u$ whose simple exponentiated form has free parameters that capture all the odd zeta values when matched to Z-theory.


title: Positive harmonically bounded solutions for semi-linear equations

abstract: For open sets $U$ in some space $X$, we are interested in positive solutions to semi-linear equations $ Lu=\varphi(\cdot,u)\mu$ on $U$. Here $L$ may be an elliptic or parabolic operator of second order (generator of a diffusion process) or an integro-differential operator (generator of a jump process), $\mu$ is a positive measure on $U$ and $\varphi$ is an arbitrary measurable real function on $U\times \mathbb{R}^+$ such that the functions $t\mapsto \varphi(x,t)$, $x\in U$, are continuous, increasing and vanish at $t=0$. More precisely, given a measurable function $h\ge 0$ on $X$ which is $L$-harmonic on $U$, that is, continuous real on $U$ with $Lh=0$ on $U$, we give necessary and sufficient conditions for the existence of positive solutions $u$ such that $u=h$ on $X\setminus U$ and $u$ has the same ``boundary behavior'' as $h$ on $U$ (Problem 1) or, alternatively, $u\le h$ on $U$, but $u\not\equiv 0$ on $U$ (Problem 2). We show that these problems are equivalent to problems of the existence of positive solutions to certain integral equations $u+K\varphi(\cdot,u)=g$ on $U$, $K$ being a potential kernel. We solve them in the general setting of balayage spaces $(X,\mathcal{W})$ which, in probabilistic terms, corresponds to the setting of transient Hunt processes with strong Feller resolvent.


title: Braid arrangement bimonoids and the toric variety of the permutohedron

abstract: We show that the toric variety of the permutohedron (=permutohedral space) has the structure of a cocommutative bimonoid in species, with multiplication/comultiplication given by embedding/projecting-onto boundary divisors. In terms of Losev-Manin's description of permutohedral space as a moduli space, multiplication is concatenation of strings of Riemann spheres and comultiplication is forgetting marked points. In this way, the bimonoid structure is an analog of the cyclic operad structure on the moduli space of genus zero marked curves. Covariant/contravariant data on permutohedral space is endowed with the structure of cocommutative/commutative bimonoids by pushing-forward/pulling-back data along the (co)multiplication. Many well-known combinatorial objects index data on permutohedral space. Moreover, combinatorial objects often have the structure of bimonoids, with multiplication/comultiplication given by merging/restricting objects in some way. We prove that the bimonoid structure enjoyed by these indexing combinatorial objects coincides with that induced by the bimonoid structure of permutohedral space. Thus, permutohedral space may be viewed as a fundamental underlying object which geometrically interprets many combinatorial Hopf algebras. Aguiar-Mahajan have shown that classical combinatorial Hopf theory is based on the braid hyperplane arrangement in a crucial way. This paper aims to similarly establish permutohedral space as a central object, providing an even more unified perspective. The main motivation for this work concerns Feynman amplitudes in the Schwinger parametrization, which become integrals over permutohedral space if one blows-up everything in the resolution of singularities. Then the Hopf algebra structure of Feynman graphs, first appearing in the work of Connes-Kreimer, coincides with that induced by the bimonoid structure of permutohedral space.


title: Electronic structure of a wide quantum wire in a magnetic field at $\nu = 1$

abstract: The density functional theory is used to study the electronic structure of a quantum wire in a magnetic field. In a GaAs quantum wire, a critical density has been found, below which the electron density has a strong spatial inhomogeneity. The effect of the disorder potential on the electron density profile in a two-dimensional electron gas is estimated.


title: Coherent state operators, giant gravitons, and gauge-gravity correspondence

abstract: We generalize a construction of coherent state operators describing various giant graviton branes. We enlarge the coherent state parameters, by including complementary coherent state parameters, to describe a system of dual giants and giants. One of the advantages of using complementary coherent state parameters is that they have rich sub-block structures that record different type of giant gravitons or wrapped branes. The coherent state parameters are further packaged into supermatrix, to construct special coherent states, which encode information of both giants and dual giants. We add strings onto the coherent state operators. The string-added states capture near-BPS states. Hence the constructions of BPS coherent state operators are also useful for analyzing near-BPS states. The coherent state representation, auxiliary integrals, as well as auxiliary susy integrals, facilitate the computations efficiently. We describe multi-matrix operators and BPS states, and unify some classes of operators. Finally, reduced coherent states as well as their fermionic counterparts are discussed.


title: Accelerating Distributed Optimization via Over-the-Air Computing

abstract: Distributed optimization is ubiquitous in emerging applications, such as robust sensor network control, smart grid management, machine learning, resource slicing, and localization. However, the extensive data exchange among local and central nodes may cause a severe communication bottleneck. To overcome this challenge, over-the-air computing (AirComp) is a promising medium access technology, which exploits the superposition property of the wireless multiple access channel (MAC) and offers significant bandwidth savings. In this work, we propose an AirComp framework for general distributed convex optimization problems. Specifically, a distributed primaldual (DPD) subgradient method is utilized for the optimization procedure. Under general assumptions, we prove that DPDAirComp can asymptotically achieve zero expected constraint violation. Therefore, DPD-AirComp ensures the feasibility of the original problem, despite the presence of channel fading and additive noise. Moreover, with proper power control of the users' signals, the expected non-zero optimality gap can also be mitigated. Two practical applications of the proposed framework are presented, namely, smart grid management and wireless resource allocation. Finally, numerical results reconfirm DPDAirComp's excellent performance, while it is also shown that DPD-AirComp converges an order of magnitude faster compared to a digital orthogonal multiple access scheme, specifically, time division multiple access (TDMA).


title: Features of a dark energy model in string theory

abstract: In this paper we clear up misconceptions concerning the dark bubble model as a realization of dark energy in string theory. In particular we point out important differences with Randall-Sundrum, and explain why gravity neither is, nor need to be, localized on the dark bubble.