title: Attention for Image Registration (AiR): an unsupervised Transformer approach

abstract: Image registration is a crucial task in signal processing, but it often encounters issues with stability and efficiency. Non-learning registration approaches rely on optimizing similarity metrics between fixed and moving images, which can be expensive in terms of time and space complexity. This problem can be exacerbated when the images are large or there are significant deformations between them. Recently, deep learning, specifically convolutional neural network (CNN)-based methods, have been explored as an effective solution to the weaknesses of non-learning approaches. To further advance learning approaches in image registration, we introduce an attention mechanism in the deformable image registration problem. Our proposed approach is based on a Transformer framework called AiR, which can be efficiently trained on GPGPU devices. We treat the image registration problem as a language translation task and use the Transformer to learn the deformation field. The method learns an unsupervised generated deformation map and is tested on two benchmark datasets. In summary, our approach shows promising effectiveness in addressing stability and efficiency issues in image registration tasks. The source code of AiR is available on Github.


title: Operating Room (Re)Scheduling with Bed Management via ASP

abstract: The Operating Room Scheduling (ORS) problem is the task of assigning patients to operating rooms, taking into account different specialties, lengths and priority scores of each planned surgery, operating room session durations, and the availability of beds for the entire length of stay both in the Intensive Care Unit and in the wards. A proper solution to the ORS problem is of primary importance for the healthcare service quality and the satisfaction of patients in hospital environments. In this paper we first present a solution to the problem based on Answer Set Programming (ASP). The solution is tested on benchmarks with realistic sizes and parameters, on three scenarios for the target length on 5-day scheduling, common in small-medium sized hospitals, and results show that ASP is a suitable solving methodology for the ORS problem in such setting. Then, we also performed a scalability analysis on the schedule length up to 15 days, which still shows the suitability of our solution also on longer plan horizons. Moreover, we also present an ASP solution for the rescheduling problem, i.e. when the off-line schedule cannot be completed for some reason. Finally, we introduce a web framework for managing ORS problems via ASP that allows a user to insert the main parameters of the problem, solve a specific instance, and show results graphically in real-time. Under consideration in Theory and Practice of Logic Programming (TPLP).


title: Finite Element Methods for Isotropic Isaacs Equations with Viscosity and Strong Dirichlet Boundary Conditions

abstract: We study monotone P1 finite element methods on unstructured meshes for fully non-linear, degenerately parabolic Isaacs equations with isotropic diffusions arising from stochastic game theory and optimal control and show uniform convergence to the viscosity solution. Elliptic projections are used to manage singular behaviour at the boundary and to treat a violation of the consistency conditions from the framework by Barles and Souganidis by the numerical operators. Boundary conditions may be imposed in the viscosity or in the strong sense, or in a combination thereof. The presented monotone numerical method has well-posed finite dimensional systems, which can be solved efficiently with Howard's method.


title: Localizations and completions of stable $\infty$-categories

abstract: We extend some classical results of Bousfield on homology localizations and nilpotent completions to a presentably symmetric monoidal stable $\infty$-category $\mathscr{M}$ admitting a multiplicative left-complete $t$-structure. If $E$ is a homotopy commutative algebra in $\mathscr{M}$ we show that $E$-nilpotent completion, $E$-localization, and a suitable formal completion agree on bounded below objects when $E$ satisfies some reasonable conditions.


title: Data for Shimura varieties intersecting the Torelli locus

abstract: For infinitely many Hurwitz spaces parametrizing cyclic covers of the projective line, we provide a method to determine the integral PEL datum of the Shimura variety that contains the image of the Hurwitz space under the Torelli morphism.


title: Boosting spintronics with superconductivity

abstract: Spintronics aims to utilize the spin degree of freedom for energy-efficient, non-volatile memory and logic devices. In this research update, we review state-of-the-art developments and new directions in charge- and spin-based memory/logic with a focus on spintronics and the fascinating potential for superconductivity to boost spin transmission via spin-polarized quasiparticles or triplet Cooper pairs.


title: Interplay between hysteresis and nonlocality during onset and arrest of flow in granular materials

abstract: The jamming transition in granular materials is well-known for exhibiting hysteresis, wherein the level of shear stress required to trigger flow is larger than that below which flow stops. Although such behavior is typically modeled as a simple non-monotonic flow rule, the rheology of granular materials is also nonlocal due to cooperativity at the grain scale, leading for instance to increased strengthening of the flow threshold as system size is reduced. We investigate how these two effects - hysteresis and nonlocality - couple with each other by incorporating non-monotonicity of the flow rule into the nonlocal granular fluidity (NGF) model, a nonlocal constitutive model for granular flows. By artificially tuning the strength of nonlocal diffusion, we demonstrate that both ingredients are key to explaining certain features of the hysteretic transition between flow and arrest. Finally, we assess the ability of the NGF model to quantitatively predict material behavior both around the transition and in the flowing regime, through stress-driven discrete element method (DEM) simulations of flow onset and arrest in various geometries. Along the way, we develop a new methodology to compare deterministic model predictions with the stochastic behavior exhibited by the DEM simulations around the jamming transition.


title: Space-time waves from a collapsing universe with a gravitational attractor

abstract: We study a collapsing system attracted by a spherically symmetric gravitational source, with an increasing mass, that generates back-reaction effects that are the source of space-time waves. As an example, we consider an exponential collapse and the space-time waves emitted during this collapse due to the back-reaction effects, originated by geometrical deformation driven by the increment of the gravitational attracting mass during the collapse.


title: R2U3D: Recurrent Residual 3D U-Net for Lung Segmentation

abstract: 3D lung segmentation is essential since it processes the volumetric information of the lungs, removes the unnecessary areas of the scan, and segments the actual area of the lungs in a 3D volume. Recently, the deep learning model, such as U-Net outperforms other network architectures for biomedical image segmentation. In this paper, we propose a novel model, namely, Recurrent Residual 3D U-Net (R2U3D), for the 3D lung segmentation task. In particular, the proposed model integrates 3D convolution into the Recurrent Residual Neural Network based on U-Net. It helps learn spatial dependencies in 3D and increases the propagation of 3D volumetric information. The proposed R2U3D network is trained on the publicly available dataset LUNA16 and it achieves state-of-the-art performance on both LUNA16 (testing set) and VESSEL12 dataset. In addition, we show that training the R2U3D model with a smaller number of CT scans, i.e., 100 scans, without applying data augmentation achieves an outstanding result in terms of Soft Dice Similarity Coefficient (Soft-DSC) of 0.9920.


title: Clifford Circuit Optimization with Templates and Symbolic Pauli Gates

abstract: The Clifford group is a finite subgroup of the unitary group generated by the Hadamard, the CNOT, and the Phase gates. This group plays a prominent role in quantum error correction, randomized benchmarking protocols, and the study of entanglement. Here we consider the problem of finding a short quantum circuit implementing a given Clifford group element. Our methods aim to minimize the entangling gate count assuming all-to-all qubit connectivity. First, we consider circuit optimization based on template matching and design Clifford-specific templates that leverage the ability to factor out Pauli and SWAP gates. Second, we introduce a symbolic peephole optimization method. It works by projecting the full circuit onto a small subset of qubits and optimally recompiling the projected subcircuit via dynamic programming. CNOT gates coupling the chosen subset of qubits with the remaining qubits are expressed using symbolic Pauli gates. Software implementation of these methods finds circuits that are only 0.2% away from optimal for 6 qubits and reduces the two-qubit gate count in circuits with up to 64 qubits by 64.7% on average, compared with the Aaronson-Gottesman canonical form.


title: Control Design for Inverters: Beyond Steady-State Droop Laws

abstract: This paper presents a novel control structure and control synthesis method for regulating the output voltage/frequency and power injection of DC-AC inverters. The traditional droop method offers attractive solution to achieve compromise between clashing power and voltage/frequency regulation objectives. However, it relies on use of nonlinear power variables through slow outer control loop. In this paper we formulate the traditional droop method as a feedback control problem based on static power-flow equations and show how neglecting the dynamics of inverter and transmission line restricts the attainable closed-loop bandwidth and stability and robustness margin. Then we introduce a mapping between power variables and current in $dq$ frame under given PLL condition, allowing for replacing the fast acting current variables as a proxy for power. Consequently, we present a novel control structure and control synthesis method based on disturbance rejection framework, and demonstrate inherent droop like characteristics in underlying dynamics for special cases of resistive and inductive line. Moreover, we generalize the proposed control synthesis procedure to include a generalized complex line dynamical model and introduce concept of hybrid-sourced-intverter. Finally, we validate higher bandwidth and better transient performance of our proposed design through experimental validation.


title: Future Constraints on the Reionization History and the Ionizing Sources from Gamma-ray Burst Afterglows

abstract: We forecast the reionization history constraints, inferred from Lyman-alpha damping wing absorption features, for a future sample of $\sim 20$ $z \geq 6$ gamma-ray burst (GRB) afterglows. We describe each afterglow spectrum by a three-parameter model. First, L characterizes the size of the ionized region (the "bubble size") around a GRB host halo. Second, $\langle{x_{\rm HI}\rangle}$ is the volume-averaged neutral fraction outside of the ionized bubble around the GRB, which is approximated as spatially uniform. Finally, $N_{\mathrm{HI}}$ denotes the column-density of a local damped Lyman-alpha absorber (DLA) associated with the GRB host galaxy. The size distribution of ionized regions is extracted from a numerical simulation of reionization, and evolves strongly across the Epoch of Reionization (EoR). The model DLA column densities follow the empirical distribution determined from current GRB afterglow spectra. We use a Fisher matrix formalism to forecast the $\langle{x_{\rm HI}(z)\rangle}$ constraints that can be obtained from follow-up spectroscopy of afterglows with SNR = 20 per R=3,000 resolution element at the continuum. We find that the neutral fraction may be determined to better than 10-15\% (1-$\sigma$) accuracy from this data across multiple independent redshift bins at $z \sim 6-10$, spanning much of the EoR, although the precision degrades somewhat near the end of reionization. A more futuristic survey with $80$ GRB afterglows at $z \geq 6$ can improve the precision here by a factor of $2$ and extend measurements out to $z \sim 14$. We further discuss how these constraints may be combined with estimates of the escape fraction of ionizing photons, derived from the DLA column density distribution towards GRBs extracted at slightly lower redshift. This combination will help in testing whether we have an accurate census of the sources that reionized the universe.


title: Vanishing Ideals of Parameterized Subgroups in a toric variety

abstract: Let $\K$ be a finite field and $X$ be a complete simplicial toric variety over $\K$. We give an algorithm relying on elimination theory for finding generators of the vanishing ideal of a subgroup $Y_Q$ parameterized by a matrix $Q$ which can be used to study algebraic geometric codes arising from $Y_Q$. We give a method to compute the lattice $L$ whose ideal $I_L$ is exactly $I(Y_Q)$ under a mild condition. As applications, we give precise descriptions for the lattices corresponding to some special subgroups. We also prove a Nullstellensatz type theorem valid over finite fields, and share \verb|Macaulay2| codes for our algorithms.


title: Byzantine-Robust and Privacy-Preserving Framework for FedML

abstract: Federated learning has emerged as a popular paradigm for collaboratively training a model from data distributed among a set of clients. This learning setting presents, among others, two unique challenges: how to protect privacy of the clients' data during training, and how to ensure integrity of the trained model. We propose a two-pronged solution that aims to address both challenges under a single framework. First, we propose to create secure enclaves using a trusted execution environment (TEE) within the server. Each client can then encrypt their gradients and send them to verifiable enclaves. The gradients are decrypted within the enclave without the fear of privacy breaches. However, robustness check computations in a TEE are computationally prohibitive. Hence, in the second step, we perform a novel gradient encoding that enables TEEs to encode the gradients and then offloading Byzantine check computations to accelerators such as GPUs. Our proposed approach provides theoretical bounds on information leakage and offers a significant speed-up over the baseline in empirical evaluation.


title: High-throughput discovery of high-temperature conventional superconductors

abstract: We survey the landscape of binary hydrides across the entire periodic table from 10 to 500 GPa using a crystal structure prediction method. Building a critical temperature ($T_c$) model, with inputs arising from density of states calculations and Gaspari-Gyorffy theory, allows us to predict which energetically competitive candidates are most promising for high-$T_c$ superconductivity. Implementing optimisations, which lead to an order of magnitude speed-up for electron-phonon calculations, then allows us to perform an unprecedented number of "high-throughput" calculations of $T_c$ based on these predictions and to refine the model in an iterative manner. Converged electron-phonon calculations are performed for 121 of the best candidates from the final model. From these, we identify 36 above-100 K dynamically stable superconductors. To the best of our knowledge, superconductivity has not been previously studied in 27 of these. Of the 36, 18 exhibit superconductivity above 200 K, including structures of NaH$_6$ (248-279 K) and CaH$_6$ (216-253 K) at the relatively low pressure of 100 GPa.


title: Remarks on the spectral radius of $K_{r+1}$-saturated graphs

abstract: Write $\rho\left( G\right) $ for the spectral radius of a graph $G$ and $S_{n,r}$ for the join $K_{r}\vee\overline{K}_{n-r}.$ Let $n>r\geq2$ and $G$ be a $K_{r+1}$-saturated graph of order $n.$ Recently Kim, Kim, Kostochka, and O determined exactly the minimum value of $\rho\left( G\right) $ for $r=2$, and found an asymptotically tight bound on $\rho\left( G\right) $ for $r\geq3.$ They also conjectured that \[ \rho\left( G\right) >\rho\left( S_{n,r-1}\right) , \] unless $G=S_{n,r-1}.$ In this note their conjecture is proved.


title: Optimal Codes Correcting Localized Deletions

abstract: We consider the problem of constructing codes that can correct deletions that are localized within a certain part of the codeword that is unknown a priori. Namely, the model that we study is when at most $k$ deletions occur in a window of size $k$, where the positions of the deletions within this window are not necessarily consecutive. Localized deletions are thus a generalization of burst deletions that occur in consecutive positions. We present novel explicit codes that are efficiently encodable and decodable and can correct up to $k$ localized deletions. Furthermore, these codes have $\log n+\mathcal{O}(k \log^2 (k\log n))$ redundancy, where $n$ is the length of the information message, which is asymptotically optimal in $n$ for $k=o(\log n/(\log \log n)^2)$.


title: Cnoidal Waves for the cubic nonlinear Klein-Gordon and Schr\"odinger Equations

abstract: In this paper, we establish orbital stability results of cnoidal periodic waves for the cubic nonlinear Klein-Gordon and Schr\"odinger equations. The spectral analysis for the corresponding linearized operator is established by using the Floquet theory and a Morse Index Theorem. First, we prove that the cnoidal waves for the cubic Klein-Gordon equation are orbitally unstable as a direct application of Grillakis, Shatah and Strauss' theory. The orbital stability of cnoidal waves for the Schr\"odinger equation is established by constructing a suitable Lyapunov functional restricted to the associated zero mean energy space.


title: Fixing the BMS Frame of Numerical Relativity Waveforms

abstract: Understanding the Bondi-Metzner-Sachs (BMS) frame of the gravitational waves produced by numerical relativity is crucial for ensuring that analyses on such waveforms are performed properly. It is also important that models are built from waveforms in the same BMS frame. Up until now, however, the BMS frame of numerical waveforms has not been thoroughly examined, largely because the necessary tools have not existed. In this paper, we show how to analyze and map to a suitable BMS frame for numerical waveforms calculated with the Spectral Einstein Code (SpEC). However, the methods and tools that we present are general and can be applied to any numerical waveforms. We present an extensive study of 13 binary black hole systems that broadly span parameter space. From these simulations, we extract the strain and also the Weyl scalars using both SpECTRE's Cauchy-characteristic extraction module and also the standard extrapolation procedure with a displacement memory correction applied during postprocessing. First, we show that the current center-of-mass correction used to map these waveforms to the center-of-mass frame is not as effective as previously thought. Consequently, we also develop an improved correction that utilizes asymptotic Poincar\'e charges instead of a Newtonian center-of-mass trajectory. Next, we map our waveforms to the post-Newtonian (PN) BMS frame using a PN strain waveform. This helps us find the unique BMS transformation that minimizes the $L^{2}$ norm of the difference between the numerical and PN strain waveforms during the early inspiral phase. We find that once the waveforms are mapped to the PN BMS frame, they can be hybridized with a PN strain waveform much more effectively than if one used any of the previous alignment schemes, which only utilize the Poincar\'e transformations.


title: Homology transfer products on free loop spaces: orientation reversal on spheres

abstract: We consider the space $\Lambda M:=H^1(S^1,M)$ of loops of Sobolev class $H^1$ of a compact smooth manifold $M$, the so-called free loop space of $M$. We take quotients $\Lambda M/G$ where $G$ is a finite subgroup of $O(2)$ acting by linear reparametrization of $S^1$. We use the existence of transfer maps $tr:H_*(\Lambda M/G)\rightarrow H_*(\Lambda M)$ to define a homology product on $\Lambda M/G$ via the Chas-Sullivan loop product. We call this product $P_G$ the transfer product. The involution $\vartheta:\Lambda M\rightarrow \Lambda M$ which reverses orientation, $ \vartheta\big(\gamma(t)\big):=\gamma(1-t)$, is of particular interest to us. We compute $H_*(\Lambda S^n/\vartheta;\mathbb{Q})$, $n>2$, and the product $P_\vartheta:H_i(\Lambda S^n/\vartheta;\mathbb{Q})\times H_j(\Lambda S^n/\vartheta;\mathbb{Q})\rightarrow H_{i+j-n}(\Lambda S^n/\vartheta;\mathbb{Q})$ associated to orientation reversal. Rationally $P_\vartheta$ can be realized "geometrically" using the concatenation of equivalence classes of loops. There is a qualitative difference between the homology of $\Lambda S^n/\vartheta$ and the homology of $\Lambda S^n/G$ when $G\subset S^1\subset O(2)$ does not "contain" the orientation reversal. This might be interesting with respect to possible differences in the number of closed geodesic between non-reversible and reversible Finsler metrics on $S^n$, the latter might always be infinite.


title: Optical Counterparts of ULXs in Two Dwarf Galaxies: NGC 4861 and NGC 4449

abstract: We present the results of a search for optical candidates of Ultraluminous X-ray sources (ULXs) in two dwarf galaxies: NGC 4861 and NGC 4449 using Hubble Space Telescope {\it HST} archival data. With a precise astrometry, we confirm that NGC 4861 X1 associated with an HII complex as reported by \cite{2014MNRAS.441.1841T} and we conclude that NGC 4861 X2 resides in a young star group with 400$\pm$80 M$\odot$. We also find that NGC 4449 X7 is associated with three optical candidates within an error radius of 0$\farcs$2 at the 90$\%$ confidence level. Absolute magnitudes (M$_{v}$) of these candidates are determined as $-$5.0 and $-$4.1. The age and mass values for the three candidates by using stellar evolutionary tracks are estimated as 40-50 Myr and $\sim$8 M$\odot$, respectively. The locations of optical candidates suggest possible association with a nearby group of stars. In addition, we analyzed the previously unused archival data of {\it XMM-Newton}, {\it Chandra} and {\it Swift} where the sources detected. Although the X-ray spectral data do not allow us to discriminate between physical models, long-term data at hand are consistent with the sources being in luminous hard states.


title: A collaborative path to scientific discovery: Distribution of labor, productivity and innovation in collaborative science

abstract: In this work we dig into the process of scientific discovery by looking at a yet unexploited source of information: Polymath projects. Polymath projects are an original attempt to collectively solve mathematical problems in an online collaborative environment. To investigate the Polymath experiment, we analyze all the posts related to the projects that arrived to a peer reviewed publication with a particular attention to the organization of labor and the innovations originating from the author contributions. We observe that a significant presence of sporadic contributor boosts the productivity of the most active users and that productivity, in terms of number of posts, grows super-linearly with the number of contributors. When it comes to innovation in large scale collaborations, there is no exact rule determining, a priori, who the main innovators will be. Sometimes, serendipitous interactions by sporadic contributors can have a large impact on the discovery process and a single post by an occasional participant can steer the work into a new direction.


title: Noncausal Page-Wootters circuits

abstract: One of the most fundamental open problems in physics is the unification of general relativity and quantum theory to a theory of quantum gravity. An aspect that might become relevant in such a theory is that the dynamical nature of causal structure present in general relativity displays quantum uncertainty. This may lead to a phenomenon known as indefinite or quantum causal structure, as captured by the process matrix formalism. Due to the generality of that framework, however, for many process matrices there is no clear physical interpretation. A popular approach towards a quantum theory of gravity is the Page-Wootters formalism, which associates to time a Hilbert space structure similar to spatial position. By explicitly introducing a quantum clock, it allows to describe time-evolution of systems via correlations between this clock and said systems encoded in history states. In this paper we combine the process matrix framework with a generalization of the Page-Wootters formalism in which one considers several agents, each with their own discrete quantum clock. We describe how to extract process matrices from scenarios involving such agents with quantum clocks, and analyze their properties. The description via a history state with multiple clocks imposes constraints on the implementation of process matrices and on the perspectives of the agents as described via causal reference frames. While it allows for scenarios where different definite causal orders are coherently controlled, we explain why certain noncausal processes might not be implementable within this setting.


title: Generalized Price's law on fractional-order asymptotically flat stationary spacetimes

abstract: We obtain estimates on the rate of decay of a solution to the wave equation on a stationary spacetime that tends to Minkowski space at a rate $O(\lvert x \rvert^{-\kappa}),$ $\kappa \in (1,\infty) \backslash \mathbb{N}.$ Given suitably smooth and decaying initial data, we show a wave locally enjoys the decay rate $O(t^{-\kappa-2+\epsilon})$.


title: Primary and Secondary Social Media Source Identification

abstract: Social networks like Facebook and WhatsApp have enabled users to share images with other users around the world. Along with this has come the rapid spread of misinformation. One step towards verifying the authenticity of an image is understanding its origin, including it distribution history through social media. In this paper, we present a method for tracing the posting history of an image across different social networks. To do this, we propose a two-stage deep-learning-based approach, which takes advantage of cascaded fingerprints in images left by social networks during uploading. Our proposed system is not reliant upon metadata or similar easily falsifiable information. Through a series of experiments, we show that we are able to outperform existing social media source identification algorithms. and identify chains of social networks up to length two with over over 84% accuracy.


title: K-moduli of Fano 3-folds can have embedded points

abstract: We exhibit an example of obstructed K-polystable Fano 3-fold $X$ such that the K-moduli stack of K-semistable Fano varieties and the K-moduli space of K-polystable Fano varieties have an embedded point at $[X]$.


title: Bregman Circumcenters: Monotonicity and Forward Weak Convergence

abstract: Recently, we systematically studied the basic theory of Bregman circumcenters in another paper. In this work, we aim to apply Bregman circumcenters to optimization algorithms. Here, we propose the forward Bregman monotonicity which is a generalization of the powerful Fej\'er monotonicity and show a weak convergence result of the forward Bregman monotone sequence. We also naturally introduce the Bregman circumcenter mappings associated with a finite set of operators. Then we provide sufficient conditions for the sequence of iterations of the forward Bregman circumcenter mapping to be forward Bregman monotone. Furthermore, we prove that the sequence of iterations of the forward Bregman circumcenter mapping weakly converges to a point in the intersection of the fixed point sets of relevant operators, which reduces to the known weak convergence result of the circumcentered method under the Euclidean distance. In addition, particular examples are provided to illustrate the Bregman isometry and Browder's demiclosedness principle, and our convergence result.


title: A Generalized Concurrent Rule Construction for Double-Pushout Rewriting

abstract: Double-pushout rewriting is an established categorical approach to the rule-based transformation of graphs and graph-like objects. One of its standard results is the construction of concurrent rules and the Concurrency Theorem pertaining to it: The sequential application of two rules can equivalently be replaced by the application of a concurrent rule and vice versa. We extend and generalize this result by introducing generalized concurrent rules (GCRs). Their distinguishing property is that they allow identifying and preserving elements that are deleted by their first underlying rule and created by the second one. We position this new kind of composition of rules among the existing ones and obtain a Generalized Concurrency Theorem for it. We conduct our work in the same generic framework in which the Concurrency Theorem has been presented, namely double-pushout rewriting in M-adhesive categories via rules equipped with application conditions.


title: A Note on Kerr/CFT and Wald Entropy Discrepancy in High Derivative Gravities

abstract: We examine the Kerr/CFT correspondence in Einstein gravity extended with quadratic curvature invariants. We consider two explicit examples in four and five dimensions and compute the central charges of the asymptotic symmetry algebras of the near horizon geometries, using the improved version of the BBC formalism that encompasses the information of the Lagrangian. We find that the resulting Cardy entropy differs from the Wald entropy, caused by the Riemann-squared $R^{\mu\nu\rho\sigma}R_{\mu\nu\rho\sigma}$ term.


title: Bending of core-shell nanowires by asymmetric shell deposition

abstract: Freestanding semiconductor nanowires have opened up new possibilities for semiconductor devices, enabling geometries, material combinations and strain states which were not previously possible. Along these lines, spontaneous bending in asymmetric core-shell nanowire heterostructures has recently been proposed as a means to realize previously unimagined device geometries, novel strain-gradient engineering and bottom-up device fabrication. The synthesis of these nanostructures exploits the nanowire geometry and the directionality of the shell deposition process. Here, we explore the underlying mechanisms of this bending process by modeling the evolution of nanowires during asymmetric shell deposition. We show how bending can lead to dramatic local shell thickness, curvature and strain variations along the length of the nanowire, and we elucidate the dependence of shell growth and bending on parameters such as the core and shell dimensions and materials, and angle of incidence of the deposition source. In addition, deposition shadowing by neighboring nanowires is explored. We show that shadowing can easily be employed to connect nanowire pairs, which could be used to fabricate novel nanowire sensors. Model results are compared with GaAs-InP and GaAs-(Al,In)As core-shell nanowire growth experiments. These results can be used to guide future experiments and to help pave the way to bent nanowire devices.


title: Lower Bound and Exact Values for the Boundary Independence Broadcast Number of a Tree

abstract: A broadcast on a nontrivial connected graph G is a function f from V(G) to the set {0,1,...,diam(G)} such that f(v) is at most the eccentricity of v for all vertices v of G. The weight of f is the sum of the function values over V(G). A vertex u hears f from v if f(v) is positive and u is within distance f(v) from v. A broadcast f is boundary independent if any vertex that hears f from two or more vertices is at distance f(v) from each such vertex v. The maximum weight of a boundary independent broadcast on G is denoted by {\alpha}_{bn}(G). We prove a sharp lower bound on {\alpha}_{bn}(T) for a tree T. Combined with a previously determined upper bound, this gives exact values of {\alpha}_{bn}(T) for some classes of trees T. We also determine {\alpha}_{bn}(T) for trees with exactly two branch vertices and use this result to demonstrate the existence of trees for which {\alpha}_{bn} lies strictly between the lower and upper bounds.


title: iCub

abstract: In this chapter we describe the history and evolution of the iCub humanoid platform. We start by describing the first version as it was designed during the RobotCub EU project and illustrate how it evolved to become the platform that is adopted by more than 30 laboratories world wide. We complete the chapter by illustrating some of the research activities that are currently carried out on the iCub robot, i.e. visual perception, event driven sensing and dynamic control. We conclude the Chapter with a discussion of the lessons we learned and a preview of the upcoming next release of the robot, iCub 3.0.


title: Consciousness and the Collapse of the Wave Function

abstract: Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring.


title: Scalable Graph Neural Network Training: The Case for Sampling

abstract: Graph Neural Networks (GNNs) are a new and increasingly popular family of deep neural network architectures to perform learning on graphs. Training them efficiently is challenging due to the irregular nature of graph data. The problem becomes even more challenging when scaling to large graphs that exceed the capacity of single devices. Standard approaches to distributed DNN training, such as data and model parallelism, do not directly apply to GNNs. Instead, two different approaches have emerged in the literature: whole-graph and sample-based training. In this paper, we review and compare the two approaches. Scalability is challenging with both approaches, but we make a case that research should focus on sample-based training since it is a more promising approach. Finally, we review recent systems supporting sample-based training.


title: A study of scalar optically-pumped magnetometers for use in magnetoencephalography without shielding

abstract: Scalar optically-pumped magnetometers (OPMs) are being developed in small packages with high sensitivities. The high common-mode rejection ratio of these sensors allows for detection of very small signals in the presence of large background fields making them ideally suited for brain imaging applications in unshielded environments. Despite a flurry of activity around the topic, questions remain concerning how well a dipolar source can be localized under such conditions, especially when using few sensors. In this paper, we investigate the source localization capabilities using an array of scalar OPMs in the presence of a large background field while varying dipole strength, sensor count, and forward model accuracy. We also consider localization performance as the orientation angle of the background field changes. Our results are validated experimentally through accurate localization using a phantom virtual array mimicking a current dipole in a conducting sphere in a large background field. Our results are intended to give researchers a general sense of the capabilities and limitations of scalar OPMs for magnetoencephalography systems.


title: A Step Toward More Inclusive People Annotations for Fairness

abstract: The Open Images Dataset contains approximately 9 million images and is a widely accepted dataset for computer vision research. As is common practice for large datasets, the annotations are not exhaustive, with bounding boxes and attribute labels for only a subset of the classes in each image. In this paper, we present a new set of annotations on a subset of the Open Images dataset called the MIAP (More Inclusive Annotations for People) subset, containing bounding boxes and attributes for all of the people visible in those images. The attributes and labeling methodology for the MIAP subset were designed to enable research into model fairness. In addition, we analyze the original annotation methodology for the person class and its subclasses, discussing the resulting patterns in order to inform future annotation efforts. By considering both the original and exhaustive annotation sets, researchers can also now study how systematic patterns in training annotations affect modeling.


title: Learning Algorithms for Regenerative Stopping Problems with Applications to Shipping Consolidation in Logistics

abstract: We study regenerative stopping problems in which the system starts anew whenever the controller decides to stop and the long-term average cost is to be minimized. Traditional model-based solutions involve estimating the underlying process from data and computing strategies for the estimated model. In this paper, we compare such solutions to deep reinforcement learning and imitation learning which involve learning a neural network policy from simulations. We evaluate the different approaches on a real-world problem of shipping consolidation in logistics and demonstrate that deep learning can be effectively used to solve such problems.


title: Magnifying Subtle Facial Motions for Effective 4D Expression Recognition

abstract: In this paper, an effective pipeline to automatic 4D Facial Expression Recognition (4D FER) is proposed. It combines two growing but disparate ideas in Computer Vision -- computing the spatial facial deformations using tools from Riemannian geometry and magnifying them using temporal filtering. The flow of 3D faces is first analyzed to capture the spatial deformations based on the recently-developed Riemannian approach, where registration and comparison of neighboring 3D faces are led jointly. Then, the obtained temporal evolution of these deformations are fed into a magnification method in order to amplify the facial activities over the time. The latter, main contribution of this paper, allows revealing subtle (hidden) deformations which enhance the emotion classification performance. We evaluated our approach on BU-4DFE dataset, the state-of-art 94.18% average performance and an improvement that exceeds 10% in classification accuracy, after magnifying extracted geometric features (deformations), are achieved.


title: Iterative Human and Automated Identification of Wildlife Images

abstract: Camera trapping is increasingly used to monitor wildlife, but this technology typically requires extensive data annotation. Recently, deep learning has significantly advanced automatic wildlife recognition. However, current methods are hampered by a dependence on large static data sets when wildlife data is intrinsically dynamic and involves long-tailed distributions. These two drawbacks can be overcome through a hybrid combination of machine learning and humans in the loop. Our proposed iterative human and automated identification approach is capable of learning from wildlife imagery data with a long-tailed distribution. Additionally, it includes self-updating learning that facilitates capturing the community dynamics of rapidly changing natural systems. Extensive experiments show that our approach can achieve a ~90% accuracy employing only ~20% of the human annotations of existing approaches. Our synergistic collaboration of humans and machines transforms deep learning from a relatively inefficient post-annotation tool to a collaborative on-going annotation tool that vastly relieves the burden of human annotation and enables efficient and constant model updates.


title: Understanding first order Raman spectra of boron carbides across the homogeneity range

abstract: Boron carbide, a lightweight, high temperature material, has various applications as a structural material and as a neutron absorber. The large solubility range of carbon in boron, between $\approx$ 9% and 20%, stems from the thermodynamical stability of three icosahedral phases at low temperature, with respective carbon atomic concentrations: 8.7% (B$_{10.5}$C, named OPO$_1$), 13.0 \% (B$_{6.7}$C, named OPO$_2$), whose theoretical Raman spectra are still unknown, and 20% (B$_4$C), from which the nature of some of the Raman peaks are still debated. We report theoretical and experimental results of the first order, non-resonant, Raman spectrum of boron carbide. Density functional perturbation theory enables us to obtain the Raman spectra of the OPO$_1$ and OPO$_2$ phases, which are perfectly ordered structures with a complex crystalline motif of 414 atoms, due to charge compensation effects. Moreover, for the carbon-rich B$_4$C, with a simpler 15-atom unit cell, we study the influence of the low energy point defects and of their concentrations on the Raman spectrum, in connection with experiments, thus providing insights into the sensitivity of experime ntal spectra to sample preparation, experimental conditions and setup. In particular, this enables us to propose a new structure at 19.2% atomic carbon concentration, B$_{4.2}$C, that lies very close to the convex hull of boron carbide, on the carbon-rich side. This new phase, derived from what we name the "3+1" defect complex, helps in reconciling the experimentally observed Raman spectrum with the theory around 1000 cm$^{-1}$. Finally, we predict the intensity variations induced by the experimental geometry and quantitavely assess the localisation of bulk and defect vibrational modes and their character, with an analysis of "chain" and "icosahedral" modes.


title: Reconstructing shared dynamics with a deep neural network

abstract: Determining hidden shared patterns behind dynamic phenomena can be a game-changer in multiple areas of research. Here we present the principles and show a method to identify hidden shared dynamics from time series by a two-module, feedforward neural network architecture: the Mapper-Coach network. We reconstruct unobserved, continuous latent variable input, the time series generated by a chaotic logistic map, from the observed values of two simultaneously forced chaotic logistic maps. The network has been trained to predict one of the observed time series based on its own past and conditioned on the other observed time series by error-back propagation. It was shown, that after this prediction have been learned successfully, the activity of the bottleneck neuron, connecting the mapper and the coach module, correlated strongly with the latent shared input variable. The method has the potential to reveal hidden components of dynamical systems, where experimental intervention is not possible.


title: Degeneration of the spectral gap with negative Robin parameter

abstract: The spectral gap of the Neumann and Dirichlet Laplacians are each known to have a sharp positive lower bound among convex domains of a given diameter. Between these cases, for each positive value of the Robin parameter an analogous sharp lower bound on the spectral gap is conjectured. In this paper we show the extension of this conjecture to negative Robin parameters fails completely, by proving the spectral gap of an explicit family of domains can be exponentially small.


title: Petviashvili Method for the Fractional Schr\"{o}dinger Equation

abstract: In this paper, we extend the Petviashvili method (PM) to the fractional nonlinear Schr\"{o}dinger equation (fNLSE) for the construction and analysis of its soliton solutions. We also investigate the temporal dynamics and stabilities of the soliton solutions of the fNLSE by implementing a spectral method, in which the fractional-order spectral derivatives are computed using FFT routines, and the time integration is performed by a $4^{th}$ order Runge-Kutta time-stepping algorithm. We discuss the effects of the order of the fractional derivative, $\alpha$, on the properties, shapes, and temporal dynamics of the solitons solutions of the fNLSE. We also examine the interaction of those soliton solutions with zero, photorefractive and q-deformed Rosen-Morse potentials. We show that for all of these potentials the soliton solutions of the fNLSE exhibit a splitting and spreading behavior, yet their dynamics can be altered by the different forms of the potentials and noise considered.


title: Fractional Barndorff-Nielsen and Shephard model: applications in variance and volatility swaps, and hedging

abstract: In this paper, we introduce and analyze the fractional Barndorff-Nielsen and Shephard (BN-S) stochastic volatility model. The proposed model is based upon two desirable properties of the long-term variance process suggested by the empirical data: long-term memory and jumps. The proposed model incorporates the long-term memory and positive autocorrelation properties of fractional Brownian motion with $H>1/2$, and the jump properties of the BN-S model. We find arbitrage-free prices for variance and volatility swaps for this new model. Because fractional Brownian motion is still a Gaussian process, we derive some new expressions for the distributions of integrals of continuous Gaussian processes as we work towards an analytic expression for the prices of these swaps. The model is analyzed in connection to the quadratic hedging problem and some related analytical results are developed. The amount of derivatives required to minimize a quadratic hedging error is obtained. Finally, we provide some numerical analysis based on the VIX data. Numerical results show the efficiency of the proposed model compared to the Heston model and the classical BN-S model.


title: Most rigid representation and Cayley index of finitely generated groups

abstract: If $G$ is a group and $S$ a generating set, $G$ canonically embeds into the automorphism group of its Cayley graph and it is natural to try to minimize, over all generating sets, the index of this inclusion. This infimum is called the Cayley index of the group. In a recent series of works, we have characterized the infinite finitely generated groups with Cayley index $1$. We complement this characterization by showing that the Cayley index is $2$ in the remaining cases and is attained for a finite generating set.


title: Sequential Bayesian experiment design for adaptive Ramsey sequence measurements

abstract: The Ramsey sequence is a canonical example of a quantum phase measurement for a spin qubit. In Ramsey measurements, the measurement efficiency can be optimized through careful selection of settings for the phase accumulation time setting, $\tau$. This paper implements a sequential Bayesian experiment design protocol for the phase accumulation time in low-fidelity Ramsey measurements, and performance is compared to both a previously reported adaptive heuristic protocol and random setting choices. A workflow allowing measurements and design calculations to run concurrently largely eliminates computation time from measurement overhead. When precession frequency is the lone parameter to estimate, the Bayesian design is faster by factors of 2 and 4 relative to the adaptive heuristic and random protocols respectively.


title: The invariance principle for nonlinear Fokker--Planck equations

abstract: One studies here, via the La Salle invariance principle for nonlinear semigroups in Banach spaces, the properties of the $\omega$-limit set $\omega(u_0)$ corresponding to the orbit $\gamma(u_0)=\{u(t,u_0);\ t\ge0\}$, where $u=u(t,u_0)$ is the solution to the nonlinear Fokker-Planck equation $$\begin{array}{l} u_t-\Delta\beta(u)+{\rm div}(Db(u)u)=0\ \mbox{ in }(0,\infty)\times\mathbb{R}^d,\\ u(0,x)=u_0(x),\ \ x\in\mathbb{R}^d,\quad u_0\in L^1(\mathbb{R}^d),\ d\ge3.\end{array}$$ Here, $\beta\in C^1(\mathbb{R})$ and $\beta'(r)>0$, $\forall r\ne0$. Moreover, $\beta$ is a sublinear function, possibly degenerate in the origin, $b\in C^1(\mathbb{R})$, $b$ bounded, $b\ge b_0\in(0,\infty),$ $D$ is bounded such that $D=-\nabla\Phi$, where $\Phi\in C(\mathbb{R}^d)$ is such that $\Phi\ge1,$ $\Phi(x)\to\infty$ as $|x|\to\infty$ and satisfies a condition of the form $\Delta\Phi-\alpha|\nabla\Phi|^2\le0$, a.e. on $\mathbb{R}^d$. The main conclusion is that the equation has an equilibrium state and the set $\omega(u_0)$ is a non-empty, compact subset of $L^1(\mathbb{R}^d)$ while, for each $t\ge0$, the operator $u_0\to u(t,u_0)$ is an isometry on $\omega(u_0)$. In the nondegenerate case $0<\gamma_0\le\beta'\le\gamma_1$ studied in [Barbu, R\"ockner: arXiv:1808.10706], it follows that $\lim\limits_{t\to\infty}S(t)u_0=u_\infty$ in $L^1(\mathbb{R}^d)$, where $u_\infty$ is the unique bounded stationary solution to the equation.


title: Conversion and Smoothing of MHD Shocks in Atmospheres with Open and Closed Magnetic Field and Neutral Points

abstract: Planar acoustically dominated magneto\-hydro\-dynamic waves are initiated at the high-$\beta$ base of a simulated 2D isothermal stratified atmosphere with potential magnetic field exhibiting both open and closed field regions as well as neutral points. They shock on their way upward toward the Alfv\'en-acoustic equipartition surface $a=c$, where $a$ and $c$ are the Alfv\'en and sound speeds respectively. Expanding on recent 1.5D findings that such shocks mode-convert to fast shocks and slow smoothed waves on passing through $a=c$, we explore the implications for these more complex magnetic geometries. It is found that the 1.5D behaviour carries over to the more complex case, with the fast shocks strongly attracted to neutral points, which are disrupted producing extensive fine structure. It is also observed that shocks moving in the opposite direction, from $a>c$ to $a<c$, split into fast and slow components too, and that again it is the slow component that is smoothed.


title: A Comprehensive Astrometric Calibration of HST's WFPC2. I. Distortion Mapping

abstract: Wide field planetary camera 2 (WFPC2) exposures are already some 20 years older than Gaia epoch observations, or future JWST observations. As such, they offer an unprecedented time baseline for high-precision proper-motion studies, provided the full astrometric potential of these exposures is reached. We have started such a project with the work presented here being its first step. We explore geometric distortions beyond the well-known ones published in the early 2000s. This task is accomplished by using the entire database of WFPC2 exposures in filters F555W, F606W and F814W and three standard astrometric catalogs: Gaia EDR3, 47 Tuc and $\omega$Cen. The latter two were constructed using HST observations made with cameras other than WFPC2. We explore a suite of centering algorithms, and various distortion maps in order to understand and quantify their performance. We find no high-frequency systematics beyond the 34th-row correction, down to a resolution of 10 pixels. Low-frequency systematics starting at a resolution of 50-pixels are present at a level of 30-50 millipix (1.4-2.3 mas) for the PC and 20-30 millipix (2-3 mas) for the WF chips. We characterize these low-frequency systematics by providing correction maps and updated cubic-distortion coefficients for each filter.


title: Safety Enhancement for Deep Reinforcement Learning in Autonomous Separation Assurance

abstract: The separation assurance task will be extremely challenging for air traffic controllers in a complex and high density airspace environment. Deep reinforcement learning (DRL) was used to develop an autonomous separation assurance framework in our previous work where the learned model advised speed maneuvers. In order to improve the safety of this model in unseen environments with uncertainties, in this work we propose a safety module for DRL in autonomous separation assurance applications. The proposed module directly addresses both model uncertainty and state uncertainty to improve safety. Our safety module consists of two sub-modules: (1) the state safety sub-module is based on the execution-time data augmentation method to introduce state disturbances in the model input state; (2) the model safety sub-module is a Monte-Carlo dropout extension that learns the posterior distribution of the DRL model policy. We demonstrate the effectiveness of the two sub-modules in an open-source air traffic simulator with challenging environment settings. Through extensive numerical experiments, our results show that the proposed sub-safety modules help the DRL agent significantly improve its safety performance in an autonomous separation assurance task.


title: The crystal structure, chemical bonding and magnetic properties of the intercalation compounds Cr$_x$ZrTe$_2$ ($x$ = 0-0.3)

abstract: New intercalation compounds Cr$_x$ZrTe$_2$ were synthesized in the Cr concentration range of x=0-0.3. A thorough study of the crystal and electronic structure has been performed. It was found that there is competition in the distribution of the Cr atoms over the octa- and tetrahedral sites in the van der Waals gap, depending on the Cr content. The ordering of the Cr atoms was found at x = 0.25; at the same time, the lattice symmetry decreases from trigonal P-3m1 to monoclinic F2/m. This ordering stabilizes the octahedral coordination of the Cr atoms by Te atoms. The analysis of the experimental data on the electronic structure and DOS calculations showed that the Cr 3d states are spin-split.


title: Acylindrically hyperbolic groups and their quasi-isometrically embedded subgroups

abstract: We abstract the notion of an A/QI triple from a number of examples in geometric group theory. Such a triple (G,X,H) consists of a group G acting on a Gromov hyperbolic space X, acylindrically along a finitely generated subgroup H which is quasi-isometrically embedded by the action. Examples include strongly quasi-convex subgroups of relatively hyperbolic groups, convex cocompact subgroups of mapping class groups, many known convex cocompact subgroups of Out(Fn), and groups generated by powers of independent loxodromic WPD elements of a group acting on a Gromov hyperbolic space. We initiate the study of intersection and combination properties of A/QI triples. Under the additional hypothesis that G is finitely generated, we use a method of Sisto to show that H is stable. We apply theorems of Kapovich--Rafi and Dowdall--Taylor to analyze the Gromov boundary of an associated cone-off. We close with some examples and questions.


title: Performance Analysis of Zero-Trust multi-cloud

abstract: Zero Trust security model permits to secure cloud native applications while encrypting all network communication, authenticating, and authorizing every request. The service mesh can enable Zero Trust using a side-car proxy without changes to the application code. To the best of our knowledge, no previous work has provided a performance analysis of Zero Trust in a multi-cloud environment. This paper proposes a multi-cloud framework and a testing workflow to analyze performance of the data plane under load and the impact on the control plane, when Zero Trust is enabled. The results of preliminary tests show that Istio has reduced latency variability in responding to sequential HTTP requests. Results also reveal that the overall CPU and memory usage can increase based on service mesh configuration and the cloud environment.


title: Mechanical Response of Pentadiamond: A DFT and Molecular Dynamics Study

abstract: Pentadiamond is a recently proposed new carbon allotrope consisting of a network of pentagonal rings where both sp$^2$ and sp$^3$ hybridization are present. In this work we investigated the mechanical and electronic properties, as well as, the thermal stability of pentadiamond using DFT and fully atomistic reactive molecular dynamics (MD) simulations. We also investigated its properties beyond the elastic regime for three different deformation modes: compression, tensile and shear. The behavior of pentadiamond under compressive deformation showed strong fluctuations in the atomic positions which are responsible for the strain softening at strains beyond the linear regime, which characterizes the plastic flow. As we increase temperature, as expected, Young's modulus values decrease, but this variation (up to 300 K) is smaller than 10\% (from 347.5 to 313.6 GPa), but the fracture strain is very sensitive, varying from $\sim$44\% at 1K to $\sim$5\% at 300K.


title: Creep Tide Model for the 3-Body Problem. The rotational evolution of a circumbinary planet

abstract: We present a tidal model for treating the rotational evolution in the general three-body problem with arbitrary viscosities, in which all the masses are considered to be extended and all the tidal interactions between pairs are taken into account. Based on the creep tide theory, we present the set of differential equations that describes the rotational evolution of each body, in a formalism that is easily extensible to the N tidally-interacting body problem. We apply our model to the case of a circumbinary planet and use a Kepler-38 like binary system as a working example. We find that, in this low planetary eccentricity case, the most likely final stationary rotation state is the 1:1 spin-orbit resonance, considering an arbitrary planetary viscosity inside the estimated range for the solar system planets. We derive analytical expressions for the mean rotational stationary state, based on high-order power series of the semimajor axes ratio a1 /a2 and low-order expansions of the eccentricities. These are found to reproduce very accurately the mean behaviour of the low-eccentric numerical integrations for arbitrary planetary relaxation factors, and up to a1/a2 \sim 0.4. Our analytical model is used to predict the stationary rotation of the Kepler circumbinary planets and find that most of them are probably rotating in a sub-synchronous state, although the synchrony shift is much less important than the one estimated in Zoppetti et al. (2019, 2020). We present a comparison of our results with those obtained with the Constant Time Lag and find that, unlike what we assumed in our previous works, the cross torques have a non-negligible net secular contribution, and must be taken into account when computing the tides over each body in an N-extended-body system from an arbitrary reference frame. These torques are naturally taken into account in the creep theory.


title: Non-asymptotic analysis and inference for an outlyingness induced winsorized mean

abstract: Robust estimation of a mean vector, a topic regarded as obsolete in the traditional robust statistics community, has recently surged in machine learning literature in the last decade. The latest focus is on the sub-Gaussian performance and computability of the estimators in a non-asymptotic setting. Numerous traditional robust estimators are computationally intractable, which partly contributes to the renewal of the interest in the robust mean estimation. Robust centrality estimators, however, include the trimmed mean and the sample median. The latter has the best robustness but suffers a low-efficiency drawback. Trimmed mean and median of means, %as robust alternatives to the sample mean, and achieving sub-Gaussian performance have been proposed and studied in the literature. This article investigates the robustness of leading sub-Gaussian estimators of mean and reveals that none of them can resist greater than $25\%$ contamination in data and consequently introduces an outlyingness induced winsorized mean which has the best possible robustness (can resist up to $50\%$ contamination without breakdown) meanwhile achieving high efficiency. Furthermore, it has a sub-Gaussian performance for uncontaminated samples and a bounded estimation error for contaminated samples at a given confidence level in a finite sample setting. It can be computed in linear time.


title: Lindblad Tomography of a Superconducting Quantum Processor

abstract: As progress is made towards the first generation of error-corrected quantum computers, robust characterization and validation protocols are required to assess the noise environments of physical quantum processors. While standard coherence metrics and characterization protocols such as T1 and T2, process tomography, and randomized benchmarking are now ubiquitous, these techniques provide only partial information about the dynamic multi-qubit loss channels responsible for processor errors, which can be described more fully by a Lindblad operator in the master equation formalism. Here, we introduce and experimentally demonstrate Lindblad tomography, a hardware-agnostic characterization protocol for tomographically reconstructing the Hamiltonian and Lindblad operators of a quantum noise environment from an ensemble of time-domain measurements. Performing Lindblad tomography on a small superconducting quantum processor, we show that this technique characterizes and accounts for state-preparation and measurement (SPAM) errors and allows one to place bounds on the fit to a Markovian model. Comparing the results of single- and two-qubit measurements on a superconducting quantum processor, we demonstrate that Lindblad tomography can also be used to identify and quantify sources of crosstalk on quantum processors, such as the presence of always-on qubit-qubit interactions.


title: Elemental Abundances in M31: Gradients in the Giant Stellar Stream

abstract: We analyze existing measurements of [Fe/H] and [$\alpha$/Fe] for individual red giant branch (RGB) stars in the Giant Stellar Stream (GSS) of M31 to determine whether spatial abundance gradients are present. These measurements were obtained from low- ($R \sim 3000$) and moderate- ($R \sim 6000$) resolution Keck/DEIMOS spectroscopy using spectral synthesis techniques as part of the Elemental Abundances in M31 survey. From a sample of 62 RGB stars spanning the GSS at 17, 22, and 33 projected kpc, we measure a [Fe/H] gradient of $-$0.018 $\pm$ 0.003 dex kpc$^{-1}$ and negligible [$\alpha$/Fe] gradient with M31-centric radius. We investigate GSS abundance patterns in the outer halo using additional [Fe/H] and [$\alpha$/Fe] measurements for 6 RGB stars located along the stream at 45 and 58 projected kpc. These abundances provide tentative evidence that the trends in [Fe/H] and [$\alpha$/Fe] beyond 40 kpc in the GSS are consistent with those within 33 kpc. We also compare the GSS abundances to 65 RGB stars located along the possibly related Southeast (SE) shelf substructure at 12 and 18 projected kpc. The abundances of the GSS and SE shelf are consistent, supporting a common origin hypothesis, although this interpretation may be complicated by the presence of [Fe/H] gradients in the GSS. We discuss the abundance patterns in the context of photometric studies from the literature and explore implications for the properties of the GSS progenitor, suggesting that the high $\langle$[$\alpha$/Fe]$\rangle$ of the GSS (+0.40 $\pm$ 0.05 dex) favors a major merger scenario for its formation.


title: DeepSMOTE: Fusing Deep Learning and SMOTE for Imbalanced Data

abstract: Despite over two decades of progress, imbalanced data is still considered a significant challenge for contemporary machine learning models. Modern advances in deep learning have magnified the importance of the imbalanced data problem. The two main approaches to address this issue are based on loss function modifications and instance resampling. Instance sampling is typically based on Generative Adversarial Networks (GANs), which may suffer from mode collapse. Therefore, there is a need for an oversampling method that is specifically tailored to deep learning models, can work on raw images while preserving their properties, and is capable of generating high quality, artificial images that can enhance minority classes and balance the training set. We propose DeepSMOTE - a novel oversampling algorithm for deep learning models. It is simple, yet effective in its design. It consists of three major components: (i) an encoder/decoder framework; (ii) SMOTE-based oversampling; and (iii) a dedicated loss function that is enhanced with a penalty term. An important advantage of DeepSMOTE over GAN-based oversampling is that DeepSMOTE does not require a discriminator, and it generates high-quality artificial images that are both information-rich and suitable for visual inspection. DeepSMOTE code is publicly available at: https://github.com/dd1github/DeepSMOTE


title: Appropriate basis selection based on Bayesian inference for analyzing measured data reflecting photoelectron wave interference

abstract: In this study, we applied Bayesian inference for extended X-ray absorption fine structure (EXAFS) to select an appropriate basis from among Fourier, wavelet and advanced Fourier bases, and we extracted a radial distribution function (RDF) and physical parameters from only EXAFS signals using physical prior knowledge, which is to be realized in general in condensed systems. To evaluate our method, the well-known EXAFS spectrum of copper was used for the EXAFS data analysis. We found that the advanced Fourier basis is selected as an appropriate basis for the regression of the EXAFS signal in a quantitative way and that the estimation of the Debye-Waller factor can be robustly realized only by using the advanced Fourier basis. Bayesian inference based on minimal restrictions allows us to not only eliminate some unphysical results but also select an appropriate basis. Generally, FEFF analysis is used for estimating physical parameters such as Deby-Waller and extracting RDF. Bayesian inference enables us to simultaneously select an appropriate basis and optimized physical parameters without FEFF analysis, which results in extracting RDF from only EXAFS signals. These advantages lead to the general usage of Bayesian inference for EXAFS data analysis.


title: Micro Tidal Disruption Events in Active Galactic Nuclei

abstract: Active galactic nuclei (AGNs) can act as black hole assembly lines, funneling some of the stellar-mass black holes from the vicinity of the galactic center into the inner plane of the AGN disk where the black holes can merge through dynamical friction and gravitational wave emission. Here, we show that stars near the galactic center are also brought into the AGN disk, where they can be tidally disrupted by the stellar-mass black holes in the disk. Such micro-tidal disruption events (micro-TDEs) could be useful probe of stellar interaction with the AGN disk. We find that micro-TDEs in AGNs occur at a rate of $\sim170$ Gpc$^{-3}$yr$^{-1}$. Their cleanest observational probe may be the detection of tidal disruption in AGNs by heavy supermassive black holes ($M_{\bullet}\gtrsim10^{8}$ M$_{\odot}$) so that cannot tidally disrupt solar-type stars. We discuss two such TDE candidates observed to date (ASASSN-15lh and ZTF19aailpwl).


title: CombOptNet: Fit the Right NP-Hard Problem by Learning Integer Programming Constraints

abstract: Bridging logical and algorithmic reasoning with modern machine learning techniques is a fundamental challenge with potentially transformative impact. On the algorithmic side, many NP-hard problems can be expressed as integer programs, in which the constraints play the role of their "combinatorial specification." In this work, we aim to integrate integer programming solvers into neural network architectures as layers capable of learning both the cost terms and the constraints. The resulting end-to-end trainable architectures jointly extract features from raw data and solve a suitable (learned) combinatorial problem with state-of-the-art integer programming solvers. We demonstrate the potential of such layers with an extensive performance analysis on synthetic data and with a demonstration on a competitive computer vision keypoint matching benchmark.


title: Policy Learning with Adaptively Collected Data

abstract: Learning optimal policies from historical data enables personalization in a wide variety of applications including healthcare, digital recommendations, and online education. The growing policy learning literature focuses on settings where the data collection rule stays fixed throughout the experiment. However, adaptive data collection is becoming more common in practice, from two primary sources: 1) data collected from adaptive experiments that are designed to improve inferential efficiency; 2) data collected from production systems that progressively evolve an operational policy to improve performance over time (e.g. contextual bandits). Yet adaptivity complicates the optimal policy identification ex post, since samples are dependent, and each treatment may not receive enough observations for each type of individual. In this paper, we make initial research inquiries into addressing the challenges of learning the optimal policy with adaptively collected data. We propose an algorithm based on generalized augmented inverse propensity weighted (AIPW) estimators, which non-uniformly reweight the elements of a standard AIPW estimator to control worst-case estimation variance. We establish a finite-sample regret upper bound for our algorithm and complement it with a regret lower bound that quantifies the fundamental difficulty of policy learning with adaptive data. When equipped with the best weighting scheme, our algorithm achieves minimax rate optimal regret guarantees even with diminishing exploration. Finally, we demonstrate our algorithm's effectiveness using both synthetic data and public benchmark datasets.


title: A Multi-Chamber Smart Suction Cup for Adaptive Gripping and Haptic Exploration

abstract: We present a novel robot end-effector for gripping and haptic exploration. Tactile sensing through suction flow monitoring is applied to a new suction cup design that contains multiple chambers for air flow. Each chamber connects with its own remote pressure transducer, which enables both absolute and differential pressure measures between chambers. By changing the overall vacuum applied to this smart suction cup, it can perform different functions such as gentle haptic exploration (low pressure) and monitoring breaks in the seal during strong astrictive gripping (high pressure). Haptic exploration of surfaces through sliding and palpation can guide the selection of suction grasp locations and help to identify the local surface geometry. During suction gripping, this design localizes breaks in the suction seal between four quadrants with up to 97% accuracy and detects breaks in the suction seal early enough to avoid total grasp failure.


title: Estimating the Impact of BGP Prefix Hijacking

abstract: BGP prefix hijacking is a critical threat to the resilience and security of communications in the Internet. While several mechanisms have been proposed to prevent, detect or mitigate hijacking events, it has not been studied how to accurately quantify the impact of an ongoing hijack. When detecting a hijack, existing methods do not estimate how many networks in the Internet are affected (before and/or after its mitigation). In this paper, we study fundamental and practical aspects of the problem of estimating the impact of an ongoing hijack through network measurements. We derive analytical results for the involved trade-offs and limits, and investigate the performance of different measurement approaches (control/data-plane measurements) and use of public measurement infrastructure. Our findings provide useful insights for the design of accurate hijack impact estimation methodologies. Based on these insights, we design (i) a lightweight and practical estimation methodology that employs ping measurements, and (ii) an estimator that employs public infrastructure measurements and eliminates correlations between them to improve the accuracy. We validate the proposed methodologies and findings against results from hijacking experiments we conduct in the real Internet.


title: Quasinormal modes of small Schwarzschild-de Sitter black holes

abstract: We study the behavior of the quasinormal modes (QNMs) of massless and massive linear waves on Schwarzschild-de Sitter black holes as the black hole mass tends to 0. Via uniform estimates for a degenerating family of ODEs, we show that in bounded subsets of the complex plane and for fixed angular momenta, the QNMs converge to those of the static model of de Sitter space. Detailed numerics illustrate our results and suggest a number of open problems.


title: Active gels, heavy tails, and the cytoskeleton

abstract: The eukaryotic cell's cytoskeleton is a prototypical example of an active material: objects embedded within it are driven by molecular motors acting on the cytoskeleton, leading to anomalous diffusive behavior. Experiments tracking the behavior of cell-attached objects have observed anomalous diffusion with a distribution of displacements that is non-Gaussian, with heavy tails. This has been attributed to "cytoquakes" or other spatially extended collective effects. We show, using simulations and analytical theory, that a simple continuum active gel model driven by fluctuating force dipoles naturally creates heavy power-law tails in cytoskeletal displacements. We predict that this power law exponent should depend on the geometry and dimensionality of where force dipoles are distributed through the cell; we find qualitatively different results for force dipoles in a 3D cytoskeleton and a quasi-two-dimensional cortex. We then discuss potential applications of this model both in cells and in synthetic active gels.


title: Stochastic Volterra Equations for the Local Times of Spectrally Positive Stable Processes

abstract: This paper is concerned with the evolution dynamics of local times of a spectrally positive stable process in the spatial direction. The main results state that conditioned on the finiteness of the first time at which the local time at zero exceeds a given value, the local times at positive half line are equal in distribution to the unique solution of a stochastic Volterra equation driven by a Poisson random measure whose intensity coincides with the L\'evy measure. This helps us to provide not only a simple proof for the H\"older regularity, but also a uniform upper bound for all moments of the H\"older coefficient as well as a maximal inequality for the local times. Moreover, based on this stochastic Volterra equation, we extend the method of duality to establish an exponential-affine representation of the Laplace functional in terms of the unique solution of a nonlinear Volterra integral equation associated with the Laplace exponent of the stable process.


title: Assessing the nature of chiral-induced spin-selectivity by magnetic resonance

abstract: Understanding chiral induced spin-selectivity (CISS), resulting from charge transport through helical systems, has recently inspired many experimental and theoretical efforts, but is still object of intense debate. In order to assess the nature of CISS, we propose to focus on electron-transfer processes occurring at the single-molecule level. We design simple magnetic resonance experiments, exploiting a qubit as a highly sensitive and coherent magnetic sensor, to provide clear signatures of the acceptor polarization. Moreover, we show that information could even be obtained from time-resolved electron paramagnetic resonance experiments on a randomly-oriented solution of molecules. The proposed experiments will unveil the role of chiral linkers in electron-transfer and could also be exploited for quantum computing applications.


title: Content4All Open Research Sign Language Translation Datasets

abstract: Computational sign language research lacks the large-scale datasets that enables the creation of useful reallife applications. To date, most research has been limited to prototype systems on small domains of discourse, e.g. weather forecasts. To address this issue and to push the field forward, we release six datasets comprised of 190 hours of footage on the larger domain of news. From this, 20 hours of footage have been annotated by Deaf experts and interpreters and is made publicly available for research purposes. In this paper, we share the dataset collection process and tools developed to enable the alignment of sign language video and subtitles, as well as baseline translation results to underpin future research.


title: Uniqueness typing for intersection types

abstract: Working in a variant of the intersection type assignment system of Coppo, Dezani-Ciancaglini and Veneri [1981], we prove several facts about sets of terms having a given intersection type. Our main result is that every strongly normalizing term $M$ admits a *uniqueness typing*, which is a pair $(\Gamma,A)$ such that 1) $\Gamma \vdash M : A$ 2) $\Gamma \vdash N : A \Longrightarrow M =_{\beta\eta} N$ We also discuss several presentations of intersection type algebras, and the corresponding choices of type assignment rules.


title: Arbitrary-order intrinsic virtual element method for elliptic equations on surfaces

abstract: We develop a geometrically intrinsic formulation of the arbitrary-order Virtual Element Method (VEM) on polygonal cells for the numerical solution of elliptic surface partial differential equations (PDEs). The PDE is first written in covariant form using an appropriate local reference system. The knowledge of the local parametrization allows us to consider the two-dimensional VEM scheme, without any explicit approximation of the surface geometry. The theoretical properties of the classical VEM are extended to our framework by taking into consideration the highly anisotropic character of the final discretization. These properties are extensively tested on triangular and polygonal meshes using a manufactured solution. The limitations of the scheme are verified as functions of the regularity of the surface and its approximation.


title: WTR: A Test Collection for Web Table Retrieval

abstract: We describe the development, characteristics and availability of a test collection for the task of Web table retrieval, which uses a large-scale Web Table Corpora extracted from the Common Crawl. Since a Web table usually has rich context information such as the page title and surrounding paragraphs, we not only provide relevance judgments of query-table pairs, but also the relevance judgments of query-table context pairs with respect to a query, which are ignored by previous test collections. To facilitate future research with this benchmark, we provide details about how the dataset is pre-processed and also baseline results from both traditional and recently proposed table retrieval methods. Our experimental results show that proper usage of context labels can benefit previous table retrieval methods.


title: A note on homological systems

abstract: I give an elementary proof of the known fact that the category $\mathfrak{F} \left( \Delta \right)$ of $\Delta -$filtered modules, associated to a given finite homological system $\left( \Delta ; \Omega , \leq \right) ,$ is closed under direct summands.


title: Improved Bounds for the Oriented Radius of Mixed Multigraphs

abstract: A mixed multigraph is a multigraph which may contain both undirected and directed edges. An orientation of a mixed multigraph $G$ is an assignment of exactly one direction to each undirected edge of $G$. A mixed multigraph $G$ can be oriented to a strongly connected digraph if and only if $G$ is bridgeless and strongly connected [Boesch and Tindell, Am. Math. Mon., 1980]. For each $r \in \mathbb{N}$, let $f(r)$ denote the smallest number such that any strongly connected bridgeless mixed multigraph with radius $r$ can be oriented to a digraph of radius at most $f(r)$. We improve the current best upper bound of $4r^2+4r$ on $f(r)$ [Chung, Garey and Tarjan, Networks, 1985] to $1.5 r^2 + r + 1$. Our upper bound is tight upto a multiplicative factor of $1.5$ since, $\forall r \in \mathbb{N}$, there exists an undirected bridgeless graph of radius $r$ such that every orientation of it has radius at least $r^2 + r$ [Chv\'atal and Thomassen, J. Comb. Theory. Ser. B., 1978]. We prove a marginally better lower bound, $f(r) \geq r^2 + 3r + 1$, for mixed multigraphs. While this marginal improvement does not help with asymptotic estimates, it clears a natural suspicion that, like undirected graphs, $f(r)$ may be equal to $r^2 + r$ even for mixed multigraphs. En route, we show that if each edge of $G$ lies in a cycle of length at most $\eta$, then the oriented radius of $G$ is at most $1.5 r \eta$. All our proofs are constructive and lend themselves to polynomial time algorithms.


title: Explainable Artificial Intelligence for Human Decision-Support System in Medical Domain

abstract: In the present paper we present the potential of Explainable Artificial Intelligence methods for decision-support in medical image analysis scenarios. With three types of explainable methods applied to the same medical image data set our aim was to improve the comprehensibility of the decisions provided by the Convolutional Neural Network (CNN). The visual explanations were provided on in-vivo gastral images obtained from a Video capsule endoscopy (VCE), with the goal of increasing the health professionals' trust in the black box predictions. We implemented two post-hoc interpretable machine learning methods LIME and SHAP and the alternative explanation approach CIU, centered on the Contextual Value and Utility (CIU). The produced explanations were evaluated using human evaluation. We conducted three user studies based on the explanations provided by LIME, SHAP and CIU. Users from different non-medical backgrounds carried out a series of tests in the web-based survey setting and stated their experience and understanding of the given explanations. Three user groups (n=20, 20, 20) with three distinct forms of explanations were quantitatively analyzed. We have found that, as hypothesized, the CIU explainable method performed better than both LIME and SHAP methods in terms of increasing support for human decision-making as well as being more transparent and thus understandable to users. Additionally, CIU outperformed LIME and SHAP by generating explanations more rapidly. Our findings suggest that there are notable differences in human decision-making between various explanation support settings. In line with that, we present three potential explainable methods that can with future improvements in implementation be generalized on different medical data sets and can provide great decision-support for medical experts.


title: Beyond Self-attention: External Attention using Two Linear Layers for Visual Tasks

abstract: Attention mechanisms, especially self-attention, have played an increasingly important role in deep feature representation for visual tasks. Self-attention updates the feature at each position by computing a weighted sum of features using pair-wise affinities across all positions to capture the long-range dependency within a single sample. However, self-attention has quadratic complexity and ignores potential correlation between different samples. This paper proposes a novel attention mechanism which we call external attention, based on two external, small, learnable, shared memories, which can be implemented easily by simply using two cascaded linear layers and two normalization layers; it conveniently replaces self-attention in existing popular architectures. External attention has linear complexity and implicitly considers the correlations between all data samples. We further incorporate the multi-head mechanism into external attention to provide an all-MLP architecture, external attention MLP (EAMLP), for image classification. Extensive experiments on image classification, object detection, semantic segmentation, instance segmentation, image generation, and point cloud analysis reveal that our method provides results comparable or superior to the self-attention mechanism and some of its variants, with much lower computational and memory costs.


title: MODS -- A USV-oriented object detection and obstacle segmentation benchmark

abstract: Small-sized unmanned surface vehicles (USV) are coastal water devices with a broad range of applications such as environmental control and surveillance. A crucial capability for autonomous operation is obstacle detection for timely reaction and collision avoidance, which has been recently explored in the context of camera-based visual scene interpretation. Owing to curated datasets, substantial advances in scene interpretation have been made in a related field of unmanned ground vehicles. However, the current maritime datasets do not adequately capture the complexity of real-world USV scenes and the evaluation protocols are not standardised, which makes cross-paper comparison of different methods difficult and hinders the progress. To address these issues, we introduce a new obstacle detection benchmark MODS, which considers two major perception tasks: maritime object detection and the more general maritime obstacle segmentation. We present a new diverse maritime evaluation dataset containing approximately 81k stereo images synchronized with an on-board IMU, with over 60k objects annotated. We propose a new obstacle segmentation performance evaluation protocol that reflects the detection accuracy in a way meaningful for practical USV navigation. Nineteen recent state-of-the-art object detection and obstacle segmentation methods are evaluated using the proposed protocol, creating a benchmark to facilitate development of the field. The proposed dataset, as well as evaluation routines, are made publicly available at vicos.si/resources.


title: Inverse wave scattering in the time domain for point scatterers

abstract: Let $\Delta_{\alpha,Y}$ be the bounded from above self-adjoint realization in $L^{2}({\mathbb R}^{3})$ of the Laplacian with $n$ point scatterers placed at $Y=\{y_{1},\dots,y_{n}\}\subset{\mathbb R}^{3}$, the parameters $(\alpha_{1},\dots\alpha_{n})\equiv\alpha\in {\mathbb R}^{n}$ being related to the scattering properties of the obstacles. Let $u^{\alpha,Y}_{f_{\epsilon}}$ and $u^{\varnothing}_{f_{\epsilon}}$ denote the solutions of the wave equations corresponding to $\Delta_{\alpha,Y}$ and to the free Laplacian $\Delta$ respectively, with a source term given by the pulse $f_{\epsilon}(x)=\sum_{k=1}^{N}f_{k}\,\varphi_{\epsilon}(x-x_{k}) $ supported in $\epsilon$-neighborhoods of the points in $X_{N}=\{x_{1},\dots, x_{N}\}$, $X_{N}\cap Y=\varnothing$. We show that, for any fixed $\lambda>\sup\sigma(\Delta_{\alpha,Y})$, there exits $N_{\circ}\ge 1$ such that the locations of the points in $Y$ can be determined by the knowledge of the finite-dimensional scattering data operator $F^{N}_{\lambda}:{\mathbb R}^{N}\to{\mathbb R}^{N}$, $N\ge N_{\circ}$, $$ (F^{N}_{\lambda}f)_{k}:=\lim_{\epsilon\searrow 0}\int_{0}^{\infty}e^{-\sqrt\lambda\,t}\big(u^{\alpha,Y}_{f_{\epsilon}}(t,x_{k})-u^{\varnothing}_{f_{\epsilon}}(t,x_{k})\big)\,dt\,. $$ We exploit the factorized form of the resolvent difference $(-\Delta_{\alpha,Y}+\lambda)^{-1}-(-\Delta+\lambda)^{-1}$ and a variation on the finite-dimensional factorization in the MUSIC algorithm; multiple scattering effects are not neglected.


title: The ratio of the numbers of odd and even cycles in outerplanar graphs

abstract: In this paper, we investigate the ratio of the numbers of odd and even cycles in outerplanar graphs. We verify that the ratio generally diverges to infinity as the order of a graph diverges to infinity. We also give sharp estimations of the ratio for several classes of outerplanar graphs, and obtain a constant upper bound of the ratio for some of them. Furthermore, we consider similar problems in graphs with some pairs of forbidden subgraphs/minors, and propose a challenging problem concerning claw-free graphs.


title: Uncertain Neighbors: Bayesian Propensity Score Matching For Causal Inference

abstract: We compare the performance of standard nearest-neighbor propensity score matching with that of an analogous Bayesian propensity score matching procedure. We show that the Bayesian approach makes better use of available information, as it makes less arbitrary decisions about which observations to drop and which ones to keep in the matched sample. We conduct a simulation study to evaluate the performance of standard and Bayesian nearest-neighbor matching when matching is done with and without replacement. We then use both methods to replicate a recent study about the impact of land reform on guerrilla activity in Colombia.


title: Universal Algorithms for Clustering Problems

abstract: This paper presents universal algorithms for clustering problems, including the widely studied $k$-median, $k$-means, and $k$-center objectives. The input is a metric space containing all potential client locations. The algorithm must select $k$ cluster centers such that they are a good solution for any subset of clients that actually realize. Specifically, we aim for low regret, defined as the maximum over all subsets of the difference between the cost of the algorithm's solution and that of an optimal solution. A universal algorithm's solution $SOL$ for a clustering problem is said to be an $(\alpha, \beta)$-approximation if for all subsets of clients $C'$, it satisfies $SOL(C') \leq \alpha \cdot OPT(C') + \beta \cdot MR$, where $OPT(C')$ is the cost of the optimal solution for clients $C'$ and $MR$ is the minimum regret achievable by any solution. Our main results are universal algorithms for the standard clustering objectives of $k$-median, $k$-means, and $k$-center that achieve $(O(1), O(1))$-approximations. These results are obtained via a novel framework for universal algorithms using linear programming (LP) relaxations. These results generalize to other $\ell_p$-objectives and the setting where some subset of the clients are fixed. We also give hardness results showing that $(\alpha, \beta)$-approximation is NP-hard if $\alpha$ or $\beta$ is at most a certain constant, even for the widely studied special case of Euclidean metric spaces. This shows that in some sense, $(O(1), O(1))$-approximation is the strongest type of guarantee obtainable for universal clustering.


title: Berry connection from many-body wave functions and superconductivity: Calculations by the particle number conserving Bogoliubov-de Gennes equations

abstract: A fundamentally revised version of superconductivity theory has been put forward by the present authors since the standard theory of superconductivity based on the BCS theory cannot explain superconductivity in cuprates discovered in 1986, and reexaminations on several experimental results on the conventional superconductors indicate the necessity for a fundamental revision. The revision is made on the origin of the superconducting phase variable, which is attributed to a Berry connection arising from many-body wave functions. With this revision, the theory can be cast into a particle number conserving formalism. We have developed a method to calculate superconducting states with the Berry connection using the particle number conserving version of the Bogoliubov-de Gennes equations. An example calculation is made for a model originally built for cuprate superconductors.


title: Genetic Algorithms For Extractive Summarization

abstract: Most current work in NLP utilizes deep learning, which requires a lot of training data and computational power. This paper investigates the strengths of Genetic Algorithms (GAs) for extractive summarization, as we hypothesized that GAs could construct more efficient solutions for the summarization task due to their relative customizability relative to deep learning models. This is done by building a vocabulary set, the words of which are represented as an array of weights, and optimizing those set of weights with the GA. These weights can be used to build an overall weighting of a sentence, which can then be passed to some threshold for extraction. Our results showed that the GA was able to learn a weight representation that could filter out excessive vocabulary and thus dictate sentence importance based on common English words.


title: Measurement and Analysis of Thermal Conductivity of Ceramic Particle Beds for Solar Thermal Energy Storage

abstract: A systematic study was performed to measure the effective thermal conductivity of ceramic particle beds, a promising heat transfer and thermal energy storage media for concentrating solar power (CSP). The thermal conductivity of the ceramic particle beds was measured using a transient hot-wire (THW) method within a temperature range of room temperature to 700 oC, the target operating temperature of the next-generation CSP systems. Two different types of ceramic particles were examined: (1) CARBOBEAD HSP 40/70 and (2) CARBOBEAD CP 40/100 with the average particle sizes of ~ 400 {\mu}m and ~280 {\mu}m, respectively, and thermal conductivities ranging from ~0.25 W m-1 K-1 to ~0.50 W m-1 K-1 from 20 oC to 700 oC in both air and N2 gas. The gaseous pressure dependence of the thermal conductivity of the ceramic particle beds was also studied in the N2 environment to differentiate the contributions from gas conduction, solid conduction, and radiation. Calculations using the Zehner, Bauer, and Schl\"under (ZBS) model showed good agreements with the measurements. Based on the model, it is concluded that the effective thermal conductivity of the packed particle beds is dominated by the gas conduction while the solid conduction and radiation contributes to about 20% of the effective thermal conductivity at high temperature.


title: Period collapse in characteristic quasi-polynomials of hyperplane arrangements

abstract: Given an integral hyperplane arrangement, Kamiya-Takemura-Terao (2008 & 2011) introduced the notion of characteristic quasi-polynomial, which enumerates the cardinality of the complement of the arrangement modulo a positive integer. The most popular candidate for period of the characteristic quasi-polynomials is the lcm period. In this paper, we initiate a study of period collapse in characteristic quasi-polynomials stemming from the concept of period collapse in the theory of Ehrhart quasi-polynomials. We say that period collapse occurs in a characteristic quasi-polynomial when the minimum period is strictly less than the lcm period. Our first main result is that in the non-central case, with regard to period collapse anything is possible: period collapse occurs in any dimension $\ge 1$, occurs for any value of the lcm period $\ge 2$, and the minimum period when it is not the lcm period can be any proper divisor of the lcm period. Our second main result states that in the central case, however, no period collapse is possible in any dimension, that is, the lcm period is always the minimum period.


title: Physics-informed Spline Learning for Nonlinear Dynamics Discovery

abstract: Dynamical systems are typically governed by a set of linear/nonlinear differential equations. Distilling the analytical form of these equations from very limited data remains intractable in many disciplines such as physics, biology, climate science, engineering and social science. To address this fundamental challenge, we propose a novel Physics-informed Spline Learning (PiSL) framework to discover parsimonious governing equations for nonlinear dynamics, based on sparsely sampled noisy data. The key concept is to (1) leverage splines to interpolate locally the dynamics, perform analytical differentiation and build the library of candidate terms, (2) employ sparse representation of the governing equations, and (3) use the physics residual in turn to inform the spline learning. The synergy between splines and discovered underlying physics leads to the robust capacity of dealing with high-level data scarcity and noise. A hybrid sparsity-promoting alternating direction optimization strategy is developed for systematically pruning the sparse coefficients that form the structure and explicit expression of the governing equations. The efficacy and superiority of the proposed method have been demonstrated by multiple well-known nonlinear dynamical systems, in comparison with two state-of-the-art methods.


title: Random generators of Markovian evolution: A quantum-classical transition by superdecoherence

abstract: Continuous-time Markovian evolution appears to be manifestly different in classical and quantum worlds. We consider ensembles of random generators of $N$-dimensional Markovian evolution, quantum and classical ones, and evaluate their universal spectral properties. We then show how the two types of generators can be related by superdecoherence. In analogy with the mechanism of decoherence, which transforms a quantum state into a classical one, superdecoherence can be used to transform a Lindblad operator (generator of quantum evolution) into a Kolmogorov operator (generator of classical evolution). We inspect spectra of random Lindblad operators undergoing superdecoherence and demonstrate that, in the limit of complete superdecoherence, the resulting operators exhibit spectral density typical to random Kolmogorov operators. By gradually increasing strength of superdecoherence, we observe a sharp quantum-to-classical transition. Furthermore, we define an inverse procedure of supercoherification that is a generalization of the scheme used to construct a quantum state out of a classical one. Finally, we study microscopic correlation between neighbouring eigenvalues through the complex spacing ratios and observe the horse-shoe distribution, emblematic of the Ginibre universality class, for both types of random generators. Remarkably, it survives superdecoherence and supercoherification.

categories: cond-mat.stat-mech math-ph math.MP quant-ph