title: Tur\'an inequalities for the plane partition function

abstract: Heim, Neuhauser, and Tr\"oger recently established some inequalities for MacMahon's plane partition function $\mathrm{PL}(n)$ that generalize known results for Euler's partition function $p(n)$. They also conjectured that $\mathrm{PL}(n)$ is log-concave for all $n\geq 12.$ We prove this conjecture. Moreover, for every $d\geq 1$, we prove their speculation that $\mathrm{PL}(n)$ satisfies the degree $d$ Tur\'an inequality for sufficiently large $n$. The case where $d=2$ is the case of log-concavity.


title: Linear Variational State-Space Filtering

abstract: We introduce Variational State-Space Filters (VSSF), a new method for unsupervised learning, identification, and filtering of latent Markov state space models from raw pixels. We present a theoretically sound framework for latent state space inference under heterogeneous sensor configurations. The resulting model can integrate an arbitrary subset of the sensor measurements used during training, enabling the learning of semi-supervised state representations, thus enforcing that certain components of the learned latent state space to agree with interpretable measurements. From this framework we derive L-VSSF, an explicit instantiation of this model with linear latent dynamics and Gaussian distribution parameterizations. We experimentally demonstrate L-VSSF's ability to filter in latent space beyond the sequence length of the training dataset across several different test environments.


title: Mechanism of antisymmetric spin polarization in centrosymmetric multiple-$Q$ magnets based on bilinear and biquadratic spin cross products

abstract: We investigate how to engineer an antisymmetric spin-split band structure under spin density waves with finite ordering wave vectors in centrosymmetric systems without the relativistic spin-orbit coupling. On the basis of a perturbative analysis for the spin-charge coupled model in centrosymmetric itinerant magnets, we show that nonzero chiral-type bilinear and biquadratic spin cross products in momentum space under the magnetic orderings are related to an antisymmetric spin polarization in the electronic band structure. We apply the derived formula to the single-$Q$ cycloidal spiral and double-$Q$ noncoplanar states including the meron-antimeron and skyrmion crystals. Our results present a clue to realize a giant antisymmetric spin splitting driven by magnetic phase transitions in the centrosymmetric lattice structures without the spin-orbit coupling.


title: Pressure -- area loop based phenotypic classification and mechanics of esophagogastric junction physiology

abstract: The esophagogastric junction (EGJ) is located at the distal end of the esophagus and acts as a valve allowing swallowed materials to enter the stomach and preventing acid reflux. Irregular weakening or stiffening of the EGJ muscles result in changes to its opening and closing patterns which can progress into esophageal disorders. Therefore, understanding the physics behind the opening and closing cycle of the EGJ provides a mechanistic insight into its function and can help identify the underlying conditions that cause its degradation. Using clinical FLIP data, we plotted the pressure-area hysteresis at the EGJ location and distinguished two major loop types, a pressure dominant loop (PDL) and a tone dominant loop (TDL). In this study, we aimed to identify the key characteristics that define each loop type and find what causes the inversion from one loop to another. To do so, the clinical observations were reproduced using 1D simulations of flow inside a FLIP device located in the esophagus, and the work done by the EGJ wall over time was calculated. This work was decomposed into active and passive components, which revealed the competing mechanisms that dictate the loop type. These mechanisms are esophagus stiffness, fluid viscosity, and the EGJ relaxation pattern. In PDL, the leading source of energy in the cycle is coming from the fluid pressure increase from the peristaltic contraction wave, and in TDL the leading source of energy in the cycle is coming from the contraction and relaxation of the EGJ tone.


title: A hybrid approach to targeting social assistance

abstract: Proxy means testing (PMT) and community-based targeting (CBT) are two of the leading methods for targeting social assistance in developing countries. In this paper, we present a hybrid targeting method that incorporates CBT's emphasis on local information and preferences with PMT's reliance on verifiable indicators. Specifically, we outline a Bayesian framework for targeting that resembles PMT in that beneficiary selection is based on a weighted sum of sociodemographic characteristics. We nevertheless propose calibrating the weights to preference rankings from community targeting exercises, implying that the weights used by our method reflect how potential beneficiaries themselves substitute sociodemographic features when making targeting decisions. We discuss several practical extensions to the model, including a generalization to multiple rankings per community, an adjustment for elite capture, a method for incorporating auxiliary information on potential beneficiaries, and a dynamic updating procedure. We further provide an empirical illustration using data from Burkina Faso and Indonesia.


title: Estimating Heterogeneous Causal Effects of High-Dimensional Treatments: Application to Conjoint Analysis

abstract: Estimation of heterogeneous treatment effects is an active area of research. Most of the existing methods, however, focus on estimating the conditional average treatment effects of a single, binary treatment given a set of pre-treatment covariates. In this paper, we propose a method to estimate the heterogeneous causal effects of high-dimensional treatments, which poses unique challenges in terms of estimation and interpretation. The proposed approach finds maximally heterogeneous groups and uses a Bayesian mixture of regularized logistic regressions to identify groups of units who exhibit similar patterns of treatment effects. By directly modeling group membership with covariates, the proposed methodology allows one to explore the unit characteristics that are associated with different patterns of treatment effects. Our motivating application is conjoint analysis, which is a popular type of survey experiment in social science and marketing research and is based on a high-dimensional factorial design. We apply the proposed methodology to the conjoint data, where survey respondents are asked to select one of two immigrant profiles with randomly selected attributes. We find that a group of respondents with a relatively high degree of prejudice appears to discriminate against immigrants from non-European countries like Iraq. An open-source software package is available for implementing the proposed methodology.


title: An Overview of 5G Advanced Evolution in 3GPP Release 18

abstract: The 3rd generation partnership project (3GPP) radio access network (RAN) plenary recently approved a work package for its Release 18, representing a major evolution and branded as the first release of 5G Advanced. The work package includes diverse study or work items that will significantly boost 5G performance and address a wide variety of new use cases. In particular, 3GPP Release 18 will embrace artificial intelligence and machine learning technologies to provide data-driven, intelligent network solutions. This article provides an overview of the 5G Advanced evolution in 3GPP Release 18, which is anticipated to trigger a paradigm shift and have a profound impact on future wireless networks.


title: Software and Security Engineering in Digital Transformation

abstract: Digital transformation is a hot topic in the current global environment as a large number of organizations have been working to adopt digital solutions. Software engineering has also emerged to be a more important role as a large number of systems, either traditional or smart, are dependent on the software that collects, store, and process data. The role of software engineers has also become crucial in digital transformation. In this regard, this paper aims to examine the trends of software engineering and the role of software engineers in digital transformation. In addition to this, this paper also examines the importance of secure software development in digital transformation. It can be concluded that software engineering is an integral part of digital transformation as all digital systems make use of software to perform their functions efficiently. Software act as a bridge between digital systems and humans to use the systems interactively and efficiently.


title: Transfer of 0-order coherence matrix along spin-1/2 chain

abstract: In this work, we study transfer of coherence matrices along spin-1/2 chains of various length. Unlike higher order coherence matrices, 0-order coherence matrix can be perfectly transferred if its elements are properly fixed. In certain cases, to provide the perfect transfer, an extended receiver together with optimized its unitary transformation has to be included into the protocol. In this work, the asymptotic perfectly transferable 0-order coherence matrix for an infinitely long chain is considered and deviation of a perfectly transferred state from this asymptotic state is studied as a function of the chain length for various sizes of the extended receiver. The problem of arbitrary parameter transfer via the nondiagonal elements of the 0-order coherence matrix is also considered and optimized using the unitary transformation of the extended receiver.


title: Learning Control Policies for Fall prevention and safety in bipedal locomotion

abstract: The ability to recover from an unexpected external perturbation is a fundamental motor skill in bipedal locomotion. An effective response includes the ability to not just recover balance and maintain stability but also to fall in a safe manner when balance recovery is physically infeasible. For robots associated with bipedal locomotion, such as humanoid robots and assistive robotic devices that aid humans in walking, designing controllers which can provide this stability and safety can prevent damage to robots or prevent injury related medical costs. This is a challenging task because it involves generating highly dynamic motion for a high-dimensional, non-linear and under-actuated system with contacts. Despite prior advancements in using model-based and optimization methods, challenges such as requirement of extensive domain knowledge, relatively large computational time and limited robustness to changes in dynamics still make this an open problem. In this thesis, to address these issues we develop learning-based algorithms capable of synthesizing push recovery control policies for two different kinds of robots : Humanoid robots and assistive robotic devices that assist in bipedal locomotion. Our work can be branched into two closely related directions : 1) Learning safe falling and fall prevention strategies for humanoid robots and 2) Learning fall prevention strategies for humans using a robotic assistive devices. To achieve this, we introduce a set of Deep Reinforcement Learning (DRL) algorithms to learn control policies that improve safety while using these robots.


title: Billiards in generic convex bodies have positive topological entropy

abstract: We show that there exists a $C^2$ open dense set of convex bodies with smooth boundary whose billiard map exhibits a non-trivial hyperbolic basic set. As a consequence billiards in generic convex bodies have positive topological entropy and exponential growth of the number of periodic orbits.


title: Sparse Super-Regular Networks

abstract: It has been argued by Thom and Palm that sparsely-connected neural networks (SCNs) show improved performance over fully-connected networks (FCNs). Super-regular networks (SRNs) are neural networks composed of a set of stacked sparse layers of (epsilon, delta)-super-regular pairs, and randomly permuted node order. Using the Blow-up Lemma, we prove that as a result of the individual super-regularity of each pair of layers, SRNs guarantee a number of properties that make them suitable replacements for FCNs for many tasks. These guarantees include edge uniformity across all large-enough subsets, minimum node in- and out-degree, input-output sensitivity, and the ability to embed pre-trained constructs. Indeed, SRNs have the capacity to act like FCNs, and eliminate the need for costly regularization schemes like Dropout. We show that SRNs perform similarly to X-Nets via readily reproducible experiments, and offer far greater guarantees and control over network structure.


title: A Discriminative Hierarchical PLDA-based Model for Spoken Language Recognition

abstract: Spoken language recognition (SLR) refers to the automatic process used to determine the language present in a speech sample. SLR is an important task in its own right, for example, as a tool to analyze or categorize large amounts of multi-lingual data. Further, it is also an essential tool for selecting downstream applications in a work flow, for example, to chose appropriate speech recognition or machine translation models. SLR systems are usually composed of two stages, one where an embedding representing the audio sample is extracted and a second one which computes the final scores for each language. In this work, we approach the SLR task as a detection problem and implement the second stage as a probabilistic linear discriminant analysis (PLDA) model. We show that discriminative training of the PLDA parameters gives large gains with respect to the usual generative training. Further, we propose a novel hierarchical approach where two PLDA models are trained, one to generate scores for clusters of highly-related languages and a second one to generate scores conditional to each cluster. The final language detection scores are computed as a combination of these two sets of scores. The complete model is trained discriminatively to optimize a cross-entropy objective. We show that this hierarchical approach consistently outperforms the non-hierarchical one for detection of highly related languages, in many cases by large margins. We train our systems on a collection of datasets including over 100 languages, and test them both on matched and mismatched conditions, showing that the gains are robust to condition mismatch.


title: Linearized Boltzmann Collision Operator: I. Polyatomic Molecules Modeled by a Discrete Internal Energy Variable and Multicomponent Mixtures

abstract: The linearized collision operator of the Boltzmann equation can in a natural way be written as a sum of a positive multiplication operator, the collision frequency, and an integral operator. Compactness of the integral operator for monatomic single species is a classical result, while corresponding result for mixtures is more recently obtained. In this work the compactness of the operator for polyatomic single species, where the polyatomicity is modeled by a discrete internal energy variable, is studied. With a probabilistic formulation of the collision operator as a starting point, compactness is obtained by proving that the integral operator is a sum of Hilbert-Schmidt integral operators and approximately Hilbert-Schmidt integral operators, under some assumptions on the collision kernel. Self-adjointness of the linearized collision operator follows. Moreover, bounds on - including coercivity of - the collision frequency are obtained for a hard sphere model. Then it follows that the linearized collision operator is a Fredholm operator. The results can be extended to mixtures. For brevity, only the case of mixtures for monatomic species is accounted for.


title: RTNN: Accelerating Neighbor Search Using Hardware Ray Tracing

abstract: Neighbor search is of fundamental important to many engineering and science fields such as physics simulation and computer graphics. This paper proposes to formulate neighbor search as a ray tracing problem and leverage the dedicated ray tracing hardware in recent GPUs for acceleration. We show that a naive mapping under-exploits the ray tracing hardware. We propose two performance optimizations, query scheduling and query partitioning, to tame the inefficiencies. Experimental results show 2.2X -- 65.0X speedups over existing neighbor search libraries on GPUs. The code is available at https://github.com/horizon-research/rtnn.


title: DenseTact: Optical Tactile Sensor for Dense Shape Reconstruction

abstract: Increasing the performance of tactile sensing in robots enables versatile, in-hand manipulation. Vision-based tactile sensors have been widely used as rich tactile feedback has been shown to be correlated with increased performance in manipulation tasks. Existing tactile sensor solutions with high resolution have limitations that include low accuracy, expensive components, or lack of scalability. In this paper, an inexpensive, scalable, and compact tactile sensor with high-resolution surface deformation modeling for surface reconstruction of the 3D sensor surface is proposed. By measuring the image from the fisheye camera, it is shown that the sensor can successfully estimate the surface deformation in real-time (1.8ms) by using deep convolutional neural networks. This sensor in its design and sensing abilities represents a significant step toward better object in-hand localization, classification, and surface estimation all enabled by high-resolution shape reconstruction.


title: Reconstruction of Air-Shower Parameters Through the Lateral Distribution Function of Ultra-High Energy Particles

abstract: In this study, the necessity of the simulation study for exploring the interactions of ultra-high energy particles cosmic rays was examined. Different hadronic interaction models such as (SIBYLL, QGSJET, and EPOS) were simulated by using air showers simulation AIRES system (version 19.04.00). Also, the charged particle density of Extensive Air Showers (EAS) was calculated by estimating the lateral distribution function (LDF). Moreover, the LDF simulation of the two primary particles (proton and iron nuclei) was performed, taking into account their primary energies effect and the zenith angle of charged particles that produced in the EAS, within the energy range (10^17-10^19) eV. At extremely high energies (10^17, 10^18, and 10^19) eV, new parameters as a function of the primary energy were obtained by fitting the lateral distribution curves of EAS using Sigmoidal function (Logistic model). Comparison of the results showed a good agreement between the values obtained from the parameterized LDF using Sigmoidal function with experimental results by AGASA EAS observatory for the primaries proton as well iron nuclei, with the production of (electron positron) pair and the charged muons secondary particles at high energy about 10^19 eV and (theta = 0 degree).


title: Using Simulation Optimization to Improve Zero-shot Policy Transfer of Quadrotors

abstract: In this work, we propose a data-driven approach to optimize the parameters of a simulation such that control policies can be directly transferred from simulation to a real-world quadrotor. Our neural network-based policies take only onboard sensor data as input and run entirely on the embedded hardware. In extensive real-world experiments, we compare low-level Pulse-Width Modulated control with higher-level control structures such as Attitude Rate and Attitude, which utilize Proportional-Integral-Derivative controllers to output motor commands. Our experiments show that low-level controllers trained with reinforcement learning require a more accurate simulation than higher-level control policies.


title: Interatomic machine learning potentials for aluminium: application to solidification phenomena

abstract: In studying solidification process by simulations on the atomic scale, the modeling of crystal nucleation or amorphisation requires the construction of interatomic interactions that are able to reproduce the properties of both the solid and the liquid states. Taking into account rare nucleation events or structural relaxation under deep undercooling conditions requires much larger length scales and longer time scales than those achievable by \textit{ab initio} molecular dynamics (AIMD). This problem is addressed by means of classical MD simulations using a well established high dimensional neural network potential trained on a relevant set of configurations generated by AIMD. Our dataset contains various crystalline structures and liquid states at different pressures, including their time fluctuations in a wide range of temperatures considering only their energy labels. Applied to elemental aluminium, the resulting potential is shown to be efficient to reproduce the basic structural, dynamics and thermodynamic quantities in the liquid and undercooled states without the need to include neither explicitly the forces nor all kind of configurations in the training procedure. The early stage of crystallization is further investigated on a much larger scale with one million atoms, allowing us to unravel features of the homogeneous nucleation mechanisms in the fcc phase at ambient pressure as well as in the bcc phase at high pressure with unprecedented accuracy close to the \textit{ab initio} one. In both case, a single step nucleation process is observed.


title: Various notions of point derivations in Banach algebras

abstract: In this paper, we study several type of point derivations for Banach algebras. We investigate how our definition of point derivations are related to each others.


title: Pump Depletion in Parametric Amplification

abstract: We derive analytic solutions for Heisenberg evolution under the trilinear parametric Hamiltonian which are correct to second order in the interaction strength but are valid for all pump amplitudes. The solutions allow pump depletion effects to be incorporated in the description of parametric amplification in experimentally relevant scenarios and the resulting new phenomena to be rigorously described.


title: Selective Control of Conductance Modes in Multi-terminal Josephson Junctions

abstract: The Andreev bound state spectra of multi-terminal Josephson junctions form an artificial band structure, which is predicted to host tunable topological phases under certain conditions. However, the number of conductance modes between the terminals of multi-terminal Josephson junction must be few in order for this spectrum to be experimentally accessible. In this work we employ a quantum point contact geometry in three-terminal Josephson devices. We demonstrate independent control of conductance modes between each pair of terminals and access to the single-mode regime coexistent with the presence of superconducting coupling. These results establish a full platform on which to realize tunable Andreev bound state spectra in multi-terminal Josephson junctions.


title: Anti-concentration and the Exact Gap-Hamming Problem

abstract: We prove anti-concentration bounds for the inner product of two independent random vectors, and use these bounds to prove lower bounds in communication complexity. We show that if $A,B$ are subsets of the cube $\{\pm 1\}^n$ with $|A| \cdot |B| \geq 2^{1.01 n}$, and $X \in A$ and $Y \in B$ are sampled independently and uniformly, then the inner product $\langle X,Y \rangle$ takes on any fixed value with probability at most $O(1/\sqrt{n})$. In fact, we prove the following stronger "smoothness" statement: $$ \max_{k } \big| \Pr[\langle X,Y \rangle = k] - \Pr[\langle X,Y \rangle = k+4]\big| \leq O(1/n).$$ We use these results to prove that the exact gap-hamming problem requires linear communication, resolving an open problem in communication complexity. We also conclude anti-concentration for structured distributions with low entropy. If $x \in \mathcal{Z}^n$ has no zero coordinates, and $B \subseteq \{\pm 1\}^n$ corresponds to a subspace of $\mathcal{F}_2^n$ of dimension $0.51n$, then $\max_k \Pr[\langle x,Y \rangle = k] \leq O(\sqrt{\ln (n)/n})$.


title: Open Geometry Prover Community Project

abstract: Mathematical proof is undoubtedly the cornerstone of mathematics. The emergence, in the last years, of computing and reasoning tools, in particular automated geometry theorem provers, has enriched our experience with mathematics immensely. To avoid disparate efforts,the Open Geometry Prover Community Project aims at the integration of the different efforts for the development of geometry automated theorem provers, under a common "umbrella". In this article the necessary steps to such integration are specified and the current implementation of some of those steps is described.


title: Dynamic predictability and spatio-temporal contexts in human mobility

abstract: Human travelling behaviours are markedly regular, to a large extent, predictable, and mostly driven by biological necessities (\eg sleeping, eating) and social constructs (\eg school schedules, synchronisation of labour). Not surprisingly, such predictability is influenced by an array of factors ranging in scale from individual (\eg preference, choices) and social (\eg household, groups) all the way to global scale (\eg mobility restrictions in a pandemic). In this work, we explore how spatio-temporal patterns in individual-level mobility, which we refer to as \emph{predictability states}, carry a large degree of information regarding the nature of the regularities in mobility. Our findings indicate the existence of contextual and activity signatures in predictability states, pointing towards the potential for more sophisticated, data-driven approaches to short-term, higher-order mobility predictions beyond frequentist/probabilistic methods.


title: Linearized Boltzmann Collision Operator: II. Polyatomic Molecules Modeled by a Continuous Internal Energy Variable

abstract: The linearized collision operator of the Boltzmann equation for single species can be written as a sum of a positive multiplication operator, the collision frequency, and a compact integral operator. This classical result has more recently, been extended to multi-component mixtures and polyatomic single species with the polyatomicity modeled by a discrete internal energy variable. In this work we prove compactness of the integral operator for polyatomic single species, with the polyatomicity modeled by a continuous internal energy variable, and the number of internal degrees of freedom greater or equal to two. The terms of the integral operator are shown to be, or be the uniform limit of, Hilbert-Schmidt integral operators. Self-adjointness of the linearized collision operator follows. Coercivity of the collision frequency are shown for hard-sphere like and hard potential with cut-off like models, implying Fredholmness of the linearized collision operator.


title: An Optical Spectrum of the Diffuse Galactic Light from BOSS and IRIS

abstract: We present a spectrum of the diffuse Galactic light (DGL) between 3700 and 10,000 A, obtained by correlating optical sky intensity with far-infrared dust emission. We use nearly 250,000 blank-sky spectra from BOSS/SDSS-III together with IRIS-reprocessed maps from the IRAS satellite. The larger sample size compared to SDSS-II results in a factor-of-two increase in signal to noise. We combine these data sets with a model for the optical/far-infrared correlation that accounts for self-absorption by dust. The spectral features of the DGL agree remarkably well with features present in stellar spectra. There is evidence for a difference in the DGL continuum between the regions covered by BOSS in the northern and southern Galactic hemisphere. We interpret the difference at red wavelengths as the result of a difference in stellar populations, with mainly old stars in both regions but a higher fraction of young stars in the south. There is also a broad excess in the southern DGL spectrum over the prediction of a simple radiative transfer model, without a clear counterpart in the north. We interpret this excess, centered at ~6500 A, as evidence for luminescence in the form of extended red emission (ERE). The observed strength of the 4000 A break indicates that at most ~7% of the dust-correlated light at 4000 A can be due to blue luminescence. Our DGL spectrum provides constraints on dust scattering and luminescence independent of measurements of extinction.


title: Lov{\'a}sz theta approach to eventown problem

abstract: We apply the bound on independence number via Lov{\'a}sz theta function to eventown problem and its generalizations over $\mathbb{Z}_n$.


title: Image Processing Methods for Coronal Hole Segmentation, Matching, and Map Classification

abstract: The paper presents the results from a multi-year effort to develop and validate image processing methods for selecting the best physical models based on solar image observations. The approach consists of selecting the physical models based on their agreement with coronal holes extracted from the images. Ultimately, the goal is to use physical models to predict geomagnetic storms. We decompose the problem into three subproblems: (i) coronal hole segmentation based on physical constraints, (ii) matching clusters of coronal holes between different maps, and (iii) physical map classification. For segmenting coronal holes, we develop a multi-modal method that uses segmentation maps from three different methods to initialize a level-set method that evolves the initial coronal hole segmentation to the magnetic boundary. Then, we introduce a new method based on Linear Programming for matching clusters of coronal holes. The final matching is then performed using Random Forests. The methods were carefully validated using consensus maps derived from multiple readers, manual clustering, manual map classification, and method validation for 50 maps. The proposed multi-modal segmentation method significantly outperformed SegNet, U-net, Henney-Harvey, and FCN by providing accurate boundary detection. Overall, the method gave a 95.5% map classification accuracy.


title: Graph Decipher: A transparent dual-attention graph neural network to understand the message-passing mechanism for the node classification

abstract: Graph neural networks can be effectively applied to find solutions for many real-world problems across widely diverse fields. The success of graph neural networks is linked to the message-passing mechanism on the graph, however, the message-aggregating behavior is still not entirely clear in most algorithms. To improve functionality, we propose a new transparent network called Graph Decipher to investigate the message-passing mechanism by prioritizing in two main components: the graph structure and node attributes, at the graph, feature, and global levels on a graph under the node classification task. However, the computation burden now becomes the most significant issue because the relevance of both graph structure and node attributes are computed on a graph. In order to solve this issue, only relevant representative node attributes are extracted by graph feature filters, allowing calculations to be performed in a category-oriented manner. Experiments on seven datasets show that Graph Decipher achieves state-of-the-art performance while imposing a substantially lower computation burden under the node classification task. Additionally, since our algorithm has the ability to explore the representative node attributes by category, it is utilized to alleviate the imbalanced node classification problem on multi-class graph datasets.


title: On the Lipschitz properties of transportation along heat flows

abstract: We prove new Lipschitz properties for transport maps along heat flows, constructed by Kim and Milman. For (semi)-log-concave measures and Gaussian mixtures, our bounds have several applications: eigenvalues comparisons, dimensional functional inequalities, and domination of distribution functions.


title: Fixed Point Quantum Monte Carlo

abstract: We present a new approach to the study of equilibrium properties in many-body quantum physics. Our method takes inspiration from Density Matrix Quantum Monte Carlo and incorporates new crucial features. First of all, the dynamics is transferred to the Laplace representation where an exact equation can be derived and solved using a simulation-step that, unlike most Monte Carlo methods, is not a priori physically bounded. Moreover, the spawning events are formulated in terms of two-process stochastic unravellings of quantum master equations, a formalism that is particularly useful when working with density matrices. And last, this is equivalent to an interaction picture, where the free part is integrated exactly and the convergence rate can be greatly increased if the interaction parameter is small. We benchmark our method by applying it to two case-studies in condensed matter physics, show its accuracy and further discuss its efficiency.


title: Sparse-Dyn: Sparse Dynamic Graph Multi-representation Learning via Event-based Sparse Temporal Attention Network

abstract: Dynamic graph neural networks have been widely used in modeling and representation learning of graph structure data. Current dynamic representation learning focuses on either discrete learning which results in temporal information loss or continuous learning that involves heavy computation. In this work, we proposed a novel dynamic graph neural network, Sparse-Dyn. It adaptively encodes temporal information into a sequence of patches with an equal amount of temporal-topological structure. Therefore, while avoiding the use of snapshots which causes information loss, it also achieves a finer time granularity, which is close to what continuous networks could provide. In addition, we also designed a lightweight module, Sparse Temporal Transformer, to compute node representations through both structural neighborhoods and temporal dynamics. Since the fully-connected attention conjunction is simplified, the computation cost is far lower than the current state-of-the-arts. Link prediction experiments are conducted on both continuous and discrete graph datasets. Through comparing with several state-of-the-art graph embedding baselines, the experimental results demonstrate that Sparse-Dyn has a faster inference speed while having competitive performance.


title: DR-STRaNGe: End-to-End System Design for DRAM-based True Random Number Generators

abstract: Random number generation is an important task in a wide variety of critical applications including cryptographic algorithms, scientific simulations, and industrial testing tools. True Random Number Generators (TRNGs) produce truly random data by sampling a physical entropy source that typically requires custom hardware and suffers from long latency. To enable high-bandwidth and low-latency TRNGs on commodity devices, recent works propose TRNGs that use DRAM as an entropy source. Although prior works demonstrate promising DRAM-based TRNGs, integration of such mechanisms into real systems poses challenges. We identify three challenges for using DRAM-based TRNGs in current systems: (1) generating random numbers can degrade system performance by slowing down concurrently-running applications due to the interference between RNG and regular memory operations in the memory controller (i.e., RNG interference), (2) this RNG interference can degrade system fairness by unfairly prioritizing applications that intensively use random numbers (i.e., RNG applications), and (3) RNG applications can experience significant slowdowns due to the high RNG latency. We propose DR-STRaNGe, an end-to-end system design for DRAM-based TRNGs that (1) reduces the RNG interference by separating RNG requests from regular requests in the memory controller, (2) improves the system fairness with an RNG-aware memory request scheduler, and (3) hides the large TRNG latencies using a random number buffering mechanism with a new DRAM idleness predictor that accurately identifies idle DRAM periods. We evaluate DR-STRaNGe using a set of 186 multiprogrammed workloads. Compared to an RNG-oblivious baseline system, DR-STRaNGe improves the average performance of non-RNG and RNG applications by 17.9% and 25.1%, respectively. DR-STRaNGe improves average system fairness by 32.1% and reduces average energy consumption by 21%.


title: Deep learning for location based beamforming with NLOS channels

abstract: Massive MIMO systems are highly efficient but critically rely on accurate channel state information (CSI) at the base station in order to determine appropriate precoders. CSI acquisition requires sending pilot symbols which induce an important overhead. In this paper, a method whose objective is to determine an appropriate precoder from the knowledge of the user's location only is proposed. Such a way to determine precoders is known as location based beamforming. It allows to reduce or even eliminate the need for pilot symbols, depending on how the location is obtained. the proposed method learns a direct mapping from location to precoder in a supervised way. It involves a neural network with a specific structure based on random Fourier features allowing to learn functions containing high spatial frequencies. It is assessed empirically and yields promising results on realistic synthetic channels. As opposed to previously proposed methods, it allows to handle both line-of-sight (LOS) and non-line-of-sight (NLOS) channels.


title: Joint Learning-Based Stabilization of Multiple Unknown Linear Systems

abstract: Learning-based control of linear systems received a lot of attentions recently. In popular settings, the true dynamical models are unknown to the decision-maker and need to be interactively learned by applying control inputs to the systems. Unlike the matured literature of efficient reinforcement learning policies for adaptive control of a single system, results on joint learning of multiple systems are not currently available. Especially, the important problem of fast and reliable joint-stabilization remains unaddressed and so is the focus of this work. We propose a novel joint learning-based stabilization algorithm for quickly learning stabilizing policies for all systems understudy, from the data of unstable state trajectories. The presented procedure is shown to be notably effective such that it stabilizes the family of dynamical systems in an extremely short time period.


title: End-to-End Autoencoder Communications with Optimized Interference Suppression

abstract: An end-to-end communications system based on Orthogonal Frequency Division Multiplexing (OFDM) is modeled as an autoencoder (AE) for which the transmitter (coding and modulation) and receiver (demodulation and decoding) are represented as deep neural networks (DNNs) of the encoder and decoder, respectively. This AE communications approach is shown to outperform conventional communications in terms of bit error rate (BER) under practical scenarios regarding channel and interference effects as well as training data and embedded implementation constraints. A generative adversarial network (GAN) is trained to augment the training data when there is not enough training data available. Also, the performance is evaluated in terms of the DNN model quantization and the corresponding memory requirements for embedded implementation. Then, interference training and randomized smoothing are introduced to train the AE communications to operate under unknown and dynamic interference (jamming) effects on potentially multiple OFDM symbols. Relative to conventional communications, up to 36 dB interference suppression for a channel reuse of four can be achieved by the AE communications with interference training and randomized smoothing. AE communications is also extended to the multiple-input multiple-output (MIMO) case and its BER performance gain with and without interference effects is demonstrated compared to conventional MIMO communications.


title: Semantic Communications: Principles and Challenges

abstract: Semantic communication, regarded as the breakthrough beyond the Shannon paradigm, aims at the successful transmission of semantic information conveyed by the source rather than the accurate reception of each single symbol or bit regardless of its meaning. This article provides an overview on semantic communications. After a brief review of Shannon information theory, we discuss semantic communications with theory, framework, and system design enabled by deep learning. Different from the symbol/bit error rate used for measuring conventional communication systems, performance metrics for semantic communications are also discussed. The article concludes with several open questions in semantic communications.


title: Discrete Wigner-Weyl calculus for the finite lattice

abstract: We develop the approach of Felix Buot to construction of Wigner-Weyl calculus for the lattice models. We apply this approach to the tight-binding models with finite number of lattice cells. For simplicity we restrict ourselves to the case of rectangular lattice. We start from the original Buot definition of the symbol of operator. This definition is corrected in order to maintain self-consistency of the algebraic constructions. It appears, however, that the Buot symbol for simple operators does not have a regular limit when the lattice size tends to infinity. Therefore, using a more dense auxiliary lattice we modify the Buot symbol of operator in order to build our new discrete Weyl symbol. The latter obeys several useful identities inherited from the continuum theory. Besides, the limit of infinitely large lattice becomes regular. We formulate Keldysh technique for the lattice models using the proposed Weyl symbols of operators. Within this technique the simple expression for the electric conductivity of a two dimensional non - equilibrium and non - homogeneous system is derived. This expression smoothly approaches the topological one in the limit of thermal equilibrium at small temperature and large system area.


title: Self-Supervised Approach to Addressing Zero-Shot Learning Problem

abstract: In recent years, self-supervised learning has had significant success in applications involving computer vision and natural language processing. The type of pretext task is important to this boost in performance. One common pretext task is the measure of similarity and dissimilarity between pairs of images. In this scenario, the two images that make up the negative pair are visibly different to humans. However, in entomology, species are nearly indistinguishable and thus hard to differentiate. In this study, we explored the performance of a Siamese neural network using contrastive loss by learning to push apart embeddings of bumblebee species pair that are dissimilar, and pull together similar embeddings. Our experimental results show a 61% F1-score on zero-shot instances, a performance showing 11% improvement on samples of classes that share intersections with the training set.


title: Stablecoins: Survivorship, Transactions Costs and Exchange Microstructure

abstract: Stable coins are not very stable. Cash collateralized coins are more stable, but the overall failure rate is similar to tokens that are not designed to be stable. USD Coin, Tether and Dai have the largest Ethereum market shares, and they have an average velocity nearly three times higher than M1. Centralized and decentralized exchanges are the most active nodes and largest holders on the blockchain. Four of the top ten tokens have Herfindahl indices higher than the U.S. banking system. Median gas fees for Tether rose more than twelve times over the last two years, and nearly twenty times for USD Coin. Transactions of under 50,000 USD can generally be done more cheaply offchain. 24 hour exchange turnover in Tether is nearly 60 billion USD. This is comparable to the daily volume at the NYSE and eight times the daily flow in money market mutual funds. Narrow bid-ask spreads and depth have attracted HFT participation approaching 50%


title: Nonrelativistic effective field theories with enhanced symmetries and soft behavior

abstract: We systematically explore the landscape of nonrelativistic effective field theories with a local $S$-matrix and enhanced symmetries and soft behavior. The exploration is carried out using both conventional quantum field theory methods based on symmetry arguments, and recently developed on-shell recursion relations. We show that, in contrary to relativistic theories, enhancement of the soft limit of scattering amplitudes in nonrelativistic theories is generally not a byproduct of symmetry alone, but requires additional low-energy data. Sufficient conditions for enhanced scattering amplitudes can be derived by combining symmetries and dispersion relations of the scattered particles. This has direct consequences for the infrared dynamics that different types of nonrelativistic Nambu-Goldstone bosons can exhibit. We then use a bottom-up soft bootstrap approach to narrow down the landscape of nonrelativistic effective field theories that possess a consistent low-energy $S$-matrix. We recover two exceptional theories of a complex Schr\"odinger-type scalar, namely the $\mathbb{C} P^1$ nonlinear sigma model and the Schr\"odinger-Dirac-Born-Infeld theory. Moreover, we use soft recursion to prove a no-go theorem ruling out the existence of other exceptional Schr\"odinger-type theories. We also prove that all exceptional theories of a single real scalar with a linear dispersion relation are necessarily Lorentz-invariant. Soft recursion allows us to obtain some further general bounds on the landscape of nonrelativistic effective theories with enhanced soft limits. Finally, we present a novel theory of a complex scalar with a technically natural quartic dispersion relation. Altogether, our work represents the first step of a program to extend the developments in the study of scattering amplitudes to theories without Lorentz invariance.


title: Improving Spiking Neural Network Accuracy Using Time-based Neurons

abstract: Due to the fundamental limit to reducing power consumption of running deep learning models on von-Neumann architecture, research on neuromorphic computing systems based on low-power spiking neural networks using analog neurons is in the spotlight. In order to integrate a large number of neurons, neurons need to be designed to occupy a small area, but as technology scales down, analog neurons are difficult to scale, and they suffer from reduced voltage headroom/dynamic range and circuit nonlinearities. In light of this, this paper first models the nonlinear behavior of existing current-mirror-based voltage-domain neurons designed in a 28nm process, and show SNN inference accuracy can be severely degraded by the effect of neuron's nonlinearity. Then, to mitigate this problem, we propose a novel neuron, which processes incoming spikes in the time domain and greatly improves the linearity, thereby improving the inference accuracy compared to the existing voltage-domain neuron. Tested on the MNIST dataset, the inference error rate of the proposed neuron differs by less than 0.1% from that of the ideal neuron.


title: Afternote to Coupling at a distance: convergence analysis and a priori error estimates

abstract: In their article "Coupling at a distance HDG and BEM", Cockburn, Sayas and Solano proposed an iterative coupling of the hybridizable discontinuous Galerkin method (HDG) and the boundary element method (BEM) to solve an exterior Dirichlet problem. The novelty of the numerical scheme consisted of using a computational domain for the HDG discretization whose boundary did not coincide with the coupling interface. In their article, the authors provided extensive numerical evidence for convergence, but the proof of convergence and the error analysis remained elusive at that time. In this article we fill the gap by proving the convergence of a relaxation of the algorithm and providing a priori error estimates for the numerical solution.


title: Pion electric polarizabilities from lattice QCD

abstract: We report a first principle lattice calculation of the pion electric polarizability $\alpha_\pi$ at the physical pion mass. First, we derive the master formula, which relates the pion polarizabilities with the position space hadronic Compton tensor, $\langle \pi | J_\mu(x) J_\nu(0) | \pi \rangle$. The finite volume error of the master formula is exponentially suppressed by the spatial extent of the lattice. Then, the hadronic tensor is calculated using domain wall fermions (DWF) directly at physical pion mass. The gauge ensembles are generated by the RBC-UKQCD collaborations.


title: Inferring Astrophysical Parameters of Core-Collapse Supernovae from their Gravitational-Wave Emission

abstract: Nearby core-collapse supernovae (CCSNe) are powerful multi-messenger sources for gravitational-wave, neutrino and electromagnetic telescopes as they emit gravitational waves in the ideal frequency band for ground based detectors. Once a CCSN gravitational-wave signal is detected, we will need to determine the parameters of the signal, and understand how those parameters relate to the source's explosion, progenitor and remnant properties. This is a challenge due to the stochastic nature of CCSN explosions, which is imprinted on their time series gravitational waveforms. In this paper, we perform Bayesian parameter estimation of CCSN signals using an asymmetric chirplet signal model to represent the dominant high-frequency mode observed in spectrograms of CCSN gravitational-wave signals. We use design sensitivity Advanced LIGO noise and CCSN waveforms from four different hydrodynamical supernova simulations with a range of different progenitor stars. We determine how well our model can reconstruct time-frequency images of the emission modes, and show how well we can determine parameters of the signal such as the frequency, amplitude, and duration. We show how the parameters of our signal model may allow us to place constraints on the proto-neutron star mass and radius, the turbulent kinetic energy onto the proto-neutron star, and the time of shock revival.


title: Influence of trip distance and population density on intra-city mobility patterns in Tokyo during COVID-19 pandemic

abstract: This study investigates the influence of infection cases of COVID-19 and two non-compulsory lockdowns on human mobility within the Tokyo metropolitan area. Using the data of hourly staying population in each 500m$\times$500m cell and their city-level residency, we show that long-distance trips or trips to crowded places decrease significantly when infection cases increase. The same result holds for the two lockdowns, although the second lockdown was less effective. Hence, Japanese non-compulsory lockdowns influence mobility in a similar way to the increase in infection cases. This means that they are accepted as alarm triggers for people who are at risk of contracting COVID-19.


title: Corrupting Data to Remove Deceptive Perturbation: Using Preprocessing Method to Improve System Robustness

abstract: Although deep neural networks have achieved great performance on classification tasks, recent studies showed that well trained networks can be fooled by adding subtle noises. This paper introduces a new approach to improve neural network robustness by applying the recovery process on top of the naturally trained classifier. In this approach, images will be intentionally corrupted by some significant operator and then be recovered before passing through the classifiers. SARGAN -- an extension on Generative Adversarial Networks (GAN) is capable of denoising radar signals. This paper will show that SARGAN can also recover corrupted images by removing the adversarial effects. Our results show that this approach does improve the performance of naturally trained networks.


title: An algebraic property of Reidemeister torsion

abstract: For a 3-manifold $M$ and an acyclic $\mathit{SL}(2,\mathbb{C})$-representation $\rho$ of its fundamental group, the $\mathit{SL}(2,\mathbb{C})$-Reidemeister torsion $\tau_\rho(M) \in \mathbb{C}^\times$ is defined. If there are only finitely many conjugacy classes of irreducible representations, then the Reidemeister torsions are known to be algebraic numbers. Furthermore, we prove that the Reidemeister torsions are not only algebraic numbers but also algebraic integers for most Seifert fibered spaces and infinitely many hyperbolic 3-manifolds. Also, for a knot exterior $E(K)$, we discuss the behavior of $\tau_\rho(E(K))$ when the restriction of $\rho$ to the boundary torus is fixed.


title: Robotic Laser Orientation Planning with a 3D Data-driven Method

abstract: This paper focuses on a research problem of robotic controlled laser orientation to minimize errant overcutting of healthy tissue during the course of pathological tissue resection. Laser scalpels have been widely used in surgery to remove pathological tissue targets such as tumors or other lesions. However, different laser orientations can create various tissue ablation cavities, and incorrect incident angles can cause over-irradiation of healthy tissue that should not be ablated. This work aims to formulate an optimization problem to find the optimal laser orientation in order to minimize the possibility of excessive laser-induced tissue ablation. We first develop a 3D data-driven geometric model to predict the shape of the tissue cavity after a single laser ablation. Modelling the target and non-target tissue region by an obstacle boundary, the determination of an optimal orientation is converted to a collision-minimization problem. The goal of this optimization formulation is maintaining the ablated contour distance from the obstacle boundary, which is solved by Projected gradient descent. Simulation experiments were conducted and the results validated the proposed method with conditions of various obstacle shapes and different initial incident angles.


title: Shuffle product formula of the Schur multiple zeta values of hook type

abstract: We discuss the shuffle product of the Schur multiple zeta values, which are the special values of Schur multiple zeta functions. We first define $2$-labeled Schur posets to generalize Yamamoto's integral expression of the multiple zeta values and consider the product of hook-type Schur multiple zeta values by using these posets. Then, for the derived terms, we introduce a modified Hurwitz-type Schur multiple zeta function of hook type, named an elementary factorial Schur multiple zeta function. Furthermore, we generalize $2$-labeled Schur posets to consider the shuffle product of the elementary factorial Schur multiple zeta values and obtain an explicit formula for their shuffle product.


title: The Gas-Star Formation Cycle in Nearby Star-forming Galaxies II. Resolved Distributions of CO and H$\alpha$ Emission for 49 PHANGS Galaxies

abstract: The relative distribution of molecular gas and star formation in galaxies gives insight into the physical processes and timescales of the cycle between gas and stars. In this work, we track the relative spatial configuration of CO and H$\alpha$ emission at high resolution in each of our galaxy targets, and use these measurements to quantify the distributions of regions in different evolutionary stages of star formation: from molecular gas without star formation traced by H$\alpha$ to star-forming gas, and to HII regions. The large sample, drawn from the Physics at High Angular resolution in Nearby GalaxieS ALMA and narrowband H$\alpha$ (PHANGS-ALMA and PHANGS-H$\alpha$) surveys, spans a wide range of stellar mass and morphological types, allowing us to investigate the dependencies of the gas-star formation cycle on global galaxy properties. At a resolution of 150 pc, the incidence of regions in different stages shows a dependence on stellar mass and Hubble type of galaxies over the radial range probed. Massive and/or earlier-type galaxies exhibit a significant reservoir of molecular gas without star formation traced by H$\alpha$, while lower-mass galaxies harbor substantial HII regions that may have dispersed their birth clouds or formed from low-mass, more isolated clouds. Galactic structures add a further layer of complexity to relative distribution of CO and H$\alpha$ emission. Trends between galaxy properties and distributions of gas traced by CO and H$\alpha$ are visible only when the observed spatial scale is $\ll$ 500 pc, reflecting the critical resolution requirement to distinguish stages of star formation process.


title: Dissipative structure of one-dimensional isothermal compressible fluids of Korteweg type

abstract: This paper studies the dissipative structure of the system of equations that describes the motion of a compressible, isothermal, viscous-capillar fluid of Korteweg type in one space dimension. It is shown that the system satisfies the genuine coupling condition of Humpherys (J. Hyperbolic Differ. Equ. 2, 2005, no. 4, 963-974), which is, in turn, an extension to higher order systems of the classical condition by Kawashima and Shizuta (Tohoku Math. J. 40, 1988, no. 3, 449-464; Hokkaido Math. J. 14, 1985, no. 2, 249-275) for second order systems. It is proved that genuine coupling implies the decay of solutions to the linearized system around a constant equilibrium state. For that purpose, the symmetrizability of the Fourier symbol is used in order to construct an appropriate compensating matrix. These linear decay estimates imply the global decay of perturbations to constant equilibrium states as solutions to the full nonlinear system, via a standard continuation argument.


title: Mining Adverse Drug Reactions from Unstructured Mediums at Scale

abstract: Adverse drug reactions / events (ADR/ADE) have a major impact on patient health and health care costs. Detecting ADR's as early as possible and sharing them with regulators, pharma companies, and healthcare providers can prevent morbidity and save many lives. While most ADR's are not reported via formal channels, they are often documented in a variety of unstructured conversations such as social media posts by patients, customer support call transcripts, or CRM notes of meetings between healthcare providers and pharma sales reps. In this paper, we propose a natural language processing (NLP) solution that detects ADR's in such unstructured free-text conversations, which improves on previous work in three ways. First, a new Named Entity Recognition (NER) model obtains new state-of-the-art accuracy for ADR and Drug entity extraction on the ADE, CADEC, and SMM4H benchmark datasets (91.75%, 78.76%, and 83.41% F1 scores respectively). Second, two new Relation Extraction (RE) models are introduced - one based on BioBERT while the other utilizing crafted features over a Fully Connected Neural Network (FCNN) - are shown to perform on par with existing state-of-the-art models, and outperform them when trained with a supplementary clinician-annotated RE dataset. Third, a new text classification model, for deciding if a conversation includes an ADR, obtains new state-of-the-art accuracy on the CADEC dataset (86.69% F1 score). The complete solution is implemented as a unified NLP pipeline in a production-grade library built on top of Apache Spark, making it natively scalable and able to process millions of batch or streaming records on commodity clusters.


title: A special cross-tie domain wall in helimagnet

abstract: A special cross-tie (SCT) domain wall was discovered in the helimagnet MnCoSi alloy via the magnetic vector field tomography in Lorentz transmission electron microscopy (LTEM). Different to the traditional cross-tie (TCT) domain wall where the convergent/divergent magnetic moment configuration line up one by one, the relative large Bloch type sub-walls emerge in this brand-new SCT domain wall and two mutually perpendicular rotation axes coexist in this special feature. The straight magnetic stripes accompanied with the unraveled domain walls hint the complex mechanism to form this SCT structure. Interestingly, different orientation of this domain wall in LTEM can easily exhibit various magnetic features, including meron/antimeron chains or bimeron strings.


title: Benchmarking the ONOS Intent interfaces to ease 5G service management

abstract: The use cases of the upcoming 5G mobile networks introduce new and complex user demands that will require support for fast reconfiguration of network resources. Software Defined Network (SDN) is a key technology that can address these requirements, as it decouples the control plane from the data plane of the network devices and logically centralizes the control plane in the SDN controller. SDN network operating system (ONOS) is a state-of-art SDN controller that aims to address this important scalability limitation from its design. An important feature of ONOS is that it allows network administrators to configure and manage networks with a high-level of abstraction by using Intent specifications. An Intent is a policy expression describing what is the desired outcome rather than how the outcome should be reached. The concept of Intents coupled with the distributed storage space are the key components for the theoretical scalability of ONOS. In this paper, we present our evaluation of the ONOS Intent northbound interface using a methodology that takes into consideration the interface access method, type of Intent and number of installed Intents. Our preliminary analysis indicates a linear increase in the computational cost with regards to the number of submitted Intents, with the access method being a major factor in the overall computational cost.


title: Fusing Convolutional Neural Network and Geometric Constraint for Image-based Indoor Localization

abstract: This paper proposes a new image-based localization framework that explicitly localizes the camera/robot by fusing Convolutional Neural Network (CNN) and sequential images' geometric constraints. The camera is localized using a single or few observed images and training images with 6-degree-of-freedom pose labels. A Siamese network structure is adopted to train an image descriptor network, and the visually similar candidate image in the training set is retrieved to localize the testing image geometrically. Meanwhile, a probabilistic motion model predicts the pose based on a constant velocity assumption. The two estimated poses are finally fused using their uncertainties to yield an accurate pose prediction. This method leverages the geometric uncertainty and is applicable in indoor scenarios predominated by diffuse illumination. Experiments on simulation and real data sets demonstrate the efficiency of our proposed method. The results further show that combining the CNN-based framework with geometric constraint achieves better accuracy when compared with CNN-only methods, especially when the training data size is small.


title: Towards Understanding Quality Challenges of the Federated Learning for Neural Networks: A First Look from the Lens of Robustness

abstract: Federated learning (FL) is a distributed learning paradigm that preserves users' data privacy while leveraging the entire dataset of all participants. In FL, multiple models are trained independently on the clients and aggregated centrally to update a global model in an iterative process. Although this approach is excellent at preserving privacy, FL still suffers from quality issues such as attacks or byzantine faults. Recent attempts have been made to address such quality challenges on the robust aggregation techniques for FL. However, the effectiveness of state-of-the-art (SOTA) robust FL techniques is still unclear and lacks a comprehensive study. Therefore, to better understand the current quality status and challenges of these SOTA FL techniques in the presence of attacks and faults, we perform a large-scale empirical study to investigate the SOTA FL's quality from multiple angles of attacks, simulated faults (via mutation operators), and aggregation (defense) methods. In particular, we study FL's performance on the image classification tasks and use DNNs as our model type. Furthermore, we perform our study on two generic image datasets and one real-world federated medical image dataset. We also investigate the effect of the proportion of affected clients and the dataset distribution factors on the robustness of FL. After a large-scale analysis with 496 configurations, we find that most mutators on each user have a negligible effect on the final model in the generic datasets, and only one of them is effective in the medical dataset. Furthermore, we show that model poisoning attacks are more effective than data poisoning attacks. Moreover, choosing the most robust FL aggregator depends on the attacks and datasets. Finally, we illustrate that a simple ensemble of aggregators achieves a more robust solution than any single aggregator and is the best choice in 75% of the cases.


title: Synthesizing Tensor Transformations for Visual Self-attention

abstract: Self-attention shows outstanding competence in capturing long-range relationships while enhancing performance on vision tasks, such as image classification and image captioning. However, the self-attention module highly relies on the dot product multiplication and dimension alignment among query-key-value features, which cause two problems: (1) The dot product multiplication results in exhaustive and redundant computation. (2) Due to the visual feature map often appearing as a multi-dimensional tensor, reshaping the scale of the tensor feature to adapt to the dimension alignment might destroy the internal structure of the tensor feature map. To address these problems, this paper proposes a self-attention plug-in module with its variants, namely, Synthesizing Tensor Transformations (STT), for directly processing image tensor features. Without computing the dot-product multiplication among query-key-value, the basic STT is composed of the tensor transformation to learn the synthetic attention weight from visual information. The effectiveness of STT series is validated on the image classification and image caption. Experiments show that the proposed STT achieves competitive performance while keeping robustness compared to self-attention based above vision tasks.


title: Isolated Massive Star Formation in G28.20-0.05

abstract: We report high-resolution 1.3~mm continuum and molecular line observations of the massive protostar G28.20-0.05 with ALMA. The continuum image reveals a ring-like structure with 2,000~au radius, similar to morphology seen in archival 1.3~cm VLA observations. Based on its spectral index and associated H$30\alpha$ emission, this structure mainly traces ionised gas. However, there is evidence for $\sim30$~M$_{\odot}$ of dusty gas near the main mm continuum peak on one side of the ring, as well as in adjacent regions within 3,000~au. A virial analysis on scales of $\sim$2,000~au from hot core line emission yields a dynamical mass of $\sim80\:M_\odot$. A strong velocity gradient in the H$30\alpha$ emission is evidence for a rotating, ionized disk wind, which drives a larger-scale molecular outflow. An infrared SED analysis indicates a current protostellar mass of $m_*\sim40\:M_\odot$ forming from a core with initial mass $M_c\sim300\:M_\odot$ in a clump with mass surface density of $\Sigma_{\rm cl}\sim 0.8\:{\rm g\:cm}^{-2}$. Thus the SED and other properties of the system can be understood in the context of core accretion models. Structure-finding analysis on the larger-scale continuum image indicates G28.20-0.05 is forming in a relatively isolated environment, with no other concentrated sources, i.e., protostellar cores, above $\sim 1\:M_\odot$ found from $\sim$0.1 to 0.4~pc around the source. This implies that a massive star can form in relative isolation and the dearth of other protostellar companions within the $\sim1$~pc environs is a strong constraint on massive star formation theories that predict the presence of a surrounding protocluster.


title: Tailoring topological transition of anisotropic polaritons by interface engineering in biaxial crystals

abstract: Polaritons in polar biaxial crystals with extreme anisotropy offer a promising route to manipulate nanoscale light-matter interactions. The dynamical modulation of their dispersion is great significance for future integrated nano-optics but remains challenging. Here, we report a momentum-directed strategy, a coupling between the modes with extra momentum supported by the interface and in-plane hyperbolic polaritons, to tailor topological transitions of anisotropic polaritons in biaxial crystals. We experimentally demonstrate such tailored polaritons at the interface of heterostructures between graphene and {\alpha}-phase molybdenum trioxide ({\alpha}-MoO3). The interlayer coupling can be electrically modulated by changing the Fermi level in graphene, enabling a dynamic topological transition. More interestingly, we found that the topological transition occurs at a constant Fermi level when tuning the thickness of {\alpha}-MoO3. The momentum-directed strategy implemented by interface engineering offers new insights for optical topological transitions, which may shed new light for programmable polaritonics, energy transfer and neuromorphic photonics.


title: Towards Similarity-Aware Time-Series Classification

abstract: We study time-series classification (TSC), a fundamental task of time-series data mining. Prior work has approached TSC from two major directions: (1) similarity-based methods that classify time-series based on the nearest neighbors, and (2) deep learning models that directly learn the representations for classification in a data-driven manner. Motivated by the different working mechanisms within these two research lines, we aim to connect them in such a way as to jointly model time-series similarities and learn the representations. This is a challenging task because it is unclear how we should efficiently leverage similarity information. To tackle the challenge, we propose Similarity-Aware Time-Series Classification (SimTSC), a conceptually simple and general framework that models similarity information with graph neural networks (GNNs). Specifically, we formulate TSC as a node classification problem in graphs, where the nodes correspond to time-series, and the links correspond to pair-wise similarities. We further design a graph construction strategy and a batch training algorithm with negative sampling to improve training efficiency. We instantiate SimTSC with ResNet as the backbone and Dynamic Time Warping (DTW) as the similarity measure. Extensive experiments on the full UCR datasets and several multivariate datasets demonstrate the effectiveness of incorporating similarity information into deep learning models in both supervised and semi-supervised settings. Our code is available at https://github.com/daochenzha/SimTSC


title: Energy and Delay aware Physical Collision Avoidance in Unmanned Aerial Vehicles

abstract: Several solutions have been proposed in the literature to address the Unmanned Aerial Vehicles (UAVs) collision avoidance problem. Most of these solutions consider that the ground controller system (GCS) determines the path of a UAV before starting a particular mission at hand. Furthermore, these solutions expect the occurrence of collisions based only on the GPS localization of UAVs as well as via object-detecting sensors placed on board UAVs. The sensors' sensitivity to environmental disturbances and the UAVs' influence on their accuracy impact negatively the efficiency of these solutions. In this vein, this paper proposes a new energy and delay-aware physical collision avoidance solution for UAVs. The solution is dubbed EDC-UAV. The primary goal of EDC-UAV is to build inflight safe UAVs trajectories while minimizing the energy consumption and response time. We assume that each UAV is equipped with a global positioning system (GPS) sensor to identify its position. Moreover, we take into account the margin error of the GPS to provide the position of a given UAV. The location of each UAV is gathered by a cluster head, which is the UAV that has either the highest autonomy or the greatest computational capacity. The cluster head runs the EDC-UAV algorithm to control the rest of the UAVs, thus guaranteeing a collision-free mission and minimizing the energy consumption to achieve different purposes. The proper operation of our solution is validated through simulations. The obtained results demonstrate the efficiency of EDC-UAV in achieving its design goals.


title: Problem-dependent attention and effort in neural networks with applications to image resolution and model selection

abstract: This paper introduces two new ensemble-based methods to reduce the data and computation costs of image classification. They can be used with any set of classifiers and do not require additional training. In the first approach, data usage is reduced by only analyzing a full-sized image if the model has low confidence in classifying a low-resolution pixelated version. When applied on the best performing classifiers considered here, data usage is reduced by 61.2% on MNIST, 69.6% on KMNIST, 56.3% on FashionMNIST, 84.6% on SVHN, 40.6% on ImageNet, and 27.6% on ImageNet-V2, all with a less than 5% reduction in accuracy. However, for CIFAR-10, the pixelated data are not particularly informative, and the ensemble approach increases data usage while reducing accuracy. In the second approach, compute costs are reduced by only using a complex model if a simpler model has low confidence in its classification. Computation cost is reduced by 82.1% on MNIST, 47.6% on KMNIST, 72.3% on FashionMNIST, 86.9% on SVHN, 89.2% on ImageNet, and 81.5% on ImageNet-V2, all with a less than 5% reduction in accuracy; for CIFAR-10 the corresponding improvements are smaller at 13.5%. When cost is not an object, choosing the projection from the most confident model for each observation increases validation accuracy to 81.0% from 79.3% for ImageNet and to 69.4% from 67.5% for ImageNet-V2.


title: Latent Vector Expansion using Autoencoder for Anomaly Detection

abstract: Deep learning methods can classify various unstructured data such as images, language, and voice as input data. As the task of classifying anomalies becomes more important in the real world, various methods exist for classifying using deep learning with data collected in the real world. As the task of classifying anomalies becomes more important in the real world, there are various methods for classifying using deep learning with data collected in the real world. Among the various methods, the representative approach is a method of extracting and learning the main features based on a transition model from pre-trained models, and a method of learning an autoencoderbased structure only with normal data and classifying it as abnormal through a threshold value. However, if the dataset is imbalanced, even the state-of-the-arts models do not achieve good performance. This can be addressed by augmenting normal and abnormal features in imbalanced data as features with strong distinction. We use the features of the autoencoder to train latent vectors from low to high dimensionality. We train normal and abnormal data as a feature that has a strong distinction among the features of imbalanced data. We propose a latent vector expansion autoencoder model that improves classification performance at imbalanced data. The proposed method shows performance improvement compared to the basic autoencoder using imbalanced anomaly dataset.


title: On the growth of meromorphic solutions of homogeneous and non-homogeneous linear difference equations in terms of (p,q)-order

abstract: In this paper we have studied the growth of meromorphic solutions of higher order homogeneous and non-homogeneous linear difference equations with entire and meromorphic coefficients. We have extended and improved some results of Zhou and Zheng (2017), Belaidi and Benkarouba (2019) by using (p,q)-order and (p,q)-type.


title: The MAVERIC Survey: The first radio and X-ray limits on the detached black holes in NGC 3201

abstract: The Galactic globular cluster NGC 3201 is the first Galactic globular cluster observed to host dynamically-confirmed stellar-mass black holes, containing two confirmed and one candidate black hole. This result indicates that globular clusters can retain black holes, which has important implications for globular cluster evolution. NGC 3201 has been observed as part of the MAVERIC survey of Galactic globular clusters. We use these data to confirm that there is no radio or X-ray detection of the three black holes, and present the first radio and X-ray limits on these sources. These limits indicate that any accretion present is at an extremely low rate and may be extremely inefficient. In particular, for the system ACS ID #21859, by assuming the system is tidally locked and any accretion is through the capture of the companion's winds, we constrain the radiative efficiency of any accretion to $\leq1.5\times10^{-5}$. We also combine the radio and X-ray source catalogues from the MAVERIC survey with the existing MUSE spectroscopic surveys and the HUGS catalogue of NGC 3201 to provide a catalogue of 42 multiwavelength sources in this cluster. We identify a new red straggler source with X-ray emission, and investigate the multiwavelength properties of the sub-subgiant population in the cluster.


title: An Additive Approximation Scheme for the Nash Social Welfare Maximization with Identical Additive Valuations

abstract: We study the problem of efficiently and fairly allocating a set of indivisible goods among agents with identical and additive valuations for the goods. The objective is to maximize the Nash social welfare, which is the geometric mean of the agents' valuations. While maximizing the Nash social welfare is NP-hard, a PTAS for this problem is presented by Nguyen and Rothe. The main contribution of this paper is to design a first additive PTAS for this problem, that is, we give a polynomial-time algorithm that maximizes the Nash social welfare within an additive error $\varepsilon v_{\rm max}$, where $\varepsilon$ is an arbitrary positive number and $v_{\rm max}$ is the maximum utility of a good. The approximation performance of our algorithm is better than that of a PTAS. The idea of our algorithm is simple; we apply a preprocessing and then utilize an additive PTAS for the target load balancing problem given recently by Buchem et al. However, a nontrivial amount of work is required to evaluate the additive error of the output.


title: Hyperparameter-free Continuous Learning for Domain Classification in Natural Language Understanding

abstract: Domain classification is the fundamental task in natural language understanding (NLU), which often requires fast accommodation to new emerging domains. This constraint makes it impossible to retrain all previous domains, even if they are accessible to the new model. Most existing continual learning approaches suffer from low accuracy and performance fluctuation, especially when the distributions of old and new data are significantly different. In fact, the key real-world problem is not the absence of old data, but the inefficiency to retrain the model with the whole old dataset. Is it potential to utilize some old data to yield high accuracy and maintain stable performance, while at the same time, without introducing extra hyperparameters? In this paper, we proposed a hyperparameter-free continual learning model for text data that can stably produce high performance under various environments. Specifically, we utilize Fisher information to select exemplars that can "record" key information of the original model. Also, a novel scheme called dynamical weight consolidation is proposed to enable hyperparameter-free learning during the retrain process. Extensive experiments demonstrate that baselines suffer from fluctuated performance and therefore useless in practice. On the contrary, our proposed model CCFI significantly and consistently outperforms the best state-of-the-art method by up to 20% in average accuracy, and each component of CCFI contributes effectively to overall performance.


title: Reducing bias and variance in quantile estimates with an exponential model

abstract: Percentiles and more generally, quantiles are commonly used in various contexts to summarize data. For most distributions, there is exactly one quantile that is unbiased. For distributions like the Gaussian that have the same mean and median, that becomes the medians. There are different ways to estimate quantiles from finite samples described in the literature and implemented in statistics packages. It is possible to leverage the memory-less property of the exponential distribution and design high quality estimators that are unbiased and have low variance and mean squared errors. Naturally, these estimators out-perform the ones in statistical packages when the underlying distribution is exponential. But, they also happen to generalize well when that assumption is violated.


title: On the Performance of Uplink ISAC Systems

abstract: This letter analyzes the performance of uplink integrated sensing and communications (ISAC) systems where communication users (CUs) and radar targets (RTs) share the same frequency band. A non-orthogonal multiple access (NOMA) protocol is adopted in the communication procedure of the ISAC system. Novel expressions are derived to characterize the outage probability, ergodic communication rate, and sensing rate. Besides, the diversity order and high signal-to-noise ratio (SNR) slope are unveiled to gain further insights. It is found that when achieving the same communication rate, the ISAC system enjoys a higher sensing rate than the conventional frequency-division sensing and communications (FDSAC) system where CUs and RTs share isolated bands. All the results are validated by numerical simulations and are in excellent agreement.


title: On the equilibrium of the Poisson-Nernst-Planck-Bikermann model equipping with the steric and correlation effects

abstract: The Poisson-Nernst-Planck-Bikermann (PNPB) model, in which the ions and water molecules are treated as different species with non-uniform sizes and valences with interstitial voids, can describe the steric and correlation effects in ionic solution neglected by the Poisson-Nernst-Planck and Poisson-Boltzmann theories with point charge assumption. In the PNPB model, the electric potential is governed by the fourth-order Poisson-Bikermann (4PBik) equation instead of the Poisson equation so that it can describe the correlation effect. What's more, the steric potential is included in the ionic and water fluxes as well as the equilibrium Fermi-like distributions which characterizes the steric effect quantitatively. In this work, after doing a nondimensionalization step, we analyze the self-adjointness and the kernel of the fourth-order operator of the 4PBik equation. Also, we show the positivity of the void volume function and the convexity of the free energy. Following these properties, the well-posedness of the PNPB model in equilibrium is given. Furthermore, because the PNPB model has an energy dissipated structure, we adopt a finite volume scheme which preserves the energy dissipated property at the semi-discrete level. After that, various numerical investigations are given to show the parameter dependence of the steric effect to the steady state.


title: Driving Conflict Resolution of Autonomous Vehicles at Unsignalized Intersections: A Differential Game Approach

abstract: Considering personalized driving preferences, a new decision-making framework is developed using a differential game approach to resolve the driving conflicts of autonomous vehicles (AVs) at unsignalized intersections. To realize human-like driving and personalized decision-making, driving aggressiveness is first defined for AVs. To improve driving safety, a Gaussian potential field model is built for collision risk assessment. Besides, in the proposed decision making framework, the collision risk assessment model is further used to reduce the computational complexity based on an event-triggered mechanism. In the construction of payoff function, both driving safety and passing efficiency are comprehensively considered, and the driving aggressiveness is also reflected. Two kinds of equilibrium solution to the differential game, i.e., the Nash equilibrium and Stackelberg equilibrium, are discussed and solved. Finally, the proposed decision making algorithm is tested through a hardware-in-the-loop testing platform, and its feasibility, effectiveness and real-time implementation performance are validated.


title: Ultralow-threshold green fluorescent protein laser based on high Q microbubble resonators

abstract: Biological lasers have attracted vast attention because of their potential medical application prospects, especially the low threshold biological laser, which can be used for ultrasensitive biological detection while ensuring that its luminous gain medium is not damaged by the high-energy pump light. By coupling the low concentration green fluorescent protein (GFP) solution with a high Q whispering gallery mode microbubble resonator, we managed to fabricate a miniature GFP laser with ultralow lasing threshold of 500 nJ/mm^2. The energy used to excite the GFP can be reduced to 380 fJ, two orders of magnitude lower than that of the lowest excitation energy GFP laser known. The Q value of the optical cavity in this biological laser is 5.3 x 10^7, the highest among GFP lasers at present. We further confirmed the long-term stability of the working characteristics of GFP laser for the first time and found that its optical characteristics can be maintained for at least 23 days. Finally, we measured the effects of different concentrations of fluorescent protein on the laser threshold. The data show that this biological laser can be used for a highly sensitive detection of GFP concentration.


title: Advancing 3D Medical Image Analysis with Variable Dimension Transform based Supervised 3D Pre-training

abstract: The difficulties in both data acquisition and annotation substantially restrict the sample sizes of training datasets for 3D medical imaging applications. As a result, constructing high-performance 3D convolutional neural networks from scratch remains a difficult task in the absence of a sufficient pre-training parameter. Previous efforts on 3D pre-training have frequently relied on self-supervised approaches, which use either predictive or contrastive learning on unlabeled data to build invariant 3D representations. However, because of the unavailability of large-scale supervision information, obtaining semantically invariant and discriminative representations from these learning frameworks remains problematic. In this paper, we revisit an innovative yet simple fully-supervised 3D network pre-training framework to take advantage of semantic supervisions from large-scale 2D natural image datasets. With a redesigned 3D network architecture, reformulated natural images are used to address the problem of data scarcity and develop powerful 3D representations. Comprehensive experiments on four benchmark datasets demonstrate that the proposed pre-trained models can effectively accelerate convergence while also improving accuracy for a variety of 3D medical imaging tasks such as classification, segmentation and detection. In addition, as compared to training from scratch, it can save up to 60% of annotation efforts. On the NIH DeepLesion dataset, it likewise achieves state-of-the-art detection performance, outperforming earlier self-supervised and fully-supervised pre-training approaches, as well as methods that do training from scratch. To facilitate further development of 3D medical models, our code and pre-trained model weights are publicly available at https://github.com/urmagicsmine/CSPR.


title: Attention-based Dual Supervised Decoder for RGBD Semantic Segmentation

abstract: Encoder-decoder models have been widely used in RGBD semantic segmentation, and most of them are designed via a two-stream network. In general, jointly reasoning the color and geometric information from RGBD is beneficial for semantic segmentation. However, most existing approaches fail to comprehensively utilize multimodal information in both the encoder and decoder. In this paper, we propose a novel attention-based dual supervised decoder for RGBD semantic segmentation. In the encoder, we design a simple yet effective attention-based multimodal fusion module to extract and fuse deeply multi-level paired complementary information. To learn more robust deep representations and rich multi-modal information, we introduce a dual-branch decoder to effectively leverage the correlations and complementary cues of different tasks. Extensive experiments on NYUDv2 and SUN-RGBD datasets demonstrate that our method achieves superior performance against the state-of-the-art methods.


title: Decision Making for Connected Automated Vehicles at Urban Intersections Considering Social and Individual Benefits

abstract: To address the coordination issue of connected automated vehicles (CAVs) at urban scenarios, a game-theoretic decision-making framework is proposed that can advance social benefits, including the traffic system efficiency and safety, as well as the benefits of individual users. Under the proposed decision-making framework, in this work, a representative urban driving scenario, i.e. the unsignalized intersection, is investigated. Once the vehicle enters the focused zone, it will interact with other CAVs and make collaborative decisions. To evaluate the safety risk of surrounding vehicles and reduce the complexity of the decision-making algorithm, the driving risk assessment algorithm is designed with a Gaussian potential field approach. The decision-making cost function is constructed by considering the driving safety and passing efficiency of CAVs. Additionally, decision-making constraints are designed and include safety, comfort, efficiency, control and stability. Based on the cost function and constraints, the fuzzy coalitional game approach is applied to the decision-making issue of CAVs at unsignalized intersections. Two types of fuzzy coalitions are constructed that reflect both individual and social benefits. The benefit allocation in the two types of fuzzy coalitions is associated with the driving aggressiveness of CAVs. Finally, the effectiveness and feasibility of the proposed decision-making framework are verified with three test cases.


title: Unlocking the Secrets of Software Configuration Landscapes-Ruggedness, Accessibility, Escapability, and Transferability

abstract: Modern software systems are often highly configurable to tailor varied requirements from diverse stakeholders. Understanding the mapping between configurations and the desired performance attributes plays a fundamental role in advancing the controllability and tuning of the underlying system, yet has long been a dark hole of knowledge due to their black-box nature and the enormous combinatorial configuration space. In this paper, using $86$M evaluated configurations from three real-world systems on $32$ running workloads, we conducted one of its kind fitness landscape analysis (FLA) for configurable software systems. With comprehensive FLA methods, we for the first time show that: $i)$ the software configuration landscapes are fairly rugged, with numerous scattered local optima; $ii)$ nevertheless, the top local optima are highly accessible, featuring significantly larger basins of attraction; $iii)$ most inferior local optima are escapable with simple perturbations; $iv)$ landscapes of the same system with different workloads share structural similarities, which can be exploited to expedite heuristic search. Our results also provide valuable insights on the design of tailored meta-heuristics for configuration tuning; our FLA framework along with the collected data, build solid foundation for future research in this direction.


title: Collisions of young disc galaxies in the early universe

abstract: In the local universe, disc galaxies are generally well evolved and Toomre stable. Their collisions with satellite galaxies naturally produce ring structures, which has been observed and extensively studied. In contrast, at high redshifts, disc galaxies are still developing and clumpy. These young galaxies interact with each other more frequently. However, the products of their collisions remain elusive. Here we systematically study the minor collisions between a clumpy galaxy and a satellite on orbits with different initial conditions, and find a new structure that is different from the local collisional ring galaxies. The clumpness of the target galaxy is fine-tuned by the values of Toomre parameter, $Q$. Interestingly, a thick and knotty ring structure is formed without any sign of a central nucleus in the target galaxy. Our results provide a promising explanation of the empty ring galaxy recently observed in R5519 at redshift $z=2.19$. Moreover, we show that the clumpy state of the collided galaxy exists for a much longer timescale, compared to isolated self-evolved clumpy galaxies that have been widely investigated.


title: Dynamic Coded Distributed Convolution for UAV-based Networked Airborne Computing

abstract: A single unmanned aerial vehicle (UAV) has limited computing resources and battery capacity, making it difficult to handle computationally intensive tasks such as the convolution operations in many deep learning applications. UAV-based networked airborne computing (NAC) is a promising technique to address this challenge. It allows UAVs within a range to share resources among each other via UAV-to-UAV communication links and carry out computation-intensive tasks in a collaborative manner. This paper investigates the vector convolution problem over the NAC architecture. A novel dynamic coded convolution strategy with privacy awareness is developed to address the unique features of UAV-based NAC, including node heterogeneity, frequently changing network typologies, time-varying communication and computation resources. Simulation results show its high efficiency and resilience to uncertain stragglers.


title: Malcolmson semigroups

abstract: Inspired by the construction of the Cuntz semigroup for a C*-algebra, we introduce the matrix Malcolmson semigroup and the finitely presented module Malcolmson semigroup for a unital ring. These two semigroups are shown to have isomorphic Grothendieck group in general and be isomorphic for von Neumann regular rings. For unital C*-algebras, it is shown that the matrix Malcolmson semigroup has a natural surjective order-preserving homomorphism to the Cuntz semigroup, every dimension function is a Sylvester matrix rank function, and there exist Sylvester matrix rank functions which are not dimension functions.


title: Non-homogeneous stochastic LQ control with regime switching and random coefficients

abstract: This paper is concerned with a general non-homogeneous stochastic linear quadratic (LQ) control problem with regime switching and random coefficients. We obtain the explicit optimal state feedback control and optimal value for this problem in terms of two systems of backward stochastic differential equations (BSDEs): one is the famous stochastic Riccati equation and the other one is a new linear multi-dimensional BSDE with all coefficients being unbounded. The existence and uniqueness of the solutions to these two systems of BSDEs are proved by means of BMO martingales and contraction mapping method. At last, the theory is applied to study an asset-liability management problem under the mean-variance criteria.


title: Absence of a critical nematic phase in the vicinity of the $\rm {SU}(3)$ ferromagnetic point for the one-dimensional spin-1 bilinear-biquadratic model

abstract: The absence of a critical nematic phase in the vicinity of the $\rm {SU}(3)$ ferromagnetic point for the one-dimensional spin-1 bilinear-biquadratic model is demonstrated by means of the tensor network algorithms. As it turns out, the phase transition from the ferromagnetic phase to the dimerized phase at the $\rm {SU}(3)$ ferromagnetic point is direct, but not of the first-order. The transition point features highly degenerate ground states, which are scale but not conformally invariant, with the fractal dimension being equal to 2. The conceptual developments in effective field theories - the fractal dimension and the counting rule of the Goldstone modes - play a pivotal role in clarifying the numerical artifacts arising from the finiteness of the bond dimension in the tensor network simulations, which are attributed to a proximity effect to a highly entangled scale or conformally invariant ground state.


title: Spectral Ultrasound Imaging of Speed-of-Sound and Attenuation Using an Acoustic Mirror

abstract: Speed-of-sound and attenuation of ultrasound waves vary in the tissues. There exist methods in the literature that allow for spatially reconstructing the distribution of group speed-of-sound (SoS) and frequency-dependent ultrasound attenuation (UA) using reflections from an acoustic mirror positioned at a known distance from the transducer. These methods utilize a conventional ultrasound transducer operating in pulse-echo mode and a calibration protocol with measurements in water. In this study, we introduce a novel method for reconstructing local SoS and UA maps as a function of acoustic frequency through Fourier-domain analysis and by fitting linear and power-law dependency models in closed form. Frequency-dependent SoS and UA together characterize the tissue comprehensively in spectral domain within the utilized transducer bandwidth. In simulations, our proposed methods are shown to yield low reconstruction error: 0.01 dB/cm.MHz^y for attenuation coefficient and 0.05 for the frequency exponent. For tissue-mimicking phantoms and ex-vivo bovine muscle samples, a high reconstruction contrast was achieved. Attenuation exponents in a gelatin-cellulose mixture and an ex-vivo bovine muscle sample were found to be, respectively, 1.3 and 0.6 on average. Linear dispersion of SoS in a gelatin-cellulose mixture and an ex-vivo bovine muscle sample were found to be, respectively, 1.3 and 4.0 m/s.MHz on average. These findings were reproducible when the inclusion and substrate materials were exchanged. Bulk loss modulus in the bovine muscle sample was computed to be approximately 4 times the bulk loss modulus in the gelatin-cellulose mixture. Such frequency-dependent characteristics of SoS and UA, and bulk loss modulus may therefore differentiate tissues as potential diagnostic biomarkers.