title: The Galactic Distribution of Phosphorus: A Survey of 163 Disk and Halo Stars

abstract: Phosphorus (P) is a critical element for life on Earth yet the cosmic production sites of P are relatively uncertain. To understand how P has evolved in the solar neighborhood, we measured abundances for 163 FGK stars over a range of -1.09 $<$ [Fe/H] $<$ 0.47 using observations from the Habitable-zone Planet Finder (HPF) instrument on the Hobby-Eberly Telescope (HET). Atmospheric parameters were calculated by fitting a combination of astrometry, photometry, and Fe I line equivalent widths. Phosphorus abundances were measured by matching synthetic spectra to a P I feature at 10529.52 angstroms. Our [P/Fe] ratios show that chemical evolution models generally under-predict P over the observed metallicity range. Additionally, we find that the [P/Fe] differs by $\sim$ 0.1 dex between thin disk and thick disk stars that were identified with kinematics. The P abundances were compared with $\alpha$-elements, iron-peak, odd-Z, and s-process elements and we found that P in the disk most strongly resembles the evolution of the $\alpha$-elements. We also find molar P/C and N/C ratios for our sample match the scatter seen from other abundance studies. Finally, we measure a [P/Fe] = 0.09 $\pm$ 0.1 ratio in one low-$\alpha$ halo star and probable Gaia-Sausage-Enceladus (GSE) member, an abundance ratio $\sim$ 0.3 - 0.5 dex lower than the other Milky Way disk and halo stars at similar metallicities. Overall, we find that P is likely most significantly produced by massive stars in core collapse supernovae (CCSNe) based on the largest P abundance survey to-date.


title: How to Dissect a Muppet: The Structure of Transformer Embedding Spaces

abstract: Pretrained embeddings based on the Transformer architecture have taken the NLP community by storm. We show that they can mathematically be reframed as a sum of vector factors and showcase how to use this reframing to study the impact of each component. We provide evidence that multi-head attentions and feed-forwards are not equally useful in all downstream applications, as well as a quantitative overview of the effects of finetuning on the overall embedding space. This approach allows us to draw connections to a wide range of previous studies, from vector space anisotropy to attention weights.


title: The Solar X-ray Corona

abstract: The X-ray emission from the Sun reveals a very dynamic hot atmosphere, the corona, which is characterized by a complex morphology and broad range of timescales of variability and spatial structuring. The solar magnetic fields play a fundamental role in the heating and structuring of the solar corona. Increasingly higher quality X-ray solar observations with high spatial (down to subarcsec) and temporal resolution provide fundamental information to refine our understanding of the solar magnetic activity and of the underlying physical processes leading to the heating of the solar outer atmosphere. Here we provide a brief historical overview of X-ray solar observations and we summarize recent progress in our understanding of the solar corona as made possible by state-of-the-art current X-ray observations.


title: Decision Rule Approaches for Pessimistic Bilevel Linear Programs under Moment Ambiguity with Facility Location Applications

abstract: We study a pessimistic stochastic bilevel program in the context of sequential two-player games, where the leader makes a binary here-and-now decision, and the follower responds a continuous wait-and-see decision after observing the leader's action and revelation of uncertainty. Only the information of the mean, covariance, and support is known. We formulate the problem as a distributionally robust (DR) two-stage problem. The pessimistic DR bilevel program is shown to be equivalent to a generic two-stage distributionally robust stochastic (nonlinear) program with both a random objective and random constraints under proper conditions of ambiguity sets. Under continuous distributions, using linear decision rule approaches, we construct upper bounds on the pessimistic DR bilevel program based on (1) 0-1 semidefinite programming (SDP) approximation and (2) an exact 0-1 copositive programming reformulations. When the ambiguity set is restricted to discrete distributions, an exact 0-1 SDP reformulation is developed, and explicit construction of the worst-case distribution is derived. To further improve the computation of the proposed 0-1 SDPs, a cutting-plane framework is developed. Moreover, based on a mixed-integer linear programming approximation, another cutting-plane algorithm is proposed. Extensive numerical studies are conducted to demonstrate the effectiveness of the proposed approaches on a facility location problem.


title: Q# as a Quantum Algorithmic Language

abstract: Q# is a standalone domain-specific programming language from Microsoft for writing and running quantum programs. Like most industrial languages, it was designed without a formal specification, which can naturally lead to ambiguity in its interpretation. We aim to provide a formal language definition for Q#, placing the language on a solid mathematical foundation and enabling further evolution of its design and type system. This paper presents $\lambda$-Q#, an idealized version of Q# that illustrates how we may view Q# as a quantum Algol (algorithmic language). We show the safety properties enforced by $\lambda$-Q#'s type system and present its equational semantics based on a fully complete algebraic theory by Staton.


title: $w$-$\rm FP$-projective modules and dimension

abstract: Let $R$ be a ring. An $R$-module $M$ is said to be an absolutely $w$-pure module if and only if $\Ext^1_R(F,M)$ is a GV-torsion module for any finitely presented module $F$. In this paper, we introduce and study the concept of $w$-FP-projective module which is in some way a generalization of the notion of $\rm FP$-projective module. An $R$-module $M$ is said to be $w$-$\rm FP$-projective if $\Ext^1_R(M,N)=0$ for any absolutely $w$-pure module $N$. This new class of modules will be used to characterize (Noetherian) $DW$ rings. Hence, we introduce the $w$-$\rm FP$-projective dimensions of modules and rings. The relations between the introduced dimensions and other (classical) homological dimensions are discussed. Illustrative examples are given.


title: Estimation of non-uniqueness and short-time asymptotic expansions for Navier-Stokes flows

abstract: There is considerable evidence that solutions to the non-forced 3D Navier-Stokes equations in the natural energy space are not unique. Assuming this is the case, it becomes important to quantify how non-uniqueness evolves. In this paper we provide an algebraic estimate for how rapidly two possibly non-unique solutions can separate over a compact spatial region in which the initial data has sub-critical regularity. Outside of this compact region, the data is only assumed to be in the scaling critical weak Lebesgue space and can be large. In order to establish this separation rate, we develop a new spatially local, short-time asymptotic expansion which is of independent interest.


title: A Multiplex Approach Against Disturbance Propagation in Nonlinear Networks with Delays

abstract: We consider both leaderless and leader-follower, possibly nonlinear, networks affected by time-varying communication delays. For such systems, we give a set of sufficient conditions that guarantee the convergence of the network towards some desired behaviour while simultaneously ensuring the rejection of polynomial disturbances and the non-amplification of other classes of disturbances across the network. To fulfill these desired properties, and prove our main results, we propose the use of a control protocol that implements a multiplex architecture. The use of our results for control protocol design is then illustrated in the context of formation control. The protocols are validated both in-silico and via an experimental set-up with real robots. All experiments confirm the effectiveness of our approach.


title: Logarithmic corrections to O($a$) and O($a^2$) effects in lattice QCD with Wilson or Ginsparg-Wilson quarks

abstract: We derive the asymptotic lattice spacing dependence $a^n[2b_0\bar{g}^2(1/a)]^{\hat{\Gamma}_i}$ relevant for spectral quantities of lattice QCD, when using Wilson, O$(a)$ improved Wilson or Ginsparg-Wilson quarks. We give some examples for the spectra encountered for $\hat{\Gamma}_i$ including the partially quenched case, mixed actions and using two different discretisations for dynamical quarks. This also includes maximally twisted mass QCD relying on automatic O$(a)$ improvement. At O$(a^2)$, all cases considered have $\min_i\hat{\Gamma}_i\gtrsim -0.3$ if $N_\mathrm{f}\leq 4$, which ensures that the leading order lattice artifacts are not severely logarithmically enhanced in contrast to the O$(3)$ non-linear sigma model [1,2]. However, we find a very dense spectrum of these leading powers, which may result in major pile-ups and cancellations. We present in detail the computational strategy employed to obtain the 1-loop anomalous dimensions already used in [3].


title: Automated Expected Amortised Cost Analysis of Probabilistic Data Structures

abstract: In this paper, we present the first fully-automated expected amortised cost analysis of self-adjusting data structures, that is, of randomised splay trees, randomised splay heaps and randomised meldable heaps, which so far have only (semi-) manually been analysed in the literature. Our analysis is stated as a type-and-effect system for a first-order functional programming language with support for sampling over discrete distributions, non-deterministic choice and a ticking operator. The latter allows for the specification of fine-grained cost models. We state two soundness theorems based on two different -- but strongly related -- typing rules of ticking, which account differently for the cost of non-terminating computations. Finally we provide a prototype implementation able to fully automatically analyse the aforementioned case studies.


title: WIDESim: A toolkit for simulating resource management techniques of scientific Workflows In Distributed Environments with graph topology

abstract: IoT devices trigger real-time applications by receiving data from their vicinity. Modeling these applications in the form of workflows enables automating their procedure, especially for the business and industry. Depending on the features of the applications, they can be modeled in different forms, including single workflow, multiple workflows, and workflow ensembles. Since the whole data must be sent to the cloud servers for processing and storage, cloud computing has many challenges for executing real-time applications, such as bandwidth limitation, delay, and privacy. Edge paradigms are introduced to address the challenges of cloud computing in executing IoT applications. Executing IoT applications using device-to-device communications in edge paradigms requiring direct communication between devices in a network with a graph topology. While there is no simulator supporting simulating workflow-based applications and device-to-device communication, this paper introduces a toolkit for simulating resource management of scientific workflows in distributed environments with graph topology called WIDESim.The graph topology of WIDESim enables D2D communications in edge paradigms. WIDESim can work with all three different structures of scientific workflows: single, multiple workflows, and workflow ensembles. It has no constraint on the topology of the distributed environment. Also, unlike most existing network simulators, this simulator enables dynamic resource management and scheduling. We have validated the performance of WIDESim in comparison to standard simulators and workflow management tools. Also, we have evaluated its performance in different scenarios of distributed computing systems using different types of workflow-based applications. The results indicate that WIDESim's performance is close to existing standard simulators besides its improvements.


title: Vietoris-Rips Metric Thickenings of the Circle

abstract: Vietoris-Rips metric thickenings have previously been proposed as an alternate approach to understanding Vietoris-Rips simplicial complexes and their persistent homology. Recent work has shown that for totally bounded metric spaces, Vietoris-Rips metric thickenings have persistent homology barcodes that agree with those of Vietoris-Rips simplicial complexes, ignoring whether endpoints of bars are open or closed. Combining this result with the known homotopy types and barcodes of the Vietoris-Rips simplicial complexes of the circle, the barcodes of the Vietoris-Rips metric thickenings of the circle can be deduced up to endpoints, and conjectures have been made about their homotopy types. We confirm these conjectures are correct, proving that the Vietoris-Rips metric thickenings of the circle are homotopy equivalent to odd-dimensional spheres at the expected scale parameters. Our approach is to find quotients of the metric thickenings that preserve homotopy type and show that the quotient spaces can be described as CW complexes. The quotient maps are also natural with respect to the scale parameter and thus provide a direct proof of the persistent homology of the metric thickenings.


title: Multireference configuration interaction study of the predissociation of C$_{2}$ via its $F\,^1\Pi_u$ state

abstract: Photodissociation is one of the main destruction pathways for dicarbon (C$_{2}$) in astronomical environments such as diffuse interstellar clouds, yet the accuracy of modern astrochemical models is limited by a lack of accurate photodissociation cross sections in the vacuum ultraviolet range. C$_{2}$ features a strong predissociative $F\,^1\Pi_u - X\,^1\Sigma_g^+$ electronic transition near 130 nm originally measured in 1969; however, no experimental studies of this transition have been carried out since, and theoretical studies of the $F\,^1\Pi_u$ state are limited. In this work, potential energy curves of excited electronic states of C$_{2}$ are calculated with the aim of describing the predissociative nature of the $F\,^1\Pi_u$ state and providing new ab initio photodissociation cross sections for astrochemical applications. Accurate electronic calculations of 56 singlet, triplet, and quintet states are carried out at the DW-SA-CASSCF/MRCI+Q level of theory with a CAS(8,12) active space and the aug-cc-pV5Z basis set augmented with additional diffuse functions. Photodissociation cross sections arising from the vibronic ground state to the $F\,^1\Pi_u$ state are calculated by a coupled-channel model. The total integrated cross section through the $F\,^1\Pi_u$ $v=0$ and $v=1$ bands is 1.198$\times$10$^{-13} $cm$^2$cm$^{-1}$, giving rise to a photodissociation rate of 5.02$\times$10$^{-10}$ s$^{-1}$ under the standard interstellar radiation field, much larger than the rate in the Leiden photodissociation database. In addition, we report a new $2\,^1\Sigma_u^+$ state that should be detectable via a strong $2\,^1\Sigma_u^+-X\,^1\Sigma_g^+$ band around 116 nm.


title: An Equivariant Tamagawa Number Formula for t-Modules and Applications

abstract: We fix motivic data $(K/F, E)$ consisting of a Galois extension $K/F$ of characteristic $p$ global fields with arbitrary abelian Galois group $G$ and an ableian $t$-module $E$, defined over a certain Dedekind subring of $F$. For this data, one can define a $G$-equivariant motivic $L$-function $\Theta_{K/F}^E$. We refine the techniques developed in previous work of the authors and prove an equivariant Tamagawa number formula for appropriate Euler product completions of the special value $\Theta_{K/F}^E(0)$ of this equivariant $L$-function. This extends previous results of the authors from the Drinfeld module setting to the $t$--module setting. As a first notable consequence, we prove a $t$-module analogue of the classical (number field) Refined Brumer-Stark Conjecture, relating a certain $G$-Fitting ideal of the $t$-motive analogue $H(E/K)$ of Taelman's class modules to the special value $\Theta_{K/F}^E(0)$ in question. As a second consequence, we prove formulas for the values $\Theta_{K/F}^E(m)$, at all positive integers $m\in\Bbb Z_{\geq 0}$, when $E$ is a Drinfeld module. This, in turn, implies a Drinfeld module analogue of the classical Refined Coates-Sinnott Conjecture relating $\Theta_{K/F}^E(m)$ to the Fitting ideals of certain Carlitz twists $H(E(m)/\mathcal O_K)$ of Taelman's class modules, suggesting a strong analogy between these twists and the even Quillen $K$-groups of a number field. In an upcoming paper, these consequences will be used to develop an Iwasawa theory for the $t$-module analogues of Taelman's class modules.


title: Recent results from NOvA

abstract: We present the most recent 3-flavor neutrino oscillation results from the NOvA long-baseline experiment, using a joint fit of $\nu_\mu \to \nu_\mu$, $\bar{\nu}_{\mu} \to \bar{\nu}_{\mu}$, $\nu_\mu \to \nu_{e}$, and $\bar{\nu}_{\mu}\to \bar{\nu}_{e}$ channels, and an accumulated exposure of $13.6 \times 10^{20}$ protons-on-target of neutrino beam and $12.5 \times 10^{20}$ protons-on-target of antineutrino beam. The best-fit values for the atmospheric parameters are $\Delta m^2_{32} = (2.41\pm0.07)\times 10^{-3}$ eV$^2$, $\sin^2\theta_{23} = 0.57^{+0.03}_{-0.04}$ and $\delta_{CP} = (0.82^{+0.27}_{-0.87}) \pi$. The data disfavor combinations of oscillation parameters that lead to large asymmetries between the rates of $\nu_{e}$ vs $\bar{\nu}_{e}$ appearance.


title: CPES-QSM: A Quantitative Method Towards the Secure Operation of Cyber-Physical Energy Systems

abstract: Power systems are evolving into cyber-physical energy systems (CPES) due to the integration of modern communication and Internet-of-Things (IoT) devices. CPES security evaluation is challenging since the physical and cyber layers are often not considered holistically. Existing literature focuses on only optimizing the operation of either the physical or cyber layer while ignoring the interactions between them. This paper proposes a metric, the Cyber-Physical Energy System Quantitative Security Metric (CPES-QSM), that quantifies the interaction between the cyber and physical layers across three domains: electrical, cyber-risk, and network topology. A method for incorporating the proposed cyber-metric into operational decisions is also proposed by formulating a cyber-constrained AC optimal power flow (C-ACOPF) that considers the status of all the CPES layers. The cyber-constrained ACOPF considers the vulnerabilities of physical and cyber networks by incorporating factors such as voltage stability, contingencies, graph-theory, and IoT cyber risks, while using a multi-criteria decision-making technique. Simulation studies are conducted using standard IEEE test systems to evaluate the effectiveness of the proposed metric and the C-ACOPF formulation.


title: A Penny for Your (visual) Thoughts: Self-Supervised Reconstruction of Natural Movies from Brain Activity

abstract: Reconstructing natural videos from fMRI brain recordings is very challenging, for two main reasons: (i) As fMRI data acquisition is difficult, we only have a limited amount of supervised samples, which is not enough to cover the huge space of natural videos; and (ii) The temporal resolution of fMRI recordings is much lower than the frame rate of natural videos. In this paper, we propose a self-supervised approach for natural-movie reconstruction. By employing cycle-consistency over Encoding-Decoding natural videos, we can: (i) exploit the full framerate of the training videos, and not be limited only to clips that correspond to fMRI recordings; (ii) exploit massive amounts of external natural videos which the subjects never saw inside the fMRI machine. These enable increasing the applicable training data by several orders of magnitude, introducing natural video priors to the decoding network, as well as temporal coherence. Our approach significantly outperforms competing methods, since those train only on the limited supervised data. We further introduce a new and simple temporal prior of natural videos, which - when folded into our fMRI decoder further - allows us to reconstruct videos at a higher frame-rate (HFR) of up to x8 of the original fMRI sample rate.


title: Code-DKT: A Code-based Knowledge Tracing Model for Programming Tasks

abstract: Knowledge tracing (KT) models are a popular approach for predicting students' future performance at practice problems using their prior attempts. Though many innovations have been made in KT, most models including the state-of-the-art Deep KT (DKT) mainly leverage each student's response either as correct or incorrect, ignoring its content. In this work, we propose Code-based Deep Knowledge Tracing (Code-DKT), a model that uses an attention mechanism to automatically extract and select domain-specific code features to extend DKT. We compared the effectiveness of Code-DKT against Bayesian and Deep Knowledge Tracing (BKT and DKT) on a dataset from a class of 50 students attempting to solve 5 introductory programming assignments. Our results show that Code-DKT consistently outperforms DKT by 3.07-4.00% AUC across the 5 assignments, a comparable improvement to other state-of-the-art domain-general KT models over DKT. Finally, we analyze problem-specific performance through a set of case studies for one assignment to demonstrate when and how code features improve Code-DKT's predictions.


title: Piecewise Linear Strain Cosserat Model for Soft Slender Manipulator

abstract: Recently soft robotics has rapidly become a novel and promising area of research with many designs and applications due to their flexible and compliant structure. However, it is more difficult to derive the nonlinear dynamic model of such soft robots. The differential kinematics and dynamics of the soft manipulator can be formulated as a set of highly nonlinear partial differential equations (PDEs) via the classic Cosserat rod theory. In this work, we propose a discrete modeling technique named piecewise linear strain (PLS) to solve the PDEs of Cosserat-based models, based on which the associated analytic models are deduced. To validate the accuracy of the proposed Cosserat model, the static model of the conical cantilever rod under gravity as a simple example is simulated by using different discretization methods. Results indicate that PLS Cosserat model is comparable to the mechanical deformation behavior of real-world soft manipulator. Finally, a parameters identification scheme for this model is established, and the simulation as well as experimental validation demonstrate that using this method can identify the model physical parameters with high accuracy.


title: Guidelines and a Corpus for Extracting Biographical Events

abstract: Despite biographies are widely spread within the Semantic Web, resources and approaches to automatically extract biographical events are limited. Such limitation reduces the amount of structured, machine-readable biographical information, especially about people belonging to underrepresented groups. Our work challenges this limitation by providing a set of guidelines for the semantic annotation of life events. The guidelines are designed to be interoperable with existing ISO-standards for semantic annotation: ISO-TimeML (ISO-24617-1), and SemAF (ISO-24617-4). Guidelines were tested through an annotation task of Wikipedia biographies of underrepresented writers, namely authors born in non-Western countries, migrants, or belonging to ethnic minorities. 1,000 sentences were annotated by 4 annotators with an average Inter-Annotator Agreement of 0.825. The resulting corpus was mapped on OntoNotes. Such mapping allowed to to expand our corpus, showing that already existing resources may be exploited for the biographical event extraction task.


title: On Schur Algebras and Derivations of Free Lie Algebras

abstract: We investigate the action of Schur algebra on the Lie algebras of derivations of free Lie algebras and operad structures constructed from it. We also show that the Lie algebra of derivations is generated by quadratic derivations together with the action of the Schur operad. Applications to certain subgroups of the automorphism group of a finitely generated free group are given as well.


title: Classification of conic bundles on a rational elliptic surface in any characteristic

abstract: Let $X$ be a rational elliptic surface with elliptic fibration $\pi:X\to\Bbb{P}^1$ over an algebraically closed field $k$ of any characteristic. Given a conic bundle $\varphi:X\to\Bbb{P}^1$ we use numerical arguments to classify all possible fibers of $\varphi$ and study the interplay between singular fibers of $\pi$ and $\varphi$.


title: Perturbative methods for mostly monotonic probabilistic satisfiability problems

abstract: The probabilistic satisfiability of a logical expression is a fundamental concept known as the partition function in statistical physics and field theory, an evaluation of a related graph's Tutte polynomial in mathematics, and the Moore-Shannon network reliability of that graph in engineering. It is the crucial element for decision-making under uncertainty. Not surprisingly, it is provably hard to compute exactly or even to approximate. Many of these applications are concerned only with a subset of problems for which the solutions are monotonic functions. Here we extend the weak- and strong-coupling methods of statistical physics to heterogeneous satisfiability problems and introduce a novel approach to constructing lower and upper bounds on the approximation error for monotonic problems. These bounds combine information from both perturbative analyses to produce bounds that are tight in the sense that they are saturated by some problem instance that is compatible with all the information contained in either approximation.


title: NOMAD: Nonlinear Manifold Decoders for Operator Learning

abstract: Supervised learning in function spaces is an emerging area of machine learning research with applications to the prediction of complex physical systems such as fluid flows, solid mechanics, and climate modeling. By directly learning maps (operators) between infinite dimensional function spaces, these models are able to learn discretization invariant representations of target functions. A common approach is to represent such target functions as linear combinations of basis elements learned from data. However, there are simple scenarios where, even though the target functions form a low dimensional submanifold, a very large number of basis elements is needed for an accurate linear representation. Here we present NOMAD, a novel operator learning framework with a nonlinear decoder map capable of learning finite dimensional representations of nonlinear submanifolds in function spaces. We show this method is able to accurately learn low dimensional representations of solution manifolds to partial differential equations while outperforming linear models of larger size. Additionally, we compare to state-of-the-art operator learning methods on a complex fluid dynamics benchmark and achieve competitive performance with a significantly smaller model size and training cost.


title: Faceted wrinkling by contracting a curved boundary

abstract: Single-mode deformations of two-dimensional materials, such as the Miura-ori zig-zag fold, are important to the design of deployable structures because of their robustness; these usually require careful pre-patterning of the material. Here we show that inward contraction of a curved boundary produces a fine wrinkle pattern with a novel structure that suggests similar single-mode characteristics, but with minimal pre-patterning. Using finite-element representation of the contraction of a thin circular annular sheet, we show that these sheets wrinkle into a structure well approximated by an isometric structure composed of conical sectors and flat, triangular facets. Isometry favours the restriction of such deformations to a robust low-bending energy channel that avoids stretching. This class of buckling offers a novel way to manipulate sheet morphology via boundary forces.


title: Fabry-Perot and Aharonov-Bohm interference in ideal graphene nanoribbons

abstract: Quantum-mechanical calculations of electron magneto-transport in ideal graphene nanoribbons are presented. In noninteracting theory, it is predicted that an ideal ribbon that is attached to wide leads should reveal Fabry-Perot conductance oscillations in magnetic field. In the theory with Coulomb interaction taken into account, the oscillation pattern should rather be determined by the Aharonov-Bohm interference effect. Both of these theories predict the formation of quasi-bound states, albeit of different structures, inside the ribbon because of strong electron scattering on the interfaces between the connecting ribbon and the leads. Conductance oscillations are a result of resonant backscattering via these quasi-bound states.


title: On the peculiar long-term orbital evolution of the eclipsing accreting millisecond X-ray pulsar SWIFT J1749.4-2807

abstract: We present the pulsar timing analysis of the accreting millisecond X-ray pulsar SWIFT J1749.4-2807 monitored by NICER and XMM-Newton during its latest outburst after almost eleven years of quiescence. From the coherent timing analysis of the pulse profiles, we updated the orbital ephemerides of the system. Large phase jumps of the fundamental frequency phase of the signal are visible during the outburst, consistent with what was observed during the previous outburst. Moreover, we report on the marginally significant evidence for non-zero eccentricity ($e\simeq 4\times 10^{-5}$) obtained independently from the analysis of both the 2021 and 2010 outbursts and we discuss possible compatible scenarios. Long-term orbital evolution of SWIFT J1749.4-2807 suggests a fast expansion of both the NS projected semi-major axis $(x)$, and the orbital period $(P_{\rm orb})$, at a rate of $\dot{x}\simeq 2.6\times 10^{-13}\,\text{lt-s}\,\text{s}^{-1}$ and $\dot{P}_{\rm orb}\simeq 4 \times 10^{-10}\,\text{s}\,\text{s}^{-1}$, respectively. SWIFT J1749.4-2807 is the only accreting millisecond X-ray pulsar, so far, from which the orbital period derivative has been directly measured from appreciable changes on the observed orbital period. Finally, no significant secular deceleration of the spin frequency of the compact object is detected, which allowed us to set a constraint on the magnetic field strength at the polar caps of $B_{PC}<1.3\times 10^{8}~\text{G}$, in line with typical values reported for AMXPs.


title: A generative recommender system with GMM prior for cancer drug generation and sensitivity prediction

abstract: Recent emergence of high-throughput drug screening assays sparkled an intensive development of machine learning methods, including models for prediction of sensitivity of cancer cell lines to anti-cancer drugs, as well as methods for generation of potential drug candidates. However, a concept of generation of compounds with specific properties and simultaneous modeling of their efficacy against cancer cell lines has not been comprehensively explored. To address this need, we present VADEERS, a Variational Autoencoder-based Drug Efficacy Estimation Recommender System. The generation of compounds is performed by a novel variational autoencoder with a semi-supervised Gaussian Mixture Model (GMM) prior. The prior defines a clustering in the latent space, where the clusters are associated with specific drug properties. In addition, VADEERS is equipped with a cell line autoencoder and a sensitivity prediction network. The model combines data for SMILES string representations of anti-cancer drugs, their inhibition profiles against a panel of protein kinases, cell lines biological features and measurements of the sensitivity of the cell lines to the drugs. The evaluated variants of VADEERS achieve a high r=0.87 Pearson correlation between true and predicted drug sensitivity estimates. We train the GMM prior in such a way that the clusters in the latent space correspond to a pre-computed clustering of the drugs by their inhibitory profiles. We show that the learned latent representations and new generated data points accurately reflect the given clustering. In summary, VADEERS offers a comprehensive model of drugs and cell lines properties and relationships between them, as well as a guided generation of novel compounds.


title: Toward IoT enabled smart offices: Achieving Sustainable Development Goals

abstract: Despite research advocating the Internet of Things (IoT) as an effective in-office monitoring system, little research has presented societal and climate centric discussions. Whereas the United Nations (UN) and other development agencies concerned with climate impact, are advocating transformative actions towards smart cities, very little research in the IoT domain analyzes the advantages of IoT in achieving sustainable development goals (SDGs) to fill this gap. In this study, a smart office (SO) was developed in a Cisco packet tracer. We then presented the SO through the lens of SDGs. We suggest that SOs support targets mentioned in Goal 6, 7, 8, 9, 11 and 12 of the SDGs. This research is crucial - both for developing and developed economies, as we move toward industrialization, while ignoring the adverse impacts of industrialization. This work is expected to provide a pathway with technological innovation toward a more sustainable world for IT practitioners, governments and development agencies.


title: Tensor-Based Channel Estimation for RIS-Assisted Networks Operating Under Imperfections

abstract: Reconfigurable intelligent surface (RIS) is a candidate technology for future wireless networks. It enables to shape the wireless environment to reach massive connectivity and enhanced data rate. The promising gains of RIS-assisted networks are, however, strongly depends on the accuracy of the channel state information. Due to the passive nature of the RIS elements, channel estimation may become challenging. This becomes most evident when physical imperfections or electronic impairments affect the RIS due to its exposition to different environmental effects or caused by hardware limitations from the circuitry. In this paper, we propose an efficient and low-complexity tensor-based channel estimation approach in RIS-assisted networks taking different imperfections into account. By assuming a short-term model in which the RIS imperfections behavior, modeled as unknown amplitude and phase shifts deviations, is non-static with respect to the channel coherence time, we formulate a closed-form higher order singular value decomposition based algorithm for the joint estimation of the involved channels and the unknown impairments. Furthermore, the identifiability and computational complexity of the proposed algorithm are analyzed, and we study the effect of different imperfections on the channel estimation quality. Simulation results demonstrate the effectiveness of our proposed tensor-based algorithm in terms of the estimation accuracy and computational complexity compared to competing tensor-based iterative alternating solutions.


title: Finite conjugacy classes and split exact cochain complexes

abstract: We study the cohomology of isometric group actions on (super) reflexive Banach spaces with a focus on the relation between finite conjugacy classes and split exactness of cochain complexes. In particular, we show that, if a uniformly convex Banach module has no almost invariant vectors under the FC-centre of the acting group, then the associated cochain complex is split exact. Other similar rigidity results are established that are related to prior work of Bader - Furman - Gelander - Monod, Bader - Rosendal - Sauer and Nowak.


title: Experimental and theoretical study of stable and metastable phases in sputtered CuInS${_2}$

abstract: The chalcopyrite Cu(In,Ga)S${_2}$ has gained renewed interest in recent years due to the potential application in tandem solar cells. In this contribution, a combined theoretical and experimental approach is applied to investigate stable and metastable phases forming in CuInS${_2}$ (CIS) thin films. Ab initio calculations are performed to obtain formation energies, X-ray diffraction patterns, and Raman spectra of CIS polytypes and related compounds. Multiple CIS structures with zinc-blende and wurtzite-derived lattices are identified and their XRD/Raman patterns are shown to contain overlapping features, which could lead to misidentification. Thin films with compositions from Cu-rich to Cu-poor are synthesized with a two-step approach based on sputtering from binary targets followed by high-temperature sulfurization. It is discovered that several CIS polymorphs are formed when growing the material with this approach. In the Cu-poor material, wurtzite CIS is observed for the first time in sputtered thin films along with chalcopyrite CIS and CuAu-ordered CIS. Once the wurtzite CIS phase has formed, it is difficult to convert into the stable chalcopyrite polymorph. CuIn${_5}$S${_8}$ and NaInS${_2}$ accommodating In-excess are found alongside the CIS polymorphs. It is argued that the metastable polymorphs are stabilized by off-stoichiometry of the precursors, hence tight composition control is required.


title: Mobile phone enabled Supply chain management in the RMG sector: A conceptual framework

abstract: Relatively little is known about mobile phone use in a Supply Chain Management (SCM) context, especially in the Bangladeshi Ready-Made Garment (RMG) industry. RMG is a very important industry for the Bangladeshi economy but is criticized for long product supply times due to poor SCM. RMG requires obtaining real-time information and enhanced dynamic control, through utilizing information sharing and connecting stakeholders in garment manufacturing. However, a lack of IT support in the Bangladeshi RMG sector, the high price of computers and the low level of adoption of the computer-based internet are obstacles to providing sophisticated computer-aided SCM. Alternatively, the explosive adoption of mobile phones and continuous improvement of this technology is an opportunity to provide mobile-based SCM for the RMG sector. This research presents a mobile phone-based SCM framework for the Bangladeshi RMG sector. The proposed framework shows that mobile phone-based SCM can positively impact communication, information exchange, information retrieval and flow, coordination and management, which represent the main processes of effective SCM. However, to capitalize on these benefits, it is also important to discover the critical success factors and barriers to mobile SCM systems.


title: Stability of a new generalized reciprocal type functional equation

abstract: In this paper, we investigate the generalized Hyers-Ulam stability of the following reciprocal type functional equation \begin{equation*}f(2x+y)+f(2x-y)=\frac{2f(x)f(y)\displaystyle{\sum_{\substack{k=0\\ \text{$k$ is even}}}^{ l}2^{l-k}\binom{l}{k}f(x)^{\frac{k}{l}}f(y)^{\frac{l-k}{l}}}}{\left(4f(y)^{\frac{2}{l}}-f(x)^{\frac{2}{l}}\right)^l}\end{equation*} in non-zero real and non-Archimedean spaces.


title: Electrons running away from the Sun provide the EMF of a giant discharge between the Sun and the Earth

abstract: In connection with the exit of mankind and its production into open space, the problem of the nature of solar wind (SW) is acute. We have proved that a nonequilibrium inhomogeneous giant gas discharge with huge values of the E/N parameter, which determines the electron temperature, is realized in the heliosphere. This quasi-stationary discharge determines the main parameters of the slow SW in the heliosphere and is the initial background and energy reservoir for all more powerful electrical phenomena in the heliosphere, ionosphere and even in the upper atmosphere of the Earth and the positively charged Sun, connected with the entire heliosphere by reverse electron flows that are unable to leave the positively charged Sun and heliosphere. Our article is devoted to a comparison of the experimental profiles of the global electric field obtained using two methods: 1) by the electron velocity distribution function (in experiments with the Parker solar probe) and 2) by the types of positive ions in the SW (according to experiments on the Prognozz - 7 satellite). We have proved that the Pannekoek-Rosseland-Eddington model does not take into account the important role of high-energy runaway (escape from the Sun) electrons and, accordingly, the duality of electron flows in the heliosphere (from the Sun and towards the Sun). In our model, the slight difference between the opposite currents of high-energy (running away from the Sun) electrons and low-energy (returning to the Sun) electrons is compensated by the current of positive ions and protons from the positively charged Sun - SW (positive ions carry electrons with them).


title: Two Ways of Understanding Social Dynamics: Analyzing the Predictability of Emergence of Objects in Reddit r/place Dependent on Locality in Space and Time

abstract: Lately, studying social dynamics in interacting agents has been boosted by the power of computer models, which bring the richness of qualitative work, while offering the precision, transparency, extensiveness, and replicability of statistical and mathematical approaches. A particular set of phenomena for the study of social dynamics is Web collaborative platforms. A dataset of interest is r/place, a collaborative social experiment held in 2017 on Reddit, which consisted of a shared online canvas of 1000 pixels by 1000 pixels co-edited by over a million recorded users over 72 hours. In this paper, we designed and compared two methods to analyze the dynamics of this experiment. Our first method consisted in approximating the set of 2D cellular-automata-like rules used to generate the canvas images and how these rules change over time. The second method consisted in a convolutional neural network (CNN) that learned an approximation to the generative rules in order to generate the complex outcomes of the canvas. Our results indicate varying context-size dependencies for the predictability of different objects in r/place in time and space. They also indicate a surprising peak in difficulty to statistically infer behavioral rules towards the middle of the social experiment, while user interactions did not drop until before the end. The combination of our two approaches, one rule-based and the other statistical CNN-based, shows the ability to highlight diverse aspects of analyzing social dynamics.

categories: physics.soc-ph cs.HC cs.LG cs.MA cs.SI nlin.CG


title: A Locality-Aware Bruck Allgather

abstract: Collective algorithms are an essential part of MPI, allowing application programmers to utilize underlying optimizations of common distributed operations. The MPI_Allgather gathers data, which is originally distributed across all processes, so that all data is available to each process. For small data sizes, the Bruck algorithm is commonly implemented to minimize the maximum number of messages communicated by any process. However, the cost of each step of communication is dependent upon the relative locations of source and destination processes, with non-local messages, such as inter-node, significantly more costly than local messages, such as intra-node. This paper optimizes the Bruck algorithm with locality-awareness, minimizing the number and size of non-local messages to improve performance and scalability of the allgather operation


title: Branes and DAHA Representations

abstract: Using brane quantization, we study the representation theory of the spherical double affine Hecke algebra of type $A_1$ in terms of the topological A-model on the moduli space of flat SL(2,C)-connections on a once-punctured torus. In particular, we provide an explicit match between finite-dimensional representations and A-branes with compact support; one consequence is the discovery of new finite-dimensional indecomposable representations. We proceed to embed the A-model story in an M-theory brane construction, closely related to the one used in the 3d/3d correspondence; as a result, we identify modular tensor categories behind particular finite-dimensional representations with PSL(2,Z) action. Using a further connection to the fivebrane system for the class S construction, we go on to study the relationship of Coulomb branch geometry and algebras of line operators in 4d N=2* theories to the double affine Hecke algebra.

categories: hep-th math-ph math.AG math.MP math.QA math.RT


title: Proper harmonic embeddings of open Riemann surfaces into $\mathbb{R}^4$

abstract: We prove that every open Riemann surface admits a proper embedding into $\mathbb{R}^4$ by harmonic functions. This reduces by one the previously known embedding dimension in this framework, dating back to a theorem by Greene and Wu from 1975.


title: A Model-Based Reinforcement Learning Approach for PID Design

abstract: Proportional-integral-derivative (PID) controller is widely used across various industrial process control applications because of its straightforward implementation. However, it can be challenging to fine-tune the PID parameters in practice to achieve robust performance. The paper proposes a model-based reinforcement learning (RL) framework to design PID controllers leveraging the probabilistic inference for learning control (PILCO) method and Kullback-Leibler divergence (KLD). Since PID controllers have a much more interpretable control structure than a network basis function, an optimal policy given by PILCO is transformed into a set of robust PID tuning parameters for underactuated mechanical systems. The presented method is general and can blend with several model-based and model-free algorithms. The performance of the devised PID controllers is demonstrated with simulation studies for a benchmark cart-pole system under disturbances and system parameter uncertainties.


title: Control Barrier Functions and Input-to-State Safety with Application to Automated Vehicles

abstract: Balancing safety and performance is one of the predominant challenges in modern control system design. Moreover, it is crucial to robustly ensure safety without inducing unnecessary conservativeness that degrades performance. In this work we present a constructive approach for safety-critical control synthesis via Control Barrier Functions (CBF). By filtering a hand-designed controller via a CBF, we are able to attain performant behavior while providing rigorous guarantees of safety. In the face of disturbances, robust safety and performance are simultaneously achieved through the notion of Input-to-State Safety (ISSf). We take a tutorial approach by developing the CBF-design methodology in parallel with an inverted pendulum example, making the challenges and sensitivities in the design process concrete. To establish the capability of the proposed approach, we consider the practical setting of safety-critical design via CBFs for a connected automated vehicle (CAV) in the form of a class-8 truck without a trailer. Through experimentation we see the impact of unmodeled disturbances in the truck's actuation system on the safety guarantees provided by CBFs. We characterize these disturbances and using ISSf, produce a robust controller that achieves safety without conceding performance. We evaluate our design both in simulation, and for the first time on an automotive system, experimentally.


title: Overcoming the Long Horizon Barrier for Sample-Efficient Reinforcement Learning with Latent Low-Rank Structure

abstract: The practicality of reinforcement learning algorithms has been limited due to poor scaling with respect to the problem size, as the sample complexity of learning an $\epsilon$-optimal policy is $\tilde{\Omega}\left(|S||A|H^3 / \epsilon^2\right)$ over worst case instances of an MDP with state space $S$, action space $A$, and horizon $H$. We consider a class of MDPs for which the associated optimal $Q^*$ function is low rank, where the latent features are unknown. While one would hope to achieve linear sample complexity in $|S|$ and $|A|$ due to the low rank structure, we show that without imposing further assumptions beyond low rank of $Q^*$, if one is constrained to estimate the $Q$ function using only observations from a subset of entries, there is a worst case instance in which one must incur a sample complexity exponential in the horizon $H$ to learn a near optimal policy. We subsequently show that under stronger low rank structural assumptions, given access to a generative model, Low Rank Monte Carlo Policy Iteration (LR-MCPI) and Low Rank Empirical Value Iteration (LR-EVI) achieve the desired sample complexity of $\tilde{O}\left((|S|+|A|)\mathrm{poly}(d,H)/\epsilon^2\right)$ for a rank $d$ setting, which is minimax optimal with respect to the scaling of $|S|, |A|$, and $\epsilon$. In contrast to literature on linear and low-rank MDPs, we do not require a known feature mapping, our algorithm is computationally simple, and our results hold for long time horizons. Our results provide insights on the minimal low-rank structural assumptions required on the MDP with respect to the transition kernel versus the optimal action-value function.


title: Interplay between substrate rigidity and tissue fluidity regulates cell monolayer spreading

abstract: Coordinated and cooperative motion of cells is essential for embryonic development, tissue morphogenesis, wound healing and cancer invasion. A predictive understanding of the emergent mechanical behaviors in collective cell motion is challenging due to the complex interplay between cell-cell interactions, cell-matrix adhesions and active cell behaviors. To overcome this challenge, we develop a predictive cellular vertex model that can delineate the relative roles of substrate rigidity, tissue mechanics and active cell properties on the movement of cell collectives. We apply the model to the specific case of collective motion in cell aggregates as they spread into a two-dimensional cell monolayer adherent to a soft elastic matrix. Consistent with recent experiments, we find that substrate stiffness regulates the driving forces for the spreading of cellular monolayer, which can be pressure-driven or crawling-based depending on substrate rigidity. On soft substrates, cell monolayer spreading is driven by an active pressure due to the influx of cells coming from the aggregate, whereas on stiff substrates, cell spreading is driven primarily by active crawling forces. Our model predicts that cooperation of cell crawling and tissue pressure drives faster spreading, while the spreading rate is sensitive to the mechanical properties of the tissue. We find that solid tissues spread faster on stiff substrates, with spreading rate increasing with tissue tension. By contrast, the spreading of fluid tissues is independent of substrate stiffness and is slower than solid tissues. We compare our theoretical results with experimental results on traction force generation and spreading kinetics of cell monolayers, and provide new predictions on the role of tissue fluidity and substrate rigidity on collective cell motion.


title: An excluded minor theorem for the Wagner graph plus an edge

abstract: Let $V_{8}+e$ denote the unique graph obtained from the Wagner graph, also known as $V_{8}$, by adding an edge between two vertices of distance 3 on the Hamilton cycle, which is exactly a split of a minor of the Petersen graph. A complete characterization of all internally 4-connected graphs with no $V_{8}$ minor is given in [J. Maharry and N. Robertson, The structure of graphs not topologically containing the Wagner graph, J. Combin. Theory Ser. B 121 (2016) 398-420]. In this paper we characterize all internally 4-connected graphs with no $V_{8}+e$ minor.


title: Compressive Sensing with Wigner $D$-functions on Subsets of the Sphere

abstract: In this paper, we prove a compressive sensing guarantee for restricted measurement domains on the rotation group, $\mathrm{SO}(3)$. We do so by first defining Slepian functions on a measurement sub-domain $R$ of the rotation group $\mathrm{SO}(3)$. Then, we transform the inverse problem from the measurement basis, the bounded orthonormal system of band-limited Wigner $D$-functions on $\mathrm{SO}(3)$, to the Slepian functions in a way that limits increases to signal sparsity. Contrasting methods using Wigner $D$-functions that require measurements on all of $\mathrm{SO}(3)$, we show that the orthogonality structure of the Slepian functions only requires measurements on the sub-domain $R$, which is select-able. Due to the particulars of this approach and the inherent presence of Slepian functions with low concentrations on $R$, our approach gives the highest accuracy when the signal under study is well concentrated on $R$. We provide numerical examples of our method in comparison with other classical and compressive sensing approaches. In terms of reconstruction quality, we find that our method outperforms the other compressive sensing approaches we test and is at least as good as classical approaches but with a significant reduction in the number of measurements.


title: Multi-Robot Synergistic Localization in Dynamic Environments

abstract: A mobile robot's precise location information is critical for navigation and task processing, especially for a multi-robot system (MRS) to collaborate and collect valuable data from the field. However, a robot in situations where it does not have access to GPS signals, such as in an environmentally controlled, indoor, or underground environment, finds it difficult to locate using its sensor alone. As a result, robots sharing their local information to improve their localization estimates benefit the entire MRS team. There have been several attempts to model-based multi-robot localization using Radio Signal Strength Indicator (RSSI) as a source to calculate bearing information. We also utilize the RSSI for wireless networks generated through the communication of multiple robots in a system and aim to localize agents with high accuracy and efficiency in a dynamic environment for shared information fusion to refine the localization estimation. This estimator structure reduces one source of measurement correlation while appropriately incorporating others. This paper proposes a decentralized Multi-robot Synergistic Localization System (MRSL) for a dense and dynamic environment. Robots update their position estimation whenever new information receives from their neighbors. When the system senses the presence of other robots in the region, it exchanges position estimates and merges the received data to improve its localization accuracy. Our approach uses Bayesian rule-based integration, which has shown to be computationally efficient and applicable to asynchronous robotics communication. We have performed extensive simulation experiments with a varying number of robots to analyze the algorithm. MRSL's localization accuracy with RSSI outperformed other algorithms from the literature, showing a significant promise for future development.


title: In-Situ Assessment of Array Antenna Currents for Real-Time Impedance Tuning

abstract: Impedance tuning has shown promise to maximize output power, gain, or efficiency for transmitter amplifier devices in changing frequency or array environments. Using impedance tuning in phased-array elements, however, has a significant and dynamically changing impact on the transmitted array pattern. To assess the impact of impedance tuning operations on the array pattern, this paper presents a simple method to monitor the antenna input current in real time, allowing optimizations that attempt to preserve the array pattern while achieving goals of increased power, gain, or efficiency. The real-time monitoring of current provides many advantages over traditional array calibration methods in situations where the array element chains can change significantly in magnitude and/or phase during operations.


title: Certifying Data-Bias Robustness in Linear Regression

abstract: Datasets typically contain inaccuracies due to human error and societal biases, and these inaccuracies can affect the outcomes of models trained on such datasets. We present a technique for certifying whether linear regression models are pointwise-robust to label bias in the training dataset, i.e., whether bounded perturbations to the labels of a training dataset result in models that change the prediction of test points. We show how to solve this problem exactly for individual test points, and provide an approximate but more scalable method that does not require advance knowledge of the test point. We extensively evaluate both techniques and find that linear models -- both regression- and classification-based -- often display high levels of bias-robustness. However, we also unearth gaps in bias-robustness, such as high levels of non-robustness for certain bias assumptions on some datasets. Overall, our approach can serve as a guide for when to trust, or question, a model's output.


title: Coordinated through aWeb of Images: Analysis of Image-based Influence Operations from China, Iran, Russia, and Venezuela

abstract: State-sponsored online influence operations typically consist of coordinated accounts exploiting the online space to influence public opinion. Accounts associated with these operations use images and memes as part of their content generation and dissemination strategy to increase the effectiveness and engagement of the content. In this paper, we present a study of images from the PhoMemes 2022 Challenge originating from the countries China, Iran, Russia, and Venezuela. First, we analyze the coordination of images within and across each country by quantifying image similarity. Then, we construct Image-Image networks and image clusters to identify key themes in the image influence operations. We derive the corresponding Account-Account networks to visualize the interaction between participating accounts within each country. Finally, we interpret the image content and network structure in the broader context of the organization and structure of influence operations in each country.


title: Geometric Minimization of Softly-Broken Potentials

abstract: We study the minimization of multi-Higgs models with symmetries that are softly-broken. The powerful method of geometric minimization enables analytic minimization of multi-Higgs models with large symmetries. When these symmetries are softly-broken, the method needs to be adapted. We propose a useful generalization that considers the effect of the soft-breaking terms to the quadratic part of the potential, by applying the procedure to restricted orbit spaces. We exemplify our novel methodology by finding and classifying the minima for an $S_4$ multi-Higgs model that is softly-broken with specific terms.


title: Rotational spectroscopy $n$-propanol: $Aa$ and $Ag$ conformers

abstract: The primary alcohol $n$-propanol (i.e., $normal$-propanol or propan-1-ol; C$_3$H$_7$OH) occurs in five different conformers: $Ga$, $Gg$, $Gg'$, $Aa$, and $Ag$. All rotational spectra of the three conformers of the $G$ family are well described, making astronomical search of their spectroscopic signatures possible, as opposed to those of the $Aa$ and $Ag$ conformers. Our goal is to facilitate the astronomical detection of $Aa$ and $Ag$ conformers of $n$-propanol by characterizing their rotational spectra. We recorded the rotational spectra of $n$-propanol in the frequency domain of 18$-$505\,GHz.Additional double-modulation double-resonance (DM-DR) measurements were performed, more specifically with the goal to unambiguously assign weak transitions of the $Aa$ conformer and to verify assignments of the $Ag$ conformer. We derived a spectroscopic quantum mechanical model with experimental accuracy (with $J_\textrm{max}=70$ and $K_{a,\textrm{max}}=6$) for $Aa$ $n$-propanol. Furthermore, we unambiguously assigned transitions (with $J_\textrm{max}=69$ and $K_{a,\textrm{max}}=9$) of $Ag$ $n$-propanol; in doing so, we prove the existence of two tunneling states, $Ag^+$ and $Ag^-$. The astronomical search of all five conformers of $n$-propanol is now possible via their rotational signatures. These are applied in a companion article on the detection of $n$-propanol toward the hot molecular core Sgr B2(N2).


title: Sampling Frequency Thresholds for Quantum Advantage of Quantum Approximate Optimization Algorithm

abstract: In this work, we compare the performance of the Quantum Approximate Optimization Algorithm (QAOA) with state-of-the-art classical solvers such as Gurobi and MQLib to solve the combinatorial optimization problem MaxCut on 3-regular graphs. The goal is to identify under which conditions QAOA can achieve "quantum advantage" over classical algorithms, in terms of both solution quality and time to solution. One might be able to achieve quantum advantage on hundreds of qubits and moderate depth $p$ by sampling the QAOA state at a frequency of order 10 kHz. We observe, however, that classical heuristic solvers are capable of producing high-quality approximate solutions in linear time complexity. In order to match this quality for $\textit{large}$ graph sizes $N$, a quantum device must support depth $p>11$. Otherwise, we demonstrate that the number of required samples grows exponentially with $N$, hindering the scalability of QAOA with $p\leq11$. These results put challenging bounds on achieving quantum advantage for QAOA MaxCut on 3-regular graphs. Other problems, such as different graphs, weighted MaxCut, maximum independent set, and 3-SAT, may be better suited for achieving quantum advantage on near-term quantum devices.


title: IoT based SMEs shop management system

abstract: The Internet of Things (IoT) is an idea that intends to interface arranged data frameworks to actual items. The Internet of Things (IoT) has applications in pretty much every part of life in this day and age, and stock administration is no special case. IoT gives an answer for this issue by making it simpler to interface every one of the various organizations in a strategic framework utilizing Wireless Sensor Networks. An Interactive Shopping Model and an Automated Inventory Intelligent Management System that uses the Internet of Things to give constant item following, the board, and observing. A study and examination of the commonness of IoT among assembling SMEs is introduced, just as the current impediments and possibilities for permitting prescient investigation. The four examination capacities are depicted alongside an outline of the IoT empowering agents. Future patterns and difficulties in arising innovative work subjects are featured, for example, making IoT advances available to SMEs. The motivation behind this paper is to look at how the Internet of Things is changing our lives and work spaces, just as to feature probably the best strategic approaches, insights, and patterns. Considering the developing significance of big business IoT and the exploration hole in this field, an IoT design and the IoT administration industry will be examined. A model is needed to choose and send IoT administrations in different authoritative settings.


title: Compromised account detection using authorship verification: a novel approach

abstract: Compromising legitimate accounts is a way of disseminating malicious content to a large user base in Online Social Networks (OSNs). Since the accounts cause lots of damages to the user and consequently to other users on OSNs, early detection is very important. This paper proposes a novel approach based on authorship verification to identify compromised twitter accounts. As the approach only uses the features extracted from the last user's post, it helps to early detection to control the damage. As a result, the malicious message without a user profile can be detected with satisfying accuracy. Experiments were constructed using a real-world dataset of compromised accounts on Twitter. The result showed that the model is suitable for detection due to achieving an accuracy of 89%.


title: Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption

abstract: In many Internet of Things (IoT) applications, data sensed by an IoT device are continuously sent to the server and monitored against a specification. Since the data often contain sensitive information, and the monitored specification is usually proprietary, both must be kept private from the other end. We propose a protocol to conduct oblivious online monitoring -- online monitoring conducted without revealing the private information of each party to the other -- against a safety LTL specification. In our protocol, we first convert a safety LTL formula into a DFA and conduct online monitoring with the DFA. Based on fully homomorphic encryption (FHE), we propose two online algorithms (Reverse and Block) to run a DFA obliviously. We prove the correctness and security of our entire protocol. We also show the scalability of our algorithms theoretically and empirically. Our case study shows that our algorithms are fast enough to monitor blood glucose levels online, demonstrating our protocol's practical relevance.


title: Contributor-Aware Defenses Against Adversarial Backdoor Attacks

abstract: Deep neural networks for image classification are well-known to be vulnerable to adversarial attacks. One such attack that has garnered recent attention is the adversarial backdoor attack, which has demonstrated the capability to perform targeted misclassification of specific examples. In particular, backdoor attacks attempt to force a model to learn spurious relations between backdoor trigger patterns and false labels. In response to this threat, numerous defensive measures have been proposed; however, defenses against backdoor attacks focus on backdoor pattern detection, which may be unreliable against novel or unexpected types of backdoor pattern designs. We introduce a novel re-contextualization of the adversarial setting, where the presence of an adversary implicitly admits the existence of multiple database contributors. Then, under the mild assumption of contributor awareness, it becomes possible to exploit this knowledge to defend against backdoor attacks by destroying the false label associations. We propose a contributor-aware universal defensive framework for learning in the presence of multiple, potentially adversarial data sources that utilizes semi-supervised ensembles and learning from crowds to filter the false labels produced by adversarial triggers. Importantly, this defensive strategy is agnostic to backdoor pattern design, as it functions without needing -- or even attempting -- to perform either adversary identification or backdoor pattern detection during either training or inference. Our empirical studies demonstrate the robustness of the proposed framework against adversarial backdoor attacks from multiple simultaneous adversaries.


title: White-box Membership Attack Against Machine Learning Based Retinopathy Classification

abstract: The advances in machine learning (ML) have greatly improved AI-based diagnosis aid systems in medical imaging. However, being based on collecting medical data specific to individuals induces several security issues, especially in terms of privacy. Even though the owner of the images like a hospital put in place strict privacy protection provisions at the level of its information system, the model trained over his images still holds disclosure potential. The trained model may be accessible to an attacker as: 1) White-box: accessing to the model architecture and parameters; 2) Black box: where he can only query the model with his own inputs through an appropriate interface. Existing attack methods include: feature estimation attacks (FEA), membership inference attack (MIA), model memorization attack (MMA) and identification attacks (IA). In this work we focus on MIA against a model that has been trained to detect diabetic retinopathy from retinal images. Diabetic retinopathy is a condition that can cause vision loss and blindness in the people who have diabetes. MIA is the process of determining whether a data sample comes from the training data set of a trained ML model or not. From a privacy perspective in our use case where a diabetic retinopathy classification model is given to partners that have at their disposal images along with patients' identifiers, inferring the membership status of a data sample can help to state if a patient has contributed or not to the training of the model.


title: XAI for Cybersecurity: State of the Art, Challenges, Open Issues and Future Directions

abstract: In the past few years, artificial intelligence (AI) techniques have been implemented in almost all verticals of human life. However, the results generated from the AI models often lag explainability. AI models often appear as a blackbox wherein developers are unable to explain or trace back the reasoning behind a specific decision. Explainable AI (XAI) is a rapid growing field of research which helps to extract information and also visualize the results generated with an optimum transparency. The present study provides and extensive review of the use of XAI in cybersecurity. Cybersecurity enables protection of systems, networks and programs from different types of attacks. The use of XAI has immense potential in predicting such attacks. The paper provides a brief overview on cybersecurity and the various forms of attack. Then the use of traditional AI techniques and its associated challenges are discussed which opens its doors towards use of XAI in various applications. The XAI implementations of various research projects and industry are also presented. Finally, the lessons learnt from these applications are highlighted which act as a guide for future scope of research.


title: Odd order $C_4$-face-magic $m \times n$ projective grid graphs having $C_4$-face-magic value $2mn+1$ or $2mn+3$

abstract: For a graph $G = (V, E)$ embedded in the projective plane, let $\mathcal{F}(G)$ denote the set of faces of $G$. Then, $G$ is called a $C_n$-face-magic projective graph if there exists a bijection $f: V(G) \to \{1, 2, \dots, |V(G)|\}$ such that for any $F \in \mathcal{F}(G)$ with $F \cong C_n$, the sum of all the vertex labels around $C_n$ is a constant $S$. We consider the $m \times n$ grid graph, denoted by $\mathcal{P}_{m,n}$, embedded in the projective plane in the natural way. Let $m \geqslant 3$ and $n \geqslant 3$ be odd integers. It is known that the $C_4$-face-magic value of a $C_4$-face-magic labeling on $\mathcal{P}_{m,n}$ is either $2mn+1$, $2mn+2$, or $2mn+3$. The characterization of $C_4$-face-magic labelings on $\mathcal{P}_{m,n}$ having $C_4$-face-magic value $2mn+2$ is known. In this paper, we determine a category of $C_4$-face-magic labelings on $\mathcal{P}_{m,n}$ for which the $C_4$-face-magic value is either $2mn+1$ or $2mn+3$. It is conjectured that these are the only $C_4$-face-magic labeling on $\mathcal{P}_{m,n}$ having $C_4$-face-magic value $2mn+1$ or $2mn+3$.


title: ABC(T)-graphs: an axiomatic characterization of the median procedure in graphs with connected and G$^2$-connected medians

abstract: The median function is a location/consensus function that maps any profile $\pi$ (a finite multiset of vertices) to the set of vertices that minimize the distance sum to vertices from $\pi$. The median function satisfies several simple axioms: Anonymity (A), Betweeness (B), and Consistency (C). McMorris, Mulder, Novick and Powers (2015) defined the ABC-problem for consensus functions on graphs as the problem of characterizing the graphs (called, ABC-graphs) for which the unique consensus function satisfying the axioms (A), (B), and (C) is the median function. In this paper, we show that modular graphs with $G^2$-connected medians (in particular, bipartite Helly graphs) are ABC-graphs. On the other hand, the addition of some simple local axioms satisfied by the median function in all graphs (axioms (T), and (T$_2$)) enables us to show that all graphs with connected median (comprising Helly graphs, median graphs, basis graphs of matroids and even $\Delta$-matroids) are ABCT-graphs and that benzenoid graphs are ABCT$_2$-graphs. McMorris et al (2015) proved that the graphs satisfying the pairing property (called the intersecting-interval property in their paper) are ABC-graphs. We prove that graphs with the pairing property constitute a proper subclass of bipartite Helly graphs and we discuss the complexity status of the recognition problem of such graphs.


title: Distributed Newton-Type Methods with Communication Compression and Bernoulli Aggregation

abstract: Despite their high computation and communication costs, Newton-type methods remain an appealing option for distributed training due to their robustness against ill-conditioned convex problems. In this work, we study ommunication compression and aggregation mechanisms for curvature information in order to reduce these costs while preserving theoretically superior local convergence guarantees. We prove that the recently developed class of three point compressors (3PC) of Richtarik et al. [2022] for gradient communication can be generalized to Hessian communication as well. This result opens up a wide variety of communication strategies, such as contractive compression} and lazy aggregation, available to our disposal to compress prohibitively costly curvature information. Moreover, we discovered several new 3PC mechanisms, such as adaptive thresholding and Bernoulli aggregation, which require reduced communication and occasional Hessian computations. Furthermore, we extend and analyze our approach to bidirectional communication compression and partial device participation setups to cater to the practical considerations of applications in federated learning. For all our methods, we derive fast condition-number-independent local linear and/or superlinear convergence rates. Finally, with extensive numerical evaluations on convex optimization problems, we illustrate that our designed schemes achieve state-of-the-art communication complexity compared to several key baselines using second-order information.


title: Uniform Bounds with Difference Quotients for Proper Orthogonal Decomposition Reduced Order Models of the Burgers Equation

abstract: In this paper, we prove uniform error bounds for proper orthogonal decomposition (POD) reduced order modeling (ROM) of Burgers equation, considering difference quotients (DQs), introduced in [26]. In particular, we study the behavior of the DQ ROM error bounds by considering $L^2(\Omega)$ and $H^1_0(\Omega)$ POD spaces and $l^{\infty}(L^2)$ and natural-norm errors. We present some meaningful numerical tests checking the behavior of error bounds. Based on our numerical results, DQ ROM errors are several orders of magnitude smaller than noDQ ones (in which the POD is constructed in a standard way, i.e., without the DQ approach) in terms of the energy kept by the ROM basis. Further, noDQ ROM errors have an optimal behavior, while DQ ROM errors, where the DQ is added to the POD process, demonstrate an optimality/super-optimality behavior. It is conjectured that this possibly occurs because the DQ inner products allow the time dependency in the ROM spaces to make an impact.


title: Rigid non-cohomologically rigid local systems

abstract: For any even natural number $r \ge 2$, we construct an irreducible rigid non-cohomologically rigid complex local system of rank $r$ on a smooth projective variety depending on $r$. For $r=2$, we construct an irreducible rigid non-cohomogically rigid local system of rank $2$ on a quasi-projective variety which becomes cohomologically rigid after fixing the conjugacy classes of the monodromies at infinity. v2: We added a remark due to Alexander Petrov: by taking the exterior product of our examples with a (cohomologically) rigid local system with infinite monodromy, we obtain examples of rigid non-cohomologically rigid local systems with infinite monodromy.


title: ObPose: Leveraging Pose for Object-Centric Scene Inference and Generation in 3D

abstract: We present ObPose, an unsupervised object-centric inference and generation model which learns 3D-structured latent representations from RGB-D scenes. Inspired by prior art in 2D representation learning, ObPose considers a factorised latent space, separately encoding object location (where) and appearance (what). ObPose further leverages an object's pose (i.e. location and orientation), defined via a minimum volume principle, as a novel inductive bias for learning the where component. To achieve this, we propose an efficient, voxelised approximation approach to recover the object shape directly from a neural radiance field (NeRF). As a consequence, ObPose models each scene as a composition of NeRFs, richly representing individual objects. To evaluate the quality of the learned representations, ObPose is evaluated quantitatively on the YCB, MultiShapeNet, and CLEVR datatasets for unsupervised scene segmentation, outperforming the current state-of-the-art in 3D scene inference (ObSuRF) by a significant margin. Generative results provide qualitative demonstration that the same ObPose model can both generate novel scenes and flexibly edit the objects in them. These capacities again reflect the quality of the learned latents and the benefits of disentangling the where and what components of a scene. Key design choices made in the ObPose encoder are validated with ablations.


title: Click prediction boosting via Bayesian hyperparameter optimization based ensemble learning pipelines

abstract: Online travel agencies (OTA's) advertise their website offers on meta-search bidding engines. The problem of predicting the number of clicks a hotel would receive for a given bid amount is an important step in the management of an OTA's advertisement campaign on a meta-search engine, because bid times number of clicks defines the cost to be generated. Various regressors are ensembled in this work to improve click prediction performance. Following the preprocessing procedures, the feature set is divided into train and test groups depending on the logging date of the samples. The data collection is then subjected to feature elimination via utilizing XGBoost, which significantly reduces the dimension of features. The optimum hyper-parameters are then found by applying Bayesian hyperparameter optimization to XGBoost, LightGBM, and SGD models. The different trained models are tested separately as well as combined to form ensemble models. Four alternative ensemble solutions have been suggested. The same test set is used to test both individual and ensemble models, and the results of 46 model combinations demonstrate that stack ensemble models yield the desired R2 score of all. In conclusion, the ensemble model improves the prediction performance by about 10%.


title: Trackintel: An open-source Python library for human mobility analysis

abstract: Over the past decade, scientific studies have used the growing availability of large tracking datasets to enhance our understanding of human mobility behavior. However, so far data processing pipelines for the varying data collection methods are not standardized and consequently limit the reproducibility, comparability, and transferability of methods and results in quantitative human mobility analysis. This paper presents Trackintel, an open-source Python library for human mobility analysis. Trackintel is built on a standard data model for human mobility used in transport planning that is compatible with different types of tracking data. We introduce the main functionalities of the library that covers the full life-cycle of human mobility analysis, including processing steps according to the conceptual data model, read and write interfaces, as well as analysis functions (e.g., data quality assessment, travel mode prediction, and location labeling). We showcase the effectiveness of the Trackintel library through a case study with four different tracking datasets. Trackintel can serve as an essential tool to standardize mobility data analysis and increase the transparency and comparability of novel research on human mobility.


title: Combinatorial synthesis of cation-disordered manganese tin nitride MnSnN$_2$ thin films with magnetic and semiconducting properties

abstract: Magnetic semiconductors may soon improve the energy efficiency of computers, but materials exhibiting these dual properties remain underexplored. Here, we report the computational prediction and realization of a new magnetic and semiconducting material, MnSnN$_2$, via combinatorial sputtering of thin films. Grazing incidence wide angle X-ray scattering and laboratory X-ray diffraction studies show a wide composition tolerance for this wurtzite-like MnSnN$_2$, ranging from $20\% <$ Mn/(Mn+Sn) $< 65$\% with cation disorder across this composition space. Magnetic susceptibility measurements reveal a low-temperature transition ($T^{\mathrm{*}} \approx 10$ K) for MnSnN$_2$ and strong antiferromagnetic correlations, although the ordering below this transition may be complex. This finding contrasts with bulk MnSiN$_2$ and MnGeN$_2$, which exhibited antiferromagnetic ordering above 400 K in previous studies. Spectroscopic ellipsometry identifies an optical absorption onset of 1 eV for the experimentally-synthesized phase exhibiting cation disorder, consistent with the computationally-predicted 1.2 eV bandgap for the cation-ordered structure. Electronic conductivity measurements confirm the semiconducting nature of this new phase by showing increasing conductivity with increasing temperature. This work adds to the set of known semiconductors that are paramagnetic at room temperature and will help guide future work targeted at controlling the structure and properties of semiconducting materials that exhibit magnetic behavior.


title: Limits on the Auroral Generation of H$_3^+$ in Brown Dwarf and Extrasolar Giant Planet Atmospheres with Keck/NIRSPEC

abstract: The molecular ion H$_3^+$ is a potentially powerful tracer of the ionospheres and thermal structures of Jovian planets, but has never been detected in a planetary mass object outside of the solar system. Models predict that H$_3^+$ emission driven by EUV flux and solar wind on hot Jupiters, or by powerful aurorae on brown dwarfs, will be between $10^2$ and $10^5\times$ more intense than that of Jupiter. If optimal conditions for the production of emission do exist, the emission may be detectable by current ground-based instruments or in the near future. We present the first search for H$_3^+$ line emission in brown dwarfs with Keck/NIRSPEC $L^\prime$ high-resolution spectroscopy. Additionally, we survey stars hosting giant planets at semi-major axes near $0.1-0.2$ au, which models suggest may be the best planetary targets. No candidate H$_3^+$ emission is found. The limits we place on the emission of H$_3^+$ from brown dwarfs indicates that auroral generation of H$_3^+$ in these environments likely does not linearly scale from the processes found on Jupiter, plausibly due to deeper atmospheric penetration by precipitating auroral electrons. Detection of H$_3^+$ emission in brown dwarfs may be possible with the James Webb Space Telescope (JWST), or future thirty-meter class telescopes.


title: Neural Network Compression via Effective Filter Analysis and Hierarchical Pruning

abstract: Network compression is crucial to making the deep networks to be more efficient, faster, and generalizable to low-end hardware. Current network compression methods have two open problems: first, there lacks a theoretical framework to estimate the maximum compression rate; second, some layers may get over-prunned, resulting in significant network performance drop. To solve these two problems, this study propose a gradient-matrix singularity analysis-based method to estimate the maximum network redundancy. Guided by that maximum rate, a novel and efficient hierarchical network pruning algorithm is developed to maximally condense the neuronal network structure without sacrificing network performance. Substantial experiments are performed to demonstrate the efficacy of the new method for pruning several advanced convolutional neural network (CNN) architectures. Compared to existing pruning methods, the proposed pruning algorithm achieved state-of-the-art performance. At the same or similar compression ratio, the new method provided the highest network prediction accuracy as compared to other methods.


title: Meta-Learning Parameterized Skills

abstract: We propose a novel parameterized skill-learning algorithm that aims to learn transferable parameterized skills and synthesize them into a new action space that supports efficient learning in long-horizon tasks. We propose to leverage off-policy Meta-RL combined with a trajectory-centric smoothness term to learn a set of parameterized skills. Our agent can use these learned skills to construct a three-level hierarchical framework that models a Temporally-extended Parameterized Action Markov Decision Process. We empirically demonstrate that the proposed algorithms enable an agent to solve a set of difficult long-horizon (obstacle-course and robot manipulation) tasks.


title: Negative amphichiral knots and the half-Conway polynomial

abstract: In 1979, Hartley and Kawauchi proved that the Conway polynomial of a strongly negative amphichiral knot factors as $f(z)f(-z)$. In this paper, we normalize the factor $f(z)$ to define the half-Conway polynomial. First, we prove that the half-Conway polynomial satisfies an equivariant skein relation, giving the first feasible computational method, which we use to compute the half-Conway polynomial for knots with 12 or fewer crossings. This skein relation also leads to a diagrammatic interpretation of the degree-one coefficient, from which we obtain a lower bound on the equivariant unknotting number. Second, we completely characterize polynomials arising as half-Conway polynomials of knots in $S^3$, answering a problem of Hartley-Kawauchi. As a special case, we construct the first examples of non-slice strongly negative amphichiral knots with determinant one, answering a question of Manolescu. The double branched covers of these knots provide potentially non-trivial torsion elements in the homology cobordism group.


title: Multi-qubit doilies: enumeration for all ranks and classification for ranks four and five

abstract: For $N \geq 2$, an $N$-qubit doily is a doily living in the $N$-qubit symplectic polar space. These doilies are related to operator-based proofs of quantum contextuality. Following and extending the strategy of Saniga et al. (Mathematics 9 (2021) 2272) that focused exclusively on three-qubit doilies, we first bring forth several formulas giving the number of both linear and quadratic doilies for any $N > 2$. Then we present an effective algorithm for the generation of all $N$-qubit doilies. Using this algorithm for $N=4$ and $N=5$, we provide a classification of $N$-qubit doilies in terms of types of observables they feature and number of negative lines they are endowed with. We also list several distinguished findings about $N$-qubit doilies that are absent in the three-qubit case, point out a couple of specific features exhibited by linear doilies and outline some prospective extensions of our approach.


title: OneRing: A Simple Method for Source-free Open-partial Domain Adaptation

abstract: In this paper, we investigate Source-free Open-partial Domain Adaptation (SF-OPDA), which addresses the situation where there exist both domain and category shifts between source and target domains. Under the SF-OPDA setting, which aims to address data privacy concerns, the model cannot access source data anymore during target adaptation. We propose a novel training scheme to learn a (n+1)-way classifier to predict the n source classes and the unknown class, where samples of only known source categories are available for training. Furthermore, for target adaptation, we simply adopt a weighted entropy minimization to adapt the source pretrained model to the unlabeled target domain without source data. In experiments, we show our simple method surpasses current OPDA approaches which demand source data during adaptation. When augmented with a closed-set domain adaptation approach during target adaptation, our source-free method further outperforms the current state-of-the-art OPDA method by 2.5%, 7.2% and 13% on Office-31, Office-Home and VisDA respectively.


title: Decoupled Self-supervised Learning for Non-Homophilous Graphs

abstract: This paper studies the problem of conducting self-supervised learning for node representation learning on graphs. Most existing self-supervised learning methods assume the graph is homophilous, where linked nodes often belong to the same class or have similar features. However, such assumptions of homophily do not always hold in real-world graphs. We address this problem by developing a decoupled self-supervised learning (DSSL) framework for graph neural networks. DSSL imitates a generative process of nodes and links from latent variable modeling of the semantic structure, which decouples different underlying semantics between different neighborhoods into the self-supervised learning process. Our DSSL framework is agnostic to the encoders and does not need prefabricated augmentations, thus is flexible to different graphs. To effectively optimize the framework, we derive the evidence lower bound of the self-supervised objective and develop a scalable training algorithm with variational inference. We provide a theoretical analysis to justify that DSSL enjoys the better downstream performance. Extensive experiments on various types of graph benchmarks demonstrate that our proposed framework can achieve better performance compared with competitive baselines.


title: Multiphase turbulence in galactic halos: effect of the driving

abstract: Supernova explosions, active galactic nuclei jets, galaxy--galaxy interactions and cluster mergers can drive turbulence in the circumgalactic medium (CGM) and in the intracluster medium (ICM). However, the exact nature of turbulence forced by these sources and its impact on the different statistical properties of the CGM/ICM and their global thermodynamics is still unclear. To investigate the effects of different types of forcing, we conduct high resolution ($1008^3$ resolution elements) idealised hydrodynamic simulations with purely solenoidal (divergence-free) forcing, purely compressive (curl-free) forcing, and natural mixture forcing (equal fractions of the two components). The simulations also include radiative cooling. We study the impact of the three different forcing modes (sol, comp, mix) on the morphology of the gas, its temperature and density distributions, sources and sinks of enstrophy, i.e., solenoidal motions, as well as the kinematics of hot ($\sim10^7~\mathrm{K}$) X-ray emitting and cold ($\sim10^4~\mathrm{K}$) H$\alpha$ emitting gas. We find that compressive forcing leads to stronger variations in density and temperature of the gas as compared to solenoidal forcing. The cold phase gas forms large-scale filamentary structures for compressive forcing and misty, small-scale clouds for solenoidal forcing. The cold phase gas has stronger large-scale velocities for compressive forcing. The natural mixture forcing shows kinematics and gas distributions intermediate between the two extremes, the cold-phase gas occurs as both large-scale filaments and small-scale misty clouds.


title: A new method incorporating deep learning with shape priors for left ventricular segmentation in myocardial perfusion SPECT images

abstract: Background: The assessment of left ventricular (LV) function by myocardial perfusion SPECT (MPS) relies on accurate myocardial segmentation. The purpose of this paper is to develop and validate a new method incorporating deep learning with shape priors to accurately extract the LV myocardium for automatic measurement of LV functional parameters. Methods: A segmentation architecture that integrates a three-dimensional (3D) V-Net with a shape deformation module was developed. Using the shape priors generated by a dynamic programming (DP) algorithm, the model output was then constrained and guided during the model training for quick convergence and improved performance. A stratified 5-fold cross-validation was used to train and validate our models. Results: Results of our proposed method agree well with those from the ground truth. Our proposed model achieved a Dice similarity coefficient (DSC) of 0.9573(0.0244), 0.9821(0.0137), and 0.9903(0.0041), a Hausdorff distances (HD) of 6.7529(2.7334) mm, 7.2507(3.1952) mm, and 7.6121(3.0134) mm in extracting the endocardium, myocardium, and epicardium, respectively. Conclusion: Our proposed method achieved a high accuracy in extracting LV myocardial contours and assessing LV function.


title: Automated Discovery of New $L$-Function Relations

abstract: $L$-functions typically encode interesting information about mathematical objects. This paper reports 29 identities between such functions that hitherto never appeared in the literature. Of these we have a complete proof for 9; all others are extensively numerically checked and we welcome proofs of their (in)validity. The method we devised to obtain these identities is a two-step process whereby a list of candidate identities is automatically generated, obtained, tested, and ultimately formally proven. The approach is however only \emph{semi-}automated as human intervention is necessary for the post-processing phase, to determine the most general form of a conjectured identity and to provide a proof for them. This work complements other instances in the literature where automated symbolic computation has served as a productive step toward theorem proving and can be extended in several directions further to explore the algebraic landscape of $L$-functions and similar constructions.


title: Mandelbrot sets for fixed template iterations

abstract: We study the dynamics of template iterations, consisting of arbitrary compositions of functions chosen from a finite set of polynomials. In particular, we focus on templates using complex unicritical maps in the family $\{ z^d + c, c \in \mathbb{C}, d \ge 2 \}$. We examine the dependence on parameters of the connectedness locus for a fixed template and show that, for most templates, the connectedness locus moves upper semicontiuously. On the other hand, one does not in general have lower semicontinuous dependence, and we show this by means of a counterexample.


title: Model Predictive Loitering and Trajectory Tracking of Suspended Payloads in Cable-Driven Balloons Using UGVs

abstract: The feasibility of performing airborne and ground manipulation, perception, and reconnaissance using wheeled rovers, unmanned aerial vehicles, CubeSats, SmallSats and more have been evaluated before. Among all of these solutions, balloon-based systems possess merits that make them extremely attractive, e.g., a simple operation mechanism and endured operation time. However, there are many hurdles to overcome to achieve robust loitering performance in balloon-based applications. We attempt to identify design and control challenges, and propose a novel robotic platform that allows for the application of balloons in the reconnaissance and perception of Mars craters. This work briefly covers our suggested actuation and Model Predictive Control design framework for steering such balloon systems. We propose the coordinated servoing of multiple unmanned ground vehicles (UGVs) to regulate tension forces in a cable-driven balloon to which an underactuated hanging payload is attached.


title: On Maximum Enstrophy Dissipation in 2D Navier-Stokes Flows in the Limit of Vanishing Viscosity

abstract: We consider enstrophy dissipation in two-dimensional (2D) Navier-Stokes flows and focus on how this quantity behaves in thelimit of vanishing viscosity. After recalling a number of a priori estimates providing lower and upper bounds on this quantity, we state an optimization problem aimed at probing the sharpness of these estimates as functions of viscosity. More precisely, solutions of this problem are the initial conditions with fixed palinstrophy and possessing the property that the resulting 2D Navier-Stokes flows locally maximize the enstrophy dissipation over a given time window. This problem is solved numerically with an adjoint-based gradient ascent method and solutions obtained for a broad range of viscosities and lengths of the time window reveal the presence of multiple branches of local maximizers, each associated with a distinct mechanism for the amplification of palinstrophy. The dependence of the maximum enstrophy dissipation on viscosity is shown to be in quantitative agreement with the estimate due to Ciampa, Crippa & Spirito (2021), demonstrating the sharpness of this bound.


title: Predictable Forward Performance Processes in Complete Markets

abstract: We establish existence of Predictable Forward Performance Processes (PFPPs) in complete markets, which has been previously shown only in the binomial setting. Our market model can be a discrete-time or a continuous-time model, and the investment horizon can be finite or infinite. We show that the main step in construction of PFPPs is solving a one-period problem involving an integral equation, which is the counterpart of the functional equation found in the binomial case. Although this integral equation has been partially studied in the existing literature, we provide a new solution method using the Fourier transform for tempered distributions. We also provide closed-form solutions for PFPPs with inverse marginal functions that are completely monotonic and establish uniqueness of PFPPs within this class. We apply our results to two special cases. The first one is the binomial market and is included to relate our work to the existing literature. The second example considers a generalized Black-Scholes model which, to the best of our knowledge, is a new result.