title: On the classification of 2-solvable Frobenius Lie algebras

abstract: We discuss the classification of 2-solvable Frobenius Lie algebras. We prove that every 2-solvable Frobenius Lie algebra splits as a semidirect sum of an n-dimensional vector space V and an n-dimensional maximal Abelian subalgebra (MASA) of the full space of endomorphisms of V. We supply a complete classification of 2-solvable Frobenius Lie algebras corresponding to nonderogatory endomorphisms, as well as those given by maximal Abelian nilpotent subalgebras (MANS) of class 2, hence of Kravchuk signature (n-1,0,1). In low dimensions, we classify all 2-solvable Frobenius Lie algebras in general up to dimension 8. We correct and complete the classification list of MASAs of sl(4, R) by Winternitz and Zassenhaus. As a biproduct, we give a simple proof that every nonderogatory endormorphism of a real vector space admits a Jordan form and also provide a new characterization of Cartan subalgebras of sl(n, R).


title: Automatically Assessing Students Performance with Smartphone Data

abstract: As the number of smart devices that surround us increases, so do the opportunities to create smart socially-aware systems. In this context, mobile devices can be used to collect data about students and to better understand how their day-to-day routines can influence their academic performance. Moreover, the Covid-19 pandemic led to new challenges and difficulties, also for students, with considerable impact on their lifestyle. In this paper we present a dataset collected using a smartphone application (ISABELA), which include passive data (e.g., activity and location) as well as self-reported data from questionnaires. We present several tests with different machine learning models, in order to classify students' performance. These tests were carried out using different time windows, showing that weekly time windows lead to better prediction and classification results than monthly time windows. Furthermore, it is shown that the created models can predict student performance even with data collected from different contexts, namely before and during the Covid-19 pandemic. SVMs, XGBoost and AdaBoost-SAMME with Random Forest were found to be the best algorithms, showing an accuracy greater than 78%. Additionally, we propose a pipeline that uses a decision level median voting algorithm to further improve the models' performance, by using historic data from the students to further improve the prediction. Using this pipeline, it is possible to further increase the performance of the models, with some of them obtaining an accuracy greater than 90%.


title: Understanding variability in HASDM to support space traffic management

abstract: With more commercial constellations planned, the number of Low Earth Orbit (LEO) objects is set to TRIPLE in two years. The growth in LEO objects directly increases the probability of unintentional collisions between objects due to accumulating space debris. Effective space traffic management needs accurate knowledge of the variability in upper atmosphere densities. Data assimilative modeling, where physics-based models are informed by measurements, supplies the best capability today for specifying and predicting space weather. The foundation for this modeling comes from the SET High Accuracy Satellite Drag Model (HASDM) density database. We report on studies to understand the variabilities in HASDM. We identify two thermospheric features from the SET HASDM density database. First, we have confirmed that the time scale is very rapid (1-hour) for molecular conduction above 200 km to transfer energy vertically in the thermosphere. This results couples with a longer timescale for conduction in the 100-200 km region where it takes up to 2 days for energy to transition across that region via molecular conduction. We now have an excellent picture of the timescales of energy change throughout the thermosphere. Second, the SET HASDM density data display a common range of variability despite the level of daily averaged geomagnetic activity as represented by Ap. During higher levels of daily averaged geomagnetic activity, the density mean and median values increase at all altitude levels. However, the relative range of variability is consistent from one daily average of Ap to the next. The reason is likely to be that the underlying pre-storm density of the thermosphere is determined by the solar EUV and FUV irradiances that create a thermal foundation of the upper atmosphere. The daily averaged geomagnetic activity is a perturbation upon that foundation.


title: Learning domain-specific causal discovery from time series

abstract: Causal discovery (CD) from time-varying data is important in neuroscience, medicine, and machine learning. Techniques for CD encompass randomized experiments, which are generally unbiased but expensive, and algorithms such as Granger causality, conditional-independence-based, structural-equation-based, and score-based methods that are only accurate under strong assumptions made by human designers. However, as demonstrated in other areas of machine learning, human expertise is often not entirely accurate and tends to be outperformed in domains with abundant data. In this study, we examine whether we can enhance domain-specific causal discovery for time series using a data-driven approach. Our findings indicate that this procedure significantly outperforms human-designed, domain-agnostic causal discovery methods, such as Mutual Information, VAR-LiNGAM, and Granger Causality on the MOS 6502 microprocessor, the NetSim fMRI dataset, and the Dream3 gene dataset. We argue that, when feasible, the causality field should consider a supervised approach in which domain-specific CD procedures are learned from extensive datasets with known causal relationships, rather than being designed by human specialists. Our findings promise a new approach toward improving CD in neural and medical data and for the broader machine learning community.


title: Increased radiation events discovered at commercial aviation altitudes

abstract: We show fifty-seven enhanced radiation level events taken from new measurements on commercial altitude (greater than 9 km) aircraft that are analogous to planes flying through radiation clouds. More accurately, the plane is likely to be flying through a bremsstrahlung-origin gamma-ray beam. Evidence points to the beam being produced at higher altitudes by incident relativistic electrons coming from the Van Allen radiation belts and that have been generated by electromagnetic ion cyclotron (EMIC) waves. The EMIC waves have been inferred by ground observatory, aircraft air, and satellite space observations as well as from modeling. We do not rule out other radiation sources associated with geomagnetic substorms and radiation belt coupling although these enhanced radiation events seem to frequently occur even during very minor geomagnetic disturbed conditions. These events show a dynamic and variable radiation environment at aircraft altitudes in a narrow magnetic latitude band (43-67 N, S; L-shells between 2 and 7). Observations are of dose rate enhancements that are statistically significant above the galactic cosmic ray (GCR) background. Measurements indicate that between 11-12 km during quiet geomagnetic conditions and at L-shell 4, the effective dose rate can be 32 percent higher than from GCRs alone. For the events themselves the mean effective dose rate is nearly double that for the background GCR level. The implication is that background exposure rates for North Atlantic (NAT), North Pacific (NoPAC), and the northern half of continental U.S. (CONUS) air traffic routes are typically higher than if one only considers GCRs. The net effect on aircraft crew and frequent flyers for these routes will be an increase in the monthly and annual exposures, which may have career-limiting health consequences.


title: DiffeoRaptor: Diffeomorphic Inter-modal Image Registration using RaPTOR

abstract: Purpose: Diffeomorphic image registration is essential in many medical imaging applications. Several registration algorithms of such type have been proposed, but primarily for intra-contrast alignment. Currently, efficient inter-modal/contrast diffeomorphic registration, which is vital in numerous applications, remains a challenging task. Methods: We proposed a novel inter-modal/contrast registration algorithm that leverages Robust PaTch-based cOrrelation Ratio (RaPTOR) metric to allow inter-modal/contrast image alignment and bandlimited geodesic shooting demonstrated in Fourier Approximated Lie Algebras (FLASH) algorithm for fast diffeomorphic registration. Results: The proposed algorithm, named DiffeoRaptor, was validated with three public databases for the tasks of brain and abdominal image registration while comparing the results against three state-of-the-art techniques, including FLASH, NiftyReg, and Symmetric image normalization (SyN). Conclusions: Our results demonstrated that DiffeoRaptor offered comparable or better registration performance in terms of registration accuracy. Moreover, DiffeoRaptor produces smoother deformations than SyN in inter-modal and contrast registration. The code for DiffeoRaptor is publicly available at https://github.com/nimamasoumi/DiffeoRaptor.


title: A drop model of integer and fractional quantum Hall effects

abstract: We present a drop model for integer and fractional quantum Hall effects (FQHE). We show that the two-dimensional electron gas breaks up into regions with filling factors {\nu} = 1 and {\nu} = 0 in disk geometry, and the formation of drops with a finite number of electrons is possible. Sequences of filling fractions are constructed on the basis of experimental data. For all sequences there are initial FQHE states, which correspond to a drop with five electrons. The remaining FQHE states are composite states of a drop with five electrons and one or more pairs of electrons.


title: It's Not Fairness, and It's Not Fair: The Failure of Distributional Equality and the Promise of Relational Equality in Complete-Information Hiring Games

abstract: Existing efforts to formulate computational definitions of fairness have largely focused on distributional notions of equality, where equality is defined by the resources or decisions given to individuals in the system. Yet existing discrimination and injustice is often the result of unequal social relations, rather than an unequal distribution of resources. Here, we show how optimizing for existing computational and economic definitions of fairness and equality fail to prevent unequal social relations. To do this, we provide an example of a self-confirming equilibrium in a simple hiring market that is relationally unequal but satisfies existing distributional notions of fairness. In doing so, we introduce a notion of blatant relational unfairness for complete-information games, and discuss how this definition helps initiate a new approach to incorporating relational equality into computational systems.


title: Hoxels: Fully 3-D Printed Soft Multi-Modal & Multi-Contact Haptic Voxel Displays for Enriched Tactile Information Transfer

abstract: Wrist-worn haptic interfaces can deliver a wide range of tactile cues for communication of information and interaction with virtual objects. Unlike fingertips, the wrist and forearm provide a considerably large area of skin that allows the placement of multiple haptic actuators as a display for enriching tactile information transfer with minimal encumbrance. Existing multi-degree-of-freedom (DoF) wrist-worn devices employ traditional rigid robotic mechanisms and electric motors that limit their versatility, miniaturization, distribution, and assembly. Alternative solutions based on soft elastomeric actuator arrays constitute only 1-DoF haptic pixels. Higher-DoF prototypes produce a single interaction point and require complex manual assembly processes, such as molding and gluing several parts. These approaches limit the construction of high-DoF compact haptic displays, repeatability, and customizability. Here we present a novel, fully 3D-printed, soft, wearable haptic display for increasing tactile information transfer on the wrist and forearm with 3-DoF haptic voxels, called hoxels. Our initial prototype comprises two hoxels that provide skin shear, pressure, twist, stretch, squeeze, and other arbitrary stimuli. Each hoxel generates force up to 1.6 N in the x and y-axes and up to 20 N in the z-axis. Our method enables the rapid fabrication of versatile and forceful haptic displays.


title: Driving Safety Prediction and Safe Route Mapping Using In-vehicle and Roadside Data

abstract: Risk assessment of roadways is commonly practiced based on historical crash data. Information on driver behaviors and real-time traffic situations is sometimes missing. In this paper, the Safe Route Mapping (SRM) model, a methodology for developing dynamic risk heat maps of roadways, is extended to consider driver behaviors when making predictions. An Android App is designed to gather drivers' information and upload it to a server. On the server, facial recognition extracts drivers' data, such as facial landmarks, gaze directions, and emotions. The driver's drowsiness and distraction are detected, and driving performance is evaluated. Meanwhile, dynamic traffic information is captured by a roadside camera and uploaded to the same server. A longitudinal-scanline-based arterial traffic video analytics is applied to recognize vehicles from the video to build speed and trajectory profiles. Based on these data, a LightGBM model is introduced to predict conflict indices for drivers in the next one or two seconds. Then, multiple data sources, including historical crash counts and predicted traffic conflict indicators, are combined using a Fuzzy logic model to calculate risk scores for road segments. The proposed SRM model is illustrated using data collected from an actual traffic intersection and a driving simulation platform. The prediction results show that the model is accurate, and the added driver behavior features will improve the model's performance. Finally, risk heat maps are generated for visualization purposes. The authorities can use the dynamic heat map to designate safe corridors and dispatch law enforcement and drivers for early warning and trip planning.


title: NGC 3314a/b and NGC 3312: Ram pressure stripping in Hydra I Cluster substructure

abstract: Cluster substructure and ram pressure stripping in individual galaxies are among the primary evidence for the ongoing growth of galaxy clusters as they accrete galaxies and groups from their surroundings. We present a multi-wavelength study of the center of the Hydra I galaxy cluster, including exquisite new MeerKAT HI and DECam Halpha imaging which reveal conclusive evidence for ram pressure stripping in NGC 3312, NGC 3314a and NGC 3314b through compressed HI contours, well-defined HI tails, and ongoing star formation in the stripped gas. In particular, we quantify the stripped material in NGC 3312 and NGC 3314a, which makes up between 8% and 35% of the gas still in the disk, is forming stars at ~0.5 M_Sun yr^-1, and extends ~30-60 kpc from the main disk. The estimated stellar mass in the tails is an order of magnitude less than the HI mass. A fourth "ring" galaxy at the same velocity does not show signs of ram pressure in HI. In addition, we use the HI and stellar morphologies, combined with a Beta model of the hot intracluster medium, to constrain the real distances of the galaxies to the cluster center, and we use the chance alignment of NGC 3314b behind NGC 3314a to break the degeneracy between whether the galaxies are in front or in back of the cluster. The drag seen in the HI tails supports our preferred scenario that NGC 3312 and NGC 3314a are moving towards us as part of a foreground substructure which has already passed its pericenter and is on "out fall" from the cluster. The high surviving HI content of the galaxies may suggest that the substructure/intragroup medium can protect them from the harshest effects of ram pressure, or that in fact the galaxies are on more tangential orbits.


title: Thermodynamic measurement of non-equilibrium stochastic processes in optical tweezers

abstract: Due to their versatility in investigating phenomena in microscopic scales, optical tweezers have been an excellent platform for studying stochastic thermodynamics. In this context, this work presents experimental measurements of the energetic cost of driven finite-time protocols using colloidal Brownian particles in harmonic potentials. For this simple model system, we compare the results of optimal and sub-optimal protocols in a time-dependent trap, controlling the trap stiffness with different modulation amplitudes and protocol times. We also calculate the Jarzynski relation for the stochastic trajectories from the experimental data as an independent consistency check.


title: A high-resolution spectroscopic search for multiple populations in the 2 Gyr old cluster NGC 1846

abstract: We present detailed C, O, Na, Mg, Si, Ca, Ti, V, Fe, Zr, Ba, and Eu abundance measurements for 20 red giant branch (RGB) stars in the LMC star cluster NGC 1846 ([Fe/H] = -0.59). This cluster is 1.95 Gyr old and lies just below the supposed lower age limit (2 Gyr) for the presence of multiple populations in massive star clusters. Our measurements are based on high and low-resolution VLT/FLAMES spectra combined with photometric data from HST. Corrections for non-local thermodynamic equilibrium effects are also included for O, Na, Mg, Si, Ca, Fe and Ba. Our results show that there is no evidence for multiple populations in this cluster based on the lack of any intrinsic star-to-star spread in the abundances of Na and O: we place 95 \% confidence limits on the intrinsic dispersion for these elements of $\leq 0.07$ and $\leq 0.09$ dex, respectively. However, we do detect a significant spread in the carbon abundances, indicating varying evolutionary mixing occurring on the RGB that increases with luminosity. Overall, the general abundance patterns for NGC 1846 are similar to those seen in previous studies of intermediate-age LMC star clusters and field stars.


title: Resonant Dynamics and the Instability of the Box Minkowski Model

abstract: We revisit the box Minkowski model [Phys. Rev. Lett. 109, 221101 (2012)] and provide a strong argument that, subject to the Dirichlet boundary condition, it is unstable toward black hole formation for arbitrarily small generic perturbations. Using weakly nonlinear perturbation theory, we derive the resonant system, which compared to systems with the anti-de Sitter asymptotics, has extra resonant terms, and study its properties, including conserved quantities. We find that the generic solution of the resonant system becomes singular in finite time. Surprisingly, the additional resonant interactions do not significantly affect the singular evolution. Furthermore, we find that the interaction coefficients take a relatively simple form, making this a particularly attractive toy model of turbulent gravitational instability.


title: A Neural Network Approach to Predict Gibbs Free Energy of Ternary Solid Solutions

abstract: We present a data-centric deep learning (DL) approach using neural networks (NNs) to predict the thermodynamics of ternary solid solutions. We explore how NNs can be trained with a dataset of Gibbs free energies computed from a CALPHAD database to predict ternary systems as a function of composition and temperature. We have chosen the energetics of the FCC solid solution phase in 226 binaries consisting of 23 elements at 11 different temperatures to demonstrate the feasibility. The number of binary data points included in the present study is 102,000. We select six ternaries to augment the binary dataset to investigate their influence on the NN prediction accuracy. We examine the sensitivity of data sampling on the prediction accuracy of NNs over selected ternary systems. It is anticipated that the current DL workflow can be further elevated by integrating advanced descriptors beyond the elemental composition and more curated training datasets to improve prediction accuracy and applicability.


title: Approaching the perfect diode limit through a nonlinear interface

abstract: We consider a system formed by two different segments of particles, coupled to thermal baths, one at each end, modeled by Langevin thermostats. The particles in each segment interact harmonically and are subject to an on-site potential, for which, three different types are considered, namely, harmonic, $\phi^4$, and Frenkel-Kontorova. The two segments are nonlinearly coupled, between interfacial particles, by means of a power-law potential, with exponent $\mu$, which we vary, scanning from subharmonic to superharmonic potentials, up to the infinite-square-well limit ($\mu\to\infty$). Thermal rectification is investigated by integrating the equations of motion and computing the heat fluxes. As a measure of rectification, we use the difference of the currents resulting from baths inversion, divided by their average. We find that rectification can be optimized by a given value of $\mu$ that depends on the bath temperatures and details of the chains. But, regardless of the type of on-site potential considered, the interfacial potential that produces maximal rectification approaches the infinite-square-well ($\mu\to\infty$), when reducing the average temperature of the baths. Our analysis of thermal rectification focuses on this regime, for which we complement numerical results with heuristic considerations.


title: Unidirectional propagation of spin waves excited by femtosecond laser pulses in a planar waveguide

abstract: Low-energy magnonic logic circuits are an actively developing field of modern magnetism. The potential benefits of magnonics for data processing are vitally dependent on units based on non-reciprocal propagation of spin waves in analogy to semiconductor diodes and transistors in electronics. In this article, we suggest the approach to realize non-reciprocal propagation of spin waves in a ferromagnetic metallic waveguide by exciting them with femtosecond laser pulse. Using micromagnetic modeling, we show that the combination of an external magnetic field and the position of the excitation laser spot across the waveguide leads to unidirectional propagation of the excited spin-wave packet. The results are crucial for the design of hybrid magnonic-photonic circuits in future generations of data processing devices.


title: Articulated 3D Human-Object Interactions from RGB Videos: An Empirical Analysis of Approaches and Challenges

abstract: Human-object interactions with articulated objects are common in everyday life. Despite much progress in single-view 3D reconstruction, it is still challenging to infer an articulated 3D object model from an RGB video showing a person manipulating the object. We canonicalize the task of articulated 3D human-object interaction reconstruction from RGB video, and carry out a systematic benchmark of five families of methods for this task: 3D plane estimation, 3D cuboid estimation, CAD model fitting, implicit field fitting, and free-form mesh fitting. Our experiments show that all methods struggle to obtain high accuracy results even when provided ground truth information about the observed objects. We identify key factors which make the task challenging and suggest directions for future work on this challenging 3D computer vision task. Short video summary at https://www.youtube.com/watch?v=5tAlKBojZwc


title: A SOCP-based ACOPF for Operational Scheduling of Three-phase Unbalanced Distribution Systems and Coordination of PV Smart Inverters

abstract: The proliferation of distributed energy resources (DERs) im-poses new challenges to distribution system operation, e.g., power quality issues. To overcome these challenges and enhance system operation, it is critical to effectively utilize all available resources and accurately characterize unbalanced distribution networks in operational tools. This paper proposes a convex second-order-cone programming (SOCP)-based AC optimal power flow (ACOPF) model for three-phase unbalanced distribution net-works, including smart inverters and Volt-VAr controller (VVC) devices. Reactive power-voltage (Q-V) characteristics of smart inverters of solar photovoltaic (PV) units are also modeled. More-over, the settings of Q-V characteristics of VVC are co-optimized within the proposed ACOPF, considering the allowable range of the IEEE 1547-2018 standard. Furthermore, dynamic analyses are conducted to verify the stability of optimal settings of VVC. The proposed models are tested on an actual 1747-node primary distribution feeder in Arizona. The results illustrate the effective-ness of the proposed ACOPF for unbalanced systems in provid-ing a global optimal solution while capturing the non-linearity and non-convexity of ACOPF. By co-optimizing settings, system operation is improved due to the flexibility of adjusting reactive power output from PV units with VVC. The time-domain simu-lations show that the optimal settings result in a stable system


title: An Improved Lower Bound for Matroid Intersection Prophet Inequalities

abstract: We consider prophet inequalities subject to feasibility constraints that are the intersection of $q$ matroids. The best-known algorithms achieve a $\Theta(q)$-approximation, even when restricted to instances that are the intersection of $q$ partition matroids, and with i.i.d.~Bernoulli random variables. The previous best-known lower bound is $\Theta(\sqrt{q})$ due to a simple construction of [Kleinberg-Weinberg STOC 2012] (which uses i.i.d.~Bernoulli random variables, and writes the construction as the intersection of partition matroids). We establish an improved lower bound of $q^{1/2+\Omega(1/\log \log q)}$ by writing the construction of [Kleinberg-Weinberg STOC 2012] as the intersection of asymptotically fewer partition matroids. We accomplish this via an improved upper bound on the product dimension of a graph with $p^p$ disjoint cliques of size $p$, using recent techniques developed in [Alon-Alweiss European Journal of Combinatorics 2020].


title: Infinitary Logic Has No Expressive Efficiency Over Finitary Logic

abstract: We can measure the complexity of a logical formula by counting the number of alternations between existential and universal quantifiers. Suppose that an elementary first-order formula $\varphi$ (in $\mathcal{L}_{\omega,\omega}$) is equivalent to a formula of the infinitary language $\mathcal{L}_{\infty,\omega}$ with $n$ alternations of quantifiers. We prove that $\varphi$ is equivalent to a finitary formula with $n$ alternations of quantifiers. Thus using infinitary logic does not allow us to express a finitary formula in a simpler way.


title: Product-form Hadamard triples and its spectral self-similar measures

abstract: In a previous work by {\L}aba and Wang, it was proved that whenever there is a Hadamard triple $(N,{\mathcal D},{\mathcal L})$, then the associated one-dimensional self-similar measure $\mu_{N,{\mathcal D}}$ generated by maps $N^{-1}(x+d)$ with $d\in{\mathcal D}$, is a spectral measure. In this paper, we introduce product-form digit sets for finitely many Hadamard triples $(N, {\mathcal A}_k, {\mathcal L}_k)$ by putting each triple into different scales of $N$. Our main result is to prove that the associated self-similar measure $\mu_{N,{\mathcal D}}$ is a spectral measure. This result allows us to show that product-form self-similar tiles are spectral sets as long as the tiles in the group ${\mathbb Z}_N$ obey the Coven-Meyerowitz $(T1)$, $(T2)$ tiling condition. Moreover, we show that all self-similar tiles with $N = p^{\alpha}q$ are spectral sets, answering a question by Fu, He and Lau in 2015. Finally, our results allow us to offer new singular spectral measures not generated by a single Hadamard triple. Such new examples allow us to classify all spectral self-similar measures generated by four equi-contraction maps, which will appear in a forthcoming paper.


title: Targeted attacks on the world air transportation network: impact on its regional structure

abstract: Perturbations of the air transport network have a tremendous impact on many sectors of activity. Therefore, a better understanding of its robustness to targeted attacks is essential. The literature reports numerous investigations at different levels (world, regional, airline) considering various targeted attack strategies. However, few works consider the mesoscopic organization of the network. To fill this gap, we rely on the component structure recently introduced in the network literature. Indeed, the world air transportation network possesses seven local components capturing the regional flights in localized areas. Its global component, distributed worldwide, capture the interregional routes. We investigate the impact of two influential attacks (Degree, Betweenness) on the world air transportation network at the regional and inter-regional levels. Results show that the seven regions are isolated one after the other from the world air transportation network. Additionally, although the Betweenness attack effectively splits the network, its impact on regional routes is less pronounced.


title: Boundedness of Wolff-type potentials and applications to PDEs

abstract: We provide a short proof of a sharp rearrangement estimate for a generalized version of a potential of Wolff--Havin--Maz'ya type. As a consequence, we prove a reduction principle for that integral operators, that is, a characterization of those rearrangement invariant spaces between which the potentials are bounded via a one-dimensional inequality of Hardy-type. Since the special case of the mentioned potential is known to control precisely very weak solutions to a broad class of quasilinear elliptic PDEs of non-standard growth, we infer the local regularity properties of the solutions in rearrangement invariant spaces for prescribed classes of data.


title: Classification of spectral self-similar measures with four-digit elements

abstract: Let $\mu$ be a self-similar measure generated by iterated function system of four maps of equal contraction ratio $0<\rho<1$. We study when $\mu$ is a spectral measure which means that it admits an exponential orthonormal basis $\{e^{2\pi i \lambda x}\}_{\lambda\in\Lambda}$ in $L^2(\mu)$. By combining previous results of many authors and a careful study of some new cases, we completely classify all spectral self-similar measures with four maps. Moreover, the case allows us to propose a modified {\L}aba-Wang conjecture concerning when the self-similar measures are spectral in general cases.


title: Non-minimal coupling Gauss-Bonnet holographic superconductors

abstract: By employing the gauge/gravity duality, we disclose the effects of the non-minimal coupling between the scalar and Maxwell fields on the holographic superconductors in the probe limit. As the background spacetime, we consider a five dimensional Gauss-Bonnet (GB) black hole with a flat horizon. We find out that the critical temperature decreases for larger values of GB coupling constant or smaller values of non-minimal coupling constant, which means that the condensation is harder to form. In addition, we study the electrical conductivity in the holographic setup. We show that at low frequency regime, Kramers-Kronig relation connects both parts of conductivity to each other, while at high frequency, two parts go up with constant slope.


title: Signal readout for Transition-Edge Sensor X-ray imaging spectrometers

abstract: Arrays of low-temperature microcalorimeters provide a promising technology for X-ray astrophysics: the imaging spectrometer. A camera with at least several thousand pixels, each of which has an energy-resolving power ($E/\Delta E\urss{FWHM}$) of a few thousand across a broad energy range (200~eV to 10~keV or higher), would be a revolutionary instrument for the study of energetic astrophysical objects and phenomena. Signal readout is a critical enabling technology. Multiplexed readout, in which signals from multiple pixels are combined into a single amplifier channel, allows a kilo pixel-scale microcalorimeter array to meet the stringent requirements for power consumption, mass, volume, and cooling capacity in orbit. This chapter describes three different multiplexed-readout technologies for transition-edge-sensor microcalorimeters: time-division multiplexing, frequency-domain multiplexing, and microwave-SQUID multiplexing. For each multiplexing technique, we present the basic method, discuss some design considerations and parameters, and show the state of the art. The chapter concludes with a brief discussion of future prospects.


title: Checklist Models for Improved Output Fluency in Piano Fingering Prediction

abstract: In this work we present a new approach for the task of predicting fingerings for piano music. While prior neural approaches have often treated this as a sequence tagging problem with independent predictions, we put forward a checklist system, trained via reinforcement learning, that maintains a representation of recent predictions in addition to a hidden state, allowing it to learn soft constraints on output structure. We also demonstrate that by modifying input representations -- which in prior work using neural models have often taken the form of one-hot encodings over individual keys on the piano -- to encode relative position on the keyboard to the prior note instead, we can achieve much better performance. Additionally, we reassess the use of raw per-note labeling precision as an evaluation metric, noting that it does not adequately measure the fluency, i.e. human playability, of a model's output. To this end, we compare methods across several statistics which track the frequency of adjacent finger predictions that while independently reasonable would be physically challenging to perform in sequence, and implement a reinforcement learning strategy to minimize these as part of our training loss. Finally through human expert evaluation, we demonstrate significant gains in performability directly attributable to improvements with respect to these metrics.


title: Space Optimal Vertex Cover in Dynamic Streams

abstract: We optimally resolve the space complexity for the problem of finding an $\alpha$-approximate minimum vertex cover ($\alpha$MVC) in dynamic graph streams. We give a randomised algorithm for $\alpha$MVC which uses $O(n^2/\alpha^2)$ bits of space matching Dark and Konrad's lower bound [CCC 2020] up to constant factors. By computing a random greedy matching, we identify `easy' instances of the problem which can trivially be solved by returning the entire vertex set. The remaining `hard' instances, then have sparse induced subgraphs which we exploit to get our space savings and solve $\alpha$MVC. Achieving this type of optimality result is crucial for providing a complete understanding of a problem, and it has been gaining interest within the dynamic graph streaming community. For connectivity, Nelson and Yu [SODA 2019] improved the lower bound showing that $\Omega(n \log^3 n)$ bits of space is necessary while Ahn, Guha, and McGregor [SODA 2012] have shown that $O(n \log^3 n)$ bits is sufficient. For finding an $\alpha$-approximate maximum matching, the upper bound was improved by Assadi and Shah [ITCS 2022] showing that $O(n^2/\alpha^3)$ bits is sufficient while Dark and Konrad [CCC 2020] have shown that $\Omega(n^2/\alpha^3)$ bits is necessary. The space complexity, however, remains unresolved for many other dynamic graph streaming problems where further improvements can still be made. \end{abstract}


title: Robust Category-Level 6D Pose Estimation with Coarse-to-Fine Rendering of Neural Features

abstract: We consider the problem of category-level 6D pose estimation from a single RGB image. Our approach represents an object category as a cuboid mesh and learns a generative model of the neural feature activations at each mesh vertex to perform pose estimation through differentiable rendering. A common problem of rendering-based approaches is that they rely on bounding box proposals, which do not convey information about the 3D rotation of the object and are not reliable when objects are partially occluded. Instead, we introduce a coarse-to-fine optimization strategy that utilizes the rendering process to estimate a sparse set of 6D object proposals, which are subsequently refined with gradient-based optimization. The key to enabling the convergence of our approach is a neural feature representation that is trained to be scale- and rotation-invariant using contrastive learning. Our experiments demonstrate an enhanced category-level 6D pose estimation performance compared to prior work, particularly under strong partial occlusion.


title: dS${}_4$ universe emergent from Kerr-AdS${}_5$ spacetime: bubble nucleation catalyzed by a black hole

abstract: The emergence of a four-dimensional de Sitter (dS${}_4$) universe on an expanding bubble in the five-dimensional anti-de Sitter (AdS${}_5$) background has been suggested as a possible cosmological scenario. It is motivated by the difficulties in the realization of a stable de Sitter vacua in string theory. The bubble can be nucleated in a meta-stable pure AdS${}_5$ spacetime, but it is known that a pure AdS spacetime is non-perturbatively unstable. It means that the pure AdS${}_5$ background is an idealized situation, and in realistic situations, non-linear perturbations in AdS may lead to the formation of black holes due to the gravitational turbulent instability. To investigate how the proposed scenario works in a more realistic situation, we here study the nucleation process of a vacuum bubble in the Kerr-AdS${}_5$ spacetime. Especially we investigate conditions sufficient to ensure the nucleation of a vacuum bubble with a rotating black hole and how the black hole affects the transition rate. We find that even in the Kerr-AdS${}_5$ spacetime, a quasi-dS${}_4$ expansion can be realized on the nucleated vacuum bubble without contradicting the de Sitter swampland conjectures.


title: Phase Dependent Loss Analysis for RIS Systems

abstract: In this paper we focus on phase dependent loss (PDL), an important aspect of reconfigurable intelligent surfaces (RIS) where the signals reflected from the RIS elements are attenuated by varying amounts depending on the phase rotation provided by the element. To evaluate the effects of PDL, we analyse the SNR of a SIMO RIS-aided wireless link. We assume that the channel between the base station (BS) and RIS is a rank-1 LOS channel while the user (UE)-BS and UE-RIS are correlated Rayleigh channels. The RIS design is optimal in the absence of PDL and maximizes the SNR in this scenario. Specifically, we derive a closed form expression for the mean SNR in the presence of PDL. The attenuation function used for PDL was developed from a detailed circuit analysis of RIS elements. Leveraging the derived results, we analytically characterise the impact of PDL on the mean SNR. Numerical results are conducted to validate the derived expressions and verify the analysis.


title: SENDER: SEmi-Nonlinear Deep Efficient Reconstructor for Extraction Canonical, Meta, and Sub Functional Connectivity in the Human Brain

abstract: Deep Linear and Nonlinear learning methods have already been vital machine learning methods for investigating the hierarchical features such as functional connectivity in the human brain via functional Magnetic Resonance signals; however, there are three major shortcomings: 1). For deep linear learning methods, although the identified hierarchy of functional connectivity is easily explainable, it is challenging to reveal more hierarchical functional connectivity; 2). For deep nonlinear learning methods, although non-fully connected architecture reduces the complexity of neural network structures that are easy to optimize and not vulnerable to overfitting, the functional connectivity hierarchy is difficult to explain; 3). Importantly, it is challenging for Deep Linear/Nonlinear methods to detect meta and sub-functional connectivity even in the shallow layers; 4). Like most conventional Deep Nonlinear Methods, such as Deep Neural Networks, the hyperparameters must be tuned manually, which is time-consuming. Thus, in this work, we propose a novel deep hybrid learning method named SEmi-Nonlinear Deep Efficient Reconstruction (SENDER), to overcome the aforementioned shortcomings: 1). SENDER utilizes a multiple-layer stacked structure for the linear learning methods to detect the canonical functional connectivity; 2). SENDER implements a non-fully connected architecture conducted for the nonlinear learning methods to reveal the meta-functional connectivity through shallow and deeper layers; 3). SENDER incorporates the proposed background components to extract the sub-functional connectivity; 4). SENDER adopts a novel rank reduction operator to implement the hyperparameters tuning automatically. To further validate the effectiveness, we compared SENDER with four peer methodologies using real functional Magnetic Resonance Imaging data for the human brain.


title: BFS 10: A nascent bipolar H II region in a filamentary molecular cloud

abstract: We present a study of the compact blister HII region BFS 10 and its highly filamentary molecular cloud. We utilize 12CO observations from the Five College Radio Astronomy Observatory to determine the distance, size, mass, and velocity structure of the molecular cloud. Infrared observations obtained from the UKIRT Infrared Deep Sky Survey and the Spitzer Infrared Array Camera, as well as radio continuum observations from the Canadian Galactic Plane Survey, are used to extract information about the central HII region. This includes properties such as the ionizing photon rate and infrared luminosity, as well as identifying a rich embedded star cluster associated with the central O9 V star. Time-scales regarding the expansion rate of the HII region and lifetime of the ionizing star reveal a high likelihood that BFS 10 will develop into a bipolar HII region. Although the region is expected to become bipolar, we conclude from the clouds velocity structure that there is no evidence to support the idea that star formation at the location of BFS 10 was triggered by two colliding clouds. A search for embedded young stellar objects (YSOs) within the molecular cloud was performed. Two distinct regions of YSOs were identified; one region associated with the rich embedded cluster and another sparse group associated with an intermediate mass YSO.


title: Leveraging Large (Visual) Language Models for Robot 3D Scene Understanding

abstract: Abstract semantic 3D scene understanding is a problem of critical importance in robotics. As robots still lack the common-sense knowledge about household objects and locations of an average human, we investigate the use of pre-trained language models to impart common sense for scene understanding. We introduce and compare a wide range of scene classification paradigms that leverage language only (zero-shot, embedding-based, and structured-language) or vision and language (zero-shot and fine-tuned). We find that the best approaches in both categories yield $\sim 70\%$ room classification accuracy, exceeding the performance of pure-vision and graph classifiers. We also find such methods demonstrate notable generalization and transfer capabilities stemming from their use of language.


title: Lorentz violation in a family of $(1+2)$-dimensional wormhole

abstract: We study neutral Dirac particles confined to a family of $(1+2)$-dimensional wormholes arising from surfaces of revolution with a constant negative Gaussian curvature, in the framework of a comprehensive effective field theory allowing deviations from Lorentz symmetry: the gravitational standard-model extension (SME). The Dirac particles are described with a fixed background tensor field that rules the Lorentz symmetry violation in the CPT-even gauge sector of SME. We implement this geometrical approach by incorporating non-minimal couplings that possibly induce a Lorentz-symmetry violating term in the modified Dirac equation. We also analyze the exact analytical solutions of the corresponding modified Dirac equation in the presence of a peculiar external magnetic field.


title: Coherent control of a nuclear spin via interactions with a rare-earth ion in the solid-state

abstract: Individually addressed Er$^{3+}$ ions in solid-state hosts are promising resources for quantum repeaters, because of their direct emission in the telecom band and compatibility with silicon photonic devices. While the Er$^{3+}$ electron spin provides a spin-photon interface, ancilla nuclear spins could enable multi-qubit registers with longer storage times. In this work, we demonstrate coherent coupling between the electron spin of a single Er$^{3+}$ ion and a single $I=1/2$ nuclear spin in the solid-state host crystal, which is a fortuitously located proton ($^1$H). We control the nuclear spin using dynamical decoupling sequences applied to the electron spin, implementing one- and two-qubit gate operations. Crucially, the nuclear spin coherence time exceeds the electron coherence time by several orders of magnitude, because of its smaller magnetic moment. These results provide a path towards combining long-lived nuclear spin quantum registers with telecom-wavelength emitters for long-distance quantum repeaters.


title: Search for a Black Hole Binary in Gaia DR3 Astrometric Binary Stars with Spectroscopic Data

abstract: We report the discovery of a candidate binary system consisting of a black hole (BH) and a red giant branch star from the Gaia DR3. This binary system is discovered from 64108 binary solutions for which both astrometric and spectroscopic data are available. For this system, the astrometric and spectroscopic solutions are consistent with each other, making this system a confident candidate of a BH binary. The primary (visible) star in this system, Gaia DR3 5870569352746779008, is a red giant branch whose mass is quite uncertain. Fortunately, albeit the uncertainty of the primary's mass, we can estimate the mass of the secondary (dark) object in this system to be $>5.68$ $M_\odot$ with a probability of $99$ \%, based on the orbital parameters. The mass of the secondary object is much larger than the maximum neutron star mass ($\sim 2.0$ $M_\odot$), which indicates that the secondary object is likely a BH. We argue that, if this dark object is not a BH, this system must be a more exotic system, in which the primary red giant branch star orbits around a quadruple star system (or a higher-order multiple star system) whose total mass is more than $5.68$ $M_\odot$. If this is a genuine BH binary, this has the longest period ($1352.22 \pm 45.81$ days) among discovered so far. As our conclusion entirely relies on the Gaia DR3 data, independent confirmation with follow-up observations (e.g. long-term spectra) is desired.


title: Bullshark: The Partially Synchronous Version

abstract: The purpose of this manuscript is to describe the deterministic partially synchronous version of Bullshark in a simple and clean way. This result is published in CCS 2022, however, the description there is less clear because it uses the terminology of the full asynchronous Bullshark. The CCS version ties the description of the asynchronous and partially synchronous versions of Bullshark since it targets an academic audience. Due to the recent interest in DAG-based BFT protocols, we provide a separate and simple description of the partially synchronous version that targets a more general audience. We focus here on the DAG ordering logic. For more details about the asynchronous version, garbage collection, fairness, proofs, related work, evaluation, and efficient DAG implementation please refer to the fullpaper. An intuitive extended summary can be found in the "DAG meets BFT" blogpost.


title: Enhancing Protocol Privacy with Blind Calibration of Quantum Devices

abstract: To mitigate the noise in quantum channels, calibration is used to tune the devices to minimize error. Generally, calibration is performed by transmitting pre-agreed-upon calibration states and determining an error cost so the two parties can tune their devices accordingly. The calibration states can be the same ones used for the desired protocol, and so an untrusted party could potentially learn which protocol is being performed by gathering knowledge of the calibration states and cost function. Here, we assume privacy of the protocol is the goal and therefore the receiver should not be allowed to determine the protocol states. We limit the information that is revealed to the receiver, and in this regard, we propose a simple protocol that hides the calibration states and cost function from the receiver, but still allows for calibration to be performed efficiently, thereby increasing the privacy of the protocol. We show various numerical results demonstrating the ability of the protocol under various channel noise parameters and communication scenarios.


title: Bending the Future: Autoregressive Modeling of Temporal Knowledge Graphs in Curvature-Variable Hyperbolic Spaces

abstract: Recently there is an increasing scholarly interest in time-varying knowledge graphs, or temporal knowledge graphs (TKG). Previous research suggests diverse approaches to TKG reasoning that uses historical information. However, less attention has been given to the hierarchies within such information at different timestamps. Given that TKG is a sequence of knowledge graphs based on time, the chronology in the sequence derives hierarchies between the graphs. Furthermore, each knowledge graph has its hierarchical level which may differ from one another. To address these hierarchical characteristics in TKG, we propose HyperVC, which utilizes hyperbolic space that better encodes the hierarchies than Euclidean space. The chronological hierarchies between knowledge graphs at different timestamps are represented by embedding the knowledge graphs as vectors in a common hyperbolic space. Additionally, diverse hierarchical levels of knowledge graphs are represented by adjusting the curvatures of hyperbolic embeddings of their entities and relations. Experiments on four benchmark datasets show substantial improvements, especially on the datasets with higher hierarchical levels.


title: Stable large deviations for deterministic dynamical systems

abstract: We obtain large deviations for a class of dependent random variables in the domain of attraction of an $\alpha$-stable law, $\alpha\in (0, 1)\cup (1, 2]$. This class includes ergodic sums of observables in the domain of attraction of an $\alpha$-stable law driven by Gibbs-Markov maps.


title: Emergent universe: tensor perturbations within the CSL framework

abstract: We calculate the primordial power spectrum of tensor perturbations, within the emergent universe scenario, incorporating a version of the Continuous Spontaneous Localization (CSL) model as a mechanism capable of: breaking the initial symmetries of the system, generating the perturbations, and also achieving the quantum-to-classical transition of such perturbations. We analyze how the CSL model modifies the characteristics of the B-mode CMB polarization power spectrum, and we explore their differences with current predictions from the standard concordance cosmological model. We have found that, regardless of the CSL mechanism, a confirmed detection of primordial B-modes that fits to a high degree of precision the shape of the spectrum predicted from the concordance $\Lambda$CDM model, would rule out one of the distinguishing features of the emergent universe. Namely, achieving a best fit to the data consistent with the suppression observed in the low multipoles of the angular power spectrum of the temperature anisotropy of the CMB. On the contrary, a confirmed detection that accurately exhibits a suppression of the low multipoles in the B-modes, would be a new feature that could be considered as a favorable evidence for the emergent scenario. In addition, we have been able to establish an upper bound on the collapse parameter of the specific CSL model used.


title: Reliability and robustness of oscillations in some slow-fast chaotic systems

abstract: A variety of nonlinear models of biological systems generate complex chaotic behaviors that contrast with biological homeostasis, the observation that many biological systems prove remarkably robust in the face of changing external or internal conditions. Motivated by the subtle dynamics of cell activity in a crustacean central pattern generator (CPG), this paper proposes a refinement of the notion of chaos that reconciles homeostasis and chaos in systems with multiple timescales. We show that systems displaying relaxation cycles while going through chaotic attractors generate chaotic dynamics that are regular at macroscopic timescales and are thus consistent with physiological function. We further show that this relative regularity may break down through global bifurcations of chaotic attractors such as crises, beyond which the system may also generate erratic activity at slow timescales. We analyze these phenomena in detail in the chaotic Rulkov map, a classical neuron model known to exhibit a variety of chaotic spike patterns. This leads us to propose that the passage of slow relaxation cycles through a chaotic attractor crisis is a robust, general mechanism for the transition between such dynamics. We validate this numerically in three other models: a simple model of the crustacean CPG neural network, a discrete cubic map, and a continuous flow.


title: User Scheduling and Trajectory Optimization for Energy-Efficient IRS-UAV Networks with SWIPT

abstract: This paper investigates user scheduling and trajectory optimization for a network supported by an intelligent reflecting surface (IRS) mounted on an unmanned aerial vehicle (UAV). The IRS is powered via the simultaneous wireless information and power transfer (SWIPT) technique. The IRS boosts users' uplink signals to improve the network's longevity and energy efficiency. It simultaneously harvests energy with a non-linear energy harvesting circuit and reflects the incident signals by controlling its reflection coefficients and phase shifts. The trajectory of the UAV impacts the efficiency of these operations. We minimize the maximum energy consumption of all users by joint optimization of user scheduling, UAV trajectory/velocity, and IRS phase shifts/reflection coefficients while guaranteeing each user's minimum required data rate and harvested energy of the IRS. We first derive a closed-form solution for the IRS phase shifts and then address the non-convexity of the critical problem. Finally, we propose an alternating optimization (AO) algorithm to optimize the remaining variables iteratively. We demonstrate the gains over several benchmarks. For instance, with a 50-element IRS, min-max energy consumption can be as low as 0.0404 (Joule), a 7.13% improvement over the No IRS case (achieving 0.0435 (Joule)). We also show that IRS-UAV without EH performs best at the cost of circuit power consumption of the IRS (a 20% improvement over the No IRS case).


title: On MDS Condition and Erased Lines Recovery of Generalized Expanded-Blaum-Roth Codes and Generalized Blaum-Roth Codes

abstract: Generalized Expanded-Blaum-Roth (GEBR) codes [1] are designed for large-scale distributed storage systems that have larger recoverability for single-symbol failures, multi-column failures and multi-row failures, compared with locally recoverable codes (LRC). GEBR codes encode an $\alpha\times k$ information array into a $p\tau\times (k+r)$ array such that lines of slope $i$ with $0\leq i\leq r-1$ have even parity and each column contains $p\tau-\alpha$ local parity symbols, where $p$ is an odd prime and $k+r\leq p\tau$. Necessary and sufficient conditions for GEBR codes to be $(n,k)$ recoverable (i.e., any $k$ out of $n=k+r$ columns can retrieve all information symbols) are given in [2] for $\alpha=(p-1)\tau$. However, the $(n,k)$ recoverable condition of GEBR codes is unknown when $\alpha<(p-1)\tau$. In this paper, we present the $(n,k)$ recoverable condition for GEBR codes for $\alpha< (p-1)\tau$. In addition, we present a sufficient condition for enabling GEBR codes to recover some erased lines of any slope $i$ ($0\leq i\leq p\tau-1$) for any parameter $r$ when $\tau$ is a power of $p$. Moreover, we present the construction of Generalized Blaum-Roth (GBR) codes that encode an $\alpha\times k$ information array into an $\alpha\times (k+r)$ array. We show that GBR codes share the same MDS condition as the $(n,k)$ recoverable condition of GEBR codes, and we also present a sufficient condition for GBR codes to recover some erased lines of any slope $i$ ($0\leq i\leq \alpha-1$).


title: Input Delay Compensation for Neuron Growth by PDE Backstepping

abstract: Neurological studies show that injured neurons can regain their functionality with therapeutics such as Chondroitinase ABC (ChABC). These therapeutics promote axon elongation by manipulating the injured neuron and its intercellular space to modify tubulin protein concentration. This fundamental protein is the source of axon elongation, and its spatial distribution is the state of the axon growth dynamics. Such dynamics often contain time delays because of biological processes. This work introduces an input delay compensation with state-feedback control law for axon elongation by regulating tubulin concentration. Axon growth dynamics with input delay is modeled as coupled parabolic diffusion-reaction-advection Partial Differential Equations (PDE) with a boundary governed by Ordinary Differential Equations (ODE), associated with a transport PDE. A novel feedback law is proposed by using backstepping method for input-delay compensation. The gain kernels are provided after transforming the interconnected PDE-ODE-PDE system to a target system. The stability analysis is presented by applying Lyapunov analysis to the target system in the spatial H1-norm, thereby the local exponential stability of the original error system is proved by using norm equivalence.


title: Nonlinear variable exponent Picone identity and $p(x)$-sub-Laplacian first eigenvalue for general vector fields

abstract: In this paper, we establish a new generalized nonlinear variable exponent Picone identities for $p(x)$-sub-Laplacian. As applications we prove uniqueness, simplicity, momotonicity and isolatedness of the first nontrivial Dirichlet eigenvalue of $p(x)$-sub-Laplacian with respect to the general vector fields. Further applications yield Hardy type inequalities and Caccioppolli estimates with variable exponents.


title: Dynamics of closed quantum systems under stochastic resetting

abstract: We consider a closed quantum system subject to a stochastic resetting process. The generic expression for the resulting density operator is formulated for arbitrary resetting dynamics, fully characterised by the distribution of times between consecutive reset events. We analyse the behaviour of the state in the long-time regime, as well as the evolution of relevant quantities in the study of quantum coherence and closed- vs open-system dynamics. Our general results are complemented with examples involving paradigmatic resetting distributions, and special attention is paid to the two-level (qubit) system, in which we elucidate the effects of the renewal process on the speed of evolution toward an orthogonal state, and gain insight into the resetting applied to open systems.


title: Proprioceptive State Estimation of Legged Robots with Kinematic Chain Modeling

abstract: Legged robot locomotion is a challenging task due to a myriad of sub-problems, such as the hybrid dynamics of foot contact and the effects of the desired gait on the terrain. Accurate and efficient state estimation of the floating base and the feet joints can help alleviate much of these issues by providing feedback information to robot controllers. Current state estimation methods are highly reliant on a conjunction of visual and inertial measurements to provide real-time estimates, thus being handicapped in perceptually poor environments. In this work, we show that by leveraging the kinematic chain model of the robot via a factor graph formulation, we can perform state estimation of the base and the leg joints using primarily proprioceptive inertial data. We perform state estimation using a combination of preintegrated IMU measurements, forward kinematic computations, and contact detections in a factor-graph based framework, allowing our state estimate to be constrained by the robot model. Experimental results in simulation and on hardware show that our approach out-performs current proprioceptive state estimation methods by 27% on average, while being generalizable to a variety of legged robot platforms. We demonstrate our results both quantitatively and qualitatively on a wide variety of trajectories.


title: Planar Rotational Equilibria of Two Non-identical Microswimmers

abstract: We study a planar motion of two hydrodynamically coupled non-identical micro-swimmers, each modelled as a force dipole with intrinsic self-propulsion. Using the method of images, we demonstrate that our results remain equally applicable at a stress-free liquid-gas interface as in the bulk of a fluid. A closed analytical form of circular periodic orbits for a pair of two pullers and a pair of two pushers is presented and their linear stability is determined with respect to two- and three-dimensional perturbations. A universal stability diagram of the orbits with respect to two-dimensional perturbations is constructed and it is shown that two non-identical pushers or two non-identical pullers moving at a stress-free interface may form a stable rotational equilibrium. For two non-identical pullers, we find stable quasi-periodic localized states, associated with the motion on a two-dimensional torus in the phase space. Stable tori are born from circular periodic orbits as the result of a torus bifurcation. All stable equilibria in two dimensions are shown to be monotonically unstable with respect to three-dimensional perturbations.


title: Nonlinear Indentation of Second-order Hyperelastic Materials

abstract: The classical problem of indentation on an elastic substrate has found new applications in the field of the Atomic Force Microscopy. However, linearly elastic indentation models are not sufficiently accurate to predict the force-displacement relationship at large indentation depths. For hyperelastic materials, such as soft polymers and biomaterials, a nonlinear indentation model is needed. In this paper, we use second-order elasticity theory to capture larger amplitude deformations and material nonlinearity. We provide a general solution for the contact problem for deformations that are second-order in indentation amplitude with arbitrary indenter profiles. Moreover, we derive analytical solutions by using either parabolic or quartic surfaces to mimic a spherical indenter. The analytical prediction for a quartic surface agrees well with finite element simulations using a spherical indenter for indentation depths on the order of the indenter radius. In particular, the relative error between the two approaches is less than 1% for an indentation depth equal to the indenter radius, an order of magnitude less than that observed with models which are either first-order in indentation amplitude or those which are second-order in indentation amplitude but with a parabolic indenter profile.


title: Practical Sketching-Based Randomized Tensor Ring Decomposition

abstract: Based on sketching techniques, we propose two randomized algorithms for tensor ring (TR) decomposition. Specifically, by defining new tensor products and investigating their properties, we apply the Kronecker sub-sampled randomized Fourier transform and TensorSketch to the alternating least squares problems derived from the minimization problem of TR decomposition to devise the randomized algorithms. From the former, we find an algorithmic framework based on random projection for randomized TR decomposition. Theoretical results on sketch size and complexity analyses for the two algorithms are provided. We compare our proposals with the state-of-the-art method using both synthetic and real data. Numerical results show that they have quite decent performance in accuracy and computing time


title: Noise Dynamics of Quantum Annealers: Estimating the Effective Noise Using Idle Qubits

abstract: Quantum annealing is a type of analog computation that aims to use quantum mechanical fluctuations in search of optimal solutions of QUBO (quadratic unconstrained binary optimization) or, equivalently, Ising problems. Since NP-hard problems can in general be mapped to Ising and QUBO formulations, the quantum annealing paradigm has the potential to help solve various NP-hard problems. Current quantum annealers, such as those manufactured by D-Wave Systems, Inc., have various practical limitations including the size (number of qubits) of the problem that can be solved, the qubit connectivity, and error due to the environment or system calibration, which can reduce the quality of the solutions. Typically, for an arbitrary problem instance, the corresponding QUBO (or Ising) structure will not natively embed onto the available qubit architecture on the quantum chip. Thus, in these cases, a minor embedding of the problem structure onto the device is necessary. However, minor embeddings on these devices do not always make use of the full sparse chip hardware graph, and a large portion of the available qubits stay unused during quantum annealing. In this work, we embed a disjoint random QUBO on the unused parts of the chip alongside the QUBO to be solved, which acts as an indicator of the solution quality of the device over time. Using experiments on three different D-Wave quantum annealers, we demonstrate that (i) long term trends in solution quality exist on the D-Wave device, and (ii) the unused qubits can be used to measure the current level of noise of the quantum system.


title: Social-PatteRNN: Socially-Aware Trajectory Prediction Guided by Motion Patterns

abstract: As robots across domains start collaborating with humans in shared environments, algorithms that enable them to reason over human intent are important to achieve safe interplay. In our work, we study human intent through the problem of predicting trajectories in dynamic environments. We explore domains where navigation guidelines are relatively strictly defined but not clearly marked in their physical environments. We hypothesize that within these domains, agents tend to exhibit short-term motion patterns that reveal context information related to the agent's general direction, intermediate goals and rules of motion, e.g., social behavior. From this intuition, we propose Social-PatteRNN, an algorithm for recurrent, multi-modal trajectory prediction that exploits motion patterns to encode the aforesaid contexts. Our approach guides long-term trajectory prediction by learning to predict short-term motion patterns. It then extracts sub-goal information from the patterns and aggregates it as social context. We assess our approach across three domains: humans crowds, humans in sports and manned aircraft in terminal airspace, achieving state-of-the-art performance.


title: Super-phenomena in arbitrary quantum observables

abstract: Superoscillations occur when a globally band-limited function locally oscillates faster than its highest Fourier coefficient. We generalize this effect to arbitrary quantum mechanical operators as a weak value, where the preselected state is a superposition of eigenstates of the operator with eigenvalues bounded to a range, and the postselection state is a local position. Superbehavior of this operator occurs whenever the operator's weak value exceeds its eigenvalue bound. We give illustrative examples of this effect for total angular momentum and energy. In the later case, we demonstrate a sequence of harmonic oscillator potentials where a finite energy state converges everywhere on the real line, using only bounded superpositions of states whose asymptotic energy vanishes - "energy out of nothing". This limit requires postselecting the particle in a region whose size diverges in the considered limit. We further show that superenergy behavior implies that the state superoscillates in time with a rate given by the superenergy divided by the reduced Planck's constant. This example demonstrates the possibility of mimicking a high-energy state with coherent superpositions of nearly zero-energy states for as wide a spatial region as desired. We provide numerical evidence of these features to further bolster and elucidate our claims.


title: Efficient Optimization Techniques for RIS-aided Wireless Systems

abstract: The objective of this paper is to develop simple techniques to enhance the performance of multi-user RIS aided wireless systems. Specifically, we develop a novel technique called \textit{channel separation} which provides a better understanding of how the RIS phases affect the uplink sum rate and sum rates for ZF and MMSE linear receivers. Leveraging channel separation, we propose a simple iterative algorithm to improve the uplink sum rate and the sum rates of ZF and MMSE linear receivers when discrete RIS phases are considered. For continuous RIS phases, we derive simple closed form solutions to enhance the uplink sum rate and reduce the total mean square error of the MMSE combiner. The latter metric is a tractable alternative to maximizing sum rates for ZF and MMSE. Numerical simulations are performed for all optimization techniques and the effectiveness of each technique is compared to a full numerical optimization procedure, namely an interior point (IP) algorithm.


title: A deep Aurum reservoir: Stable compounds of two bulk-immiscible metals under pressure

abstract: The Earth's crust is known to be depleted of gold, among other slightly heavy noble metals transported by magma from the Earth's mantle to the crust. The bulk silicate Earth (BSE) model also suggests significant depletion of Au in the silicate mantle itself, which cannot be explained by the amount of Au in the mantle's magma. This implies that Au could remain in the lower mantle and form stable compounds, especially with iron, which is the predominant element within the core. While Fe does not form binary compounds or a bulk alloy with Au under ambient conditions, it may do so at the elevated pressures found in the Earth's interior. Here, using density-functional methods, we investigated the possibility of identifying stable, binary Fe-Au compounds at pressures up to 210 GPa. We found three such Fe-Au compounds, which are stabilized by pressure and notable electron transfer, including an orthorhombic AuFe$_4$ phase that is ferromagnetic in nature with Au possessing a significant magnetic moment. While our results suggest that thermal convection due to the conductivities and the heat flux from the Fe-Au compounds could be an energy source to power the Earth's geodynamo, they also point towards changes in Au's chemical properties, as it can exist as either an anion or cation under pressure. In addition, the sound velocity and the density predicted for the various Fe-Au compounds suggest that they could shed light on the composition of the core-mantle boundary and the Earth's core, while demonstrating how the presence of trace amounts of Au could influence agreement with seismic data.


title: Semantic2Graph: Graph-based Multi-modal Feature Fusion for Action Segmentation in Videos

abstract: Video action segmentation have been widely applied in many fields. Most previous studies employed video-based vision models for this purpose. However, they often rely on a large receptive field, LSTM or Transformer methods to capture long-term dependencies within videos, leading to significant computational resource requirements. To address this challenge, graph-based model was proposed. However, previous graph-based models are less accurate. Hence, this study introduces a graph-structured approach named Semantic2Graph, to model long-term dependencies in videos, thereby reducing computational costs and raise the accuracy. We construct a graph structure of video at the frame-level. Temporal edges are utilized to model the temporal relations and action order within videos. Additionally, we have designed positive and negative semantic edges, accompanied by corresponding edge weights, to capture both long-term and short-term semantic relationships in video actions. Node attributes encompass a rich set of multi-modal features extracted from video content, graph structures, and label text, encompassing visual, structural, and semantic cues. To synthesize this multi-modal information effectively, we employ a graph neural network (GNN) model to fuse multi-modal features for node action label classification. Experimental results demonstrate that Semantic2Graph outperforms state-of-the-art methods in terms of performance, particularly on benchmark datasets such as GTEA and 50Salads. Multiple ablation experiments further validate the effectiveness of semantic features in enhancing model performance. Notably, the inclusion of semantic edges in Semantic2Graph allows for the cost-effective capture of long-term dependencies, affirming its utility in addressing the challenges posed by computational resource constraints in video-based vision models.


title: ComplETR: Reducing the cost of annotations for object detection in dense scenes with vision transformers

abstract: Annotating bounding boxes for object detection is expensive, time-consuming, and error-prone. In this work, we propose a DETR based framework called ComplETR that is designed to explicitly complete missing annotations in partially annotated dense scene datasets. This reduces the need to annotate every object instance in the scene thereby reducing annotation cost. ComplETR augments object queries in DETR decoder with patch information of objects in the image. Combined with a matching loss, it can effectively find objects that are similar to the input patch and complete the missing annotations. We show that our framework outperforms the state-of-the-art methods such as Soft Sampling and Unbiased Teacher by itself, while at the same time can be used in conjunction with these methods to further improve their performance. Our framework is also agnostic to the choice of the downstream object detectors; we show performance improvement for several popular detectors such as Faster R-CNN, Cascade R-CNN, CenterNet2, and Deformable DETR on multiple dense scene datasets.


title: A Gaussian variational inference approach to motion planning

abstract: We propose a Gaussian variational inference framework for the motion planning problem. In this framework, motion planning is formulated as an optimization over the distribution of the trajectories to approximate the desired trajectory distribution by a tractable Gaussian distribution. Equivalently, the proposed framework can be viewed as a standard motion planning with an entropy regularization. Thus, the solution obtained is a transition from an optimal deterministic solution to a stochastic one, and the proposed framework can recover the deterministic solution by controlling the level of stochasticity. To solve this optimization, we adopt the natural gradient descent scheme. The sparsity structure of the proposed formulation induced by factorized objective functions is further leveraged to improve the scalability of the algorithm. We evaluate our method on several robot systems in simulated environments, and show that it achieves collision avoidance with smooth trajectories, and meanwhile brings robustness to the deterministic baseline results, especially in challenging environments and tasks.


title: Skip Training for Multi-Agent Reinforcement Learning Controller for Industrial Wave Energy Converters

abstract: Recent Wave Energy Converters (WEC) are equipped with multiple legs and generators to maximize energy generation. Traditional controllers have shown limitations to capture complex wave patterns and the controllers must efficiently maximize the energy capture. This paper introduces a Multi-Agent Reinforcement Learning controller (MARL), which outperforms the traditionally used spring damper controller. Our initial studies show that the complex nature of problems makes it hard for training to converge. Hence, we propose a novel skip training approach which enables the MARL training to overcome performance saturation and converge to more optimum controllers compared to default MARL training, boosting power generation. We also present another novel hybrid training initialization (STHTI) approach, where the individual agents of the MARL controllers can be initially trained against the baseline Spring Damper (SD) controller individually and then be trained one agent at a time or all together in future iterations to accelerate convergence. We achieved double-digit gains in energy efficiency over the baseline Spring Damper controller with the proposed MARL controllers using the Asynchronous Advantage Actor-Critic (A3C) algorithm.


title: Resolution of singularities for $C^{\infty}$ functions and meromorphy of local zeta functions

abstract: In this paper, we attempt to resolve the singularities of the zero variety of a $C^{\infty}$ function of two variables as much as possible by using ordinary blowings up. As a result, we formulate an algorithm to locally express the zero variety in the ``almost'' normal crossings form, which is close to the normal crossings form but may include flat functions. As an application, we investigate analytic continuation of local zeta functions associated with $C^{\infty}$ functions of two variables. As is well known, the desingularization theorem of Hironaka implies that the local zeta functions associated with real analytic functions admit the meromorphic continuation to the whole complex plane. On the other hand, it is recently observed that the local zeta function associated with a specific (non-real analytic) $C^{\infty}$ function has a singularity different from the pole. From this observation, the following questions are naturally raised in the $C^{\infty}$ case: how wide the meromorphically extendible region can be and what kinds of information essentially determine this region? This paper shows that this region can be described in terms of some kind of multiplicity of the zero variety of each $C^{\infty}$ function. By using our blowings up algorithm, it suffices to investigate local zeta functions in the almost normal crossings case. This case can be effectively analyzed by using real analysis methods; in particular, a van der Corput-type lemma plays a crucial role in the determination of the above region.


title: EV Charging Station Wholesale Market Participation: A Strategic Bidding and Pricing Approach

abstract: This paper presents a framework for simultaneous bidding and pricing strategy for wholesale market participation of electric vehicle (EV) charging stations aggregator. The proposed framework incorporates the EV charging stations' technical constraints as well as EV owners' preferences. A bi-level optimization is adopted to model the problem. In the upper level, the total profit of the EV charging station aggregator is maximized. In the lower-level problem, the EV owner's utility function is maximized. The EV owners' preferences are modeled using the quadratic utility function. The bi-level optimization problem which is non-convex and hard to solve is converted to a mixed-integer convex quadratic programming model by writing the optimal conditions of the lower-level problem that is solvable with commercial solvers. The effectiveness of the proposed framework is investigated by implementing simulation results.


title: On New Notions of Algorithmic Dimension, Immunity, and Medvedev Degree

abstract: We prove various results connected together by the common thread of computability theory. First, we investigate a new notion of algorithmic dimension, the inescapable dimension, which lies between the effective Hausdorff and packing dimensions. We also study its generalizations, obtaining an embedding of the Turing degrees into notions of dimension. We then investigate a new notion of computability theoretic immunity that arose in the course of the previous study, that of a set of natural numbers with no co-enumerable subsets. We demonstrate how this notion of $\Pi^0_1$-immunity is connected to other immunity notions, and construct $\Pi^0_1$-immune reals throughout the high/low and Ershov hierarchies. We also study those degrees that cannot compute or cannot co-enumerate a $\Pi^0_1$-immune set. Finally, we discuss a recently discovered truth-table reduction for transforming a Kolmogorov--Loveland random input into a Martin-L\"of random output by exploiting the fact that at least one half of such a KL-random is itself ML-random. We show that there is no better algorithm relying on this fact, i.e., there is no positive, linear, or bounded truth-table reduction which does this. We also generalize these results to the problem of outputting randomness from infinitely many inputs, only some of which are random.


title: Wrinkling and developable cones in centrally confined sheets

abstract: Thin sheets respond to confinement by smoothly wrinkling, or by focusing stress into small, sharp regions. From engineering to biology, geology, textiles, and art, thin sheets are packed and confined in a wide variety of ways, and yet fundamental questions remain about how stresses focus and patterns form in these structures. Using experiments and molecular dynamics (MD) simulations, we probe the confinement response of circular sheets, flattened in their central region and quasi-statically drawn through a ring. Wrinkles develop in the outer, free region, then are replaced by a truncated cone, which forms in an abrupt transition to stress focusing. We explore how the force associated with this event, and the number of wrinkles, depend on geometry. Additional cones sequentially pattern the sheet, until axisymmetry is recovered in most geometries. The cone size is sensitive to in-plane geometry. We uncover a coarse-grained description of this geometric dependence, which diverges depending on the proximity to the asymptotic d-cone limit, where the clamp size approaches zero. This work contributes to the characterization of general confinement of thin sheets, while broadening the understanding of the d-cone, a fundamental element of stress focusing, as it appears in realistic settings.


title: Unsupervised representation learning with recognition-parametrised probabilistic models

abstract: We introduce a new approach to probabilistic unsupervised learning based on the recognition-parametrised model (RPM): a normalised semi-parametric hypothesis class for joint distributions over observed and latent variables. Under the key assumption that observations are conditionally independent given latents, the RPM combines parametric prior and observation-conditioned latent distributions with non-parametric observation marginals. This approach leads to a flexible learnt recognition model capturing latent dependence between observations, without the need for an explicit, parametric generative model. The RPM admits exact maximum-likelihood learning for discrete latents, even for powerful neural-network-based recognition. We develop effective approximations applicable in the continuous-latent case. Experiments demonstrate the effectiveness of the RPM on high-dimensional data, learning image classification from weak indirect supervision; direct image-level latent Dirichlet allocation; and recognition-parametrised Gaussian process factor analysis (RP-GPFA) applied to multi-factorial spatiotemporal datasets. The RPM provides a powerful framework to discover meaningful latent structure underlying observational data, a function critical to both animal and artificial intelligence.


title: Fast Algorithms for Monotone Lower Subsets of Kronecker Least Squares Problems

abstract: Approximate solutions to large least squares problems can be computed efficiently using leverage score-based row-sketches, but directly computing the leverage scores, or sampling according to them with naive methods, still requires an expensive manipulation and processing of the design matrix. In this paper we develop efficient leverage score-based sampling methods for matrices with certain Kronecker product-type structure; in particular we consider matrices that are monotone lower column subsets of Kronecker product matrices. Our discussion is general, encompassing least squares problems on infinite domains, in which case matrices formally have infinitely many rows. We briefly survey leverage score-based sampling guarantees from the numerical linear algebra and approximation theory communities, and follow this with efficient algorithms for sampling when the design matrix has Kronecker-type structure. Our numerical examples confirm that sketches based on exact leverage score sampling for our class of structured matrices achieve superior residual compared to approximate leverage score sampling methods.


title: Asymptotic expansion of oscillatory integrals with singular phases

abstract: The purpose of this article is to describe the singularities of one-dimensional oscillatory integrals, whose phases have a certain singularity, in the form of an asymptotic expansion. In the case of the Laplace integral, an analogous result is also given.


title: Simulating the performance of aperture mask designs for SCALES

abstract: Interferometric techniques such as aperture masking have the potential to enhance spatial resolution capabilities when imaging moderate-contrast sources with small angular size, such as close-in exoplanets and circumstellar disks around distant young stars. The Slicer Combined with an Array of Lenslets for Exoplanet Spectroscopy (SCALES) instrument, currently under development, is a lenslet integral field spectrograph that will enable the W. M. Keck Observatory to carry out high-contrast direct imaging of exoplanets between 2 and 5 microns. We explore the potential benefit of aperture masking to SCALES by testing the contrast achievable by several mask designs. The scalessim software package was used to simulate observations at wavelength bins in the M, L, and K bands, with optical path difference (OPD) maps used to simulate realistic Keck adaptive optics performance. Noise from astrophysical and instrumental sources was also applied to simulated signals. Mask designs were assessed based on depth of the generated contrast curves.


title: Patient-specific mean teacher UNet for enhancing PET image and low-dose PET reconstruction on RefleXion X1 biology-guided radiotherapy system

abstract: The RefleXion X1 is the first biology-guided radiotherapy (BgRT) system. Its dual 90-degree PET detector collects fewer pair production events compared to a full-ring diagnostic PET system. In the proposed BgRT workflow, a short scan is acquired before treatment delivery to ensure image quality and consistency. The shorter scan time, a quarter of the simulation scan time, also leads to fewer coincidence events and hence reduced image quality. In this study, we proposed a patient-specific mean teacher UNet (MT-UNet) to enhance PET image quality and low-dose PET reconstruction on RefleXion X1. PET/CT scans of nine cancer patients were acquired using RefleXion X1. Every patient had one simulation scan. Five patients had additional scans acquired during the first and the final treatment fractions. Treatment scans were acquired using the same imaging protocol as the simulation scan. For each scan, we reconstructed a full-dose image and evenly split coincidence events into four sessions to reconstruct four quarter-dose PET images. For each patient, our proposed MT-UNet was trained using quarter-dose and full-dose images of the simulation scan. For the image quality enhancement task, we applied nine trained MT-UNets to full-dose simulation PET images of the nine patients to generate enhanced images, respectively. The enhanced images were compared with the original full-dose images using CNR and SNR. For the low-dose image reconstruction task, we applied five trained MT-UNets to ten quarter-dose treatment images of five patients to predict full-dose images, respectively. The predicted and ground truth full-dose images were compared using SSIM and PSNR. We also trained and evaluated patient-specific UNets for model comparison. Our proposed patient-specific MT-UNet achieved better performance in improving the quality of RefleXion low-dose and full-dose images compared to the patient-specific UNet.


title: On Detecting Nearby Nano-Hertz Gravitational Wave Sources via Pulsar Timing Arrays

abstract: Massive binary black holes (MBBHs) in nearby galactic centers, if any, may be nano-Hertz gravitational wave (GW) sources for pulsar timing arrays (PTAs) to detect. Normally the objective GWs for PTA experiments are approximated as plane waves because its sources are presumably located faraway. For nearby GW sources, however, this approximation may be inaccurate due to the curved GW wave front and the GW strength changes along the paths of PTA pulsar pulses. In this paper, we analyze the near-field effect in the PTA detection of nearby sources and find it is important if the source distance is less than a few tens Mpc, and ignoring this effect may lead to a significant signal-to-noise underestimation especially when the source distance is comparable to the pulsar distances. As examples, we assume a nano-Hertz MBBH source located at either the Galactic Center (GC) or the Large Magellanic Cloud (LMC) according to the observational constraints/hints on the MBBH parameter space, and estimate its detectability by current/future PTAs. We find that the GC MBBH may be detectable by the Square Kilometer Array (SKA) PTA. It is challenging for detecting the LMC MBBH; however, if a number ($N\gtrsim10$) of stable millisecond pulsars can be found in the LMC center, the MBBH may be detectable via a PTA formed by these pulsars. We further illustrate the near-field effects on the PTA detection of an isotropic GW background contributed mainly by nearby GW sources, and the resulting angular correlation is similar to the Hellings-Downs curve.


title: CovidMis20: COVID-19 Misinformation Detection System on Twitter Tweets using Deep Learning Models

abstract: Online news and information sources are convenient and accessible ways to learn about current issues. For instance, more than 300 million people engage with posts on Twitter globally, which provides the possibility to disseminate misleading information. There are numerous cases where violent crimes have been committed due to fake news. This research presents the CovidMis20 dataset (COVID-19 Misinformation 2020 dataset), which consists of 1,375,592 tweets collected from February to July 2020. CovidMis20 can be automatically updated to fetch the latest news and is publicly available at: https://github.com/everythingguy/CovidMis20. This research was conducted using Bi-LSTM deep learning and an ensemble CNN+Bi-GRU for fake news detection. The results showed that, with testing accuracy of 92.23% and 90.56%, respectively, the ensemble CNN+Bi-GRU model consistently provided higher accuracy than the Bi-LSTM model.


title: Class-Level Logit Perturbation

abstract: Features, logits, and labels are the three primary data when a sample passes through a deep neural network. Feature perturbation and label perturbation receive increasing attention in recent years. They have been proven to be useful in various deep learning approaches. For example, (adversarial) feature perturbation can improve the robustness or even generalization capability of learned models. However, limited studies have explicitly explored for the perturbation of logit vectors. This work discusses several existing methods related to class-level logit perturbation. A unified viewpoint between positive/negative data augmentation and loss variations incurred by logit perturbation is established. A theoretical analysis is provided to illuminate why class-level logit perturbation is useful. Accordingly, new methodologies are proposed to explicitly learn to perturb logits for both single-label and multi-label classification tasks. Extensive experiments on benchmark image classification data sets and their long-tail versions indicated the competitive performance of our learning method. As it only perturbs on logit, it can be used as a plug-in to fuse with any existing classification algorithms. All the codes are available at https://github.com/limengyang1992/lpl.


title: Selective Direct Bonding of High Thermal Conductivity 3C-SiC Film to \b{eta}-Ga2O3 for Top-Side Heat Extraction

abstract: beta-Ga2O3 is a wide bandgap semiconductor with electrical properties better than SiC and GaN which makes it promising for applications of next-generation power devices. However, the thermal conductivity of \b{eta}-Ga2O3 is more than one order of magnitude lower than that of SiC and GaN, resulting in serious thermal management problems that limit device performance and reliability. This work reports selectively transferring of high thermal conductivity 3C-SiC thin film grown on Si to beta-Ga2O3 (001) substrate using surface activated bonding (SAB) technique at room temperature, to attempt extracting the heat from the surface of the devices. A 4.5-nm-thick interfacial crystal defect layer is formed at the as-bonded 3C-SiC/beta-Ga2O3 interface. The thickness of the interfacial crystal defect layer decreases with increasing annealing temperature, which decreases to 1.5 nm after annealing at 1000 C. No voids and unbonded area are observed at the interfaces, even after annealing at temperature as high as 1000 C. The thermal boundary conductance (TBC) of the 1000 C-annealed 3C-SiC/beta-Ga2O3 interface and thermal conductivity of the beta-Ga2O3 substrate was measured by time-domain thermoreflectance (TDTR). The 3C-SiC/beta-Ga2O3 TBC value was determined to be 244 MW/m2-K, which is the highest value ever reported for SiC/Ga2O3 interfaces, due to the high-quality heterointerface. Our works demonstrate that selective transferring of 3C-SiC film to the beta-Ga2O3 substrate is an efficient path to improve heat dissipation of the \b{eta}-Ga2O3 power devices.


title: Alexander Quandles and Detecting Causality

abstract: In a recent paper, Allen and Swenberg investigated which link polynomials are capable of detecting causality in (2+1)-dimensional globally hyperbolic spacetimes. They ultimately suggested it is likely that the Jones Polynomial accomplishes this, while the Alexander-Conway polynomial, independently, is insufficient. As the Alexander-Conway polynomial on its own is not likely to detect causality an additional piece of information must be supplemented to the link polynomial. This paper aims to examine the ability of Alexander quandles, to distinguish the connected sum of two Hopf links and Allen-Swenberg Links. As the number of homomorphisms given by the Alexander quandles for the connected sum of Hopf links and the number of homomorphisms for the Allen-Swenberg Link are the same, we can conclude that the links are not distinguishable from one another using Alexander quandles and hence these quandles cannot capture causality when added to the Alexander-Conway polynomial.


title: Using Optical Systems to Simulate Topological Systems in Momentum Space and Measure Their Topological Numbers

abstract: We propose a new scheme for optical quantum simulation of topological systems: by using optical systems to simulate the variation of eigenstates of topological systems in momentum space, we can obtain the information of topological numbers. In this paper the scheme is applied to the one-dimensional (1D) Su-Schrieffer-Heeger (SSH) model and the two-dimensional (2D) Bernevig-Hughes-Zhang (BHZ) model. In addition, in order to apply our scheme to 2D topological systems, we design a method of calculating topological numbers by line integral. Furthermore, we propose a more effective optical simulation scheme for the 2D topological system: we do the optical simulation around discontinuity points to obtain the vorticity of every discontinuity points and the topological number is just the sum of the vorticity of all discontinuity points.


title: Human-Guided Planning for Complex Manipulation Tasks Using the Screw Geometry of Motion

abstract: In this paper, we present a novel method of motion planning for performing complex manipulation tasks by using human demonstration and exploiting the screw geometry of motion. We consider complex manipulation tasks where there are constraints on the motion of the end effector of the robot. Examples of such tasks include opening a door, opening a drawer, transferring granular material from one container to another with a spoon, and loading dishes to a dishwasher. Our approach consists of two steps: First, using the fact that a motion in the task space of the robot can be approximated by using a sequence of constant screw motions, we segment a human demonstration into a sequence of constant screw motions. Second, we use the segmented screws to generate motion plans via screw-linear interpolation for other instances of the same task. The use of screw segmentation allows us to capture the invariants of the demonstrations in a coordinate-free fashion, thus allowing us to plan for different task instances from just one example. We present extensive experimental results on a variety of manipulation scenarios showing that our method can be used across a wide range of manipulation tasks.


title: No existence of linear algorithm for Fourier phase retrieval

abstract: Fourier phase retrieval, which seeks to reconstruct a signal from its Fourier magnitude, is of fundamental importance in fields of engineering and science. In this paper, we give a theoretical understanding of algorithms for Fourier phase retrieval. Particularly, we show if there exists an algorithm which could reconstruct an arbitrary signal ${\mathbf x}\in {\mathbb C}^N$ in $ \mbox{Poly}(N) \log(1/\epsilon)$ time to reach $\epsilon$-precision from its magnitude of discrete Fourier transform and its initial value $x(0)$, then $\mathcal{ P}=\mathcal{NP}$. This demystifies the phenomenon that, although almost all signals are determined uniquely by their Fourier magnitude with a prior conditions, there is no algorithm with theoretical guarantees being proposed over the past few decades. Our proofs employ the result in computational complexity theory that Product Partition problem is NP-complete in the strong sense.