title: Multistart Algorithm for Identifying All Optima of Nonconvex Stochastic Functions

abstract: We propose a multistart algorithm to identify all local minima of a constrained, nonconvex stochastic optimization problem. The algorithm uniformly samples points in the domain and then starts a local stochastic optimization run from any point that is the "probabilistically best" point in its neighborhood. Under certain conditions, our algorithm is shown to asymptotically identify all local optima with high probability; this holds even though our algorithm is shown to almost surely start only finitely many local stochastic optimization runs. We demonstrate the performance of an implementation of our algorithm on nonconvex stochastic optimization problems, including identifying optimal variational parameters for the quantum approximate optimization algorithm.


title: Some pseudocompact-like properties in certain topological groups

abstract: We construct in ZFC a countably compact group without non-trivial convergent sequences of size $2^{\mathfrak{c}}$, answering a question of Bellini, Rodrigues and Tomita. We also construct in ZFC a selectively pseudocompact group which is not countably pracompact, showing that these two properties are not equivalent in the class of topological groups. Using the same technique, we construct a group which has all powers selectively pseudocompact but is not countably pracompact, assuming the existence of a selective ultrafilter.


title: Submission Fees in Risk-Taking Contests

abstract: This paper investigates stochastic continuous time contests with a twist: the designer requires that contest participants incur some cost to submit their entries. When the designer wishes to maximize the (expected) performance of the top performer, a strictly positive submission fee is optimal. When the designer wishes to maximize total (expected) performance, either the highest submission fee or the lowest submission fee is optimal.


title: The SLED project and the dynamics of coronal flux ropes

abstract: Investigations of the dynamics of the hot coronal plasma are crucial for understanding various space weather phenomena and making in-depth analyzes of the global heating of the solar corona. We present here numerical simulations of observations of siphon flows along loops (simple semi-circular flux ropes) to demonstrate the capabilities of the Solar Line Emission Dopplerometer (SLED), a new instrument under construction for imaging spectroscopy. It is based on the Multi-channel Subtractive Double Pass (MSDP) technique, which combines the advantages of filters and slit spectrographs. SLED will observe coronal structures in the forbidden lines of FeX 637.4 nm and FeXIV 530.3 nm, and will measure Doppler shifts up to 150 km/s at high precision (50 m/s) and cadence (1 Hz). It is optimized for studies of the dynamics of fast evolving events such as flares or Coronal Mass Ejections (CMEs), as well as for the detection of high-frequency waves. Observations will be performed with the coronagraph at Lomnicky Stit Observatory (LSO), and will also occur during total solar eclipses as SLED is a portable instrument.


title: Magnetic Island Merging: Two-dimensional MHD Simulation and Test-Particle Modeling

abstract: In an idealized system where four current channels interact in a two-dimensional periodic setting, we follow the detailed evolution of current sheets (CSs) forming in between the channels, as a result of a large-scale merging. A central X-point collapses and a gradually extending CS marks the site of continuous magnetic reconnection. Using grid-adaptive, non-relativistic, resistive magnetohydrodynamic (MHD) simulations, we establish that slow, near-steady Sweet-Parker reconnection transits to a chaotic, multi-plasmoid fragmented state, when the Lundquist number exceeds about ten to the fourth power, well in the range of previous studies on plasmoid instability. The extreme resolution employed in the MHD study shows significant magnetic island substructures. With relativistic test-particle simulations, we explore how charged particles can be accelerated in the vicinity of an O-point, either at embedded tiny-islands within larger "monster"-islands or near the centers of monster-islands. While the planar MHD setting artificially causes strong acceleration in the ignored third direction, it also allows for the full analytic study of all aspects leading to the acceleration and the in-plane-projected trapping of particles in the vicinities of O-points. Our analytic approach uses a decomposition of the particle velocity in slow- and fast-changing components, akin to the Reynolds decomposition in turbulence studies. Our analytic description is validated with several representative test-particle simulations. We find that after an initial non-relativistic motion throughout a monster island, particles can experience acceleration in the vicinity of an O-point beyond 0.7c, at which speed the acceleration is at its highest efficiency

categories: astro-ph.SR astro-ph.HE physics.comp-ph physics.plasm-ph physics.space-ph


title: An FEA surrogate model with Boundary Oriented Graph Embedding approach

abstract: In this work, we present a Boundary Oriented Graph Embedding (BOGE) approach for the Graph Neural Network (GNN) to serve as a general surrogate model for regressing physical fields and solving boundary value problems. Providing shortcuts for both boundary elements and local neighbor elements, the BOGE approach can embed structured mesh elements into the graph and performs an efficient regression on large-scale triangular-mesh-based FEA results, which cannot be realized by other machine-learning-based surrogate methods. Focusing on the cantilever beam problem, our BOGE approach cannot only fit the distribution of stress fields but also regresses the topological optimization results, which show its potential of realizing abstract decision-making design process. The BOGE approach with 3-layer DeepGCN model \textcolor{blue}{achieves the regression with MSE of 0.011706 (2.41\% MAPE) for stress field prediction and 0.002735 MSE (with 1.58\% elements having error larger than 0.01) for topological optimization.} The overall concept of the BOGE approach paves the way for a general and efficient deep-learning-based FEA simulator that will benefit both industry and design-related areas.


title: D-critical loci for local toric Calabi-Yau 3-folds

abstract: The notion of a d-critical locus is an ingredient in the definition of motivic Donaldson-Thomas invariants by [BJM19]. There is a canonical d-critical locus structure on the Hilbert scheme of dimension zero subschemes on local toric Calabi-Yau 3-folds. This is obtained by truncating the $-1$-shifted symplectic structure on the derived moduli stack [BBBBJ15]. In this paper we show the canonical d-critical locus structure has critical charts consistent with the description of Hilbert scheme as a degeneracy locus [BBS13]. In particular, the canonical d-critical locus structure is isomorphic to the one constructed in [KS12] for local $\mathbb{P}^2$ and local $\mathbb{F}_n$.


title: Optimal Daily Trading of Battery Operations Using Arbitrage Spreads

abstract: An important revenue stream for electric battery operators is often arbitraging the hourly price spreads in the day-ahead auction. The optimal approach to this is challenging if risk is a consideration as this requires the estimation of density functions. Since the hourly prices are not normal and not independent, creating spread densities from the difference of separately estimated price densities is generally intractable. Thus, forecasts of all intraday hourly spreads were directly specified as an upper triangular matrix containing densities. The model was a flexible four-parameter distribution used to produce dynamic parameter estimates conditional upon exogenous factors, most importantly wind, solar and the day-ahead demand forecasts. These forecasts supported the optimal daily scheduling of a storage facility, operating on single and multiple cycles per day. The optimization is innovative in its use of spread trades rather than hourly prices, which this paper argues, is more attractive in reducing risk. In contrast to the conventional approach of trading the daily peak and trough, multiple trades are found to be profitable and opportunistic depending upon the weather forecasts.


title: Energy-Efficient Massive MIMO for Serving Multiple Federated Learning Groups

abstract: With its privacy preservation and communication efficiency, federated learning (FL) has emerged as a learning framework that suits beyond 5G and towards 6G systems. This work looks into a future scenario in which there are multiple groups with different learning purposes and participating in different FL processes. We give energy-efficient solutions to demonstrate that this scenario can be realistic. First, to ensure a stable operation of multiple FL processes over wireless channels, we propose to use a massive multiple-input multiple-output network to support the local and global FL training updates, and let the iterations of these FL processes be executed within the same large-scale coherence time. Then, we develop asynchronous and synchronous transmission protocols where these iterations are asynchronously and synchronously executed, respectively, using the downlink unicasting and conventional uplink transmission schemes. Zero-forcing processing is utilized for both uplink and downlink transmissions. Finally, we propose an algorithm that optimally allocates power and computation resources to save energy at both base station and user sides, while guaranteeing a given maximum execution time threshold of each FL iteration. Compared to the baseline schemes, the proposed algorithm significantly reduces the energy consumption, especially when the number of base station antennas is large.


title: $a_{1}$ meson-nucleon coupling constant at finite temperature from the soft-wall AdS/QCD model

abstract: We study the temperature dependence of the $a_1$ meson-nucleon coupling constant in the framework of the soft-wall AdS/QCD model with thermal dilaton field. Profile functions for the axial-vector and fermion fields in the AdS-Schwarzschild metric are presented. It is constructed an interaction Lagrangian for the fermion-axial-vector-thermal dilaton fields system in the bulk of space-time. From this Lagrangian integral representation for the $g_{a_1NN}$ coupling constant is derived. The temperature dependence of this coupling constant is numerically analyzed.


title: ConVIScope: Visual Analytics for Exploring Patient Conversations

abstract: The proliferation of text messaging for mobile health is generating a large amount of patient-doctor conversations that can be extremely valuable to health care professionals. We present ConVIScope, a visual text analytic system that tightly integrates interactive visualization with natural language processing in analyzing patient-doctor conversations. ConVIScope was developed in collaboration with healthcare professionals following a user-centered iterative design. Case studies with six domain experts suggest the potential utility of ConVIScope and reveal lessons for further developments.


title: SURENA IV: Towards A Cost-effective Full-size Humanoid Robot for Real-world Scenarios

abstract: This paper describes the hardware, software framework, and experimental testing of SURENA IV humanoid robotics platform. SURENA IV has 43 degrees of freedom (DoFs), including seven DoFs for each arm, six DoFs for each hand, and six DoFs for each leg, with a height of 170 cm and a mass of 68 kg and morphological and mass properties similar to an average adult human. SURENA IV aims to realize a cost-effective and anthropomorphic humanoid robot for real-world scenarios. In this way, we demonstrate a locomotion framework based on a novel and inexpensive predictive foot sensor that enables walking with 7cm foot position error because of accumulative error of links and connections' deflection(that has been manufactured by the tools which are available in the Universities). Thanks to this sensor, the robot can walk on unknown obstacles without any force feedback, by online adaptation of foot height and orientation. Moreover, the arm and hand of the robot have been designed to grasp the objects with different stiffness and geometries that enable the robot to do drilling, visual servoing of a moving object, and writing his name on the white-board.


title: Progress towards a matter wave interferometer for inertial sensing with non-destructive monitoring of Bloch oscillations

abstract: We report on our progress in the construction of a continuous matter-wave interferometer for inertial sensing via the non-destructive observation of Bloch oscillations. At the present stage of the experiment, around $10^5$strontium-88 atoms are cooled down to below 1$\mu${\mu}K. Pumped by lasers red-tuned with respect to the 7.6 kHz broad intercombination transition of strontium, the two counterpropagating modes of the ring cavity form a one-dimensional optical lattice in which the atoms, accelerated by gravity, will perform Bloch oscillations. The atomic motion can be monitored in real-time via its impact on the counterpropagating light fields. We present the actual state of the experiment and characterize the laser spectrometer developed to drive the atom-cavity interaction.


title: A Convolutional Neural Network-based Approach to Field Reconstruction

abstract: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible. In many applications, the spatial distribution of a field needs to be carefully monitored to detect spikes, discontinuities or dangerous heterogeneities, but invasive monitoring approaches cannot be used. Besides, technical specifications about the process might not be available by preventing the adoption of an accurate model of the system. In this work, a physics-informed, data-driven algorithm that allows addressing these requirements is presented. The approach is based on the implementation of a boundary element method (BEM)-scheme within a convolutional neural network. Thanks to the capability of representing any continuous mathematical function with a reduced number of parameters, the network allows predicting the field value in any point of the domain, given the boundary conditions and few measurements within the domain. The proposed approach was applied to reconstruct a field described by the Helmholtz equation over a three-dimensional domain. A sensitivity analysis was also performed by investigating different physical conditions and different network configurations. Since the only assumption is the applicability of BEM, the current approach can be applied to the monitoring of a wide range of processes, from the localization of the source of pollutant within a water reservoir to the monitoring of the neutron flux in a nuclear reactor.


title: DoWhy: Addressing Challenges in Expressing and Validating Causal Assumptions

abstract: Estimation of causal effects involves crucial assumptions about the data-generating process, such as directionality of effect, presence of instrumental variables or mediators, and whether all relevant confounders are observed. Violation of any of these assumptions leads to significant error in the effect estimate. However, unlike cross-validation for predictive models, there is no global validator method for a causal estimate. As a result, expressing different causal assumptions formally and validating them (to the extent possible) becomes critical for any analysis. We present DoWhy, a framework that allows explicit declaration of assumptions through a causal graph and provides multiple validation tests to check a subset of these assumptions. Our experience with DoWhy highlights a number of open questions for future research: developing new ways beyond causal graphs to express assumptions, the role of causal discovery in learning relevant parts of the graph, and developing validation tests that can better detect errors, both for average and conditional treatment effects. DoWhy is available at https://github.com/microsoft/dowhy.


title: Infinite Compositions and Complex Dynamics; Generalizing Schr\"{o}der and Abel Functions

abstract: Using infinite compositions, we solve the general equations $P(\lambda w) = p(w)f(P(w))$ for holomorphic functions $p$ and $f$. We describe the situations in which this equation is palpable; and their effectiveness at describing dynamical properties of the orbit $f^{\circ n}(z)$. We similarly make a change of variables to study a generalized form of the Abel equation, $F(s+1) = u(s)f(F(s))$. This paper is intended as a more in depth examination of work done previously in our last paper--The Limits of a Family; Of Asymptotic Solutions to the Tetration Equation.


title: Hot Degenerates in the MCT Survey. III. A Sample of White Dwarf Stars in the Southern Hemisphere

abstract: We present optical spectra of 144 white dwarfs detected in the Montreal-Cambridge-Tololo (MCT) colorimetric survey, including 120 DA, 12 DB, 4 DO, 1 DQ, and 7 DC stars. We also perform a model atmosphere analysis of all objects in our sample using the so-called spectroscopic technique, or the photometric technique in the case of DC white dwarfs. The main objective of this paper is to contribute to the ongoing effort of confirming spectroscopically all white dwarf candidates in the Gaia survey, in particular in the southern hemisphere. All our spectra are made available in the Montreal White Dwarf Database.


title: ExaWorks: Workflows for Exascale

abstract: Exascale computers will offer transformative capabilities to combine data-driven and learning-based approaches with traditional simulation applications to accelerate scientific discovery and insight. These software combinations and integrations, however, are difficult to achieve due to challenges of coordination and deployment of heterogeneous software components on diverse and massive platforms. We present the ExaWorks project, which can address many of these challenges: ExaWorks is leading a co-design process to create a workflow software development Toolkit (SDK) consisting of a wide range of workflow management tools that can be composed and interoperate through common interfaces. We describe the initial set of tools and interfaces supported by the SDK, efforts to make them easier to apply to complex science challenges, and examples of their application to exemplar cases. Furthermore, we discuss how our project is working with the workflows community, large computing facilities as well as HPC platform vendors to sustainably address the requirements of workflows at the exascale.


title: The UW Virtual Brain Project: An immersive approach to teaching functional neuroanatomy

abstract: Learning functional neuroanatomy requires forming mental representations of 3D structure, but forming such representations from 2D textbook diagrams can be challenging. We address this challenge in the UW Virtual Brain Project by developing 3D narrated diagrams, which are interactive, guided tours through 3D models of perceptual systems. Lessons can be experienced in virtual realty (VR) or on a personal computer monitor (PC). We predicted participants would learn from lessons presented on both VR and PC devices (comparing pre-test/post-test scores), but that VR would be more effective for achieving both content-based learning outcomes (i.e test performance) and experience-based learning outcomes (i.e., reported enjoyment and ease of use). All participants received lessons about the visual system and auditory system, one in VR and one on a PC(order counterbalanced). We assessed content learning using a drawing/labeling task on paper (2D drawing) in Experiment 1 and a Looking Glass autostereoscopic display (3D drawing) in Experiment 2. In both experiments, we found that the UW Virtual Brain Project lessons were effective for teaching functional neuroanatomy, with no difference between devices. However, participants reported VR was more enjoyable and easier to use. We also evaluated the VR lessons in our Classroom Implementation during an undergraduate course on perception. Students reported that the VR lessons helped them make progress on course learning outcomes, especially for learning system pathways. They suggested lessons could be improved byadding more examples and providing more time to explore in VR.


title: On the Number of Faces and Radii of Cells Induced by Gaussian Spherical Tessellations

abstract: We study a geometric property related to spherical hyperplane tessellations in $\mathbb{R}^{d}$. We first consider a fixed $x$ on the Euclidean sphere and tessellations with $M \gg d$ hyperplanes passing through the origin having normal vectors distributed according to a Gaussian distribution. We show that with high probability there exists a subset of the hyperplanes whose cardinality is on the order of $d\log(d)\log(M)$ such that the radius of the cell containing $x$ induced by these hyperplanes is bounded above by, up to constants, $d\log(d)\log(M)/M$. We extend this result to hold for all cells in the tessellation with high probability. Up to logarithmic terms, this upper bound matches the previously established lower bound of Goyal et al. (IEEE T. Inform. Theory 44(1):16-31, 1998).


title: Dissipation-enabled resonant adiabatic quantum state transfer: Entanglement generation and quantum cloning

abstract: Resonant dissipation-enabled adiabatic quantum state transfer processes between the polarization degrees of freedom of a single photon wave packet and quantum emitters are discussed. These investigations generalize previous work [N. Trautmann and G. Alber, Phys. Rev. A 93, 053807 (2015)] by taking into account the properties of the spontaneously emitted photon wave packet and of non adiabatic corrections. It is demonstrated that the photonic degrees of freedoms of these adiabatic one-photon quantum state transfer processes can be used for the passive, heralded and deterministic preparation of Bell states of two material quantum emitters and for realizing a large family of symmetric and asymmetric quantum cloning processes. Although these theoretical investigations concentrate on waveguide scenarios they are expected to be relevant also for other scenarios as long as the processes involved are adiabatic so that the Fourier-limited bandwidth of the single photon wave packet involved is small in comparison with the relevant dissipative rates.


title: Identifying optimal cycles in quantum thermal machines with reinforcement-learning

abstract: The optimal control of open quantum systems is a challenging task but has a key role in improving existing quantum information processing technologies. We introduce a general framework based on Reinforcement Learning to discover optimal thermodynamic cycles that maximize the power of out-of-equilibrium quantum heat engines and refrigerators. We apply our method, based on the soft actor-critic algorithm, to three systems: a benchmark two-level system heat engine, where we find the optimal known cycle; an experimentally realistic refrigerator based on a superconducting qubit that generates coherence, where we find a non-intuitive control sequence that outperform previous cycles proposed in literature; a heat engine based on a quantum harmonic oscillator, where we find a cycle with an elaborate structure that outperforms the optimized Otto cycle. We then evaluate the corresponding efficiency at maximum power.


title: Computational Design of Active 3D-Printed Multi-State Structures for Shape Morphing

abstract: Active structures have the ability to change their shape, properties, and functionality as a response to changing operational conditions, which makes them more versatile than their static counterparts. However, most active structures currently lack the capability to achieve multiple, different target states with a single input actuation or require a tedious material programming step. Furthermore, the systematic design and fabrication of active structures is still a challenge as many structures are designed by hand in a trial and error process and thus are limited by engineers' knowledge and experience. In this work, a computational design and fabrication framework is proposed to generate structures with multiple target states for one input actuation that don't require a separate training step. A material dithering scheme based on multi-material 3D printing is combined with locally applied copper coil heating elements and sequential heating patterns to control the thermo-mechanical properties of the structures and switch between the different deformation modes. A novel topology optimization approach based on power diagrams is used to encode the different target states in the structure while ensuring the fabricability of the structures and the compatibility with the drop-in heating elements. The versatility of the proposed framework is demonstrated for four different example structures from engineering and computer graphics. The numerical and experimental results show that the optimization framework can produce structures that show the desired motion, but experimental accuracy is limited by current fabrication methods. The generality of the proposed method makes it suitable for the development of structures for applications in many different fields from aerospace to robotics to animated fabrication in computer graphics.


title: Double sparse quantum state preparation

abstract: Initializing classical data in a quantum device is an essential step in many quantum algorithms. As a consequence of measurement and noisy operations, some algorithms need to reinitialize the prepared state several times during its execution. In this work, we propose a quantum state preparation algorithm called CVO-QRAM with computational cost O(kM), where M is the number of nonzero probability amplitudes and $k$ is the maximum number of bits with value 1 in the patterns to be stored. The proposed algorithm can be an alternative to create sparse states in future NISQ devices.


title: Jupiter and jovian (exo)-planets in Palatini $f(\bar R)$ gravity

abstract: Some parts of the substellar evolution, such as fragmentation of a gaseous cloud and Jupiter-like planet's cooling, are demonstrated to be impacted by Palatini $f(\bar R)$ gravity. Using simple models describing those processes we show that the opacity mass limit as well as cooling time of jovian planets differ in modified gravity.


title: Weak continuity of curvature for connections in $L^p$

abstract: We study the weak continuity of two interrelated non-linear partial differential equations, the Yang-Mills equations and the Gau{\ss}-Codazzi-Ricci equations, involving $L^p$-integrable connections. Our key finding is that underlying cancellations in the curvature form, especially the div-curl structure inherent in both equations, are sufficient to pass to the limit in the non-linear terms. We first establish the weak continuity of Yang-Mills equations and prove that any weakly converging sequence of weak Yang-Mills connections in $L^p$ converges to a weak Yang-Mills connection. We then prove that, for a sequence of isometric immersions with uniformly bounded second fundamental forms in $L^p$, the curvatures are weakly continuous, which leads to the weak continuity of the Gau{\ss}-Codazzi-Ricci equations with respect to sequences of isometric immersions with uniformly bounded second fundamental forms in $L^p$. Our methods are independent of dimensions and do not rely on gauge changes.


title: Towards Consistent Document-level Entity Linking: Joint Models for Entity Linking and Coreference Resolution

abstract: We consider the task of document-level entity linking (EL), where it is important to make consistent decisions for entity mentions over the full document jointly. We aim to leverage explicit "connections" among mentions within the document itself: we propose to join the EL task with that of coreference resolution (coref). This is complementary to related works that exploit either (i) implicit document information (e.g., latent relations among entity mentions, or general language models) or (ii) connections between the candidate links (e.g, as inferred from the external knowledge base). Specifically, we cluster mentions that are linked via coreference, and enforce a single EL for all of the clustered mentions together. The latter constraint has the added benefit of increased coverage by joining EL candidate lists for the thus clustered mentions. We formulate the coref+EL problem as a structured prediction task over directed trees and use a globally normalized model to solve it. Experimental results on two datasets show a boost of up to +5% F1-score on both coref and EL tasks, compared to their standalone counterparts. For a subset of hard cases, with individual mentions lacking the correct EL in their candidate entity list, we obtain a +50% increase in accuracy.


title: Long-range contact process and percolation on a random lattice

abstract: We study the phase transition phenomena for long-range oriented percolation and contact process. We studied a contact process in which the range of each vertex are independent, updated dynamically and given by some distribution $N$. We also study an analogous oriented percolation model on the hyper-cubic lattice, here there is a special direction where long-range oriented bonds are allowed; the range of all vertices are given by an i.i.d. sequence of random variables with common distribution $N$. For both models, we prove some results about the existence of a phase transition in terms of the distribution $N$.


title: On the regularized $L^4$-norm for Eisenstein series in the level aspect, Part II

abstract: We obtain an conditional result for the regularized fourth moment of some newform Eisenstein series, using a recipe by Conrey, et al. We also discuss the fourth moment of truncated newform Eisenstein series.


title: A family of fourth-order superintegable systems with rational potentials related to Painlev\'e VI

abstract: We discuss a family of Hamiltonians given by particular rational extensions of the singular oscillator in two-dimensions. The wave functions of these Hamiltonians can be expressed in terms of products of Laguerre and exceptional Jacobi polynomials. We show that these systems are superintegrable and admit an integral of motion that is of fourth-order. As such systems have been classified, we see that these potential satisfy a non-linear equation related to Painlev\'e VI. We begin by demonstrating the process with the simpler example of rational extensions of the harmonic oscillator and use the classification of third-order superintegrable systems to connect these families with the known solutions of Painlev\'e IV associated with Hermite polynomials.


title: BCS solutions and effective quarks energies of the QCD Hamiltonian in the Coulomb gauge

abstract: The exploration of the non-perturbative regime of QCD, that is the low-energy portion of the hadron spectrum, requires the adoption of theoretical methods more frequently applied to other, more conventional, quantum many body systems, like the atomic nucleus, solid state systems, etc. In this work we have adopted, as a first step, the well-known BCS method to describe correlations between pairs of quarks and the associated ground state. Going beyond the BCS method would imply the inclusion of correlations by means of the TDA or RPA approximations. Since, we are interested in analyzing the role of constituent quark-pair correlations in the structure of hadrons we are restricted to the use of BCS as said before. The starting Hamiltonian is the effective Coulomb plus linear potential which we have used in previous calculations and performed a two-step approach, firstly by pre-diagonalizing it to built a single particle spectrum, and then, secondly, by applying the BCS transformations to it. Then, we have explored the resulting structure of the low energy meson spectra in terms of quasiparticle degrees of freedom. The dependence of the results upon the parameters which enter in the calculations is explored in detail, at the level of the quasiparticle mean-field approximation.


title: Non-Equilibrium Currents in Stochastic Field Theories: a Geometric Insight

abstract: We introduce a new formalism to study nonequilibrium steady-state currents in stochastic field theories. We show that generalizing the exterior derivative to functional spaces allows identifying the subspaces in which the system undergoes local rotations. In turn, this allows predicting the counterparts in the real, physical space of these abstract probability currents. The results are presented for the case of the Active Model B undergoing motility-induced phase separation, which is known to be out of equilibrium but whose steady-state currents have not yet been observed, as well as for the KPZ equation. We locate and measure these currents and show that they manifest in real space as propagating modes localized in regions with non-vanishing gradients of the fields.


title: Epitaxial growth of crystalline CaF$_2$ on silicene

abstract: Silicene is one of the most promising 2D materials for the realization of next-generation electronic devices, owing to its high carrier mobility and bandgap tunability through the imposition of an external electric field. To exploit this fundamental characteristic, it is necessary to engineer an insulating layer that can be interfaced directly to silicene without perturbing its bidimensional nature. At the same time, this insulating layer should exhibit low leakage currents even when highly scaled, to fully exploit the advantages of using a 2D material at the core of the device. CaF$_2$ is known to form a quasi van der Waals interface with 2D materials, as well as to maintain its insulating properties even at ultrathin scales. Here we investigate the growth of CaF$_2$ layers on silicene by molecular beam epitaxy: diffraction images show that CaF$_2$ grows epitaxially on silicene/Ag(111), with its domains fully aligned to the 2D silicon lattice. In-situ XPS analysis evidences that no changes in the chemical state of the silicon atoms can be detected upon CaF$_2$ deposition, excluding the formation of covalent bonds between Ca, F and Si. Polarized Raman analysis shows that silicene undergoes a structural change upon interaction with CaF$_2$, however retaining a bidimensional character and without transitioning to a sp3-hybridized, bulk-like silicon.


title: On the partial sums of Riordan arrays

abstract: We define two notions of partial sums of a Riordan array, corresponding respectively to the partial sums of the rows and the partial sums of the columns of the Riordan array in question. We characterize the matrices that arise from these operations. On the one hand, we obtain a new Riordan array, while on the other hand, we obtain a rectangular array which has an inverse that is a lower Hessenberg matrix. We examine the structure of these Hessenberg matrices. We end with a generalization linked to the Fibonacci numbers and phyllotaxis.


title: Stability of Self-similar Solutions to Geometric Flows

abstract: We show that self-similar solutions for the mean curvature flow, surface diffusion and Willmore flow of entire graphs are stable upon perturbations of initial data with small Lipschitz norm. Roughly speaking, the perturbed solutions are asymptotically self-similar as time tends to infinity. Our results are built upon the global analytic solutions constructed by Koch and Lamm \cite{KochLamm}, the compactness arguments adapted by Asai and Giga \cite{Giga2014}, and the spatial equi-decay properties on certain weighted function spaces. The proof for all of the above flows are achieved in a unified framework by utilizing the estimates of the linearized operator.


title: TOF-SIMS Analysis of Decoherence Sources in Nb Superconducting Resonators

abstract: Superconducting qubits have emerged as a potentially foundational platform technology for addressing complex computational problems deemed intractable with classical computing. Despite recent advances enabling multiqubit designs that exhibit coherence lifetimes on the order of hundreds of $\mu$s, material quality and interfacial structures continue to curb device performance. When niobium is deployed as the superconducting material, two-level system defects in the thin film and adjacent dielectric regions introduce stochastic noise and dissipate electromagnetic energy at the cryogenic operating temperatures. In this study, we utilize time-of-flight secondary ion mass spectrometry (TOF-SIMS) to understand the role specific fabrication procedures play in introducing such dissipation mechanisms in these complex systems. We interrogated Nb thin films and transmon qubit structures fabricated by Rigetti Computing and at the National Institute of Standards and Technology through slight variations in the processing and vacuum conditions. We find that when Nb film is sputtered onto the Si substrate, oxide and silicide regions are generated at various interfaces. We also observe that impurity species such as niobium hydrides and carbides are incorporated within the niobium layer during the subsequent lithographic patterning steps. The formation of these resistive compounds likely impact the superconducting properties of the Nb thin film. Additionally, we observe the presence of halogen species distributed throughout the patterned thin films. We conclude by hypothesizing the source of such impurities in these structures in an effort to intelligently fabricate superconducting qubits and extend coherence times moving forward.


title: On the large apparent black hole spin-orbit misalignment angle in GW200115

abstract: GW200115 is one of the first two confidently detected gravitational-wave events of neutron star-black hole mergers. An interesting property of this merger is that the black hole, if spinning rapidly, has its spin axis negatively aligned (with a misalignment angle $> 90^{\circ}$) with the binary orbital angular momentum vector. Although such a large spin-orbit misalignment angle naturally points toward a dynamical origin, the measured neutron star-black hole merger rate exceeds theoretical predictions of the dynamical formation channel. In the canonical isolated binary formation scenario, the immediate progenitor of GW200115 is likely to be a binary consisting of a black hole and a helium star, with the latter forming a neutron star during a supernova explosion. Since the black hole is generally expected to spin along the pre-supernova binary orbital angular momentum axis, a large neutron star natal kick is required to produce the observed misalignment angle. Using simple kinematic arguments, we find that a misalignment angle $> 90^{\circ}$ in GW200115-like systems implies a kick velocity $\sim 600\, \text{km/s}$ and a kick direction within $\approx 30 ^{\circ}$ of the pre-supernova orbital plane. We discuss different interpretations of the large apparent black hole spin-orbit misalignment angle, including a non-spinning black hole.


title: Fluctuations and Pinning for Individually Manipulated Skyrmions

abstract: We numerically examine the dynamics of individually dragged skyrmions interacting simultaneously with an array of other skyrmions and quenched disorder. For drives just above depinning, we observe a broad band noise signal with a $1/f$ characteristic, while at higher drives, narrow band or white noise appears. Even in the absence of quenched disorder, the threshold force that must be applied to translate the driven skyrmion is finite due to elastic interactions with other skyrmions. The depinning threshold increases as the strength of the quenched disorder is raised. Above the depinning force, the skyrmion moves faster in the presence of quenched disorder than in a disorder-free system since the pinning sites prevent other skyrmions from being dragged along with the driven skyrmion. For strong pinning, we find a stick-slip motion of the driven skyrmion which produces a telegraph noise signature. The depinning threshold increases monotonically with skyrmion density in the absence of quenched disorder, but when pinning is present, the depinning threshold changes nonmonotonically with skyrmion density and there are reentrant pinned phases due to a competition between pinning induced by the quenched disorder and that produced by the elastic interactions of the skyrmion lattice.


title: Topological modular forms and the absence of all heterotic global anomalies

abstract: We reformulate the question of the absence of global anomalies of heterotic string theory mathematically in terms of a certain natural transformation $\mathrm{TMF}^\bullet\to (I_{\mathbb{Z}}\Omega^\text{string})^{\bullet-20}$, from topological modular forms to the Anderson dual of string bordism groups, using the Segal-Stolz-Teichner conjecture. We will show that this natural transformation vanishes, implying that heterotic global anomalies are always absent. The fact that $\mathrm{TMF}^{21}(\mathrm{pt})=0$ plays an important role in the process. Along the way, we also discuss how the twists of $\mathrm{TMF}$ can be described under the Segal-Stolz-Teichner conjecture, by using the result of Freed and Hopkins concerning anomalies of quantum field theories. The paper contains separate introductions for mathematicians and for string theorists, in the hope of making the content more accessible to a larger audience. The sections are also demarcated cleanly into mathematically rigorous parts and those which are not.


title: Coherent states of the two-dimensional non-separable supersymmetric Morse potential

abstract: Supersymmetry is a technique that allows us to extract information about the states and spectra of quantum mechanical systems which may otherwise be unsolvable. In this paper we reconstruct Ioffe's set of states for the singular non-separable two-dimensional Morse potential using supersymmetry from a non-degenerate set of states constructed for the initial separable Morse Hamiltonian. We define generalised coherent states, compute their uncertainty relations, and we find that the singularity in the partner Hamiltonian significantly affects the localisation of the coherent state wavefunction.


title: Approximation algorithms for priority Steiner tree problems

abstract: In the Priority Steiner Tree (PST) problem, we are given an undirected graph $G=(V,E)$ with a source $s \in V$ and terminals $T \subseteq V \setminus \{s\}$, where each terminal $v \in T$ requires a nonnegative priority $P(v)$. The goal is to compute a minimum weight Steiner tree containing edges of varying rates such that the path from $s$ to each terminal $v$ consists of edges of rate greater than or equal to $P(v)$. The PST problem with $k$ priorities admits a $\min\{2 \ln |T| + 2, k\rho\}$-approximation [Charikar et al., 2004], and is hard to approximate with ratio $c \log \log n$ for some constant $c$ [Chuzhoy et al., 2008]. In this paper, we first strengthen the analysis provided by [Charikar et al., 2004] for the $(2 \ln |T| + 2)$-approximation to show an approximation ratio of $\lceil \log_2 |T| \rceil + 1 \le 1.443 \ln |T| + 2$, then provide a very simple, parallelizable algorithm which achieves the same approximation ratio. We then consider a more difficult node-weighted version of the PST problem, and provide a $(2 \ln |T|+2)$-approximation using extensions of the spider decomposition by [Klein \& Ravi, 1995]. This is the first result for the PST problem in node-weighted graphs. Moreover, the approximation ratios for all above algorithms are tight.


title: Quantum identity, content, and context: from classical to non-classical logic

abstract: In this paper, we discuss content and context for quantum properties. We give some examples of why quantum properties are problematic: they depend on the context in a non-trivial way. We then connect this difficulty with properties to the indistinguishability of elementary particles. We argue that one could be in trouble in applying the classical theory of identity to the quantum domain if we take indiscernibility as a core and fundamental concept. Thus, in considering indistinguishability as such a fundamental notion, it implies, if taken earnestly, that one should not apply standard logic to quantum objects. Consequently, we end with a discussion about novel aspects this new mathematics brings and how it relates to some issues associated with the quantum world's ontology and the classical limit. We emphasize that, despite several different ways of questioning classical logic in the quantum domain, our approach is distinct. It involves one of the core concepts of classical logic, namely, identity. So, we are in a different paradigm from standard quantum logics.


title: Extended genus field of cyclic Kummer extensions of rational function fields

abstract: For a cyclic Kummer extension $K$ of a rational function field $k$ is considered, via class field theory, the extended Hilbert class field $K_H^+$ of $K$ and the corresponding extended genus field $K_g^+$ of $K$ over $k$, along the lines of the definitions of R. Clement for such extensions of prime degree. We obtain $K_g^+$ explicitly. Also, we use cohomology to determine the number of ambiguous classes and obtain a reciprocity law for $K/k$. Finally, we present a necessary and sufficient condition for a prime of $K$ to decompose fully in $K_g^+$.


title: Quantum Invariants of Links and 3-Manifolds with Boundary defined via Virtual Links

abstract: We introduce new topological quantum invariants of compact oriented 3-manifolds with boundary where the boundary is a disjoint union of two identical surfaces. The invariants are constructed via surgery on manifolds of the form $F \times I$ where $I$ denotes the unit interval. Since virtual knots and links are represented as links in such thickened surfaces, we are able also to construct invariants in terms of virtual link diagrams (planar diagrams with virtual crossings). These invariants are the first meaningful, nontrivial, and calculable examples of quantum invariants of 3-manifolds with non-vacuous boundary. We give a new invariant of classical links in the 3-sphere in the following sense: Consider a link $L$ in $S^3$ of two components. The complement of a tubular neighborhood of $L$ is a manifold whose boundary consists in two copies of a torus. Our invariants apply to this case of bounded manifold and give new invariants of the given link of two components. Invariants of knots are also obtained.


title: On the involutive Heegaard Floer homology of negative semi-definite plumbed 3-manifolds with $b_{1}=1$

abstract: In \cite{MR1957829}, Ozsv\'ath and Szab\'o use Heegaard Floer homology to define numerical invariants $d_{1/2}$ and $d_{-1/2}$ for 3-manifolds $Y$ with $H_{1}(Y;\mathbb{Z})\cong \mathbb{Z}$. We define involutive Heegaard Floer theoretic versions of these invariants analogous to the involutive $d$ invariants $\bar{d}$ and $\underline{d}$ defined for rational homology spheres by Hendricks and Manolescu in \cite{MR3649355} . We prove their invariance under spin integer homology cobordism and use them to establish spin filling constraints and $0$-surgery obstructions analogous to results by Ozsv\'ath and Szab\'o for their Heegaard Floer counterparts $d_{1/2}$ and $d_{-1/2}$. We then apply calculation techniques of Dai and Manolescu developed in \cite{MR4021102} and Rustamov in \cite{Rustamov} to compute the involutive Heegaard Floer homology of some negative semi-definite plumbed 3-manifolds with $b_{1} =1$. By combining these calculations with the $0$-surgery obstructions, we are able to produce an infinite family of small Seifert fibered spaces with weight 1 fundamental group and first homology $\mathbb{Z}$ which cannot be obtained by $0$-surgery on a knot in $S^3$, extending a result of Hedden, Kim, Mark, and Park in \cite{MR4029676}.


title: Laminar natural double diffusive convection in a square cavity containing a square hot obstacle and filled with various types of Nanofluids: Benchmark

abstract: This article represents a set of results numerically studied in the framework of laminar double diffusive natural convection. We have investigated the thermophysical comportment of Water-based incompressible nanofluids circulating, due to buoyancy forces, inside a two-dimensional enclosed rectangular cavity for two comparable cases of considering or not a centered isothermal block. Results of this investigation are mainly built on parametric study of the most analytical variables that govern the flow. The buoyancy ratio ranged from -5 to 100, while Rayleigh number ranged from 103 to 106, and Lewis number ranged from 0 to 200. Four types of nanoparticles were considered: Copper, Alumina, Carbon-nanotubes and Titania which had a concentration range from 0 to 0.1.The flow is characterized by the isotherms, isoconcentrations and streamlines, and results were discussed in term of Nusselt and Sherwood average numbers, Streamlines maximum average values and Kinetic energy as function to the various aforementioned governing parameters.


title: The dynamics of discontinuities in a cylindrical energy deposition based on a nanosecond discharge

abstract: The focusing of a secondary shock wave was experimentally recorded during the implementation of an extended nanosecond high-current discharge of a cylindrical configuration in air. Using high-speed shadowgraph recording (up to 300 000 frames/s) of the emerging unsteady flow, cylindrically symmetric gas-dynamic discontinuities were visualized: a diverging shock wave moving from the discharge plasma boundary, a diverging contact discontinuity separating the shock-heated gas from the nonequilibrium region excited by the discharge plasma, and also a converging compression wave (secondary shock wave) moving from the contact surface to the axis of symmetry and focusing on it 50-60 microseconds after discharge with the formation of a heated long-lived cord.


title: Regularizing Instabilities in Image Reconstruction Arising from Learned Denoisers

abstract: It's well-known that inverse problems are ill-posed and to solve them meaningfully one has to employ regularization methods. Traditionally, popular regularization methods have been the penalized Variational approaches. In recent years, the classical regularized-reconstruction approaches have been outclassed by the (deep-learning-based) learned reconstruction algorithms. However, unlike the traditional regularization methods, the theoretical underpinnings, such as stability and regularization, have been insufficient for such learned reconstruction algorithms. Hence, the results obtained from such algorithms, though empirically outstanding, can't always be completely trusted, as they may contain certain instabilities or (hallucinated) features arising from the learned process. In fact, it has been shown that such learning algorithms are very susceptible to small (adversarial) noises in the data and can lead to severe instabilities in the recovered solution, which can be quite different than the inherent instabilities of the ill-posed (inverse) problem. Whereas, the classical regularization methods can handle such (adversarial) noises very well and can produce stable recovery. Here, we try to present certain regularization methods to stabilize such (unstable) learned reconstruction methods and recover a regularized solution, even in the presence of adversarial noises. For this, we need to extend the classical notion of regularization and incorporate it in the learned reconstruction algorithms. We also present some regularization techniques to regularize two of the most popular learning reconstruction algorithms, the Learned Post-Processing Reconstruction and the Learned Unrolling Reconstruction.


title: A Tutorial on Time-Dependent Cohort State-Transition Models in R using a Cost-Effectiveness Analysis Example

abstract: In an introductory tutorial, we illustrated building cohort state-transition models (cSTMs) in R, where the state transitions probabilities were constant over time. However, in practice, many cSTMs require transitions, rewards, or both to vary over time (time-dependent). This tutorial illustrates adding two types of time-dependency using a previously published cost-effectiveness analysis of multiple strategies as an example. The first is simulation-time dependence, which allows for the transition probabilities to vary as a function of time as measured since the start of the simulation (e.g., varying probability of death as the cohort ages). The second is state-residence time dependence, allowing for history by tracking the time spent in any particular health state using tunnel states. We use these time-dependent cSTMs to conduct cost-effectiveness and probabilistic sensitivity analyses. We also obtain various epidemiological outcomes of interest from the outputs generated from the cSTM, such as survival probability and disease prevalence, often used for model calibration and validation. We present the mathematical notation first, followed by the R code to execute the calculations. The full R code is provided in a public code repository for broader implementation.

categories: stat.CO econ.GN q-bio.QM q-fin.EC stat.AP


title: Study of the Utility of Text Classification Based Software Architecture Recovery Method RELAX for Maintenance

abstract: Background. The software architecture recovery method RELAX produces a concern-based architectural view of a software system graphically and textually from that system's source code. The method has been implemented in software which can be run on subject systems whose source code is written in Java. Aims. Our aim was to find out whether the availability of architectural views produced by RELAX can help maintainers who are new to a project in becoming productive with development tasks sooner, and find out how they felt about working in such an environment. Method. We conducted a user study with nine participants. They were subjected to a controlled experiment in which maintenance success and speed with and without access to RELAX recovery results were compared to each other. Results. We have observed that employing architecture views produced by RELAX helped participants reduce time to get started on maintenance tasks by a factor of 5.38 or more. While most participants were unable to finish their tasks within the allotted time when they did not have recovery results available, all of them finished them successfully when they did. Additionally, participants reported that these views were easy to understand, helped them to learn the system's structure and enabled them to compare different versions of the system. Conclusions. In the speedup experienced to the start of maintenance experienced by the participants as well as in their experience-based opinions, RELAX has shown itself to be a valuable help that could form the basis for further tools that specifically support the development process with a focus on maintenance.


title: Efficient criteria of quantumness for a large system of qubits

abstract: In order to model and evaluate large-scale quantum systems, e.g. quantum computer and quantum annealer, it is necessary to quantify the ``quantumness" of such systems. In this paper, we discuss the dimensionless combinations of basic parameters of large, partially quantum coherent systems, which could be used to characterize their degree of quantumness. Based on analytical and numerical calculations, we suggest one such number for a system of qubits undergoing adiabatic evolution, i.e., the accessibility index. Applying it to the case of D-Wave One superconducting quantum annealing device, we find that its operation as described falls well within the quantum domain.


title: Adaptive Label Smoothing To Regularize Large-Scale Graph Training

abstract: Graph neural networks (GNNs), which learn the node representations by recursively aggregating information from its neighbors, have become a predominant computational tool in many domains. To handle large-scale graphs, most of the existing methods partition the input graph into multiple sub-graphs (e.g., through node clustering) and apply batch training to save memory cost. However, such batch training will lead to label bias within each batch, and then result in over-confidence in model predictions. Since the connected nodes with positively related labels tend to be assigned together, the traditional cross-entropy minimization process will attend on the predictions of biased classes in the batch, and may intensify the overfitting issue. To overcome the label bias problem, we propose the adaptive label smoothing (ALS) method to replace the one-hot hard labels with smoothed ones, which learns to allocate label confidences from the biased classes to the others. Specifically, ALS propagates node labels to aggregate the neighborhood label distribution in a pre-processing step, and then updates the optimal smoothed labels online to adapt to specific graph structure. Experiments on the real-world datasets demonstrate that ALS can be generally applied to the main scalable learning frameworks to calibrate the biased labels and improve generalization performances.


title: Linguistic Characterization of Divisive Topics Online: Case Studies on Contentiousness in Abortion, Climate Change, and Gun Control

abstract: As public discourse continues to move and grow online, conversations about divisive topics on social media platforms have also increased. These divisive topics prompt both contentious and non-contentious conversations. Although what distinguishes these conversations, often framed as what makes these conversations contentious, is known in broad strokes, much less is known about the linguistic signature of these conversations. Prior work has shown that contentious content and structure can be a predictor for this task, however, most of them have been focused on conversation in general, very specific events, or complex structural analysis. Additionally, many models used in prior work have lacked interpret-ability, a key factor in online moderation. Our work fills these gaps by focusing on conversations from highly divisive topics (abortion, climate change, and gun control), operationalizing a set of novel linguistic and conversational characteristics and user factors, and incorporating them to build interpretable models. We demonstrate that such characteristics can largely improve the performance of prediction on this task, and also enable nuanced interpretability. Our case studies on these three contentious topics suggest that certain generic linguistic characteristics are highly correlated with contentiousness in conversations while others demonstrate significant contextual influences on specific divisive topics.


title: Towards Observability for Production Machine Learning Pipelines

abstract: Software organizations are increasingly incorporating machine learning (ML) into their product offerings, driving a need for new data management tools. Many of these tools facilitate the initial development of ML applications, but sustaining these applications post-deployment is difficult due to lack of real-time feedback (i.e., labels) for predictions and silent failures that could occur at any component of the ML pipeline (e.g., data distribution shift or anomalous features). We propose a new type of data management system that offers end-to-end observability, or visibility into complex system behavior, for deployed ML pipelines through assisted (1) detection, (2) diagnosis, and (3) reaction to ML-related bugs. We describe new research challenges and suggest preliminary solution ideas in all three aspects. Finally, we introduce an example architecture for a "bolt-on" ML observability system, or one that wraps around existing tools in the stack.


title: Minimal induced subgraphs of two classes of 2-connected non-Hamiltonian graphs

abstract: In 1981, Duffus, Gould, and Jacobson showed that every connected graph either has a Hamiltonian path, or contains a claw ($K_{1,3}$) or a net (a fixed six-vertex graph) as an induced subgraph. This implies that subject to being connected, these two are the only minimal (under taking induced subgraphs) graphs with no Hamiltonian path. Brousek (1998) characterized the minimal graphs that are $2$-connected, non-Hamiltonian and do not contain the claw as an induced subgraph. We characterize the minimal graphs that are $2$-connected and non-Hamiltonian for two classes of graphs: (1) split graphs, (2) triangle-free graphs. We remark that testing for Hamiltonicity is NP-hard in both of these classes.


title: Music Demixing Challenge 2021

abstract: Music source separation has been intensively studied in the last decade and tremendous progress with the advent of deep learning could be observed. Evaluation campaigns such as MIREX or SiSEC connected state-of-the-art models and corresponding papers, which can help researchers integrate the best practices into their models. In recent years, the widely used MUSDB18 dataset played an important role in measuring the performance of music source separation. While the dataset made a considerable contribution to the advancement of the field, it is also subject to several biases resulting from a focus on Western pop music and a limited number of mixing engineers being involved. To address these issues, we designed the Music Demixing (MDX) Challenge on a crowd-based machine learning competition platform where the task is to separate stereo songs into four instrument stems (Vocals, Drums, Bass, Other). The main differences compared with the past challenges are 1) the competition is designed to more easily allow machine learning practitioners from other disciplines to participate, 2) evaluation is done on a hidden test set created by music professionals dedicated exclusively to the challenge to assure the transparency of the challenge, i.e., the test set is not accessible from anyone except the challenge organizers, and 3) the dataset provides a wider range of music genres and involved a greater number of mixing engineers. In this paper, we provide the details of the datasets, baselines, evaluation metrics, evaluation results, and technical challenges for future competitions.


title: CWmin Estimation and Collision Identification in Wi-Fi Systems

abstract: Wi-Fi networks are susceptible to aggressive behavior caused by selfish or malicious devices that reduce their minimum contention window size (CWmin) to below the standard CWmin. In this paper, we propose a scheme called Minimum Contention Window Estimation (CWE) to detect aggressive stations with low CWmin's, where the AP estimates the CWmin value of all stations transmitting uplink by monitoring their backoff values over a period of time and keeping track of the idle time each station spends during backoff. To correctly estimate each backoff value, we present a cross-correlation-based technique that uses the frequency offset between the AP and each station to identify stations involved in uplink collisions. The AP constructs empirical distributions for the monitored backoff values and compares them with a set of nominal PMF's, created via Markov analysis of the DCF protocol to estimate CWmin of various stations. After detecting the aggressive stations, the AP can choose to stop serving those stations. Simulation results show that the accuracy of our collision detection technique is 96%, 94%, and 88% when there are 3, 6, and 9 stations in the WLAN, respectively. For the former WLAN settings, the estimation accuracy of CWE scheme is 100%, 98.81%, and 96.3%, respectively.


title: On localization for cubical higher Chow groups

abstract: We give a purely cubical argument for the localization theorem for the cubical version of higher Chow groups.


title: Adversarial Example Devastation and Detection on Speech Recognition System by Adding Random Noise

abstract: An automatic speech recognition (ASR) system based on a deep neural network is vulnerable to attack by an adversarial example, especially if the command-dependent ASR fails. A defense method against adversarial examples is proposed to improve the robustness and security of the ASR system. We propose an algorithm of devastation and detection on adversarial examples that can attack current advanced ASR systems. We choose an advanced text- and command-dependent ASR system as our target, generating adversarial examples by an optimization-based attack on text-dependent ASR and the GA-based algorithm on command-dependent ASR. The method is based on input transformation of adversarial examples. Different random intensities and kinds of noise are added to adversarial examples to devastate the perturbation previously added to normal examples. Experimental results show that the method performs well. For the devastation of examples, the original speech similarity after adding noise can reach 99.68%, the similarity of adversarial examples can reach zero, and the detection rate of adversarial examples can reach 94%.


title: Motivic cohomology of fat points in Milnor range via formal and rigid geometries

abstract: We present a formal scheme based cycle model for the motivic cohomology of the fat points defined by the truncated polynomial rings $k[t]/(t^m)$ with $m \geq 2$, in one variable over a field $k$. We compute their Milnor range cycle class groups when the field has sufficiently many elements. With some aids from rigid analytic geometry and the Gersten conjecture for the Milnor $K$-theory resolved by M. Kerz, we prove that the resulting cycle class groups are isomorphic to the Milnor $K$-groups of the truncated polynomial rings, generalizing a theorem of Nesterenko-Suslin and Totaro.


title: Matrix representation of meet-irreducible discrete copulas

abstract: Following Aguil\'{o}-Su\~{n}er-Torrens (2008), Koles\'{a}rov\'{a}-Mesiar-Mordelov\'{a}-Sempi (2006) and Mayor-Su\~{n}er-Torrens (2005), we continue to develop a theory of matrix representation for discrete copulas. To be more precise, we give characterizations of meet-irreducible discrete copulas from an order-theoretical aspect: we show that the set of all irreducible discrete copulas is a lattice in analogy with Nelsen and \'{U}beda-Flores (2005). Moreover, we clarify its lattice structure related to Kendall's $\tau$ and Spearman's $\rho$ borrowing ideas from Coxeter groups.


title: An Exploration of the Symmetry Groups of Certain Configurations of Points

abstract: We start by introducing the basics of configurations of points and lines, and then move into discussing symmetry groups of these configurations. Specifically, we explore how we might classify the symmetries of $(9_3)$ and $(10_3)$ geometric configurations, given the graph automorphisms of their underlying set-configurations. Finally, we show how a specific class of combinatorial configurations called generalized cyclic configurations can be explored using this terminology, and give several interesting geometric results.


title: A knot Floer stable homotopy type

abstract: Given a grid diagram for a knot or link K in $S^3$, we construct a spectrum whose homology is the knot Floer homology of K. We conjecture that the homotopy type of the spectrum is an invariant of K. Our construction does not use holomorphic geometry, but rather builds on the combinatorial definition of grid homology. We inductively define models for the moduli spaces of pseudo-holomorphic strips and disk bubbles, and patch them together into a framed flow category. The inductive step relies on the vanishing of an obstruction class that takes values in a complex of positive domains with partitions.


title: New Highly Efficient High-Breakdown Estimator of Multivariate Scatter and Location for Elliptical Distributions

abstract: High-breakdown-point estimators of multivariate location and shape matrices, such as the MM-estimator with smooth hard rejection and the Rocke S-estimator, are generally designed to have high efficiency at the Gaussian distribution. However, many phenomena are non-Gaussian, and these estimators can therefore have poor efficiency. This paper proposes a new tunable S-estimator, termed the S-q estimator, for the general class of symmetric elliptical distributions, a class containing many common families such as the multivariate Gaussian, t-, Cauchy, Laplace, hyperbolic, and normal inverse Gaussian distributions. Across this class, the S-q estimator is shown to generally provide higher maximum efficiency than other leading high-breakdown estimators while maintaining the maximum breakdown point. Furthermore, its robustness is demonstrated to be on par with these leading estimators while also being more stable with respect to initial conditions. From a practical viewpoint, these properties make the S-q broadly applicable for practitioners. This is demonstrated with an example application -- the minimum-variance optimal allocation of financial portfolio investments.


title: Discovery of a strong 6.6 keV emission feature from EXO 1745$-$248 after the superburst in 2011 October

abstract: We discover an unidentified strong emission feature in the X-ray spectrum of EXO 1745$-$248 obtained by RXTE at 40 hr after the peak of a superburst. The structure was centered at 6.6 keV and significantly broadened with a large equivalent width of 4.3 keV, corresponding to a line photon flux of 4.7 $\times$ 10$^{-3}$ ph cm$^{-2}$ s$^{-1}$. The 3-20 keV spectrum was reproduced successfully by a power law continuum with narrow and broad (2.7 keV in FWHM) Gaussian emission components. Alternatively, the feature can be described by four narrow Gaussians, centered at 5.5 keV, 6.5 keV, 7.5 keV and 8.6 keV. Considering the strength and shape of the feature, it is unlikely to have originated from reflection of the continuum X-rays by some optically thick materials, such as an accretion disk. Moreover, the intensity of the emission structure decreased significantly with an exponential time scale of 1 hr. The feature was not detected in an INTEGRAL observation performed 10 h before the RXTE observation with a line flux upper limit of 1.5 $\times$ 10$^{-3}$ ph cm$^{-2}$ s$^{-1}$. The observed emission structure is consistent with gravitationally redshifted charge exchange emission from Ti, Cr, Fe, and Co. We suggest that the emission results from a charge exchange interaction between a highly metal-enriched fall back ionized burst wind and an accretion disk, at a distance of $\sim$60 km from the neutron star. If this interpretation is correct, the results provide new information on the understanding of nuclear burning processes during thermonuclear X-ray bursts.


title: Common tangents to convex bodies

abstract: It is well-known since the time of the Greeks that two disjoint circles in the plane have four common tangent lines. Cappell et al. proved a generalization of this fact for properly separated strictly convex bodies in higher dimensions. We have shown that the same generalization applies for arbitrary convex bodies. When the number of convex sets involved is equal to the dimension, we obtain an alternative combinatorial proof of Bisztriczky's theorem on the number of common tangents to $d$ separated convex bodies in $\Rr^d$.


title: Fast Multi-label Learning

abstract: Embedding approaches have become one of the most pervasive techniques for multi-label classification. However, the training process of embedding methods usually involves a complex quadratic or semidefinite programming problem, or the model may even involve an NP-hard problem. Thus, such methods are prohibitive on large-scale applications. More importantly, much of the literature has already shown that the binary relevance (BR) method is usually good enough for some applications. Unfortunately, BR runs slowly due to its linear dependence on the size of the input data. The goal of this paper is to provide a simple method, yet with provable guarantees, which can achieve competitive performance without a complex training process. To achieve our goal, we provide a simple stochastic sketch strategy for multi-label classification and present theoretical results from both algorithmic and statistical learning perspectives. Our comprehensive empirical studies corroborate our theoretical findings and demonstrate the superiority of the proposed methods.


title: Microsheaves from Hitchin fibers via Floer theory

abstract: Fix a non-stacky component of the moduli of stable Higgs bundles, on which the Hitchin fibration is proper. We show that any smooth Hitchin fiber determines a microsheaf on the global nilpotent cone, that distinct fibers give rise to orthogonal microsheaves, and that the endomorphisms of the microsheaf is isomorphic to the cohomology of the Hitchin fiber. These results are consequences of recent advances in Floer theory. Natural constructions on our microsheaves provide plausible candidates for Hecke eigensheaves for the geometric Langlands correspondence.


title: Applying and testing a novel method to estimate animal density from motion-triggered cameras

abstract: Estimating animal abundance and density are fundamental goals of many wildlife monitoring programs. Camera trapping has become an increasingly popular tool to achieve these monitoring goals due to recent advances in modeling approaches and the capacity to simultaneously collect data on multiple species. However, estimating the density of unmarked populations continues to be problematic due to the difficulty in implementing complex modeling approaches, low precision of estimates, and absence of rigor in testing of model assumptions and their influence on results. Here, we describe a novel approach that uses still image camera traps to estimate animal density without the need for individual identification, based on the Time spent In Front of the Camera (TIFC). Using results from a large-scale multi-species monitoring program with nearly 3,000 cameras deployed over six years in Alberta, Canada, we provide a reproducible methodology to estimate parameters and we test key assumptions of the TIFC model. We compare moose (Alces alces) density estimates from aerial surveys and TIFC, including incorporating correction factors for known TIFC assumption violations. The resulting corrected TIFC density estimates are comparable to aerial density estimates. We discuss the limitations of the TIFC method and areas needing further investigation, including the need for long-term monitoring of assumption violations and the number of cameras necessary to provide precise estimates. Despite the challenges of assumption violations and high measurement error, cameras and the TIFC method can provide useful alternative or complementary animal density estimates for multi-species monitoring when compared to traditional monitoring methods.


title: Strain-Modulated Interlayer Charge and Energy Transfers in MoS2/WS2 Heterobilayer

abstract: Excitonic properties in 2D heterobilayers are closely governed by charge transfer (CT) and excitonic energy transfer (ET) at van der Waals interfaces. Various means have been employed to modulate the interlayer CT and ET, including electrical gating and modifying interlayer spacing, but with limited extent in their controllability. Here, we report a novel method to modulate these transfers in MoS2/WS2 heterobilayer by applying compressive strain under hydrostatic pressure. Raman and photoluminescence measurements, combined with density functional theory calculations show pressure-enhanced interlayer interaction of the heterobilayer. Photoluminescence enhancement factor {\eta} of WS2 in heterobilayer decreases by five times up to ~4 GPa, suggesting a strong ET, whereas it increases by an order of magnitude at higher pressures and reaches almost unity, indicating enhanced CT. Theoretical calculations show that orbital switching in the conduction bands is responsible for the modulation of the transfers. Our findings provide a compelling approach towards effective mechanical control of CT and ET in 2D excitonic devices.


title: A Time-Domain Linear Method for Jet Noise Prediction and Control Trend Analysis

abstract: Large-scale turbulent structures in the form of coherent wavepackets play a significant role in the generation of prominent shallow angle noise radiation of jets. Economical prediction tools often model these wavepackets in the frequency-domain using stability modes of the mean flow. The use of simplifying choices, such as parabolized equations and azimuthal decomposition, provide efficient methods but can impose constraints on rate of streamwise variation of the mean state or geometric complexity. The current investigation develops a time-domain linearized Navier-Stokes-based approach predicated on the mean basic state for two goals: i) to obtain the radiated shallow-angle noise field, including that from imperfectly expanded jets containing shock trains, and ii) to estimate noise control trends with actuator frequency. A previously developed implicit linearization technique repurposing native non-linear Navier-Stokes code capabilities avoids any additional constraints on nozzle geometry, while its time-domain nature facilitates control analysis through transient pulse response. Two other integral components of the method are the sifting of linearized perturbations to isolate the acoustic component with Doak's Momentum Potential Theory, and subsequently Dynamic Mode Decomposition to analyze the response in different spectral ranges. Comparisons with well-validated LES databases show accurate model predictions for super-radiative shallow angle noise, including for hot jets from military-style nozzles. For a specific jet with extensive published experimental data using plasma actuators, it is shown that the method correctly predicts noise amplification at lower frequencies and reduction at higher values, at the observed crossover location. Considerations on the costs associated with the approach, which exploits linearity to extract multiple frequencies with each simulation, are outlined.


title: Comments on The clinical meaningfulness of a treatment's effect on a time-to-event variable

abstract: Some years ago, Snapinn and Jiang[1] considered the interpretation and pitfalls of absolute versus relative treatment effect measures in analyses of time-to-event outcomes. Through specific examples and analytical considerations based solely on the exponential and the Weibull distributions they reach two conclusions: 1) that the commonly used criteria for clinical effectiveness, the ARR (Absolute Risk Reduction) and the median (survival time) difference (MD) directly contradict each other and 2) cost-effectiveness depends only the hazard ratio(HR) and the shape parameter (in the Weibull case) but not the overall baseline risk of the population. Though provocative, the first conclusion does not apply to either the two special cases considered or even more generally, while the second conclusion is strictly correct only for the exponential case. Therefore, the implication inferred by the authors i.e. all measures of absolute treatment effect are of little value compared with the relative measure of the hazard ratio, is not of general validity and hence both absolute and relative measures should continue to be used when appraising clinical evidence.


title: Dead Pixel Test Using Effective Receptive Field

abstract: Deep neural networks have been used in various fields, but their internal behavior is not well known. In this study, we discuss two counterintuitive behaviors of convolutional neural networks (CNNs). First, we evaluated the size of the receptive field. Previous studies have attempted to increase or control the size of the receptive field. However, we observed that the size of the receptive field does not describe the classification accuracy. The size of the receptive field would be inappropriate for representing superiority in performance because it reflects only depth or kernel size and does not reflect other factors such as width or cardinality. Second, using the effective receptive field, we examined the pixels contributing to the output. Intuitively, each pixel is expected to equally contribute to the final output. However, we found that there exist pixels in a partially dead state with little contribution to the output. We reveal that the reason for this lies in the architecture of CNN and discuss solutions to reduce the phenomenon. Interestingly, for general classification tasks, the existence of dead pixels improves the training of CNNs. However, in a task that captures small perturbation, dead pixels degrade the performance. Therefore, the existence of these dead pixels should be understood and considered in practical applications of CNN.


title: Rapidly and accurately estimating brain strain and strain rate across head impact types with transfer learning and data fusion

abstract: Brain strain and strain rate are effective in predicting traumatic brain injury (TBI) caused by head impacts. However, state-of-the-art finite element modeling (FEM) demands considerable computational time in the computation, limiting its application in real-time TBI risk monitoring. To accelerate, machine learning head models (MLHMs) were developed, and the model accuracy was found to decrease when the training/test datasets were from different head impacts types. However, the size of dataset for specific impact types may not be enough for model training. To address the computational cost of FEM, the limited strain rate prediction, and the generalizability of MLHMs to on-field datasets, we propose data fusion and transfer learning to develop a series of MLHMs to predict the maximum principal strain (MPS) and maximum principal strain rate (MPSR). We trained and tested the MLHMs on 13,623 head impacts from simulations, American football, mixed martial arts, car crash, and compared against the models trained on only simulations or only on-field impacts. The MLHMs developed with transfer learning are significantly more accurate in estimating MPS and MPSR than other models, with a mean absolute error (MAE) smaller than 0.03 in predicting MPS and smaller than 7 (1/s) in predicting MPSR on all impact datasets. The MLHMs can be applied to various head impact types for rapidly and accurately calculating brain strain and strain rate. Besides the clinical applications in real-time brain strain and strain rate monitoring, this model helps researchers estimate the brain strain and strain rate caused by head impacts more efficiently than FEM.


title: $\ell_p$-Spread and Restricted Isometry Properties of Sparse Random Matrices

abstract: Random subspaces $X$ of $\mathbb{R}^n$ of dimension proportional to $n$ are, with high probability, well-spread with respect to the $\ell_2$-norm. Namely, every nonzero $x \in X$ is "robustly non-sparse" in the following sense: $x$ is $\varepsilon \|x\|_2$-far in $\ell_2$-distance from all $\delta n$-sparse vectors, for positive constants $\varepsilon, \delta$ bounded away from $0$. This "$\ell_2$-spread" property is the natural counterpart, for subspaces over the reals, of the minimum distance of linear codes over finite fields, and corresponds to $X$ being a Euclidean section of the $\ell_1$ unit ball. Explicit $\ell_2$-spread subspaces of dimension $\Omega(n)$, however, are unknown, and the best known constructions (which achieve weaker spread properties), are analogs of low density parity check (LDPC) codes over the reals, i.e., they are kernels of sparse matrices. We study the spread properties of the kernels of sparse random matrices. Rather surprisingly, we prove that with high probability such subspaces contain vectors $x$ that are $o(1)\cdot \|x\|_2$-close to $o(n)$-sparse with respect to the $\ell_2$-norm, and in particular are not $\ell_2$-spread. On the other hand, for $p < 2$ we prove that such subspaces are $\ell_p$-spread with high probability. Moreover, we show that a random sparse matrix has the stronger restricted isometry property (RIP) with respect to the $\ell_p$ norm, and this follows solely from the unique expansion of a random biregular graph, yielding a somewhat unexpected generalization of a similar result for the $\ell_1$ norm [BGI+08]. Instantiating this with explicit expanders, we obtain the first explicit constructions of $\ell_p$-RIP matrices for $1 \leq p < p_0$, where $1 < p_0 < 2$ is an absolute constant.


title: Scattering of metastable lumps in a model with a false vacuum

abstract: In this work we consider the scalar field model with a false vacuum proposed by A. T. Avelar, D. Bazeia, L. Losano and R. Menezes, Eur. Phys. J. C 55, 133-143 (2008). The model depends on a parameter $s>0$. The model has unstable nontopological lump solutions with a bell shape for small $s$, acquiring a flat plateau around the maximum for large $s$. For $s\to\infty$ the $\phi^4$ model is recovered. We show that for $s\gtrsim 2$ the lump is metastable with the only negative mode very close to zero. Metastable lumps can propagate and survive long enough to produce dynamical effects. Due to their simplicity, they can be an alternative to the procedure of stabilization which requires, for instance, a complex scalar field to construct nontopological solitons. We study lump-lump collisions in this model, describing the main characteristics of the scattering products at their dependence on $s$ and the initial velocity modulus of each lump.


title: Planning for Dexterous Ungrasping: Secure Ungrasping through Dexterous Manipulation

abstract: This paper presents a robotic manipulation technique for dexterous ungrasping. It refers to the capability of securely transferring a grasped object from the gripper to the robot's environment, i.e. the inverse of grasping or picking, through dexterous manipulation. The game of Go offers an example: consider how the player would typically place an initially pinch-grasped stone onto the board through the dexterous interaction between the fingers, the stone, and the board. Likewise, dexterous ungrasping addresses the necessity of changing the object's configuration relative to the gripper or the environment in order to securely keep hold of the object. In particular, we present a planning framework for determining a feasible minimum-cost motion path that completes dexterous ungrasping. Digit asymmetry in a gripper, i.e. difference in digit lengths, is discovered as the key to feasible and secure ungrasping. A set of experiments show the effectiveness of dexterous ungrasping in practical placement tasks.


title: DoGR: Disaggregated Gaussian Regression for Reproducible Analysis of Heterogeneous Data

abstract: Quantitative analysis of large-scale data is often complicated by the presence of diverse subgroups, which reduce the accuracy of inferences they make on held-out data. To address the challenge of heterogeneous data analysis, we introduce DoGR, a method that discovers latent confounders by simultaneously partitioning the data into overlapping clusters (disaggregation) and modeling the behavior within them (regression). When applied to real-world data, our method discovers meaningful clusters and their characteristic behaviors, thus giving insight into group differences and their impact on the outcome of interest. By accounting for latent confounders, our framework facilitates exploratory analysis of noisy, heterogeneous data and can be used to learn predictive models that better generalize to new data. We provide the code to enable others to use DoGR within their data analytic workflows.


title: Matching of Fracture Functions for SIDIS in Target Fragmentation Region

abstract: In the target fragmentation region of Semi-Inclusive Deep Inelastic Scattering, the diffractively produced hadron has small transverse momentum. If it is at order of $\Lambda_{QCD}$, it prevents to make predictions with the standard collinear factorization. However, in this case, differential cross-sections can be predicted by the factorization with fracture functions, diffractive parton distributions. If the transverse momentum is much larger than $\Lambda_{QCD}$ but much smaller than $Q$ which is the virtuality of the virtual photon, both factorizations apply. In this case, fracture functions can be factorized with collinear parton distributions and fragmentation functions. We study the factorization up to twist-3 level and obtain gauge invariant results. They will be helpful for modeling fracture functions and useful for resummation of large logarithm of the transverse momentum appearing in collinear factorization.


title: A New Approach to Multilinear Dynamical Systems and Control

abstract: The current paper presents a new approach to multilinear dynamical systems analysis and control. The approach is based upon recent developments in tensor decompositions and a newly defined algebra of circulants. In particular, it is shown that under the right tensor multiplication operator, a third order tensor can be written as a product of third order tensors that is analogous to a traditional matrix eigenvalue decomposition where the "eigenvectors" become eigenmatrices and the "eigenvalues" become eigen-tuples. This new development allows for a proper tensor eigenvalue decomposition to be defined and has natural extension to linear systems theory through a \textit{tensor-exponential}. Through this framework we extend many of traditional techniques used in linear system theory to their multilinear counterpart.


title: From Less to More: Spectral Splitting and Aggregation Network for Hyperspectral Face Super-Resolution

abstract: High-resolution (HR) hyperspectral face image plays an important role in face related computer vision tasks under uncontrolled conditions, such as low-light environment and spoofing attacks. However, the dense spectral bands of hyperspectral face images come at the cost of limited amount of photons reached a narrow spectral window on average, which greatly reduces the spatial resolution of hyperspectral face images. In this paper, we investigate how to adapt the deep learning techniques to hyperspectral face image super-resolution (HFSR), especially when the training samples are very limited. Benefiting from the amount of spectral bands, in which each band can be seen as an image, we present a spectral splitting and aggregation network (SSANet) for HFSR with limited training samples. In the shallow layers, we split the hyperspectral image into different spectral groups. Then, we gradually aggregate the neighbor bands at deeper layers to exploit spectral correlations. By this spectral splitting and aggregation strategy (SSAS), we can divide the original hyperspectral image into multiple samples (\emph{from less to more}) to support the efficient training of the network and effectively exploit the spectral correlations among spectrum. To cope with the challenge of small training sample size (S3) problem, we propose to expand the training samples by a self-representation model and symmetry-induced augmentation. Experiments show that SSANet can well model the joint correlations of spatial and spectral information. By expanding the training samples, SSANet can effectively alleviate the S3 problem.


title: On the second eigenvalue of a Cayley graph of the symmetric group

abstract: In 2020, Siemons and Zalesski [On the second eigenvalue of some Cayley graphs of the symmetric group. {\it arXiv preprint arXiv:2012.12460}, 2020] determined the second eigenvalue of the Cayley graph $\Gamma_{n,k} = \operatorname{Cay}(\operatorname{Sym}(n), C(n,k))$ for $k = 0$ and $k=1$, where $C(n,k)$ is the conjugacy class of $(n-k)$-cycles. In this paper, it is proved that for any $n\geq 3$ and $k\in \mathbb{N}$ relatively small compared to $n$, the second eigenvalue of $\Gamma_{n,k}$ is the eigenvalue afforded by the irreducible character of $\operatorname{Sym}(n)$ that corresponds to the partition $[n-1,1]$. As a byproduct of our method, the result of Siemons and Zalesski when $k \in \{0,1\}$ is retrieved. Moreover, we prove that the second eigenvalue of $\Gamma_{n,n-5}$ is also equal to the eigenvalue afforded by the irreducible character of the partition $[n-1,1]$.


title: Nonlocal transport phenomena in Weyl metals beyond the mesoscopic scale

abstract: Axion electrodynamics governs electromagnetic properties of Weyl metals. Although transmission and reflection measurements of light have been proposed to confirm the axion electrodynamics, there are still lack of theoretical proposals for macroscopic nonlocal transport phenomena in Weyl metals. In this paper, we present nonlocal transport phenomena in time reversal symmetry-broken (TRSB) Weyl metals. Solving the axion electrodynamics numerically, we show that such nonlocal transport phenomena arise from the negative longitudinal magneto-resistivity (NLMR), combined with the anomalous Hall effect (AHE) in the axion electrodynamics. Since this nonlocal transport occurs beyond the mesoscopic scale, we conclude that these nonlocal properties have nothing to do with Fermi arcs, regarded to be clear evidence of the axion electrodynamics in the bulk.


title: T3-Vis: a visual analytic framework for Training and fine-Tuning Transformers in NLP

abstract: Transformers are the dominant architecture in NLP, but their training and fine-tuning is still very challenging. In this paper, we present the design and implementation of a visual analytic framework for assisting researchers in such process, by providing them with valuable insights about the model's intrinsic properties and behaviours. Our framework offers an intuitive overview that allows the user to explore different facets of the model (e.g., hidden states, attention) through interactive visualization, and allows a suite of built-in algorithms that compute the importance of model components and different parts of the input sequence. Case studies and feedback from a user focus group indicate that the framework is useful, and suggest several improvements.


title: SMAC-Seg: LiDAR Panoptic Segmentation via Sparse Multi-directional Attention Clustering

abstract: Panoptic segmentation aims to address semantic and instance segmentation simultaneously in a unified framework. However, an efficient solution of panoptic segmentation in applications like autonomous driving is still an open research problem. In this work, we propose a novel LiDAR-based panoptic system, called SMAC-Seg. We present a learnable sparse multi-directional attention clustering to segment multi-scale foreground instances. SMAC-Seg is a real-time clustering-based approach, which removes the complex proposal network to segment instances. Most existing clustering-based methods use the difference of the predicted and ground truth center offset as the only loss to supervise the instance centroid regression. However, this loss function only considers the centroid of the current object, but its relative position with respect to the neighbouring objects is not considered when learning to cluster. Thus, we propose to use a novel centroid-aware repel loss as an additional term to effectively supervise the network to differentiate each object cluster with its neighbours. Our experimental results show that SMAC-Seg achieves state-of-the-art performance among all real-time deployable networks on both large-scale public SemanticKITTI and nuScenes panoptic segmentation datasets.


title: Simulated dose painting of hypoxic sub-volumes in pancreatic cancer stereotactic body radiotherapy

abstract: Dose painting of hypoxic tumour sub-volumes using positron-emission tomography (PET) has been shown to improve tumour control in silico in several sites. Pancreatic cancer presents a more stringent challenge, given its proximity to critical organs-at-risk (OARs) and anatomic motion. A radiobiological model was developed to estimate clonogen survival fraction (SF), using 18F-fluoroazomycin arabinoside PET (FAZA PET) images from ten patients with pancreatic cancer to quantify oxygen enhancement effects. For each patient, four simulated five-fraction stereotactic body radiotherapy (SBRT) plans were generated: 1) a standard SBRT plan aiming to cover the planning target volume with 40 Gy, 2) dose painting plans delivering escalated doses to FAZA-avid hypoxic sub-volumes, 3) dose painting plans with simulated spacer separating the duodenum and pancreatic head, and 4), plans with integrated boosts to geometric contractions of the tumour (GTV). All plans saturated at least one OAR dose limit. SF was calculated for each plan and sensitivity of SF to simulated hypoxia quantification errors was evaluated. Dose painting resulted in a 55% reduction in SF as compared to standard SBRT; 78% with spacer. Integrated boosts to hypoxia-blind geometric contractions resulted in a 41% reduction in SF. The reduction in SF for dose-painting plans persisted for all hypoxia quantification parameters studied, including registration and rigid motion errors that resulted in shifts and rotations of the GTV and hypoxic sub-volumes by as much as 1 cm and 10 degrees. Although proximity to OARs ultimately limited dose escalation, with estimated SFs (~10^-5) well above levels required to completely ablate a ~10 cm^3 tumour, dose painting robustly reduced clonogen survival when accounting for expected treatment and imaging uncertainties and thus, may improve local response and associated morbidity.


title: Mining Insights on Metal-Organic Framework Synthesis from Scientific Literature Texts

abstract: Identifying optimal synthesis conditions for metal-organic frameworks (MOFs) is a major challenge that can serve as a bottleneck for new materials discovery and development. Trial-and-error approach that relies on a chemist's intuition and knowledge has limitations in efficiency due to the large MOF synthesis space. To this end, 47,187 number of MOF were data mined using our in-house developed code to extract their synthesis information in 28,565 MOF papers. The joint machine learning/rule-based algorithm yields an average F1 score of 90.3 % across different synthesis parameters (i.e. metal precursors, organic precursors, solvents, temperature, time, composition). From this data set, a PU learning algorithm was developed to predict synthesis of a given MOF material using synthesis conditions as inputs, and this algorithm successfully predicted successful synthesis in 83.1 % of the synthesized data in the test set. Finally, our model correctly predicted three amorphous MOFs (with their representative experimental synthesis condition) as having low synthesizability scores while the counterpart crystalline MOFs showed high synthesizability scores. Our results show that big data extracted from the texts of MOF papers can be used to rationally predict synthesis conditions for these materials, which can accelerate the speed in which new MOFs are synthesized.