title: Vortex unbinding transition in nonequilibrium photon condensates

abstract: We present a theoretical study of a Berezinskii-Kosterlitz-Thouless like phase transition in lattices of nonequilibrium photon condensates. Starting from linearized fluctuation theory and the properties of vortices, we propose an analytical formula for the critical point containing four fitting parameters, that captures well all our numerical simulations. We find that the ordered phase becomes more stable when driving and dissipation is increased.


title: Some new results on generalized diagonally dominant matrices and matrix eigenvalue inclusion regions

abstract: In matrix theory and numerical analysis there are two very famous and important results. One is Gersgorin circle theorem, the other is strictly diagonally dominant theorem. They have important application and research value, and have been widely used and studied. In this paper, we investigate generalized diagonally dominant matrices and matrix eigenvalue inclusion regions. A class of G-function pairs is proposed, which extends the concept of G-functions. Thirteen kind of G-function pairs are established. Their properties and characteristics are studied. By using these special G-function pairs, we construct a large number of sufficient and necessary conditions for strictly diagonally dominant matrices and matrix eigenvalue inclusion regions. These conditions and regions are composed of different combinations of G-function pairs, deleted absolute row sums and column sums of matrices. The results extend, include and are better than some classical results.


title: Renormalized q-dependent Spin Susceptibility by inverting the Random Phase Approximation: Implications for quantitative assessment of the role of spin fluctuations in 2D Ising superconductor NbSe$_{2}$

abstract: Accurate determination of the full momentum-dependent spin susceptibility $\chi(\mathbf{q}) $ is very important for the description of magnetism and superconductivity. While in principle the formalism for calculating $\chi(\mathbf{q})$ in the linear response density functional theory (DFT) is well established, hardly any publicly available code includes this capability. Here, we describe an alternative way to calculate the static $\chi(\mathbf{q})$, which can be applied to most common DFT codes without additional programming. The method combined standard fixed-spin-moment calculations of $\chi(\mathbf{0}) $ with direct calculations of the energy of spin spirals stabilized by an artificial Hubbard interaction. From these calculations, $\chi_{DFT}(\mathbf{q} )$ can be extracted by inverting the RPA formula. We apply this recipe to the recently discovered Ising superconductivity in NbSe$_2$ monolayer, one of the most exciting findings in superconductivity in recent years. It was proposed that spin fluctuations may strongly affect the parity of the order parameter. Previous estimates suggested proximity to ferromagnetism, $i.e.$, $\chi(\mathbf{q})$ peaked at $\mathbf{q}=0$. We find that the structure of spin fluctuations is more complicated, with the fluctuation spectrum sharply peaked at $\mathbf{q}\approx (0.2,0)$. Such a spectrum would change the interband pairing interaction and considerably affect the superconducting state.


title: WDVV equations and invariant bi-Hamiltonian formalism

abstract: The purpose of the paper is to show that, in low dimensions, the WDVV equations are bi-Hamiltonian. The invariance of the bi-Hamiltonian formalism is proved for $N=3$. More examples in higher dimensions show that the result might hold in general. The invariance group of the bi-Hamiltonian pairs that we find for WDVV equations is the group of projective transformations. The significance of projective invariance of WDVV equations is discussed in detail. The computer algebra programs that were used for calculations throughout the paper are provided in a GitHub repository.


title: SocialAI 0.1: Towards a Benchmark to Stimulate Research on Socio-Cognitive Abilities in Deep Reinforcement Learning Agents

abstract: Building embodied autonomous agents capable of participating in social interactions with humans is one of the main challenges in AI. This problem motivated many research directions on embodied language use. Current approaches focus on language as a communication tool in very simplified and non diverse social situations: the "naturalness" of language is reduced to the concept of high vocabulary size and variability. In this paper, we argue that aiming towards human-level AI requires a broader set of key social skills: 1) language use in complex and variable social contexts; 2) beyond language, complex embodied communication in multimodal settings within constantly evolving social worlds. In this work we explain how concepts from cognitive sciences could help AI to draw a roadmap towards human-like intelligence, with a focus on its social dimensions. We then study the limits of a recent SOTA Deep RL approach when tested on a first grid-world environment from the upcoming SocialAI, a benchmark to assess the social skills of Deep RL agents. Videos and code are available at https://sites.google.com/view/socialai01 .


title: Infinitesimal gradient boosting

abstract: We define infinitesimal gradient boosting as a limit of the popular tree-based gradient boosting algorithm from machine learning. The limit is considered in the vanishing-learning-rate asymptotic, that is when the learning rate tends to zero and the number of gradient trees is rescaled accordingly. For this purpose, we introduce a new class of randomized regression trees bridging totally randomized trees and Extra Trees and using a softmax distribution for binary splitting. Our main result is the convergence of the associated stochastic algorithm and the characterization of the limiting procedure as the unique solution of a nonlinear ordinary differential equation in a infinite dimensional function space. Infinitesimal gradient boosting defines a smooth path in the space of continuous functions along which the training error decreases, the residuals remain centered and the total variation is well controlled.


title: Parallel K-Clique Counting on GPUs

abstract: Counting k-cliques in a graph is an important problem in graph analysis with many applications such as community detection and graph partitioning. Counting k-cliques is typically done by traversing search trees starting at each vertex in the graph. Parallelizing k-clique counting has been well-studied on CPUs and many solutions exist. However, there are no performant solutions for k-clique counting on GPUs. Parallelizing k-clique counting on GPUs comes with numerous challenges such as the need for extracting fine-grain multi-level parallelism, sensitivity to load imbalance, and constrained physical memory capacity. While there has been work on related problems such as finding maximal cliques and generalized sub-graph matching on GPUs, k-clique counting in particular has yet to be explored in depth. In this paper, we present the first parallel GPU solution specialized for the k-clique counting problem. Our solution supports both graph orientation and pivoting for eliminating redundant clique discovery. It incorporates both vertex-centric and edge-centric parallelization schemes for distributing work across thread blocks, and further partitions work within each thread block to extract fine-grain multi-level parallelism while tolerating load imbalance. It also includes optimizations such as binary encoding of induced sub-graphs and sub-warp partitioning to limit memory consumption and improve the utilization of execution resources. Our evaluation shows that our best GPU implementation outperforms the best state-of-the-art parallel CPU implementation by a geometric mean of 12.39x, 6.21x, and 18.99x for k=4, 7, and 10, respectively. We also perform a detailed evaluation of the trade-offs involved in the choice of parallelization scheme, and the incremental speedup of each optimization to provide an in-depth understanding of the optimization space. ...


title: CPS Engineering: Gap Analysis and Perspectives

abstract: Virtualization of computing and networking, IT-OT convergence, cybersecurity and AI-based enhancement of autonomy are significantly increasing the complexity of CPS and CPSoS. New challenges have emerged to demonstrate that these systems are safe and secure. We emphasize the role of control and emerging fields therein, like symbolic control or set-based fault-tolerant and decentralized control, to address safety. We have chosen three open verification problems we deem central in cost-effective development and certification of safety critical CPSoS. We review some promising threads of research that could lead in the long term to a scalable and powerful verification strategy. Its main components are set-based and invariant-based design, contracts, adversarial testing, algorithmic geometry of dynamics, and probabilistic estimation derived from compositional massive testing. To explore these orientations in collaborative projects, and to promote them in certification arenas, we propose to continue and upgrade an open innovation drone-based use case that originated from a collaborative research project in aeronautic certification reformation


title: The Differential Equations of Gravity-free Double Pendulum: Lauricella Hypergeometric Solutions and Their Inversion

abstract: This paper solves in closed form the system of ODEs ruling the 2D motion of a gravity free double pendulum (GFDP), not subjected to any force. In such a way its movement is governed by the initial conditions only. The relevant strongly non linear ODEs have been put back to hyperelliptic quadratures which, through the Integral Representation Theorem (IRT), are driven to the Lauricella hypergeometric functions. We compute time laws and trajectories of both point masses forming the GFDP in explicit closed form. Suitable sample problems are carried out in order to prove the method effectiveness.


title: Geometric Dirac operator on the fuzzy sphere

abstract: We construct a Connes spectral triple or `Dirac operator' on the non-reduced fuzzy sphere $C_\lambda[S^2]$ as realised using quantum Riemannian geometry with a central quantum metric $g$ of Euclidean signature and its associated quantum Levi-Civita connection. The Dirac operator is characterised uniquely up to unitary equivalence within our quantum Riemannian geometric setting and an assumption that the spinor bundle is trivial and rank 2 with a central basis. The spectral triple has KO dimension 3 and in the case of the round metric, essentially recovers a previous proposal motivated by rotational symmetry.


title: Semi-infinite orbits in affine flag varieties and homology of affine Springer fibers

abstract: Let $G$ be a connected reductive group over an algebraically closed field $k$, and let $Fl$ be the affine flag variety of $G$. For every regular semisimple element $\gamma$ of $G(k((t)))$, the affine Springer fiber $Fl_{\gamma}$ can be presented as a union of closed subvarieties $Fl^{\leq w}_{\gamma}$, defined as the intersection of $Fl_{\gamma}$ with an affine Schubert variety $Fl^{\leq w}$. The main result of this paper asserts that if elements $w_1,\ldots,w_n$ are sufficiently regular, then the natural map $H_i(\bigcup_{j=1}^n Fl^{\leq w_j}_{\gamma})\to H_i(Fl_{\gamma})$ is injective for every $i\in{\mathbb Z}$. It plays an important role in our work [BV]. One can view this statement as providing a categorification of the notion of a weighted orbital integral. Along the way we also show that every affine Schubert variety can be written as an intersection of closures of semi-infinite orbits.


title: Three-Dimensional Embedded Attentive RNN (3D-EAR) Segmentor for Left Ventricle Delineation from Myocardial Velocity Mapping

abstract: Myocardial Velocity Mapping Cardiac MR (MVM-CMR) can be used to measure global and regional myocardial velocities with proved reproducibility. Accurate left ventricle delineation is a prerequisite for robust and reproducible myocardial velocity estimation. Conventional manual segmentation on this dataset can be time-consuming and subjective, and an effective fully automated delineation method is highly in demand. By leveraging recently proposed deep learning-based semantic segmentation approaches, in this study, we propose a novel fully automated framework incorporating a 3D-UNet backbone architecture with Embedded multichannel Attention mechanism and LSTM based Recurrent neural networks (RNN) for the MVM-CMR datasets (dubbed 3D-EAR segmentor). The proposed method also utilises the amalgamation of magnitude and phase images as input to realise an information fusion of this multichannel dataset and exploring the correlations of temporal frames via the embedded RNN. By comparing the baseline model of 3D-UNet and ablation studies with and without embedded attentive LSTM modules and various loss functions, we can demonstrate that the proposed model has outperformed the state-of-the-art baseline models with significant improvement.


title: A Graph Federated Architecture with Privacy Preserving Learning

abstract: Federated learning involves a central processor that works with multiple agents to find a global model. The process consists of repeatedly exchanging estimates, which results in the diffusion of information pertaining to the local private data. Such a scheme can be inconvenient when dealing with sensitive data, and therefore, there is a need for the privatization of the algorithms. Furthermore, the current architecture of a server connected to multiple clients is highly sensitive to communication failures and computational overloads at the server. Thus in this work, we develop a private multi-server federated learning scheme, which we call graph federated learning. We use cryptographic and differential privacy concepts to privatize the federated learning algorithm that we extend to the graph structure. We study the effect of privatization on the performance of the learning algorithm for general private schemes that can be modeled as additive noise. We show under convexity and Lipschitz conditions, that the privatized process matches the performance of the non-private algorithm, even when we increase the noise variance.


title: Handling Long-Tail Queries with Slice-Aware Conversational Systems

abstract: We have been witnessing the usefulness of conversational AI systems such as Siri and Alexa, directly impacting our daily lives. These systems normally rely on machine learning models evolving over time to provide quality user experience. However, the development and improvement of the models are challenging because they need to support both high (head) and low (tail) usage scenarios, requiring fine-grained modeling strategies for specific data subsets or slices. In this paper, we explore the recent concept of slice-based learning (SBL) (Chen et al., 2019) to improve our baseline conversational skill routing system on the tail yet critical query traffic. We first define a set of labeling functions to generate weak supervision data for the tail intents. We then extend the baseline model towards a slice-aware architecture, which monitors and improves the model performance on the selected tail intents. Applied to de-identified live traffic from a commercial conversational AI system, our experiments show that the slice-aware model is beneficial in improving model performance for the tail intents while maintaining the overall performance.


title: Berezinskii-Kosterlitz-Thouless phase transitions with long-range couplings

abstract: The Berezinskii-Kostelitz-Thouless (BKT) transition is the paradigmatic example of a topological phase transition without symmetry-breaking, where a quasi-ordered phase, characterized by a power law scaling of the correlation functions at low temperature, is disrupted by the proliferation of topological excitations above the critical temperature $T_{\rm BKT}$. In this letter, we consider the effect of long-range decaying couplings $\sim r^{-2-\sigma}$ on this phenomenon. After pointing out the relevance of this non trivial problem, we discuss the phase diagram, which is far richer than the corresponding short-range one. It features -- for $7/4<\sigma<2$ -- a quasi ordered phase in a finite temperature range $T_c < T < T_{\rm BKT}$, which occurs between a symmetry broken phase for $T<T_c$ and a disordered phase for $T>T_{\rm BKT}$. The transition temperature $T_c$ displays unique universal features quite different from those of the traditional, short-range XY model. Given the universal nature of our findings, they may be observed in current experimental realizations in $2D$ atomic, molecular and optical quantum systems.


title: Accuracy of the typicality approach using Chebyshev polynomials

abstract: Trace estimators allow to approximate thermodynamic equilibrium observables with astonishing accuracy. A prominent representative is the finite-temperature Lanczos method (FTLM) which relies on a Krylov space expansion of the exponential describing the Boltzmann weights. Here we report investigations of an alternative approach which employs Chebyshev polynomials. This method turns out to be also very accurate in general, but shows systematic inaccuracies at low temperatures that can be traced back to an improper behavior of the approximated density of states with and without smoothing kernel. Applications to archetypical quantum spin systems are discussed as examples.


title: Goss polynomials, q-adic expansions, and Sheats compositions

abstract: The zeroes of Goss polynomials $G_{k, \Lambda}(X)$ for $\Lambda = A \defeq \mathbb{F}_{q}[T]$ and similar lattices $\Lambda$ are studied. Generically, the zero distribution follows a simple pattern governed by the $q$-adic expansion of $k-1$. However, if $q=p^{f}$ with $f \geq 2$ is a proper power of the prime $p$, irregularities of the $q$-adic sum-of-digits function may lead to deviations from this pattern, to irregular zeroes, and an abundance of trivial zeroes of $G_{k, \Lambda}$ compared to the generic formula. These phenomena are related to properties of the Sheats compositions of natural numbers $n$ divisible by $q-1$. Among other things, we give a necessary and sufficient condition for the existence of irregular zeroes of $G_{k,A}$ and a formula for the vanishing order of $G_{k,A}$ at $x=0$.


title: On Relatively Normal-Slant Helices and Isophotic Curves

abstract: In this paper, we give smoe characterizations of relatively normal-slant helices and isophotic curves on a smooth surface immersed in Euclidean 3-space with respect to their position vevtor. We also introduce the methods for generating an isophotic curve on a given surface by its parametric or implicit equation.


title: Search for Dormant Black Holes in Ellipsoidal Variables III. The OGLE BULGE Short-Period Sample

abstract: This is the third of a series of papers that presents an algorithm to search for close binaries with massive, possibly compact, unseen secondaries. The detection of such a binary is based on identifying a star that displays a large ellipsoidal periodic modulation, induced by tidal interaction with its companion. In the second paper of the series we presented a simple approach to derive a robust modified minimum mass ratio (mMMR), based on the observed ellipsoidal amplitude, without knowing the primary mass and radius, assuming the primary fills its Roche lobe. The newly defined mMMR is always smaller than the actual mass ratio. Therefore, a binary with an mMMR larger than unity is a good candidate for having a massive secondary, which might be a black hole or a neutron star. This paper considers 10,956 OGLE short-period ellipsoidals observed towards the Galactic Bulge. We re-analyse their modulation and identify 136 main-sequence systems with mMMR significantly larger than unity as candidates for having compact-object secondaries, assuming their observed periodic modulations reflect indeed the ellipsoidal effect. Obviously, one needs follow-up observations to find out the true nature of these companions.


title: Universality vs Genericity and $C_4$-free graphs

abstract: We show that the existence of a universal structure implies the existence of a generic structure for any approximable class $\mathcal{C}$ of countable structures. We also show that the converse is not true. As a consequence, we provide several new examples of weak Fra\"iss\'e classes of finite graphs. Finally, we show that the class of all countable $C_4$-free graphs does not contain a generic structure, strengthening a result of A. Hajnal and J. Pach.


title: An Elementary Proof of Ramanujan's Identity for Odd Zeta Values

abstract: The main goal of this article is to present an elementary proof of Ramanujan's identity for odd zeta values. Our proof solely relies on a Mittag-Leffler type expansion for hyperbolic cotangent function and Euler's identity for even zeta values.


title: Preventing and Controlling Epidemics through Blockchain-Assisted AI-Enabled Networks

abstract: The COVID-19 pandemic, which spread rapidly in late 2019, has revealed that the use of computing and communication technologies provides significant aid in preventing, controlling, and combating infectious diseases. With the ongoing research in next-generation networking (NGN), the use of secure and reliable communication and networking is of utmost importance when dealing with users' health records and other sensitive information. Through the adaptation of Artificial Intelligence (AI)-enabled NGN, the shape of healthcare systems can be altered to achieve smart and secure healthcare capable of coping with epidemics that may emerge at any given moment. In this article, we envision a cooperative and distributed healthcare framework that relies on state-of-the-art computing, communication, and intelligence capabilities, namely, Federated Learning (FL), mobile edge computing (MEC), and Blockchain, to enable epidemic (or suspicious infectious disease) discovery, remote monitoring, and fast health-authority response. The introduced framework can also enable secure medical data exchange at the edge and between different health entities. Such a technique, coupled with the low latency and high bandwidth functionality of 5G and beyond networks, would enable mass surveillance, monitoring and analysis to occur at the edge. Challenges, issues, and design guidelines are also discussed in this article with highlights on some trending solutions.


title: Visually grounded models of spoken language: A survey of datasets, architectures and evaluation techniques

abstract: This survey provides an overview of the evolution of visually grounded models of spoken language over the last 20 years. Such models are inspired by the observation that when children pick up a language, they rely on a wide range of indirect and noisy clues, crucially including signals from the visual modality co-occurring with spoken utterances. Several fields have made important contributions to this approach to modeling or mimicking the process of learning language: Machine Learning, Natural Language and Speech Processing, Computer Vision and Cognitive Science. The current paper brings together these contributions in order to provide a useful introduction and overview for practitioners in all these areas. We discuss the central research questions addressed, the timeline of developments, and the datasets which enabled much of this work. We then summarize the main modeling architectures and offer an exhaustive overview of the evaluation metrics and analysis techniques.


title: Video-rate dual-modal forward-viewing photoacoustic and fluorescence endo-microscopy through a multimode fibre

abstract: Multimode fibres are becoming increasingly attractive in optical endoscopy as they promise to enable unparalleled miniaturisation, spatial resolution and cost as compared to conventional fibre bundle-based counterpart. However, achieving high-speed imaging through a multimode fibre (MMF) based on wavefront shaping has been challenging due to the use of liquid crystal spatial light modulators with low frame rates. In this work, we report the development of a video-rate dual-modal forward-viewing photoacoustic (PA) and fluorescence endo-microscopy probe based on a MMF and a high-speed digital micromirror device (DMD). Light transmission characteristics through the fibre were characterised with a real-valued intensity transmission matrix algorithm, and subsequently, optimal binary patterns were calculated to focus light through the fibre with wavefront shaping. Raster-scanning of a tightly focused beam (1.5 {\mu}m diameter) at the distal end of the fibre was performed for imaging. With the DMD running at 10 kHz, the PA imaging speed and spatial resolution of were controlled by varying the scanning step size, ranging from 1 to 25 frames per second (fps) and from 1.7 to 3 {\mu}m, respectively, over a field-of-view of 50 {\mu}m x 50 {\mu}m. High-resolution PA images of carbon fibres, and mouse red blood cells were acquired through a MMF with high image fidelity at unprecedented speed with MMF-based PA endoscope. The capability of dual-modal PA and fluorescence imaging was demonstrated by imaging phantoms comparing carbon fibres and fluorescent microspheres. We anticipate that with further miniaturisation of the ultrasound detector, this probe could be integrated into a medical needle to guide minimally invasive procedures in several clinical contexts including tumour biopsy and nerve blocks.


title: Quantum causal inference in the presence of hidden common causes: An entropic approach

abstract: Quantum causality is an emerging field of study which has the potential to greatly advance our understanding of quantum systems. In this paper, we put forth a theoretical framework for merging quantum information science and causal inference by exploiting entropic principles. For this purpose, we leverage the tradeoff between the entropy of hidden cause and the conditional mutual information of observed variables to develop a scalable algorithmic approach for inferring causality in the presence of latent confounders (common causes) in quantum systems. As an application, we consider a system of three entangled qubits and transmit the second and third qubits over separate noisy quantum channels. In this model, we validate that the first qubit is a latent confounder and the common cause of the second and third qubits. In contrast, when two entangled qubits are prepared and one of them is sent over a noisy channel, there is no common confounder. We also demonstrate that the proposed approach outperforms the results of classical causal inference for the Tubingen database when the variables are classical by exploiting quantum dependence between variables through density matrices rather than joint probability distributions. Thus, the proposed approach unifies classical and quantum causal inference in a principled way.


title: To mock a Mocking bird : Studies in Biomimicry

abstract: This paper dwells on certain novel game-theoretic investigations in bio-mimicry, discussed from the perspectives of information asymmetry, individual utility and its optimization via strategic interactions involving co-evolving preys (e.g., insects) and predators (e.g., reptiles) who learn. Formally, we consider a panmictic ecosystem, occupied by species of prey with relatively short lifespan, which evolve mimicry signals over generations as they interact with predators with relatively longer lifespans, thus endowing predators with the ability to learn prey signals. Every prey sends a signal and provides utility to the predator. The prey can be either nutritious or toxic to the predator, but the prey may signal (possibly) deceptively without revealing its true "type." The model is used to study the situation where multi-armed bandit predators with zero prior information are introduced into the ecosystem. As a result of exploration and exploitation the predators naturally select the prey that result in the evolution of those signals. This co-evolution of strategies produces a variety of interesting phenomena which are subjects of this paper.


title: Meromorphic functions and differences of subharmonic functions in integrals and the difference characteristic of Nevanlinna. III. Estimates of integrals over fractal sets in terms of the Hausdorff measure and content

abstract: Let $U\not\equiv \pm\infty$ be a $\delta$-subharmonic function on a closed disc of radius $R$ centered at zero. In the previous two parts of our paper, we obtained general and explicit estimates of the integral of the positive part of the radial maximum growth characteristic ${\mathsf M}_U(t):= \sup\bigl\{U(z)\bigm| |z|=r\bigr\}$ over the increasing integration function $m$ on the segment $[0, r]\subset [0,R)$ through the difference characteristic of Nevanlinna and the quantities associated with the integration function $m$. The third part of our paper contains estimates of these quantities in terms of the Hausdorff $h$-measure and $h$-content of compact subset $S\subset [0, r]$ such that the integration function $m$ is constant on each open component of the connectivity of the complement $[0, r]\setminus S$. The case of the d-dimensional Hausdorff measure is highlighted separately.


title: Influence Based Defense Against Data Poisoning Attacks in Online Learning

abstract: Data poisoning is a type of adversarial attack on training data where an attacker manipulates a fraction of data to degrade the performance of machine learning model. Therefore, applications that rely on external data-sources for training data are at a significantly higher risk. There are several known defensive mechanisms that can help in mitigating the threat from such attacks. For example, data sanitization is a popular defensive mechanism wherein the learner rejects those data points that are sufficiently far from the set of training instances. Prior work on data poisoning defense primarily focused on offline setting, wherein all the data is assumed to be available for analysis. Defensive measures for online learning, where data points arrive sequentially, have not garnered similar interest. In this work, we propose a defense mechanism to minimize the degradation caused by the poisoned training data on a learner's model in an online setup. Our proposed method utilizes an influence function which is a classic technique in robust statistics. Further, we supplement it with the existing data sanitization methods for filtering out some of the poisoned data points. We study the effectiveness of our defense mechanism on multiple datasets and across multiple attack strategies against an online learner.


title: Physics-Informed Supervised Residual Learning for Electromagnetic Modeling

abstract: In this study, physics-informed supervised residual learning (PhiSRL) is proposed to enable an effective, robust, and general deep learning framework for 2D electromagnetic (EM) modeling. Based on the mathematical connection between the fixed-point iteration method and the residual neural network (ResNet), PhiSRL aims to solve a system of linear matrix equations. It applies convolutional neural networks (CNNs) to learn updates of the solution with respect to the residuals. Inspired by the stationary and non-stationary iterative scheme of the fixed-point iteration method, stationary and non-stationary iterative physics-informed ResNets (SiPhiResNet and NiPhiResNet) are designed to solve the volume integral equation (VIE) of EM scattering. The effectiveness and universality of PhiSRL are validated by solving VIE of lossless and lossy scatterers with the mean squared errors (MSEs) converging to $\sim 10^{-4}$ (SiPhiResNet) and $\sim 10^{-7}$ (NiPhiResNet). Numerical results further verify the generalization ability of PhiSRL.


title: Influence of irradiation-driven winds on the evolution of intermediate-mass black hole X-ray binaries

abstract: In young dense clusters, an intermediate-mass black hole (IMBH) may get a companion star via exchange encounters or tidal capture, and then evolves toward IMBH X-ray binary by the Roche lobe overflow. It is generally thought that IMBH X-ray binaries are potential ultra-luminous X-ray sources (ULXs), hence their evolution is very significant. However, the irradiation-driven winds by the strong X-ray flux from the accretion disks around the IMBHs play an important role in determining the evolution of IMBH X-ray binaries, and should be considered in the detailed binary evolution simulation. Employing the models with the MESA code, we focus on the influence of irradiation-driven winds on the evolution of IMBH X-ray binaries. Our simulations indicate that a high wind-driving efficiency ($f=0.01$ for $Z=0.02$, and $f=0.002$ for $Z=0.001$) substantially shorten the duration in the ULX stage of IMBH X-ray binaries with an intermediate-mass ($5~M_{\odot}$) donor star. However, this effect can be ignored for high-mass ($10~M_{\odot}$) donor stars. The irradiation effect ($f=0.01$ or $0.002$) markedly shrink the initial parameter space of IMBH binaries evolving toward ULXs with high luminosity ($L_{\rm X}>10^{40}~\rm erg\,s^{-1}$) and hyperluminous X-ray sources in the donor-star mass versus orbital period diagram. Furthermore, the irradiation effect results in an efficient angular momentum loss, yielding to IMBH X-ray binaries with relatively close orbits. In our simulated parameter space, about 1\% of IMBH binaries would evolve toward compact X-ray sources owing to short initial orbital periods, some of which might be detected as low-frequency gravitational wave sources.


title: Domain Wall Decorations, Anomalies and Spectral Sequences in Bosonic Topological Phases

abstract: In this work we investigate the decorated domain wall construction in bosonic group-cohomology symmetry-protected topological (SPT) phases and related quantum anomalies in bosonic topological phases. We first show that a general decorated domain wall construction can be described mathematically as an Atiyah-Hirzebruch spectral sequence, where the terms on the $E_2$ page correspond to decorations by lower-dimensional SPT states at domain wall junctions. For bosonic group-cohomology SPT phases, the spectral sequence becomes the Lyndon-Hochschild-Serre (LHS) spectral sequence for ordinary group cohomology. We then discuss the physical interpretations of the differentials in the spectral sequence, particularly in the context of anomalous SPT phases and symmetry-enriched gauge theories. As the main technical result, we obtain a full description of the LHS spectral sequence concretely at the cochain level. The explicit formulae are then applied to explain Lieb-Schultz-Mattis theorems for SPT phases, and also derive a new LSM theorem for easy-plane spin model in a $\pi$ flux lattice. We also revisit the classifications of symmetry-enriched 2D and 3D Abelian gauge theories using our results.


title: Permutation polynomials from a linearized decomposition

abstract: In this paper we discuss the permutational property of polynomials of the form $f(L(x))+k(L(x))\cdot M(x)\in \mathbb F_{q^n}[x]$ over the finite field $\mathbb F_{q^n}$, where $L, M\in \mathbb F_q[x]$ are $q$-linearized polynomials. The restriction $L, M\in \mathbb F_q[x]$ implies a nice correspondence between the pair $(L, M)$ and the pair $(g, h)$ of conventional $q$-associates over $\mathbb F_q$ of degree at most $n-1$. In particular, by using the AGW criterion, permutational properties of our class of polynomials translates to some arithmetic properties of polynomials over $\mathbb F_q$, like coprimality. This relates the problem of constructing PPs of $\mathbb F_{q^n}$ to the problem of factorizing $x^n-1$ in $\mathbb F_q[x]$. We then specialize to the case where $L(x)$ is the trace polynomial from $\mathbb F_{q^n}$ over $\mathbb F_q$, providing results on the construction of permutation and complete permutation polynomials, and their inverses. We further demonstrate that the latter can be extended to more general linearized polynomials of degree $q^{n-1}$.


title: Twisted magnetic topological insulators

abstract: Motivated by the discovery of the quantum anomalous Hall effect in Cr-doped \ce{(Bi,Sb)2Te3} thin films, we study the generic states for magnetic topological insulators and explore the physical properties for both magnetism and itinerant electrons. First-principles calculations are exploited to investigate the magnetic interactions between magnetic Co atoms adsorbed on the \ce{Bi2Se3} (111) surface. Due to the absence of inversion symmetry on the surface, there are Dzyaloshinskii-Moriya-like twisted spin interactions between the local moments of Co ions. These nonferromagnetic interactions twist the collinear spin configuration of the ferromagnet and generate various magnetic orders beyond a simple ferromagnet. Among them, the spin spiral state generates alternating counterpropagating modes across each period of spin states, and the skyrmion lattice even supports a chiral mode around the core of each skyrmion. The skyrmion lattice opens a gap at the surface Dirac point, resulting in the anomalous Hall effect. These results may inspire further experimental investigation of magnetic topological insulators.


title: UAV-Assisted Underwater Sensor Networks using RF and Optical Wireless Links

abstract: Underwater sensor networks (UWSNs) are of interest to gather data from underwater sensor nodes (SNs) and deliver information to a terrestrial access point (AP) in the uplink transmission, and transfer data from the AP to the SNs in the downlink transmission. In this paper, we investigate a triple-hop UWSN in which autonomous underwater vehicle (AUV) and unmanned aerial vehicle (UAV) relays enable end-to-end communications between the SNs and the AP. It is assumed that the SN--AUV, AUV--UAV, and UAV--AP links are deployed by underwater optical communication (UWOC), free-space optic (FSO), and radio frequency (RF) technologies, respectively. Two scenarios are proposed for the FSO uplink and downlink transmissions between the AUV and the UAV, subject to water-to-air and air-to-water interface impacts; direct transmission scenario (DTS) and retro-reflection scenario (RRS). After providing the channel models and their statistics, the UWSN's outage probability and average bit error rate (BER) are computed. Besides, a tracking procedure is proposed to set up reliable and stable AUV--UAV FSO communications. Through numerical results, it is concluded that the RSS scheme outperforms the DTS one with about 200% (32%) and 80% (17%) better outage probability (average BER) in the uplink and downlink, respectively. It is also shown that the tracking procedure provides on average 480% and 170% improvements in the network's outage probability and average BER, respectively, compared to poorly aligned FSO conditions. The results are verified by applying Monte-Carlo simulations.


title: Effects of symmetry breaking of the structurally-disordered Hamiltonian ensembles on the anisotropic decoherence of qubits

abstract: It is commonly known that the dephasing in open quantum systems is due to the establishment of bipartite correlations with ambient environments, which are typically difficult to be fully characterized. Recently, a new approach of average over disordered Hamiltonian ensemble is developed and shown to be capable of describing the nonclassicality of incoherent dynamics based on inferring the nonclassical nature of the correlations. Here we further extend the approach of Hamiltonian ensemble in the canonical form to the realm of structural disorder. Under the variable separation of the probability distribution within the Hamiltonian ensemble, the geometrical structure is easily visualized and can be characterized according to the degree of symmetry. We demonstrate four degrees and investigate the effects of different types of symmetry breaking on the incoherent dynamics. We show that these effects are easily understood from the emergences of additional terms in the master equations, leading to rather general master equations and, consequently, going beyond the previous frameworks of pure dephasing or isotropic depolarization.


title: Conductance-based dendrites perform Bayes-optimal cue integration

abstract: A fundamental function of cortical circuits is the integration of information from different sources to form a reliable basis for behavior. While animals behave as if they optimally integrate information according to Bayesian probability theory, the implementation of the required computations in the biological substrate remains unclear. We propose a novel, Bayesian view on the dynamics of conductance-based neurons and synapses which suggests that they are naturally equipped to optimally perform information integration. In our approach apical dendrites represent prior expectations over somatic potentials, while basal dendrites represent likelihoods of somatic potentials. These are parametrized by local quantities, the effective reversal potentials and membrane conductances. We formally demonstrate that under these assumptions the somatic compartment naturally computes the corresponding posterior. We derive a gradient-based plasticity rule, allowing neurons to learn desired target distributions and weight synaptic inputs by their relative reliabilities. Our theory explains various experimental findings on the system and single-cell level related to multi-sensory integration, which we illustrate with simulations. Furthermore, we make experimentally testable predictions on Bayesian dendritic integration and synaptic plasticity.


title: The (2,1)-category of small coherent categories

abstract: There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category $\mathbf{Coh_{\sim}}$ (of small coherent categories, coherent functors and all natural isomorphisms) is of logical interest. We prove that this category admits all small 2-limits and 2-colimits (in the ($\infty $,1)-categorical sense), and prove a 2-categorical small object argument to provide weak factorisation systems for coherent functors.


title: Search for dark matter in events with missing transverse momentum and a Higgs boson decaying into two photons in $pp$ collisions at $\sqrt{s} = 13$ TeV with the ATLAS detector

abstract: A search for dark-matter particles in events with large missing transverse momentum and a Higgs boson candidate decaying into two photons is reported. The search uses $139$ fb$^{-1}$ of proton-proton collision data collected at $\sqrt{s}=13$ TeV with the ATLAS detector at the CERN LHC between 2015 and 2018. No significant excess of events over the Standard Model predictions is observed. The results are interpreted by extracting limits on three simplified models that include either vector or pseudoscalar mediators and predict a final state with a pair of dark-matter candidates and a Higgs boson decaying into two photons.


title: Ultrashort pulsed laser induced complex surface structures generated by tailoring the melt hydrodynamics

abstract: We present a novel approach for tailoring the laser induced surface topography upon femtosecond-fs pulsed laser irradiation. The method employs spatially controlled double fs laser pulses to actively regulate the hydrodynamic microfluidic motion of the melted layer that gives rise to the structures formation. The pulse train used, in particular, consists of a previously unexplored spatiotemporal intensity combination including one pulse with Gaussian and another with periodically modulated intensity distribution created by Direct Laser Interference Patterning (DLIP). The interpulse delay is appropriately chosen to reveal the contribution of the microfluidic melt flow, while it is found that the sequence of the Gaussian and DLIP pulses remarkably influences the surface profile attained. Results also demonstrate that both the spatial intensity of the double pulse and the effective number of pulses per irradiation spot can further be modulated to control the formation of complex surface morphologies. The underlying physical processes behind the complex patterns generation were interpreted in terms of a multiscale model combining electrodynamic excitation with melt hydrodynamics. We believe that this work can constitute a significant step forward towards producing laser induced surface structures on demand by tailoring the melt microfluidic phenomena.


title: Autotuning PolyBench Benchmarks with LLVM Clang/Polly Loop Optimization Pragmas Using Bayesian Optimization (extended version)

abstract: In this paper, we develop a ytopt autotuning framework that leverages Bayesian optimization to explore the parameter space search and compare four different supervised learning methods within Bayesian optimization and evaluate their effectiveness. We select six of the most complex PolyBench benchmarks and apply the newly developed LLVM Clang/Polly loop optimization pragmas to the benchmarks to optimize them. We then use the autotuning framework to optimize the pragma parameters to improve their performance. The experimental results show that our autotuning approach outperforms the other compiling methods to provide the smallest execution time for the benchmarks syr2k, 3mm, heat-3d, lu, and covariance with two large datasets in 200 code evaluations for effectively searching the parameter spaces with up to 170,368 different configurations. We find that the Floyd-Warshall benchmark did not benefit from autotuning because Polly uses heuristics to optimize the benchmark to make it run much slower. To cope with this issue, we provide some compiler option solutions to improve the performance. Then we present loop autotuning without a user's knowledge using a simple mctree autotuning framework to further improve the performance of the Floyd-Warshall benchmark. We also extend the ytopt autotuning framework to tune a deep learning application.


title: Every Annotation Counts: Multi-label Deep Supervision for Medical Image Segmentation

abstract: Pixel-wise segmentation is one of the most data and annotation hungry tasks in our field. Providing representative and accurate annotations is often mission-critical especially for challenging medical applications. In this paper, we propose a semi-weakly supervised segmentation algorithm to overcome this barrier. Our approach is based on a new formulation of deep supervision and student-teacher model and allows for easy integration of different supervision signals. In contrast to previous work, we show that care has to be taken how deep supervision is integrated in lower layers and we present multi-label deep supervision as the most important secret ingredient for success. With our novel training regime for segmentation that flexibly makes use of images that are either fully labeled, marked with bounding boxes, just global labels, or not at all, we are able to cut the requirement for expensive labels by 94.22% - narrowing the gap to the best fully supervised baseline to only 5% mean IoU. Our approach is validated by extensive experiments on retinal fluid segmentation and we provide an in-depth analysis of the anticipated effect each annotation type can have in boosting segmentation performance.


title: A Unifying Framework for Sparsity Constrained Optimization

abstract: In this paper, we consider the optimization problem of minimizing a continuously differentiable function subject to both convex constraints and sparsity constraints. By exploiting a mixed-integer reformulation from the literature, we define a necessary optimality condition based on a tailored neighborhood that allows to take into account potential changes of the support set. We then propose an algorithmic framework to tackle the considered class of problems and prove its convergence to points satisfying the newly introduced concept of stationarity. We further show that, by suitably choosing the neighborhood, other well-known optimality conditions from the literature can be recovered at the limit points of the sequence produced by the algorithm. Finally, we analyze the computational impact of the neighborhood size within our framework and in the comparison with some state-of-the-art algorithms, namely, the Penalty Decomposition method and the Greedy Sparse-Simplex method. The algorithms have been tested using a benchmark related to sparse logistic regression problems.


title: Quantum decoherence emulated in a classical device

abstract: We demonstrate that a classical emulation of quantum gate operations, here represented by an actual analog electronic device, can be modeled accurately as a quantum operation in terms of a universal set of Pauli operators. This observation raises the possibility that quantum error correction methods may be applied to classical systems to improve fault tolerance.


title: Yield forecasting with machine learning and small data: what gains for grains?

abstract: Forecasting crop yields is important for food security, in particular to predict where crop production is likely to drop. Climate records and remotely-sensed data have become instrumental sources of data for crop yield forecasting systems. Similarly, machine learning methods are increasingly used to process big Earth observation data. However, access to data necessary to train such algorithms is often limited in food-insecure countries. Here, we evaluate the performance of machine learning algorithms and small data to forecast yield on a monthly basis between the start and the end of the growing season. To do so, we developed a robust and automated machine-learning pipeline which selects the best features and model for prediction. Taking Algeria as case study, we predicted national yields for barley, soft wheat and durum wheat with an accuracy of 0.16-0.2 t/ha (13-14 % of mean yield) within the season. The best machine-learning models always outperformed simple benchmark models. This was confirmed in low-yielding years, which is particularly relevant for early warning. Nonetheless, the differences in accuracy between machine learning and benchmark models were not always of practical significance. Besides, the benchmark models outperformed up to 60% of the machine learning models that were tested, which stresses the importance of proper model calibration and selection. For crop yield forecasting, like for many application domains, machine learning has delivered significant improvement in predictive power. Nonetheless, superiority over simple benchmarks is often fully achieved after extensive calibration, especially when dealing with small data.


title: IATos: AI-powered pre-screening tool for COVID-19 from cough audio samples

abstract: OBJECTIVE: Our objective is to evaluate the possibility of using cough audio recordings (spontaneous or simulated) to detect sound patterns in people who are diagnosed with COVID-19. The research question that led our work was: what is the sensitivity and specificity of a machine learning based COVID-19 cough classifier, using RT-PCR tests as gold standard? SETTING: The audio samples that were collected for this study belong to individuals who were swabbed in the City of Buenos Aires in 20 public and 1 private facilities where RT-PCR studies were carried out on patients suspected of COVID, and 14 out-of-hospital isolation units for patients with confirmed COVID mild cases. The audios were collected through the Buenos Aires city government WhatsApp chatbot that was specifically designed to address citizen inquiries related to the coronavirus pandemic (COVID-19). PARTICIPANTS: The data collected corresponds to 2821 individuals who were swabbed in the City of Buenos Aires, between August 11 and December 2, 2020. Individuals were divided into 1409 that tested positive for COVID-19 and 1412 that tested negative. From this sample group, 52.6% of the individuals were female and 47.4% were male. 2.5% were between the age of 0 and 20 , 61.1% between the age of 21 and 40 , 30.3% between the age of 41 and 60 and 6.1% were over 61 years of age. RESULTS: Using the dataset of 2821 individuals our results showed that the neural network classifier was able to discriminate between the COVID-19 positive and the healthy coughs with an accuracy of 86%. This accuracy obtained during the training process was later tested and confirmed with a second dataset corresponding to 492 individuals.


title: Performance Portable Back-projection Algorithms on CPUs: Agnostic Data Locality and Vectorization Optimizations

abstract: Computed Tomography (CT) is a key 3D imaging technology that fundamentally relies on the compute-intense back-projection operation to generate 3D volumes. GPUs are typically used for back-projection in production CT devices. However, with the rise of power-constrained micro-CT devices, and also the emergence of CPUs comparable in performance to GPUs, back-projection for CPUs could become favorable. Unlike GPUs, extracting parallelism for back-projection algorithms on CPUs is complex given that parallelism and locality are not explicitly defined and controlled by the programmer, as is the case when using CUDA for instance. We propose a collection of novel back-projection algorithms that reduce the arithmetic computation, robustly enable vectorization, enforce a regular memory access pattern, and maximize the data locality. We also implement the novel algorithms as efficient back-projection kernels that are performance portable over a wide range of CPUs. Performance evaluation using a variety of CPUs from different vendors and generations demonstrates that our back-projection implementation achieves on average 5.2x speedup over the multi-threaded implementation of the most widely used, and optimized, open library. With a state-of-the-art CPU, we reach performance that rivals top-performing GPUs.


title: The infall of dwarf satellite galaxies are influenced by their host's massive accretions

abstract: Recent progress in constraining the massive accretions (>1:10) experienced by the Milky Way (MW) and the Andromeda galaxy (M31) offers an opportunity to understand the dwarf galaxy population of the Local Group. Using zoom-in dark matter-only simulations of MW-mass haloes and concentrating on subhaloes that are thought to be capable of hosting dwarf galaxies, we demonstrate that the infall of a massive progenitor is accompanied with the accretion and destruction of a large number of subhaloes. Massive accreted progenitors do not increase the total number of infalling subhaloes onto a MW-mass host, but instead focus surrounding subhaloes onto the host causing a clustering in the infall time of subhaloes. This leads to a temporary elevation in the number of subhaloes as well as changes in their cumulative radial profile within the virial radius of the host. Surviving associated subhaloes with a massive progenitor have a large diversity in their orbits. We find that the star formation quenching times of Local Group dwarf spheroidal galaxies ($10^{5} \mathrm{M_{\odot}} \lesssim \mathrm{M}_{*} \lesssim 10^{7} \mathrm{M_{\odot}}$) are clustered around the times of the most massive accretions suffered by the MW and M31. Our results imply that a) the quenching time of dwarf spheroidals is a good proxy of their infall time and b) the absence of recently quenched satellites around M31 suggests that M33 is not on its first infall and was accreted much earlier.


title: Dynamical exploring the QCD matter at finite temperatures and densities-a short review

abstract: We provide a concise review on recent theory advancements towards full-fledged (3+1)D dynamical descriptions of relativistic nuclear collisions at finite baryon density. Heavy-ion collisions at different collision energies produce strongly-coupled matter and probe the QCD phase transition at the crossover, critical point, and first-order phase transition regions. Dynamical frameworks provide a quantitative tool to extract properties of hot QCD matter and map fireballs to the QCD phase diagram. Outstanding challenges are highlighted when confronting current theoretical frameworks with current and forthcoming experimental measurements from the RHIC beam energy scan programs.


title: Donaldson-Thomas invariants for 3-Calabi-Yau varieties of dihedral quotient type

abstract: We compute motivic Donaldson-Thomas invariants for crepant resolutions of quotients of affine three-space by even dihedral groups in terms of an affine type D root system, using double dimensional reduction and the representation theory of affine type D quivers.


title: Magnon modes as a joint effect of surface ferromagnetism and spin-orbite coupling in CoSi chiral topological semimetal

abstract: CoSi single crystal is a known realization of a chiral topological semimetal with simultaneously broken mirror and inversion symmetries. In addition to the symmetry-induced spin-orbit coupling, surface ferromagnetism is known in nominally diamagnetic CoSi structures, which appears due to the distorted bonds and ordered vacancies near the surface. We experimentally investigate electron transport through a thin CoSi flake at high current density. Surprisingly, we demonstrate $dV/dI(I)$ curves which are qualitatively similar to ones for ferromagnetic multilayers with characteristic $dV/dI$ magnon peaks and unconventional magnetic field evolution of the peaks' positions. We understand these observations as a result of current-induced spin polarization due to the significant spin-orbit coupling in CoSi. Scattering of non-equilibrium spin-polarized carriers within the surface ferromagnetic layer is responsible for the precessing spin-wave excitations, so the observed magnon modes are the joint effect of surface ferromagnetism and spin-orbit coupling in a CoSi chiral topological semimetal. Thus, thin CoSi flakes behave as magnetic conductors with broken inversion symmetry, which is important for different spintronic phenomena.


title: Development and validation of the signal simulation for the underground muon detector of the Pierre Auger Observatory

abstract: The underground muon detector of the Pierre Auger Observatory is aimed at attaining direct measurements of the muonic component of extensive air showers produced by cosmic rays with energy from $10^{16.5}$ eV up to the region of the ankle (around $10^{18.7}$ eV). It consists of two nested triangular grids of underground scintillators with 433 m, and 750 m spacings and a total of 71 positions, each with 192 scintillator strips (30 m$^2$) deployed 2.3 m underground. The light produced by impinging muons in the scintillators is propagated with optical fibers towards an array of silicon photomultipliers. In this work, we present the development, validation, and performance of an end-to-end tool for simulating the response of the underground muon detector to single-muon signals, which constitutes the basis for further simulations of the whole array. Laboratory data and simulation outcomes are found consistent, showing that with the underground muon detector we can measure single muons, with an efficiency of 99 %, up to about 1050 particles arriving at exactly the same time in 30 m$^2$ of scintillator.


title: Proceedings - AI/ML for Cybersecurity: Challenges, Solutions, and Novel Ideas at SIAM Data Mining 2021

abstract: Malicious cyber activity is ubiquitous and its harmful effects have dramatic and often irreversible impacts on society. Given the shortage of cybersecurity professionals, the ever-evolving adversary, the massive amounts of data which could contain evidence of an attack, and the speed at which defensive actions must be taken, innovations which enable autonomy in cybersecurity must continue to expand, in order to move away from a reactive defense posture and towards a more proactive one. The challenges in this space are quite different from those associated with applying AI in other domains such as computer vision. The environment suffers from an incredibly high degree of uncertainty, stemming from the intractability of ingesting all the available data, as well as the possibility that malicious actors are manipulating the data. Another unique challenge in this space is the dynamism of the adversary causes the indicators of compromise to change frequently and without warning. In spite of these challenges, machine learning has been applied to this domain and has achieved some success in the realm of detection. While this aspect of the problem is far from solved, a growing part of the commercial sector is providing ML-enhanced capabilities as a service. Many of these entities also provide platforms which facilitate the deployment of these automated solutions. Academic research in this space is growing and continues to influence current solutions, as well as strengthen foundational knowledge which will make autonomous agents in this space a possibility.


title: Width Transfer: On the (In)variance of Width Optimization

abstract: Optimizing the channel counts for different layers of a CNN has shown great promise in improving the efficiency of CNNs at test-time. However, these methods often introduce large computational overhead (e.g., an additional 2x FLOPs of standard training). Minimizing this overhead could therefore significantly speed up training. In this work, we propose width transfer, a technique that harnesses the assumptions that the optimized widths (or channel counts) are regular across sizes and depths. We show that width transfer works well across various width optimization algorithms and networks. Specifically, we can achieve up to 320x reduction in width optimization overhead without compromising the top-1 accuracy on ImageNet, making the additional cost of width optimization negligible relative to initial training. Our findings not only suggest an efficient way to conduct width optimization but also highlight that the widths that lead to better accuracy are invariant to various aspects of network architectures and training data.


title: An Elliptic Curve Analogue of Pillai's Lower Bound on Primitive Roots

abstract: Let $E/\mathbb{Q}$ be an elliptic curve. For a prime $p$ of good reduction, let $r(E,p)$ be the smallest non-negative integer that gives the $x$-coordinate of a point of maximal order in the group $E(\mathbb{F}_p)$. We prove unconditionally that $r(E,p)> 0.72\log\log p$ for infinitely many $p$, and $r(E,p) > 0.36 \log p$ under the assumption of the Generalized Riemann Hypothesis. This can be viewed as elliptic curve analogues of classical lower bounds on the least primitive root of a prime.


title: Early Classification of Time Series is Meaningful

abstract: Many approaches have been proposed for early classification of time series in light of its significance in a wide range of applications including healthcare, transportation and finance. However, recently a preprint saved on Arxiv claim that all research done for almost 20 years now on the Early Classification of Time Series is useless, or, at the very least, ill-oriented because severely lacking a strong ground. In this paper, we answer in detail the main issues and misunderstandings raised by the authors of the preprint, and propose directions to further expand the fields of application of early classification of time series.


title: Multiple radio frequency measurement with an improved frequency resolution based on stimulated Brillouin scattering with a reduced gain bandwidth

abstract: A photonic-assisted multiple radio frequency (RF) measurement approach based on stimulated Brillouin scattering (SBS) and frequency-to-time mapping with high accuracy and high-frequency resolution is reported. A two-tone signal is single-sideband (SSB) modulated on an optical carrier via a dual-parallel Mach-Zehnder modulator to construct one SBS gain and two SBS losses for SBS gain bandwidth reduction. The unknown RF signal is also SSB modulated on a carrier that has been modulated by a sweep signal, thus the unknown RF signal is converted to a sweep optical signal along with the sweep optical carrier. The bandwidth-reduced SBS gain spectrum is detected by the sweep optical signals at different specific time, mapping the RF frequencies to the time domain. An experiment is performed. RF frequencies from 0.3 to 7.6 GHz are simultaneously measured with a root mean square error of less than 1 MHz. In addition, the frequency resolution of the measurement can be much lower than 10 MHz, which is now the best result in the RF frequency measurement methods employing the SBS effect.


title: Trend Alert: How a Cross-Platform Organization Manipulated Twitter Trends in the Indian General Election

abstract: Political organizations worldwide keep innovating their use of social media technologies. In the 2019 Indian general election, organizers used a network of WhatsApp groups to manipulate Twitter trends through coordinated mass postings. We joined 600 WhatsApp groups that support the Bharatiya Janata Party, the right-wing party that won the general election, to investigate these campaigns. We found evidence of 75 hashtag manipulation campaigns in the form of mobilization messages with lists of pre-written tweets. Building on this evidence, we estimate the campaigns' size, describe their organization and determine whether they succeeded in creating controlled social media narratives. Our findings show that the campaigns produced hundreds of nationwide Twitter trends throughout the election. Centrally controlled but voluntary in participation, this hybrid configuration of technologies and organizational strategies shows how profoundly online tools transform campaign politics. Trend alerts complicate the debates over the legitimate use of digital tools for political participation and may have provided a blueprint for participatory media manipulation by a party with popular support.


title: Student use of a quantum simulation and visualization tool

abstract: Knowledge of quantum mechanical systems is becoming more important for many science and engineering students who are looking to join the emerging quantum workforce. To better prepare a wide range of students for these careers, we must seek to develop new tools to enhance our education in quantum topics. We present initial studies on the use of one of these such tools, Quantum Composer, a 1D quantum simulation and visualization tool developed for education and research purposes. In particular, we conducted five think-aloud interviews with students who worked through an exercise using Quantum Composer that focused on the statics and dynamics of quantum states in a single harmonic well system. Our results show that Quantum Composer helps students to obtain the correct answers to the questions posed, but additional support is needed to facilitate the development of student reasoning behind these answers. We also show that students are able to focus only on the relevant features of Quantum Composer to achieve the task.


title: Poisson process approximation under stabilization and Palm coupling

abstract: We present new Poisson process approximation results for stabilizing functionals of Poisson and binomial point processes. These functionals are allowed to have an unbounded range of interaction and encompass many examples in stochastic geometry. Our bounds are derived for the Kantorovich-Rubinstein distance using the generator approach to Stein's method. We give different types of bounds for different point processes. While some of our bounds are given in terms of coupling of the point process with its Palm version, the others are in terms of the local dependence structure formalized via the notion of stabilization. We provide two supporting examples for our new framework - one is for Morse critical points of the distance function, and the other is for large k-nearest neighbor balls. Our bounds considerably extend the results in Barbour and Brown (1992), Decreusefond, Schulte and Thale (2016) and Otto (2020).


title: Characterizing braided tensor categories associated to logarithmic vertex operator algebras

abstract: Given a non-semisimple braided tensor category, with oplax tensor functors from known braided tensor categories, we ask : How does this knowledge characterize the tensor product and the braiding? We develop tools that address this question. In particular we prove that the associator is fixed by the oplax tensor functors, and we show that a distinguished role is played by the coalgebra structure on the image of theses tensor functors. Our setup constrains the form of quasi bialgebras appearing in the logarithmic Kazhdan-Lusztig conjecture and it applies in particular to the representation categories of the triplet vertex algebras. Here the two oplax tensor functors are determined by two free field realizations, and the coalgebras mentioned above are the Nichols algebras of type $\mathfrak{sl}_2$. We demonstrate in the case of $p=2$ that our setup completely determines the braided tensor category and the realizing quasi-triangular quasi-Hopf algebra is as anticipated in \cite{FGR2}. This proves the logarithmic Kazhdan-Lusztig conjecture for $p=2$, while for general $p$ it only remains to establish that our characterization provides a unique braided tensor category.


title: Designing a scalable framework for declarative automation on distributed systems

abstract: As distributed systems grow in scale and complexity, the need for flexible automation of systems management functions also grows. We outline a framework for building tools that provide distributed, scalable, declarative, modular, and continuous automation for distributed systems. We focus on four points of design: 1) a state-management approach that prescribes source-of-truth for configured and discovered system states; 2) a technique to solve the declarative unification problem for a class of automation problems, providing state convergence and modularity; 3) an eventual-consistency approach to state synchronization which provides automation at scale; 4) an event-driven architecture that provides always-on state enforcement. We describe the methodology, software architecture for the framework, and constraints for these techniques to apply to an automation problem. We overview a reference application built on this framework that provides state-aware system provisioning and node lifecycle management, highlighting key advantages. We conclude with a discussion of current and future applications.


title: Collective Monte Carlo updates through tensor network renormalization

abstract: We introduce a Metropolis-Hastings Markov chain for Boltzmann distributions of classical spin systems. It relies on approximate tensor network contractions to propose correlated collective updates at each step of the evolution. We present benchmarks for a wide variety of instances of the two-dimensional Ising model, including ferromagnetic, antiferromagnetic, (fully) frustrated and Edwards-Anderson spin glass cases, and we show that, with modest computational effort, our Markov chain achieves sizeable acceptance rates, even in the vicinity of critical points. In each of the situations we have considered, the Markov chain compares well with other Monte Carlo schemes such as the Metropolis or Wolff algorithm: equilibration times appear to be reduced by a factor that varies between 40 and 2000, depending on the model and the observable being monitored. We also present an extension to three spatial dimensions, and demonstrate that it exhibits fast equilibration for finite ferro and antiferromagnetic instances. Additionally, and although it is originally designed for a square lattice of finite degrees of freedom with open boundary conditions, the proposed scheme can be used as such, or with slight modifications, to study triangular lattices, systems with continuous degrees of freedom, matrix models, a confined gas of hard spheres, or to deal with arbitrary boundary conditions.

categories: cond-mat.stat-mech cond-mat.dis-nn hep-lat quant-ph


title: Throughput Maximization for IRS-Assisted Wireless Powered Hybrid NOMA and TDMA

abstract: The high reflect beamforming gain of the intelligent reflecting surface (IRS) makes it appealing not only for wireless information transmission but also for wireless power transfer. In this letter, we consider an IRS-assisted wireless powered communication network, where a base station (BS) transmits energy to multiple users grouped into multiple clusters in the downlink, and the clustered users transmit information to the BS in the manner of hybrid non-orthogonal multiple access and time division multiple access in the uplink. We investigate optimizing the reflect beamforming of the IRS and the time allocation among the BS's power transfer and different user clusters' information transmission to maximize the throughput of the network, and we propose an efficient algorithm based on the block coordinate ascent, semidefinite relaxation, and sequential rank-one constraint relaxation techniques to solve the resultant problem. Simulation results have verified the effectiveness of the proposed algorithm and have shown the impact of user clustering setup on the throughput performance of the network.


title: Batebit Controller: Popularizing Digital Musical Instruments Development Process

abstract: In this paper, we present an ongoing research project related to popularizing the mindset of building new digital musical instruments. We developed a physical kit and software intended to provide beginner users with the first grasp on the development process of a digital musical instrument. We expect that, by using the kit and the software, the users could experiment in a short period the various steps in developing a DMI such as physical structure, electronics, programming, mapping, and sound design. Our approach to popularizing the DMI development process is twofold: reducing the cognitive load for beginners by encapsulating technical details and lowering the costs of the kit by using simple components and open-source software. In the end, we expect that by increasing the interest of beginners in the building process of digital musical instruments, we could make the community of new interfaces for musical expression stronger.


title: The SRG X-ray orbital observatory, its telescopes and first scientific results

abstract: The orbital observatory Spectrum-Roentgen-Gamma (SRG), equipped with the grazing-incidence X-ray telescopes Mikhail Pavlinsky ART-XC and eROSITA, was launched by Roscosmos to the Lagrange L2 point of the Sun-Earth system on July 13, 2019. The launch was carried out from the Baikonur Cosmodrome by a Proton-M rocket with a DM-03 upper stage. The German telescope eROSITA was installed on SRG under an agreement between Roskosmos and the DLR, the German Aerospace Agency. In December 2019, SRG started to perform its main scientific task: scanning the celestial sphere to obtain X-ray maps of the entire sky in several energy ranges (from 0.2 to 8 keV with eROSITA, and from 4 to 30 keV with ART-XC). By mid-June 2021, the third six-month all-sky survey had been completed. Over a period of four years, it is planned to obtain eight independent maps of the entire sky in each of the energy ranges. The sum of these maps will provide high sensitivity and reveal more than three million quasars and over one hundred thousand massive galaxy clusters and galaxy groups. The availability of eight sky maps will enable monitoring of long-term variability (every six months) of a huge number of extragalactic and Galactic X-ray sources, including hundreds of thousands of stars with hot coronae. The rotation of the satellite around the axis directed toward the Sun with a period of four hours enables tracking the faster variability of bright X-ray sources during one day every half year. The chosen strategy of scanning the sky leads to the formation of deep survey zones near both ecliptic poles. The paper presents sky maps obtained by the telescopes on board SRG during the first survey of the entire sky and a number of results of deep observations performed during the flight to the L2 point in the frame of the performance verification program.(Abriged)


title: Semi-supervised Superpixel-based Multi-Feature Graph Learning for Hyperspectral Image Data

abstract: Graphs naturally lend themselves to model the complexities of Hyperspectral Image (HSI) data as well as to serve as semi-supervised classifiers by propagating given labels among nearest neighbours. In this work, we present a novel framework for the classification of HSI data in light of a very limited amount of labelled data, inspired by multi-view graph learning and graph signal processing. Given an a priori superpixel-segmented hyperspectral image, we seek a robust and efficient graph construction and label propagation method to conduct semi-supervised learning (SSL). Since the graph is paramount to the success of the subsequent classification task, particularly in light of the intrinsic complexity of HSI data, we consider the problem of finding the optimal graph to model such data. Our contribution is two-fold: firstly, we propose a multi-stage edge-efficient semi-supervised graph learning framework for HSI data which exploits given label information through pseudo-label features embedded in the graph construction. Secondly, we examine and enhance the contribution of multiple superpixel features embedded in the graph on the basis of pseudo-labels in an extension of the previous framework, which is less reliant on excessive parameter tuning. Ultimately, we demonstrate the superiority of our approaches in comparison with state-of-the-art methods through extensive numerical experiments.


title: The ksmt calculus is a $\delta$-complete decision procedure for non-linear constraints

abstract: ksmt is a CDCL-style calculus for solving non-linear constraints over real numbers involving polynomials and transcendental functions. In this paper we investigate properties of the ksmt calculus and show that it is a $\delta$-complete decision procedure for bounded problems. We also propose an extension with local linearisations, which allow for more efficient treatment of non-linear constraints.


title: Charmonium decays into ${\Lambda}_c\bar{\Lambda}_c$ pair governed by the hadronic loop mechanism

abstract: In this work, we investigate the open-charm decay process $\psi\to\Lambda_c\bar{\Lambda}_c$ via the hadronic loop mechanism for vector charmonia above $\Lambda_c\bar{\Lambda}_c$ threshold. The branching ratios of these vector charmonium states to $\Lambda_c\bar{\Lambda}_c$ are estimated. The charmonium explanation of the $Y(4630)$ observed in $e^+e^- \to \Lambda_c\bar{\Lambda}_c$ is tested. Furthermore, for the predicted higher vector charmonia above 4.7 GeV, the branching ratios $\mathcal{B}[\psi(nS)\to\Lambda_c\bar{\Lambda}_c]$ with $n=7,8,9$ are found to be of the order of magnitude of $10^{-4}-10^{-3}$ while $\mathcal{B}[\psi(mD)\to\Lambda_c\bar{\Lambda}_c]$ with $m=6,7,8$ are of the order of magnitude of $10^{-3}-10^{-2}$. The experimental signals of these missing charmonium states are discussed. The search for them may be an interesting topic in the future BESIII and Belle II experiments.


title: Numerical computation of effective thermal equilibrium in Stochastically Switching Langevin Systems

abstract: Stochastically switching force terms appear frequently in models of biological systems under the action of active agents such as proteins. The interaction of switching force and Brownian motion can create an "effective thermal equilibrium" even though the system does not obey a potential function. In order to extend the field of energy landscape analysis to understand stability and transitions in switching systems, we derive the quasipotential that defines this effective equilibrium for a general overdamped Langevin system with a force switching according to a continuous-time Markov chain process. Combined with the string method for computing most-probable transition paths, we apply our method to an idealized system and show the appearance of previously unreported numerical challenges. We present modifications to the algorithms to overcome these challenges, and show validity by demonstrating agreement between our computed quasipotential barrier and asymptotic Monte Carlo transition times in the system.


title: Percolation of Ion-Irradiation-Induced Disorder in Complex Oxide Interfaces

abstract: Mastery of order-disorder processes in highly non-equilibrium nanostructured oxides has significant implications for the development of emerging energy technologies. However, we are presently limited in our ability to quantify and harness these processes at high spatial, chemical, and temporal resolution, particularly in extreme environments. Here we describe the percolation of disorder at the model oxide interface LaMnO$_3$ / SrTiO$_3$, which we visualize during in situ ion irradiation in the transmission electron microscope. We observe the formation of a network of disorder during the initial stages of ion irradiation and track the global progression of the system to full disorder. We couple these measurements with detailed structural and chemical probes, examining possible underlying defect mechanisms responsible for this unique percolative behavior.


title: Induced order and collective excitations in three-singlet quantum magnets

abstract: The quantum magnetism in a three-singlet model (TSM) with singlet crystalline electric field (CEF) states interacting on a lattice is investigated, motivated by its appearance in compounds with 4f^2 and 5f^2 electronic structure. Contrary to conventional (semi-classical) magnetism there are no preformed moments above the ordering temperature Tm. They appear spontaneously as induced or excitonic moments due to singlet-singlet mixing at Tm. In most cases the transition is of second order, however for large matrix elements between the excited states it turns into a first order transition at a critical point. Furthermore we derive the excitonic mode spectrum and its quantum critical soft mode behaviour which leads to the criticality condition for induced order as expressed in terms of the control parameters of the TSM and discuss the distinctions to the previously known two-singlet case. We also derive the temperature dependence of order parameters for second and first order transitions and the exciton spectrum in the induced magnetic phase.


title: Bounds for spectral projectors on tori

abstract: We investigate norms of spectral projectors on thin spherical shells for the Laplacian on tori. This is closely related to the boundedness of resolvents of the Laplacian, and to the boundedness of $L^p$ norms of eigenfunctions of the Laplacian. We formulate a conjecture, and partially prove it.


title: Exceptional field dependence of antiferromagnetic magnons in LiFePO$_4$

abstract: Low-energy magnon excitations in magnetoelectric LiFePO$_4$ have been investigated by high-frequency high-field electron spin resonance spectroscopy in magnetic fields up to B = 58 T and frequencies up to f = 745 GHz. For magnetic fields applied along the easy magnetic axis, the excitation gap softens and vanishes at the spin-flop field of BSF = 32 T before hardening again at higher fields. In addition, for B smaller than BSF we observe a resonance mode assigned to excitations due to Dzyaloshinskii-Moriya (DM)-interactions, thereby evidencing sizable DM interaction of approx 150 micro eV in LiFePO4. Both the magnetisation and the excitations up to high magnetic fields are described in terms of a mean-field theory model which extends recent zero field inelastic neutron scattering results. Our results imply that magnetic interactions as well as magnetic anisotropy have a sizable quadratic field dependence which we attribute to significant magnetostriction.


title: MULTIMODAL ANALYSIS: Informed content estimation and audio source separation

abstract: This dissertation proposes the study of multimodal learning in the context of musical signals. Throughout, we focus on the interaction between audio signals and text information. Among the many text sources related to music that can be used (e.g. reviews, metadata, or social network feedback), we concentrate on lyrics. The singing voice directly connects the audio signal and the text information in a unique way, combining melody and lyrics where a linguistic dimension complements the abstraction of musical instruments. Our study focuses on the audio and lyrics interaction for targeting source separation and informed content estimation.


title: A Dual Process Model for Optimizing Cross Entropy in Neural Networks

abstract: Minimizing cross-entropy is a widely used method for training artificial neural networks. Many training procedures based on backpropagation use cross-entropy directly as their loss function. Instead, this theoretical essay investigates a dual process model with two processes, in which one process minimizes the Kullback-Leibler divergence while its dual counterpart minimizes the Shannon entropy. Postulating that learning consists of two dual processes complementing each other, the model defines an equilibrium state for both processes in which the loss function assumes its minimum. An advantage of the proposed model is that it allows deriving the optimal learning rate and momentum weight to update network weights for backpropagation. Furthermore, the model introduces the golden ratio and complex numbers as important new concepts in machine learning.


title: Strain, doping and electronic transport of large area monolayer MoS2 exfoliated on gold and transferred to an insulating substrate

abstract: Gold-assisted mechanical exfoliation currently represents a promising method to separate ultra-large (cm-scale) transition metal dichalcogenides (TMDs) monolayers (1L) with excellent electronic and optical properties from the parent van der Waals (vdW) crystals. The strong interaction between $Au$ and chalcogen atoms is the key to achieve this nearly perfect 1L exfoliation yield. On the other hand, it may affect significantly the doping and strain of 1L TMDs in contact with Au. In this paper, we systematically investigated the morphology, strain, doping, and electrical properties of large area 1L $MoS_{2}$ exfoliated on ultra-flat $Au$ films ($0.16-0.21 nm$ roughness) and finally transferred to an insulating $Al_{2}O_{3}$ substrate. Raman mapping and correlative analysis of the $E'$ and $A1'$ peaks positions revealed a moderate tensile strain ($0.2\%$) and p-type doping ($n=-0.25 \times 10^{13} cm^{-2}$) of 1L $MoS_{2}$ in contact with $Au$. Nanoscale resolution current mapping and current-voltage (I-V) measurements by conductive atomic force microscopy (C-AFM) showed direct tunnelling across the 1L $MoS_{2}$ on $Au$, with a broad distribution of tunnelling barrier values (from 0.7 to 1.7 eV) consistent with the p-type doping of $MoS_{2}$. After the final transfer of $1L-MoS_{2}$ on $Al_{2}O_{3}/Si$, the strain was converted to compressive ($-0.25\%$). Furthermore, an n-type doping ($n=0.5 \times 10^{13} cm^{-2}$) was deduced by Raman mapping and confirmed by electrical measurements of an $Al_{2}O_{3}/Si$ back-gated 1L $MoS_{2}$ transistor. These results provide a deeper understanding of the $Au$-assisted exfoliation mechanisms and can contribute to its widespread applications for the realization of novel devices and artificial vdW heterostructures


title: Sensitivity Analysis of Discrepancy Terms introduced in Turbulence Models using Field Inversion

abstract: RANS simulations with the Spalart-Allmaras turbulence model are improved for cases with flow separation using the Field Inversion and Machine Learning approach. A compensatory discrepancy term is introduced into the turbulence model and optimized using high-fidelity reference data from experiments. Influences on the optimization results with respect to regularization, grid resolution and areas in which the optimization is active are investigated. Finally, a neural network is trained and used to augment simulations on a test case.


title: Learning Markov models of fading channels in wireless control networks: a regression trees based approach

abstract: Finite-state Markov models are widely used for modeling wireless channels affected by a variety of non-idealities, ranging from shadowing to interference. In an industrial environment, the derivation of a Markov model based on the wireless communication physics can be prohibitive as it requires a complete knowledge of both the communication dynamics parameters and of the disturbances/interferers. In this work, a novel methodology is proposed to learn a Markov model of a fading channel via historical data of the signal-to-interference-plus-noise-ratio (SINR). Such methodology can be used to derive a Markov jump model of a wireless control network, and thus to design a stochastic optimal controller that takes into account the interdependence between the plant and the wireless channel dynamics. The proposed method is validated by comparing its prediction accuracy and control performance with those of a stationary finite-state Markov chain derived assuming perfect knowledge of the physical channel model and parameters of a WirelessHART point-to-point communication based on the IEEE-802.15.4 standard.


title: Complete Deterministic Dynamics and Spectral Decomposition of the Linear Ensemble Kalman Inversion

abstract: The ensemble Kalman inversion (EKI) for the solution of Bayesian inverse problems of type $y = A u +\varepsilon$, with $u$ being an unknown parameter, $y$ a given datum, and $\varepsilon$ measurement noise, is a powerful tool usually derived from a sequential Monte Carlo point of view. It describes the dynamics of an ensemble of particles $\{u^j(t)\}_{j=1}^J$, whose initial empirical measure is sampled from the prior, evolving over an artificial time $t$ towards an approximate solution of the inverse problem, with $t=1$ emulating the posterior, and $t\to\infty$ corresponding to the under-regularized minimum-norm solution of the inverse problem. Using spectral techniques, we provide a complete description of the deterministic dynamics of EKI and its asymptotic behavior in parameter space. In particular, we analyze the dynamics of naive EKI and mean-field EKI with a special focus on their time asymptotic behavior. Furthermore, we show that -- even in the deterministic case -- residuals in parameter space do not decrease monotonously in the Euclidean norm and suggest a problem-adapted norm, where monotonicity can be proved. Finally, we derive a system of ordinary differential equations governing the spectrum and eigenvectors of the covariance matrix. While the analysis is aimed at the EKI, we believe that it can be applied to understand more general particle-based dynamical systems.


title: Contrasting social and non-social sources of predictability in human mobility

abstract: Social structures influence a variety of human behaviors including mobility patterns, but the extent to which one individual's movements can predict another's remains an open question. Further, latent information about an individual's mobility can be present in the mobility patterns of both social and non-social ties, a distinction that has not yet been addressed. Here we develop a "colocation" network to distinguish the mobility patterns of an ego's social ties from those of non-social colocators, individuals not socially connected to the ego but who nevertheless arrive at a location at the same time as the ego. We apply entropy and predictability measures to analyse and bound the predictive information of an individual's mobility pattern and the flow of that information from their top social ties and from their non-social colocators. While social ties generically provide more information than non-social colocators, we find that significant information is present in the aggregation of non-social colocators: 3-7 colocators can provide as much predictive information as the top social tie, and colocators can replace up to 85% of the predictive information about an ego, compared with social ties that can replace up to 94% of the ego's predictability. The presence of predictive information among non-social colocators raises privacy concerns: given the increasing availability of real-time mobility traces from smartphones, individuals sharing data may be providing actionable information not just about their own movements but the movements of others whose data are absent, both known and unknown individuals.


title: On fixed point approach to equilibrium problem

abstract: The equilibrium problem defined by the Nikaid\^o-Isoda-Fan inequality contains a number of problems such as optimization, variational inequality, Kakutani fixed point, Nash equilibria, and others as special cases. This paper presents a picture for the relationship between the fixed points of the Moreau proximal mapping and the solutions of the equilibrium problem that satisfies some kinds of monotonicity and Lipschitz-type condition.


title: An optimal control approach to determine resistance-type boundary conditions from in-vivo data for cardiovascular simulations

abstract: The choice of appropriate boundary conditions is a fundamental step in computational fluid dynamics (CFD) simulations of the cardiovascular system. Boundary conditions, in fact, highly affect the computed pressure and flow rates, and consequently haemodynamic indicators such as wall shear stress, which are of clinical interest. Devising automated procedures for the selection of boundary conditions is vital to achieve repeatable simulations. However, the most common techniques do not automatically assimilate patient-specific data, relying instead on expensive and time-consuming manual tuning procedures. In this work, we propose a technique for the automated estimation of outlet boundary conditions based on optimal control. The values of resistive boundary conditions are set as control variables and optimized to match available patient-specific data. Experimental results on four aortic arches demonstrate that the proposed framework can assimilate 4D-Flow MRI data more accurately than two other common techniques based on Murray's law and Ohm's law.


title: KEVLAR-TZ: A Secure Cache for ARM TrustZone

abstract: Edge devices are increasingly in charge of storing privacy-sensitive data, in particular implantables, wearables, and nearables can potentially collect and process high-resolution vital signs 24/7. Storing and performing computations over such data in a privacy-preserving fashion is of paramount importance. We present KEVLAR-TZ, an application-level trusted cache designed to leverage ARM TrustZone, a popular trusted execution environment available in consumer-grade devices. To facilitate the integration with existing systems and IoT devices and protocols, KEVLAR-TZ exposes a REST-based interface with connection endpoints inside the TrustZone enclave. Furthermore, it exploits the on-device secure persistent storage to guarantee durability of data across reboots. We fully implemented KEVLAR-TZ on top of the OP-TEE framework, and experimentally evaluated its performance. Our results showcase performance trade-offs, for instance in terms of throughput and latency, for various workloads, and we believe our results can be useful for practitioners and in general developers of systems for TrustZone. KEVLAR-TZ is available as open-source at https://github.com/mqttz/kevlar-tz/.


title: Transfers of some Hecke elements for possibly ramified base change in GL_n

abstract: In this paper we prove an explicit matching theorem for some Hecke elements in the case of (possibly ramified) cyclic base change for general linear groups over local fields of characteristic zero with odd residue characteristic under a mild assumption. A key observation, based on the works of Waldspurger and Ganapathy-Varma, is to regard the base change lifts with twisted endoscopic lifts and replace the condition for the matching orbital integrals with one for semi-simple descend in the twisted space according to Waldspurger's fundamental work "L'endoscopie tordue n'est pas si tordue".


title: Twisted D3-brane and M5-brane compactifications from multi-charge spindles

abstract: We construct families of supersymmetric AdS$_3\times Y_7$ and AdS$_3\times Y_8$ solutions to type IIB string theory and M-theory, respectively. Here $Y_7$ is an $S^5$ fibration over $\Sigma$, while $Y_8$ is an $S^4$ fibration over $\Sigma_g\times \Sigma$, where $\Sigma_g$ is a Riemann surface of genus $g>1$ and $\Sigma$ is a two-dimensional orbifold known as a spindle. We interpret the solutions as near-horizon limits of $N$ D3-branes wrapped on $\Sigma$ and $N$ M5-branes wrapped on $\Sigma_g\times \Sigma$, respectively. These are holographically dual to $d=2$, $(0,2)$ SCFTs, and we show that the central charge and superconformal R-symmetry of the gravity solutions agree with dual field theory calculations.


title: The Geometrization of Meaning

abstract: One of the greatest problems in philosophy is that of meaning. The turning point in thinking on meaning was Tarski's definition of truth, and the rapid development of logical semantics and model theory was a consequence of this achievement. Perhaps less well-known among classical logicians and philosophers is that it is category theory that provides adequate mathematical tools to study the relationship between the syntax of formalized theories and their semantics. The aim of this article is to change this situation and make a preliminary philosophical analysis of the results obtained so far. They concern formalized algebraic theories with axioms in the form of equational laws, theories based on propositional logic and coherent Boolean logic, as well as decidable logic which is not necessarily Boolean. The syntactic-semantics relation for these theories takes the form of dualisms between the respective syntactic and semantic categories. These dualisms are given by the appropriate adjoint functors. In all the considered cases, the syntax--semantics dualism corresponds to the algebra-geometry dualism. We analyze the philosophical significance of these results. They allow us to look at the problem of meaning in a new light and formulate a criterion distinguishing formal theories from empirical theories. The disputes that were once fought over Tarski's definition of truth are transferred to a new context. The polemics as to whether Tarski actually succeeded in reducing the problem of meaning to purely syntactic terms has been superseded: between the syntactic and semantic categories there is not a relation of reducibility but rather that of interaction, and this relation is given by adjoint functors. We also touch upon other philosophical aspects of the categorical approach to the problem of meaning.