title: An Efficient Global Optimality Certificate for Landmark-Based SLAM

abstract: Modern state estimation is often formulated as an optimization problem and solved using efficient local search methods. These methods at best guarantee convergence to local minima, but, in some cases, global optimality can also be certified. Although such global optimality certificates have been well established for 3D \textit{pose-graph optimization}, the details have yet to be worked out for the 3D landmark-based SLAM problem, in which estimated states include both robot poses and map landmarks. In this paper, we address this gap by using a graph-theoretic approach to cast the subproblems of landmark-based SLAM into a form that yields a sufficient condition for global optimality. Efficient methods of computing the optimality certificates for these subproblems exist, but first require the construction of a large data matrix. We show that this matrix can be constructed with complexity that remains linear in the number of landmarks and does not exceed the state-of-the-art computational complexity of one local solver iteration. We demonstrate the efficacy of the certificate on simulated and real-world landmark-based SLAM problems. We also integrate our method into the state-of-the-art SE-Sync pipeline to efficiently solve landmark-based SLAM problems to global optimality. Finally, we study the robustness of the global optimality certificate to measurement noise, taking into consideration the effect of the underlying measurement graph.


title: Constrained Shortest-Path Reformulations for Discrete Bilevel and Robust Optimization

abstract: Many discrete optimization problems are amenable to constrained shortest-path reformulations in an extended network space, a technique that has been key in convexification, bound strengthening, and search mechanisms for a large array of nonlinear problems. In this paper, we expand this methodology and propose constrained shortest-path models for challenging discrete variants of bilevel and robust optimization, where traditional methods (e.g., dualize-and-combine) are not applicable compared to their continuous counterparts. Specifically, we propose a framework that models problems as decision diagrams and introduces side constraints either as linear inequalities in the underlying polyhedral representation, or as state variables in shortest-path calculations. We show that the first case generalizes a common class of combinatorial bilevel problems where the follower's decisions are separable with respect to the leader's decisions. In this setting, the side constraints are indicator functions associated with arc flows, and we leverage polyhedral structure to derive an alternative single-level reformulation of the bilevel problem. The case where side constraints are incorporated as node states, in turn, generalizes classical robust optimization. For this scenario, we leverage network structure to derive an iterative augmenting state-space strategy akin to an L-shaped method. We evaluate both strategies on a bilevel competitive project selection problem and the robust traveling salesperson with time windows, observing considerable improvements in computational efficiency as compared to current state-of-the-art methods in the respective areas.


title: Self-Healing Robust Neural Networks via Closed-Loop Control

abstract: Despite the wide applications of neural networks, there have been increasing concerns about their vulnerability issue. While numerous attack and defense techniques have been developed, this work investigates the robustness issue from a new angle: can we design a self-healing neural network that can automatically detect and fix the vulnerability issue by itself? A typical self-healing mechanism is the immune system of a human body. This biology-inspired idea has been used in many engineering designs but is rarely investigated in deep learning. This paper considers the post-training self-healing of a neural network, and proposes a closed-loop control formulation to automatically detect and fix the errors caused by various attacks or perturbations. We provide a margin-based analysis to explain how this formulation can improve the robustness of a classifier. To speed up the inference of the proposed self-healing network, we solve the control problem via improving the Pontryagin Maximum Principle-based solver. Lastly, we present an error estimation of the proposed framework for neural networks with nonlinear activation functions. We validate the performance on several network architectures against various perturbations. Since the self-healing method does not need a-priori information about data perturbations/attacks, it can handle a broad class of unforeseen perturbations.


title: Leray-Schauder degree for the resonant Q-curvature problem in even dimensions

abstract: In this paper, using the theory of critical points at infinity of Bahri, we derive an exact bubbling rate formula for the resonant prescribed Q-curvature equation on closed even-dimensional Riemannian manifolds. Using this, we derive new existence results for the resonant prescribed Q-curvature problem under a positive mass type assumption. Moreover, we derive a compactness theorem for conformal metrics with prescribed Q-curvature under a non-degeneracy assumption. Furthermore, combining the bubbling rate formula with the construction of some blowing-up solutions, we compute the Leray-Schauder degree of the resonant prescribed Q-curvature equation under a non-degeneracy and Morse type assumption.


title: Observation of a uniaxial ferroelectric smectic A phase

abstract: We report the smectic $A_F$, a new liquid crystal phase of the ferroelectric nematic realm. The smectic $A_F$ is a phase of small polar, rod-shaped molecules which form two-dimensional fluid layers spaced by approximately the mean molecular length. The phase is uniaxial, with the molecular director, the local average long-axis orientation, normal to the layer planes, and ferroelectric, with a spontaneous electric polarization parallel to the director. Polarization measurements indicate almost complete polar ordering of the $\sim 10$ Debye longitudinal molecular dipoles, and hysteretic polarization reversal with a coercive field of about $2 \times 10^5$ V/m is observed. The smectic $A_F$ phase appears upon cooling in two binary mixtures of partially fluorinated mesogens: 2N/DIO, exhibiting a nematic ($N$) -- smectic $Z_A$ (Sm$Z_A$) -- ferroelectric nematic ($N_F$) -- smectic $A_F$ (Sm$A_F$) phase sequence; and 7N/DIO, exhibiting an $N$ -- Sm$Z_A$ -- Sm$A_F$ phase sequence. The latter presents an opportunity to study a transition between two smectic phases having orthogonal systems of layers.


title: Norm and numerical radius inequalities for operator matrices

abstract: Operator matrices have played a significant role in studying Hilbert space operators. In this paper, we discuss further properties of operator matrices and present new estimates for the operator norms and numerical radii of such operators. Moreover, operator matrices whose real and imaginary parts are positive will be discussed, and sharper bounds will be shown for such class.


title: RF Signal Classification with Synthetic Training Data and its Real-World Performance

abstract: Neural nets are a powerful method for the classification of radio signals in the electromagnetic spectrum. These neural nets are often trained with synthetically generated data due to the lack of diverse and plentiful real RF data. However, it is often unclear how neural nets trained on synthetic data perform in real-world applications. This paper investigates the impact of different RF signal impairments (such as phase, frequency and sample rate offsets, receiver filters, noise and channel models) modeled in synthetic training data with respect to the real-world performance. For that purpose, this paper trains neural nets with various synthetic training datasets with different signal impairments. After training, the neural nets are evaluated against real-world RF data collected by a software defined radio receiver in the field. This approach reveals which modeled signal impairments should be included in carefully designed synthetic datasets. The investigated showcase example can classify RF signals into one of 20 different radio signal types from the shortwave bands. It achieves an accuracy of up to 95 % in real-world operation by using carefully designed synthetic training data only.


title: Eine Bemerkung zu einigen $2$-dimensionalen Komplexen, die im $\mathbb{R}^4$ fast-eingebettet werden k\"onnen

abstract: We observe that many of the 2-complexes constructed by Freedman-Krushkal-Teichner in their paper on the incompleteness of the van Kampen embedding obstruction can actually be PL immersed in $\mathbb{R}^4$ in such a way that the images of the interiors of distinct cells are disjoint. In other words, they PL almost-embed in $\mathbb{R}^4$ with singularities occurring only as self intersections of some 2-cells. This note is written in (not necessarily modern) German.


title: Nonlinear exceptional-point lasing with ab-initio Maxwell-Bloch theory

abstract: We present a general analysis for finding and characterizing nonlinear exceptional point (EP) lasers above threshold, using steady-state ab-initio Maxwell-Bloch equations. For a system of coupled slabs, we show that a nonlinear EP is obtained for a given ratio between the external pumps in each resonator, and that it is associated with a kink in the output power and lasing frequency, confirming coupled-mode theory predictions. Through numerical linear stability analysis, we confirm that the EP laser can be stable for a large enough inversion relaxation rate. We further show that the EP laser can be characterized by scattering a weak signal off the lasing cavity, so that the scattering frequency spectrum exhibits a quartic divergence. Our approach can be applied to arbitrary scatterers with multi-level gain media.


title: Cost-Asymmetric Memory Hard Password Hashing

abstract: In the past decade, billions of user passwords have been exposed to the dangerous threat of offline password cracking attacks. An offline attacker who has stolen the cryptographic hash of a user's password can check as many password guesses as s/he likes limited only by the resources that s/he is willing to invest to crack the password. Pepper and key-stretching are two techniques that have been proposed to deter an offline attacker by increasing guessing costs. Pepper ensures that the cost of rejecting an incorrect password guess is higher than the (expected) cost of verifying a correct password guess. This is useful because most of the offline attacker's guesses will be incorrect. Unfortunately, as we observe the traditional peppering defense seems to be incompatible with modern memory hard key-stretching algorithms such as Argon2 or Scrypt. We introduce an alternative to pepper which we call Cost-Asymmetric Memory Hard Password Authentication which benefits from the same cost-asymmetry as the classical peppering defense i.e., the cost of rejecting an incorrect password guess is larger than the expected cost to authenticate a correct password guess. When configured properly we prove that our mechanism can only reduce the percentage of user passwords that are cracked by a rational offline attacker whose goal is to maximize (expected) profit i.e., the total value of cracked passwords minus the total guessing costs. We evaluate the effectiveness of our mechanism on empirical password datasets against a rational offline attacker. Our empirical analysis shows that our mechanism can reduce significantly the percentage of user passwords that are cracked by a rational attacker by up to 10%.


title: A family of fractal Fourier restriction estimates with implications on the Kakeya problem

abstract: In a recent paper [Ann. of Math. 189 (2019), 837--861], Du and Zhang proved a fractal Fourier restriction estimate and used it to establish the sharp $L^2$ estimate on the Schr\"{o}dinger maximal function in $\Bbb R^n$, $n \geq 2$. In this paper, we show that the Du-Zhang estimate is the endpoint of a family of fractal restriction estimates such that each member of the family (other than the original) implies a sharp Kakeya result in $\Bbb R^n$ that is closely related to the polynomial Wolff axioms. We also prove that all the estimates of our family are true in $\Bbb R^2$.


title: VLCap: Vision-Language with Contrastive Learning for Coherent Video Paragraph Captioning

abstract: In this paper, we leverage the human perceiving process, that involves vision and language interaction, to generate a coherent paragraph description of untrimmed videos. We propose vision-language (VL) features consisting of two modalities, i.e., (i) vision modality to capture global visual content of the entire scene and (ii) language modality to extract scene elements description of both human and non-human objects (e.g. animals, vehicles, etc), visual and non-visual elements (e.g. relations, activities, etc). Furthermore, we propose to train our proposed VLCap under a contrastive learning VL loss. The experiments and ablation studies on ActivityNet Captions and YouCookII datasets show that our VLCap outperforms existing SOTA methods on both accuracy and diversity metrics.


title: The shared weighted Lindley frailty model for cluster failure time data

abstract: The primary goal of this paper is to introduce a novel frailty model based on the weighted Lindley (WL) distribution for modeling clustered survival data. We study the statistical properties of the proposed model. In particular, the amount of unobserved heterogeneity is directly parameterized on the variance of the frailty distribution such as gamma and inverse Gaussian frailty models. Parametric and semiparametric versions of the WL frailty model are studied. A simple expectation-maximization (EM) algorithm is proposed for parameter estimation. Simulation studies are conducted to evaluate its finite sample performance. Finally, we apply the proposed model to a real data set to analyze times after surgery in patients diagnosed with colorectal cancer and compare our results with classical frailty models carried out in this application, which shows the superiority of the proposed model. We implement an R package that includes estimation for fitting the proposed model based on the EM-algorithm.


title: Luminosity distribution of Type II supernova progenitors

abstract: I present progenitor luminosities ($L$) for a sample of 112 Type II supernovae (SNe II), computed directly from progenitor photometry and the bolometric correction technique, or indirectly from empirical correlations between progenitor luminosity and [OI] $\lambda\lambda$6300, 6364 line luminosity at 350 d since explosion, $^{56}$Ni mass, or absolute $V$-band magnitude at 50 d since explosion. To calibrate these correlations, I use twelve SNe II with progenitor luminosities measured from progenitor photometry. I find that the correlations mentioned above are strong and statistically significant, and allow to estimate progenitor luminosities to a precision between 20 and 24 per cent. I correct the SN sample for selection bias and define a subsample of 112 SNe II with progenitor luminosities between $\log(L/L_{\odot})=4.6$ dex, corresponding to the completeness limit of the corrected sample, and the maximum observed progenitor luminosity of $\log(L/L_{\odot})=5.091$ dex. The luminosity distribution for this subsample is statistically consistent with those for red supergiants (RSGs) in LMC, SMC, M31, and M33 with $4.6\leq\log(L/L_{\odot})\leq5.091$. This supports that SN II progenitors correspond to RSGs. The conspicuous absence of SN II progenitors with $\log(L/L_{\odot})>5.1$ dex with respect to what is observed in RSG luminosity distributions, known as the RSG problem, is significant at a $5.2\pm0.5\,\sigma$ level.


title: Weighted BMO estimates for singular integrals and endpoint extrapolation in Banach function spaces

abstract: In this paper we prove sharp weighted BMO estimates for singular integrals, and we show how such estimates can be extrapolated to Banach function spaces.


title: Test of Causal Non-Linear Quantum Mechanics by Ramsey Interferometry on the Vibrational Mode of a Trapped Ion

abstract: Kaplan and Rajendran have recently demonstrated that non-linear and state-dependent terms can be consistently added to quantum field theory to yield causal non-linear time evolution in quantum mechanics. Causal non-linear theories have the unavoidable feature that their quantum effects are dramatically sensitive to the full physical spread of the quantum state of the system. As a result, such theories are not well tested by conventional atomic and nuclear spectroscopy. By using a well-controlled superposition of vibrational modes of a $^{40}$Ca$^+$ ion trapped in a harmonic potential, we set a stringent limit of $5.4\times 10^{-12}$ on the magnitude of the unitless scaling factor $\tilde{\epsilon}_{\gamma}$ for the predicted causal, non-linear perturbation.


title: Adversarially Robust PAC Learnability of Real-Valued Functions

abstract: We study robustness to test-time adversarial attacks in the regression setting with $\ell_p$ losses and arbitrary perturbation sets. We address the question of which function classes are PAC learnable in this setting. We show that classes of finite fat-shattering dimension are learnable in both realizable and agnostic settings. Moreover, for convex function classes, they are even properly learnable. In contrast, some non-convex function classes provably require improper learning algorithms. Our main technique is based on a construction of an adversarially robust sample compression scheme of a size determined by the fat-shattering dimension. Along the way, we introduce a novel agnostic sample compression scheme for real-valued functions, which may be of independent interest.


title: Search of new resonances decaying into top quark pairs in the lepton+jet final state in proton-proton collisions at $\sqrt{s}$ = 13 TeV with the ATLAS detector

abstract: A search for resonances produced in 13 TeV proton-proton collisions and decaying into top-quark pairs is presented. In this study events where the top-quark decay produces a single isolated charged lepton, missing transverse momentum and jet activity compatible with a hadronic top-quark decay recorded with the ATLAS detector at the Large Hadron Collider (LHC) are considered. We investigate the observed invariant mass spectrum in a model-independent approach to seek for any significant deviation from the Standard Model (SM) background expectation. The Matrix Method was used to estimate the QCD multi-jet background, which has large statistical and systematic uncertainties when modelled using Monte Carlo techniques. We have performed general searches for new resonances for a specific benchmark models: $Z^{'}_{TC2}$ boson, Kaluza-Klein gluon and Kaluza-Klein graviton that decay into top-quark pairs. Taking into account all uncertainties, results are in line with SM expectations. A synopsis of the results followed by an explanation of key findings will be presented.


title: A characterization of edge-ordered graphs with almost linear extremal functions

abstract: The systematic study of Tur\'an-type extremal problems for edge-ordered graphs was initiated by Gerbner et al. arXiv:2001.00849. They conjectured that the extremal functions of edge-ordered forests of order chromatic number 2 are $n^{1+o(1)}$. Here we resolve this conjecture proving the stronger upper bound of $n2^{O(\sqrt{\log n})}$. This represents a gap in the family of possible extremal functions as other forbidden edge-ordered graphs have extremal functions $\Omega(n^c)$ for some $c>1$. However, our result is probably not the last word: here we conjecture that the even stronger upper bound of $n\log^{O(1)}n$ also holds for the same set of extremal functions.


title: Detecting Schizophrenia with 3D Structural Brain MRI Using Deep Learning

abstract: Schizophrenia is a chronic neuropsychiatric disorder that causes distinct structural alterations within the brain. We hypothesize that deep learning applied to a structural neuroimaging dataset could detect disease-related alteration and improve classification and diagnostic accuracy. We tested this hypothesis using a single, widely available, and conventional T1-weighted MRI scan, from which we extracted the 3D whole-brain structure using standard post-processing methods. A deep learning model was then developed, optimized, and evaluated on three open datasets with T1-weighted MRI scans of patients with schizophrenia. Our proposed model outperformed the benchmark model, which was also trained with structural MR images using a 3D CNN architecture. Our model is capable of almost perfectly (area under the ROC curve = 0.987) distinguishing schizophrenia patients from healthy controls on unseen structural MRI scans. Regional analysis localized subcortical regions and ventricles as the most predictive brain regions. Subcortical structures serve a pivotal role in cognitive, affective, and social functions in humans, and structural abnormalities of these regions have been associated with schizophrenia. Our finding corroborates that schizophrenia is associated with widespread alterations in subcortical brain structure and the subcortical structural information provides prominent features in diagnostic classification. Together, these results further demonstrate the potential of deep learning to improve schizophrenia diagnosis and identify its structural neuroimaging signatures from a single, standard T1-weighted brain MRI.


title: Carbon-based nanostructures as a versatile platform for tunable $\pi$-magnetism

abstract: Emergence of $\pi$-magnetism in open-shell nanographenes has been theoretically predicted decades ago but their experimental characterization was elusive due to the strong chemical reactivity that makes their synthesis and stabilization difficult. In recent years, on-surface synthesis under vacuum conditions has provided unprecedented opportunities for atomically precise engineering of nanographenes, which in combination with scanning probe techniques have led to a substantial progress in our capabilities to realize localized electron spin states and to control electron spin interactions at the atomic scale. Here we review the essential concepts and the remarkable advances in the last few years, and outline the versatility of carbon-based $\pi$-magnetic materials as an interesting platform for applications in spintronics and quantum technologies.


title: The level two Zhu algebra for the Heisenberg vertex operator algebra

abstract: We determine the level two Zhu algebra for the Heisenberg vertex operator algebra $V$ for any choice of conformal element. We do this using only the following information for $V$: the internal structure of $V$; the level one Zhu algebra of $V$ already determined by the second author, along with Vander Werf and Yang; and the information the lower level Zhu algebras give regarding irreducible modules. We are able to carry out this calculation of the level two Zhu algebra for $V$ with this minimal information by employing the general results and techniques for determining generators and relations for higher level Zhu algebras for a vertex operator algebra, as developed previously by the authors in "On generators and relations for higher level Zhu algebras and applications", by Addabbo and Barron, J. Algebra, 2023. In particular, we show that the level $n$ Zhu algebras for the Heisenberg vertex operator algebra become noncommutative at level $n=2$. We also give a conjecture for the structure of the level $n$ Zhu algebra for the Heisenberg vertex operator algebra, for any $n >2$.


title: Explainable and High-Performance Hate and Offensive Speech Detection

abstract: The spread of information through social media platforms can create environments possibly hostile to vulnerable communities and silence certain groups in society. To mitigate such instances, several models have been developed to detect hate and offensive speech. Since detecting hate and offensive speech in social media platforms could incorrectly exclude individuals from social media platforms, which can reduce trust, there is a need to create explainable and interpretable models. Thus, we build an explainable and interpretable high performance model based on the XGBoost algorithm, trained on Twitter data. For unbalanced Twitter data, XGboost outperformed the LSTM, AutoGluon, and ULMFiT models on hate speech detection with an F1 score of 0.75 compared to 0.38 and 0.37, and 0.38 respectively. When we down-sampled the data to three separate classes of approximately 5000 tweets, XGBoost performed better than LSTM, AutoGluon, and ULMFiT; with F1 scores for hate speech detection of 0.79 vs 0.69, 0.77, and 0.66 respectively. XGBoost also performed better than LSTM, AutoGluon, and ULMFiT in the down-sampled version for offensive speech detection with F1 score of 0.83 vs 0.88, 0.82, and 0.79 respectively. We use Shapley Additive Explanations (SHAP) on our XGBoost models' outputs to makes it explainable and interpretable compared to LSTM, AutoGluon and ULMFiT that are black-box models.


title: Improving Policy Optimization with Generalist-Specialist Learning

abstract: Generalization in deep reinforcement learning over unseen environment variations usually requires policy learning over a large set of diverse training variations. We empirically observe that an agent trained on many variations (a generalist) tends to learn faster at the beginning, yet its performance plateaus at a less optimal level for a long time. In contrast, an agent trained only on a few variations (a specialist) can often achieve high returns under a limited computational budget. To have the best of both worlds, we propose a novel generalist-specialist training framework. Specifically, we first train a generalist on all environment variations; when it fails to improve, we launch a large population of specialists with weights cloned from the generalist, each trained to master a selected small subset of variations. We finally resume the training of the generalist with auxiliary rewards induced by demonstrations of all specialists. In particular, we investigate the timing to start specialist training and compare strategies to learn generalists with assistance from specialists. We show that this framework pushes the envelope of policy learning on several challenging and popular benchmarks including Procgen, Meta-World and ManiSkill.


title: Revisiting secondary CMB distortions due to kinetic Sunyaev-Zel'dovich effect from quasar bubbles before reionization

abstract: We discuss the secondary cosmic microwave background (CMB) anisotropy due to kinetic Sunyaev-Zel'dovich (kSZ) effect from ionized bubbles around individual quasars prior to the reionization of the Universe. The bubbles create local ionization modulations which move with the large scale structure linear bulk flow and act as sources for kSZ. We improve upon previous calculations of this effect, using a halo model based description of quasar abundance, and find that the kSZ distortion power spectrum, $C_\ell$, from the bubbles to be sub-dominant to kSZ from patchy reionization driven by galaxies. However, the shape of the two $C_\ell$'s are very different with the quasar bubble $C_\ell$ having a peak at $\ell \approx 500-700$ whereas the $C_\ell$ due to patchy reionization flattening out at $\ell > 1000$ thus making it plausible to separate the two using $C_\ell$ template-fitting in a future survey like CMB-HD. Next, we look at the imprint of a single quasar bubble on the CMB and show that it can be detected in a high-resolution, ambitious effort like CMB-HD. A detection of a high redshift quasar bubble in the CMB would carry complimentary information to its detection in HI or Lyman-$\alpha$ and a joint analysis can be used to break parameter degeneracies.


title: Explaining the root causes of unit-level changes

abstract: Existing methods of explainable AI and interpretable ML cannot explain change in the values of an output variable for a statistical unit in terms of the change in the input values and the change in the "mechanism" (the function transforming input to output). We propose two methods based on counterfactuals for explaining unit-level changes at various input granularities using the concept of Shapley values from game theory. These methods satisfy two key axioms desirable for any unit-level change attribution method. Through simulations, we study the reliability and the scalability of the proposed methods. We get sensible results from a case study on identifying the drivers of the change in the earnings for individuals in the US.


title: FlowX: Towards Explainable Graph Neural Networks via Message Flows

abstract: We investigate the explainability of graph neural networks (GNNs) as a step toward elucidating their working mechanisms. While most current methods focus on explaining graph nodes, edges, or features, we argue that, as the inherent functional mechanism of GNNs, message flows are more natural for performing explainability. To this end, we propose a novel method here, known as FlowX, to explain GNNs by identifying important message flows. To quantify the importance of flows, we propose to follow the philosophy of Shapley values from cooperative game theory. To tackle the complexity of computing all coalitions' marginal contributions, we propose a flow sampling scheme to compute Shapley value approximations as initial assessments of further training. We then propose an information-controlled learning algorithm to train flow scores toward diverse explanation targets: necessary or sufficient explanations. Experimental studies on both synthetic and real-world datasets demonstrate that our proposed FlowX and its variants lead to improved explainability of GNNs. The code is available at https://github.com/divelab/DIG.


title: Energy Extraction via Magnetic Reconnection in Lorentz breaking Kerr-Sen and Kiselev Black Holes

abstract: Black holes can accumulate a large amount of energy, responsible for highly energetic astrophysical phenomena Recently, fast magnetic reconnection (MR) of the magnetic field was proposed as a new way to extract energy and in this paper, we investigate this phenomena in a bumblebee Kerr-Sen BH. We find that the presence of the charge parameter strongly changes the simple Kerr case, making this extraction mechanism possible even for not extremely rotating black holes ($a \sim 0.7$). We also show that, under appropriate circumstances, MR is more efficient compared to the Blandford-Znajek mechanism. We finally compare these results with quintessence black-hole solutions not finding and enhancement respect to Kerr solution.


title: Locked and unlocked smooth embeddings of surfaces

abstract: We study the continuous motion of smooth isometric embeddings of a planar surface in three-dimensional Euclidean space, and two related discrete analogues of these embeddings, polygonal embeddings and flat foldings without interior vertices, under continuous changes of the embedding or folding. We show that every star-shaped or spiral-shaped domain is unlocked: a continuous motion unfolds it to a flat embedding. However, disks with two holes can have locked embeddings that are topologically equivalent to a flat embedding but cannot reach a flat embedding by continuous motion.


title: Anyon dynamics in field-driven phases of the anisotropic Kitaev model

abstract: The Kitaev model on a honeycomb lattice with bond-dependent Ising interactions offers an exactly solvable model of a quantum spin liquid (QSL) with gapped $Z_2$ fluxes and gapless linearly dispersing Majorana fermions in the isotropic limit ($K_x=K_y=K_z$). We explore the phase diagram along two axes, an external magnetic field, $h$, applied out-of-plane of the honeycomb, and anisotropic interactions, $K_z$ larger than the other two. For $K_z/K\gg 2$ and $h=0$, the matter Majorana fermions have the largest gap, and the system is described by a gapped $Z_2$ Toric code in which the $Z_2$ fluxes form the low energy bosonic Ising electric (e) and magnetic (m) charges along with their fermionic bound state $\epsilon=e\times m$. In this regime, we find that a small out-of-plane magnetic field creates $\epsilon$ fermions that disperse in fixed one-dimensional directions before the transition to a valence bond solid phase, providing a direct dynamical signature of low energy $Z_2$ Abelian flux excitations separated from the Majorana sector. At lower $K_z$ in the center of the Abelian phase, in a regime we dub the primordial fractionalized (PF) regime, the field generates a hybridization between the $\epsilon$ fermions and the Majorana matter fermions, resulting in a $\psi$ fermion. All the other phases in the field-anisotropy plane are naturally obtained from this primordial soup. We show that in the $Z_2$ Abelian phase, including the PF regime, the dynamical structure factors of local spin flip operators reveal distinct peaks that can be identified as arising from different anyonic excitations. We present in detail their signatures in energy and momentum and propose their identification by inelastic light scattering or inelastic polarized neutron scattering as ``smoking gun" signatures of fractionalization in the QSL phase.


title: Sensitivity of the GAPS Experiment to Low-energy Cosmic-ray Antiprotons

abstract: The General Antiparticle Spectrometer (GAPS) is an upcoming balloon mission to measure low-energy cosmic-ray antinuclei during at least three ~35-day Antarctic flights. With its large geometric acceptance and novel exotic atom-based particle identification, GAPS will detect ~500 cosmic antiprotons per flight and produce a precision cosmic antiproton spectrum in the kinetic energy range of ~0.07-0.21 GeV/n at the top of the atmosphere. With these high statistics extending to lower energies than any previous experiment, and with complementary sources of experimental uncertainty compared to traditional magnetic spectrometers, the GAPS antiproton measurement will be sensitive to dark matter, primordial black holes, and cosmic ray propagation. The antiproton measurement will also validate the GAPS antinucleus identification technique for the antideuteron and antihelium rare-event searches. This analysis demonstrates the GAPS sensitivity to cosmic-ray antiprotons using a full instrument simulation and event reconstruction, and including solar and atmospheric effects.


title: Gradient-based Neuromorphic Learning on Dynamical RRAM Arrays

abstract: We present MEMprop, the adoption of gradient-based learning to train fully memristive spiking neural networks (MSNNs). Our approach harnesses intrinsic device dynamics to trigger naturally arising voltage spikes. These spikes emitted by memristive dynamics are analog in nature, and thus fully differentiable, which eliminates the need for surrogate gradient methods that are prevalent in the spiking neural network (SNN) literature. Memristive neural networks typically either integrate memristors as synapses that map offline-trained networks, or otherwise rely on associative learning mechanisms to train networks of memristive neurons. We instead apply the backpropagation through time (BPTT) training algorithm directly on analog SPICE models of memristive neurons and synapses. Our implementation is fully memristive, in that synaptic weights and spiking neurons are both integrated on resistive RAM (RRAM) arrays without the need for additional circuits to implement spiking dynamics, e.g., analog-to-digital converters (ADCs) or thresholded comparators. As a result, higher-order electrophysical effects are fully exploited to use the state-driven dynamics of memristive neurons at run time. By moving towards non-approximate gradient-based learning, we obtain highly competitive accuracy amongst previously reported lightweight dense fully MSNNs on several benchmarks.


title: Are We There Yet? A Decision Framework for Replacing Term Based Retrieval with Dense Retrieval Systems

abstract: Recently, several dense retrieval (DR) models have demonstrated competitive performance to term-based retrieval that are ubiquitous in search systems. In contrast to term-based matching, DR projects queries and documents into a dense vector space and retrieves results via (approximate) nearest neighbor search. Deploying a new system, such as DR, inevitably involves tradeoffs in aspects of its performance. Established retrieval systems running at scale are usually well understood in terms of effectiveness and costs, such as query latency, indexing throughput, or storage requirements. In this work, we propose a framework with a set of criteria that go beyond simple effectiveness measures to thoroughly compare two retrieval systems with the explicit goal of assessing the readiness of one system to replace the other. This includes careful tradeoff considerations between effectiveness and various cost factors. Furthermore, we describe guardrail criteria, since even a system that is better on average may have systematic failures on a minority of queries. The guardrails check for failures on certain query characteristics and novel failure types that are only possible in dense retrieval systems. We demonstrate our decision framework on a Web ranking scenario. In that scenario, state-of-the-art DR models have surprisingly strong results, not only on average performance but passing an extensive set of guardrail tests, showing robustness on different query characteristics, lexical matching, generalization, and number of regressions. It is impossible to predict whether DR will become ubiquitous in the future, but one way this is possible is through repeated applications of decision processes such as the one presented here.


title: Automatic Generation of Product-Image Sequence in E-commerce

abstract: Product images are essential for providing desirable user experience in an e-commerce platform. For a platform with billions of products, it is extremely time-costly and labor-expensive to manually pick and organize qualified images. Furthermore, there are the numerous and complicated image rules that a product image needs to comply in order to be generated/selected. To address these challenges, in this paper, we present a new learning framework in order to achieve Automatic Generation of Product-Image Sequence (AGPIS) in e-commerce. To this end, we propose a Multi-modality Unified Image-sequence Classifier (MUIsC), which is able to simultaneously detect all categories of rule violations through learning. MUIsC leverages textual review feedback as the additional training target and utilizes product textual description to provide extra semantic information. Based on offline evaluations, we show that the proposed MUIsC significantly outperforms various baselines. Besides MUIsC, we also integrate some other important modules in the proposed framework, such as primary image selection, noncompliant content detection, and image deduplication. With all these modules, our framework works effectively and efficiently in JD.com recommendation platform. By Dec 2021, our AGPIS framework has generated high-standard images for about 1.5 million products and achieves 13.6% in reject rate.


title: Weak percolation on multiplex networks with overlapping edges

abstract: We solve the weak percolation problem for multiplex networks with overlapping edges. In weak percolation, a vertex belongs to a connected component if at least one of its neighbors in each of the layers is in this component. This is a weaker condition than for a mutually connected component in interdependent networks, in which any two vertices must be connected by a path within each of the layers. The effect of the overlaps on weak percolation turns out to be opposite to that on the giant mutually connected component. While for the giant mutually connected component, overlaps do not change the critical phenomena, our theory shows that in two layers any (nonzero) concentration of overlaps drives the weak percolation transition to the ordinary percolation universality class. In three layers, the phase diagram of the problem contains two lines -- of a continuous phase transition and of a discontinuous one -- connected in various ways depending on how the layers overlap. In the case of only doubled overlapped edges, two of the end points of these lines coincide, resulting in a tricritical point like that seen in heterogeneous $k$-core percolation.


title: A Worked Example of the Bayesian Mechanics of Classical Objects

abstract: Bayesian mechanics is a new approach to studying the mathematics and physics of interacting stochastic processes. Here, we provide a worked example of a physical mechanics for classical objects, which derives from a simple application thereof. We summarise the current state of the art of Bayesian mechanics in doing so. We also give a sketch of its connections to classical chaos, owing to a particular $\mathcal{N}=2$ supersymmetry.

categories: physics.class-ph cond-mat.stat-mech math-ph math.DS math.MP


title: Personalized rTMS for Depression: A Review

abstract: Personalized treatments are gaining momentum across all fields of medicine. Precision medicine can be applied to neuromodulatory techniques, where focused brain stimulation treatments such as repetitive transcranial magnetic stimulation (rTMS) are used to modulate brain circuits and alleviate clinical symptoms. rTMS is well-tolerated and clinically effective for treatment-resistant depression (TRD) and other neuropsychiatric disorders. However, despite its wide stimulation parameter space (location, angle, pattern, frequency, and intensity can be adjusted), rTMS is currently applied in a one-size-fits-all manner, potentially contributing to its suboptimal clinical response (~50%). In this review, we examine components of rTMS that can be optimized to account for inter-individual variability in neural function and anatomy. We discuss current treatment options for TRD, the neural mechanisms thought to underlie treatment, differences in FDA-cleared devices, targeting strategies, stimulation parameter selection, and adaptive closed-loop rTMS to improve treatment outcomes. We suggest that better understanding of the wide and modifiable parameter space of rTMS will greatly improve clinical outcome.


title: Quantum Diffusion via an Approximate Semigroup Property

abstract: In this paper we introduce a new approach to the diffusive limit of the weakly random Schrodinger equation, first studied by L. Erdos, M. Salmhofer, and H.T. Yau. Our approach is based on a wavepacket decomposition of the evolution operator, which allows us to interpret the Duhamel series as an integral over piecewise linear paths. We relate the geometry of these paths to combinatorial features of a diagrammatic expansion which allows us to express the error terms in the expansion as an integral over paths that are exceptional in some way. These error terms are bounded using geometric arguments. The main term is then shown to have a semigroup property, which allows us to iteratively increase the timescale of validity of an effective diffusion. This is the first derivation of an effective diffusion equation from the random Schrodinger equation that is valid in dimensions $d\geq 2$.


title: The mean square displacement of random walk on the Manhattan lattice

abstract: We give an explicit formula for the mean square displacement of the random walk on the $d$-dimensional Manhattan lattice after $n$ steps, for all $n$ and all dimensions $d \geq 2$.


title: An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications

abstract: Executing distributed cyber-physical software processes on edge devices that maintains the resiliency of the overall system while adhering to resource constraints is quite a challenging trade-off to consider for developers. Current approaches do not solve this problem of deploying software components to devices in a way that satisfies different resilience requirements that can be encoded by developers at design time. This paper introduces a resilient deployment framework that can achieve that by accepting user-defined constraints to optimize redundancy or cost for a given application deployment. Experiments with a microgrid energy management application developed using a decentralized software platform show that the deployment configuration can play an important role in enhancing the resilience capabilities of distributed applications as well as reducing the resource demands on individual nodes even without modifying the control logic.


title: On the ergodic theory of impulsive semiflows

abstract: We consider impulsive semiflows and establish sufficient conditions to the existence of invariant measures. Namely, the impulsive set and its image are both submanifolds of codimension one that are transversal to the flow direction. Moreover, we show that under the same conditions a Variational Principle holds.


title: 60 candidate high-velocity stars originating from the Sagittarius dwarf spheroidal galaxy in Gaia EDR3

abstract: Using proper motions from Gaia Early Data Release 3 (Gaia EDR 3) and radial velocities from several surveys, we identify 60 candidate high-velocity stars with total velocity greater than 75\% escape velocity that probably origin from Sagittarius dwarf spheroidal galaxy (Sgr) by orbital analysis. Sgr's gravity has little effect on the results and the Large Magellanic Cloud's gravity has non-negligible effect on only a few stars. The closest approach of these stars to the Sgr occurs when the Sgr passed its pericenter ($\sim$ 38.2 Myr ago), which suggest they were tidally stripped from the Sgr. The positions of these stars in the HR diagram and the chemical properties of 19 of them with available [Fe/H] are similar with the Sgr stream member stars. This is consistent with the assumption of their accretion origin. Two of the 60 are hypervelocity stars, which may also be produced by Hills mechanism.


title: Interference and heat transfer between hairpin vortices in wakes behind staggered hills

abstract: The present study performs a numerical simulation of the interference and heat transfer between hairpin vortices formed in wakes behind staggered hills in a laminar boundary layer. Hairpin vortices are periodically shed in the wake of a row of hills, causing interference between the hairpin vortices. As the spanwise distance between the hills decreases, interference increases and the hairpin vortices become strong. At that time, because the interference between the legs of the hairpin vortex and the Q2 ejection becomes strong, the head of each hairpin vortex rises sharply. When the hill spacing decreases, the turbulence caused by the head and both legs of the hairpin vortex generated from a hill in the second row increases remarkably. In addition, the secondary vortex also generates turbulence. The hairpin vortex and the secondary vortex are attracted to adjacent hairpin vortices, causing widespread high turbulence in the spanwise direction near the wall surface. Regardless of the hill spacing, Q2 ejection and Q4 sweep due to the hairpin vortex occur, and the secondary vortex forms around the hairpin vortex, activating heat transport and increasing the heat transfer coefficient in the wake. When the hill spacing becomes narrower, the interference between the hairpin vortices strengthens the legs of each hairpin vortex and secondary vortex, and heat transport near the wall surface becomes very active. The heat transfer increases over a wide range of the wake because the legs of hairpin vortices flowing downstream are spread in the spanwise direction.


title: Multiple change point detection in tensors

abstract: This paper proposes a criterion for detecting change structures in tensor data. To accommodate tensor structure with structural mode that is not suitable to be equally treated and summarized in a distance to measure the difference between any two adjacent tensors, we define a mode-based signal-screening Frobenius distance for the moving sums of slices of tensor data to handle both dense and sparse model structures of the tensors. As a general distance, it can also deal with the case without structural mode. Based on the distance, we then construct signal statistics using the ratios with adaptive-to-change ridge functions. The number of changes and their locations can then be consistently estimated in certain senses, and the confidence intervals of the locations of change points are constructed. The results hold when the size of the tensor and the number of change points diverge at certain rates, respectively. Numerical studies are conducted to examine the finite sample performances of the proposed method. We also analyze two real data examples for illustration.


title: R\'enyi's entropy on Lorentzian spaces. Timelike curvature-dimension conditions

abstract: For a Lorentzian space measured by $\mathfrak{m}$ in the sense of Kunzinger, S\"amann, Cavalletti, and Mondino, we introduce and study synthetic notions of timelike lower Ricci curvature bounds by $K\in\boldsymbol{\mathrm{R}}$ and upper dimension bounds by $N\in[1,\infty)$, namely the timelike curvature-dimension conditions $\smash{\mathrm{TCD}_p(K,N)}$ and $\smash{\mathrm{TCD}_p^*(K,N)}$ in weak and strong forms, where $p\in (0,1)$, and the timelike measure-contraction properties $\smash{\mathrm{TMCP}(K,N)}$ and $\smash{\mathrm{TMCP}^*(K,N)}$. These are formulated by convexity properties of the R\'enyi entropy with respect to $\mathfrak{m}$ along $\smash{\ell_p}$-geodesics of probability measures. We show many features of these notions, including their compatibility with the smooth setting, sharp geometric inequalities, stability, equivalence of the named weak and strong versions, local-to-global properties, and uniqueness of chronological $\smash{\ell_p}$-optimal couplings and chronological $\smash{\ell_p}$-geodesics. We also prove the equivalence of $\smash{\mathrm{TCD}_p^*(K,N)}$ and $\smash{\mathrm{TMCP}^*(K,N)}$ to their respective entropic counterparts in the sense of Cavalletti and Mondino. Some of these results are obtained under timelike $p$-essential nonbranching, a concept which is a priori weaker than timelike nonbranching.


title: A finite presentation for the balanced superelliptic handlebody group

abstract: The balanced superelliptic handlebody group is the normalizer of the transformation group of the balanced superelliptic covering space in the handlebody group of the total space. We give a finite presentation for the balanced superelliptic handlebody group. To give this presentation, we construct a finite presentation for the liftable Hilden group.


title: Mobility State Detection of Cellular-Connected UAVs based on Handover Count Statistics

abstract: To ensure reliable and effective mobility management for aerial user equipment (UE), estimating the speed of cellular-connected unmanned aerial vehicles (UAVs) carries critical importance since this can help to improve the quality of service of the cellular network. The 3GPP LTE standard uses the number of handovers made by a UE during a predefined time period to estimate the speed and the mobility state efficiently. In this paper, we introduce an approximation to the probability mass function of handover count (HOC) as a function of a cellular-connected UAV's height and velocity, HOC measurement time window, and different ground base station (GBS) densities. Afterward, we derive the Cramer-Rao lower bound (CRLB) for the speed estimate of a UAV, and also provide a simple biased estimator for the UAV's speed which depends on the GBS density and HOC measurement period. Interestingly, for a low time-to-trigger (TTT) parameter, the biased estimator turns into a minimum variance unbiased estimator (MVUE). By exploiting this speed estimator, we study the problem of detecting the mobility state of a UAV as low, medium, or high mobility as per the LTE specifications. Using CRLBs and our proposed MVUE, we characterize the accuracy improvement in speed estimation and mobility state detection as the GBS density and the HOC measurement window increase. Our analysis also shows that the accuracy of the proposed estimator does not vary significantly with respect to the TTT parameter.


title: The role of receptor uniformity in multivalent binding

abstract: Multivalency is prevalent in various biological systems and applications due to the superselectivity that arises from the cooperativity of multivalent binding. Traditionally, it was thought that weaker individual binding would improve the selectivity in multivalent targeting. Here using analytical mean field theory and Monte Carlo simulations, we discover that for receptors that are highly uniformly distributed, the highest selectivity occurs at an intermediate binding energy and can be significantly greater than the weak binding limit. This is caused by an exponential relationship between the bound fraction and receptor concentration, which is influenced by both the strength and combinatorial entropy of binding. Our findings not only provide new guidelines for the rational design of biosensors using multivalent nano-particles but also introduce a new perspective in understanding biological processes involving multivalency.


title: Could trapped quintessence account for the laser-detuning-dependent acceleration of cold atoms in varying-frequency time-of-flight experiments?

abstract: Using a trapped quintessence model, a series of time-of-flight (TOF) experiments with a different frequency of probe light were designed and performed. The varying-frequency TOF (VFTOF) experiments demonstrated that the fall acceleration of test atoms is dependent on the detuning of the probe light frequency with respect to the atomic transition frequency. In appropriately designed experiments, if the scalar field in the model accounts for the accelerated expansion of the Universe entirely, the field will result in an observable fifth force. Meanwhile, the trapped quintessence model still satisfies all experimental bounds on deviations from general relativity due to both the saturation effect and the short interaction range of the scalar field. The scalar saturates at a value corresponding to the cosmological constant when the microscopic nonrelativistic matter density is large enough. The interaction range of the scalar is inversely proportional to the square root of the microscopic nonrelativistic matter density. The interaction range has been estimated to be several $\mu \rm{m}$ in the current cosmic density. The Universe is assumed to be permeated with fuzzy dark matter, which means that the microscopic nonrelativistic matter density defined through the quantum wavefunctions of the ultralight particles can be used on the cosmic scale. By measuring the fall acceleration of the test atoms with the TOF method step-by-step in the detuning frequency domain of the probe light, we derived the dispersion curves of the measured acceleration versus the frequency detuning of the probe light. When the nonrelativistic matter density of the source increased due to the energy gained from the laser light, the test atoms were pulled to the center of the source, and vice versa.


title: In-situ temperature and major species measurements of sooting flames based on short-gated spontaneous Raman scattering

abstract: Spontaneous Raman spectroscopy (SRS) is a conventional in-situ laser diagnostic method that has been widely used for measurements of temperature and major species. However, SRS in sooting flames suffers from strong interference including laser-induced fluorescence, laser-induced incandescence, and flame luminosity, which is a long-lasting challenge. This work introduces a low-cost, easy-to-implement, and calibration-free SRS thermometry in sooting flames based on a 355-nm nanosecond laser beam. Several strategies were utilized to increase the signal-to-noise ratio and suppress the interference: (1) nanosecond ICCD gate width; (2) optimized ICCD gate delay; (3) specially designed focusing shape of the laser beam; (4) ultraviolet polarizer filter. The temperature was obtained by fitting the contour of Stokes-Raman spectra of N2 molecules, which does not require additional calibration. Based on the measured temperature, the mole fraction of major species can be obtained with calibration. This method was used in the temperature and major species measurements of an ethylene-based counterflow diffusion flame. The experimental results show an excellent agreement with the simulation results, demonstrating the feasibility of performing non-intrusive laser diagnostics of sooting and other particle-laden flames accurately.


title: Efficient Private SCO for Heavy-Tailed Data via Clipping

abstract: We consider stochastic convex optimization for heavy-tailed data with the guarantee of being differentially private (DP). Prior work on this problem is restricted to the gradient descent (GD) method, which is inefficient for large-scale problems. In this paper, we resolve this issue and derive the first high-probability bounds for the private stochastic method with clipping. For general convex problems, we derive excess population risks $\Tilde{O}\left(\frac{d^{1/7}\sqrt{\ln\frac{(n \epsilon)^2}{\beta d}}}{(n\epsilon)^{2/7}}\right)$ and $\Tilde{O}\left(\frac{d^{1/7}\ln\frac{(n\epsilon)^2}{\beta d}}{(n\epsilon)^{2/7}}\right)$ under bounded or unbounded domain assumption, respectively (here $n$ is the sample size, $d$ is the dimension of the data, $\beta$ is the confidence level and $\epsilon$ is the private level). Then, we extend our analysis to the strongly convex case and non-smooth case (which works for generalized smooth objectives with H$\ddot{\text{o}}$lder-continuous gradients). We establish new excess risk bounds without bounded domain assumption. The results above achieve lower excess risks and gradient complexities than existing methods in their corresponding cases. Numerical experiments are conducted to justify the theoretical improvement.


title: $u^* = \sqrt{uv}$

abstract: This paper aims to compute the unemployment rate $u^*$ that is consistent with full employment in the United States. First, it argues that the most appropriate economic translation of the legal notion of full employment is social efficiency. Here efficiency requires to minimize the nonproductive use of labor -- both unemployment and recruiting. The nonproductive use of labor is measured by the number of jobseekers and vacancies, $u + v$. Through the Beveridge curve, the numbers of vacancies and jobseekers are inversely related, $uv = \text{constant}$. With such symmetry the labor market is efficient when there are as many jobseekers as vacancies ($u = v$), inefficiently tight when there are more vacancies than jobseekers ($v > u$), and inefficiently slack when there are more jobseekers than vacancies ($u > v$). Accordingly, the full-employment rate of unemployment (FERU) is the geometric average of the unemployment and vacancy rates: $u^* = \sqrt{uv}$. Between 1930 and 2023, the FERU averages $4.1\%$ and is quite stable -- it always remains between $2.5\%$ and $6.6\%$.


title: Continuity of the roots of a polynomial

abstract: Let $K$ be an algebraically closed field with an absolute value. This note gives an elementary proof of the classical result that the roots of a polynomial with coefficients in $K$ are continuous functions of the coefficients of the polynomial.


title: Joint Optimization of Sampling Rate Offsets Based on Entire Signal Relationship Among Distributed Microphones

abstract: In this paper, we propose to simultaneously estimate all the sampling rate offsets (SROs) of multiple devices. In a distributed microphone array, the SRO is inevitable, which deteriorates the performance of array signal processing. Most of the existing SRO estimation methods focused on synchronizing two microphones. When synchronizing more than two microphones, we select one reference microphone and estimate the SRO of each non-reference microphone independently. Hence, the relationship among signals observed by non-reference microphones is not considered. To address this problem, the proposed method jointly optimizes all SROs based on a probabilistic model of a multichannel signal. The SROs and model parameters are alternately updated to increase the log-likelihood based on an auxiliary function. The effectiveness of the proposed method is validated on mixtures of various numbers of speakers.


title: Tailoring Dynamical Fermionization: Delta kick cooling of a Tonks-Girardeau gas

abstract: In one spatial dimension, quantum exchange statistics and interactions are inextricably intertwined. As a manifestation, the expansion dynamics of a Tonks-Girardeau gas is characterized by dynamical fermionization (DF), whereby the momentum distribution approaches that of a spin-polarized Fermi gas. Using a phase-space analysis and the unitary evolution of the one-body reduced density matrix, we show that DF can be tailored and reversed, using a generalization of delta kick cooling (DKC) to interacting systems, establishing a simple protocol to rescale the initial momentum distribution. The protocol applies to both expansions and compressions and can be used for microscopy of quantum correlations.

categories: cond-mat.quant-gas cond-mat.stat-mech cond-mat.str-el quant-ph


title: Unsupervised Instance Discriminative Learning for Depression Detection from Speech Signals

abstract: Major Depressive Disorder (MDD) is a severe illness that affects millions of people, and it is critical to diagnose this disorder as early as possible. Detecting depression from voice signals can be of great help to physicians and can be done without any invasive procedure. Since relevant labelled data are scarce, we propose a modified Instance Discriminative Learning (IDL) method, an unsupervised pre-training technique, to extract augment-invariant and instance-spread-out embeddings. In terms of learning augment-invariant embeddings, various data augmentation methods for speech are investigated, and time-masking yields the best performance. To learn instance-spread-out embeddings, we explore methods for sampling instances for a training batch (distinct speaker-based and random sampling). It is found that the distinct speaker-based sampling provides better performance than the random one, and we hypothesize that this result is because relevant speaker information is preserved in the embedding. Additionally, we propose a novel sampling strategy, Pseudo Instance-based Sampling (PIS), based on clustering algorithms, to enhance spread-out characteristics of the embeddings. Experiments are conducted with DepAudioNet on DAIC-WOZ (English) and CONVERGE (Mandarin) datasets, and statistically significant improvements, with p-value 0.0015 and 0.05, respectively, are observed using PIS in the detection of MDD relative to the baseline without pre-training.


title: Safe Schedule Verification for Urban Air Mobility Networks with Node Closures

abstract: In Urban Air Mobility (UAM) networks, takeoff and landing sites, called vertiports, are likely to experience intermittent closures due to, e.g., adverse weather. To ensure safety, all in-flight Urban Air Vehicles (UAVs) in a UAM network must therefore have alternative landing sites with sufficient landing capacity in the event of a vertiport closure. In this paper, we study the problem of safety verification of UAM schedules in the face of vertiport closures. We first provide necessary and sufficient conditions for a given UAM schedule to be safe in the sense that, if a vertiport closure occurs, then all UAVs will be able to safely land at a backup landing site. Next, we convert these conditions to an efficient algorithm for verifying safety of a UAM schedule via a linear program by using properties of totally unimodular matrices. Our algorithm allows for uncertain travel time between UAM vertiports and scales quadratically with the number of scheduled UAVs. We demonstrate our algorithm on a UAM network with up to 1,000 UAVs.


title: Learning stochastic filtering

abstract: We quantify the performance of approximations to stochastic filtering by the Kullback-Leibler divergence to the optimal Bayesian filter. Using a two-state Markov process that drives a Brownian measurement process as prototypical test case, we compare two stochastic filtering approximations: a static low-pass filter as baseline, and machine learning of Voltera expansions using nonlinear Vector Auto Regression (nVAR). We highlight the crucial role of the chosen performance metric, and present two solutions to the specific challenge of predicting a likelihood bounded between $0$ and $1$.


title: A non-commutative Reidemeister-Turaev torsion of homology cylinders

abstract: We compute the Reidemeister-Turaev torsion of homology cylinders which takes values in the $K_1$-group of the $I$-adic completion of the group ring $\mathbb{Q}\pi_1\Sigma_{g,1}$, and prove that its reduction to $\widehat{\mathbb{Q}\pi_1\Sigma_{g,1}}/\hat{I}^{d+1}$ is a finite-type invariant of degree $d$. We also show that the $1$-loop part of the LMO homomorphism and the Enomoto-Satoh trace can be recovered from the leading term of our torsion.


title: Quantum control and quantum speed limits in supersymmetric potentials

abstract: Supersymmetry allows one to build a hierarchy of Hamiltonians that share the same spectral properties and which are pairwise connected through common superpotentials. The iso-spectral properties of these Hamiltonians imply that the dynamics and therefore control of different eigenstates are connected through supersymmetric intertwining relations. In this work we explore how this enables one to study general dynamics, shortcuts to adiabaticity (STA) and quantum speed limits for distinct states of different supersymmetric partner potentials by using the infinite box as an example.


title: Speak Like a Professional: Increasing Speech Intelligibility by Mimicking Professional Announcer Voice with Voice Conversion

abstract: In most of practical scenarios, the announcement system must deliver speech messages in a noisy environment, in which the background noise cannot be cancelled out. The local noise reduces speech intelligibility and increases listening effort of the listener, hence hamper the effectiveness of announcement system. There has been reported that voices of professional announcers are clearer and more comprehensive than that of non-expert speakers in noisy environment. This finding suggests that the speech intelligibility might be related to the speaking style of professional announcer, which can be adapted using voice conversion method. Motivated by this idea, this paper proposes a speech intelligibility enhancement in noisy environment by applying voice conversion method on non-professional voice. We discovered that the professional announcers and non-professional speakers are clusterized into different clusters on the speaker embedding plane. This implies that the speech intelligibility can be controlled as an independent feature of speaker individuality. To examine the advantage of converted voice in noisy environment, we experimented using test words masked in pink noise at different SNR levels. The results of objective and subjective evaluations confirm that the speech intelligibility of converted voice is higher than that of original voice in low SNR conditions.


title: Status and progress of China SKA Regional Centre prototype

abstract: The Square Kilometre Array (SKA) project consists of delivering two largest radio telescope arrays being built by the SKA Observatory (SKAO), which is an intergovernmental organization bringing together nations from around the world with China being one of the major member countries. The computing resources needed to process, distribute, curate and use the vast amount of data that will be generated by the SKA telescopes are too large for the SKAO to manage on its own. To address this challenge, the SKAO is working with the international community to create a shared, distributed data, computing and networking capability called the SKA Regional Centre Alliance. In this model, the SKAO will be supported by a global network of SKA Regional Centres (SRCs) distributed around the world in its member countries to build an end-to-end science data system that will provide astronomers with high-quality science products. SRCs undertake deep processing, scientific analysis, and long-term storage of the SKA data, as well as user support. China has been actively participating in and promoting the construction of SRCs. This paper introduces the international cooperation and ongoing prototyping of the global SRC network, the construction plan of the China SRC and describes in detail the China SRC prototype. The paper also presents examples of scientific applications of SKA precursor and pathfinder telescopes completed using resources from the China SRC prototype. Finally, the future prospects of the China SRC are presented.


title: Quantum transport of strongly interacting fermions in one dimension at far-out-of-equilibrium

abstract: In the study of quantum transport, much has been known for dynamics near thermal equilibrium. However, quantum transport far away from equilibrium is much less well understood--the linear response approximation does not hold for physics far-out-of-equilibrium in general. In this work, motivated by recent cold atom experiments on probing quantum many-body dynamics of a one-dimensional XXZ spin chain, we study the strong interaction limit of the one-dimensional spinless fermion model, which is dual to the XXZ spin chain. We develop a highly efficient computation algorithm for simulating the non-equilibrium dynamics of this system exactly, and examine the non-equilibrium dynamics starting from a density modulation quantum state. We find ballistic transport in this strongly correlated setting, and show a plane-wave description emerges at long-time evolution. We also observe sharp distinction between transport velocities in short and long times as induced by interaction effects, and provide a quantitative interpretation for the long-time transport velocity.


title: Analytic structure of the MNS matrix with diagonal reflection symmetries

abstract: In this paper, we survey the analytic structure of the MNS matrix with diagonal reflection symmetries. If the mass matrix of charged leptons $m_{e}$ is hierarchical (i.e., $|(m_{e})_{33}| \simeq m_{\tau} \gg |(m_{e})_{1i , j1}|$), by neglecting the 1-3 mixing of $m_{e}$, the MNS matrix is represented by four parameters and several sign degrees of freedom. By substituting the three observed mixing angles $\theta_{ij}$ as input parameters, the Dirac phase $\delta$ and the Majorana phases $\alpha_{2,3}$ become functions of the 1-2 mixing of charged leptons $s_{e}$. As a result, we obtain clear correlations between CP-violating phases $|\sin \delta| \simeq 1.6 |\sin \alpha_{2}| \simeq 2.5 |\sin \alpha_{3}|$. Although the Majorana phases are difficult to observe, by combining these symmetries with a model that has determined mass values (such as the minimal seesaw model), the effective mass of the double beta decay can be displayed as a function of $\delta$.


title: Towards Harnessing Feature Embedding for Robust Learning with Noisy Labels

abstract: The memorization effect of deep neural networks (DNNs) plays a pivotal role in recent label noise learning methods. To exploit this effect, the model prediction-based methods have been widely adopted, which aim to exploit the outputs of DNNs in the early stage of learning to correct noisy labels. However, we observe that the model will make mistakes during label prediction, resulting in unsatisfactory performance. By contrast, the produced features in the early stage of learning show better robustness. Inspired by this observation, in this paper, we propose a novel feature embedding-based method for deep learning with label noise, termed LabEl NoiseDilution (LEND). To be specific, we first compute a similarity matrix based on current embedded features to capture the local structure of training data. Then, the noisy supervision signals carried by mislabeled data are overwhelmed by nearby correctly labeled ones (\textit{i.e.}, label noise dilution), of which the effectiveness is guaranteed by the inherent robustness of feature embedding. Finally, the training data with diluted labels are further used to train a robust classifier. Empirically, we conduct extensive experiments on both synthetic and real-world noisy datasets by comparing our LEND with several representative robust learning approaches. The results verify the effectiveness of our LEND.


title: Hyperspaces with a countable character of closed subsets

abstract: For a regular space $X$, the hyperspace $(CL(X), \tau_{F})$ (resp., $(CL(X), \tau_{V})$) is the space of all nonempty closed subsets of $X$ with the Fell topology (resp., Vietoris topology). In this paper, we give the characterization of the space $X$ such that the hyperspace $(CL(X), \tau_{F})$ (resp., $(CL(X), \tau_{V})$) with a countable character of closed subsets. We mainly prove that $(CL(X), \tau_F)$ has a countable character on each closed subset if and only if $X$ is compact metrizable, and $(CL(X), \tau_F)$ has a countable character on each compact subset if and only if $X$ is locally compact and separable metrizable. Moreover, we prove that $(\mathcal{K}(X), \tau_V)$ have the compact-$G_\delta$ property if and only if $X$ have the compact-$G_\delta$ property and every compact subset of $X$ is metrizable.


title: Balancing Run-Length Straight-Line Programs*

abstract: It was recently proved that any SLP generating a given string $w$ can be transformed in linear time into an equivalent balanced SLP of the same asymptotic size. We show that this result also holds for RLSLPs, which are SLPs extended with run-length rules of the form $A \rightarrow B^t$ for $t>2$, deriving $\texttt{exp}(A) = \texttt{exp}(B)^t$. An immediate consequence is the simplification of the algorithm for extracting substrings of an RLSLP-compressed string. We also show that several problems like answering RMQs and computing Karp-Rabin fingerprints on substrings can be solved in $\mathcal{O}(g_{rl})$ space and $\mathcal{O}(\log n)$ time, $g_{rl}$ being the size of the smallest RLSLP generating the string, of length $n$. We extend the result to solving more general operations on string ranges, in $\mathcal{O}(g_{rl})$ space and $\mathcal{O}(\log n)$ applications of the operation. In general, the smallest RLSLP can be asymptotically smaller than the smallest SLP by up to an $\mathcal{O}(\log n)$ factor, so our results can make a difference in terms of the space needed for computing these operations efficiently for some string families.


title: Multi-Scale Spatial Temporal Graph Convolutional Network for Skeleton-Based Action Recognition

abstract: Graph convolutional networks have been widely used for skeleton-based action recognition due to their excellent modeling ability of non-Euclidean data. As the graph convolution is a local operation, it can only utilize the short-range joint dependencies and short-term trajectory but fails to directly model the distant joints relations and long-range temporal information that are vital to distinguishing various actions. To solve this problem, we present a multi-scale spatial graph convolution (MS-GC) module and a multi-scale temporal graph convolution (MT-GC) module to enrich the receptive field of the model in spatial and temporal dimensions. Concretely, the MS-GC and MT-GC modules decompose the corresponding local graph convolution into a set of sub-graph convolution, forming a hierarchical residual architecture. Without introducing additional parameters, the features will be processed with a series of sub-graph convolutions, and each node could complete multiple spatial and temporal aggregations with its neighborhoods. The final equivalent receptive field is accordingly enlarged, which is capable of capturing both short- and long-range dependencies in spatial and temporal domains. By coupling these two modules as a basic block, we further propose a multi-scale spatial temporal graph convolutional network (MST-GCN), which stacks multiple blocks to learn effective motion representations for action recognition. The proposed MST-GCN achieves remarkable performance on three challenging benchmark datasets, NTU RGB+D, NTU-120 RGB+D and Kinetics-Skeleton, for skeleton-based action recognition.


title: Bright and polarized fiber in-line single photon source based on plasmon-enhanced emission into nanofiber guided modes

abstract: We demonstrate a bright and polarized fiber in-line single photon source based on plasmon-enhanced emission of colloidal single quantum dots into an optical nanofiber. We show that emission properties of single quantum dots can be strongly enhanced in the presence of single gold nanorods leading to a bright and strongly polarized single photon emission. The single photons are efficiently coupled to guided modes of the nanofiber and eventually to a single mode optical fiber. The brightness (fiber-coupled photon count rate) of the single photon source is estimated to be 12.2(0.6) MHz, with high single photon purity (g2(0) = 0.20(0.04)) and degree of polarization as high as 94-97%. The present device can be integrated into fiber networks paving the way for potential applications in quantum networks.


title: Hybridization and Correlation between f- and d-orbital electrons in a valence fluctuating compound EuNi2P2

abstract: The interaction between localized f and itinerant conduction electrons is crucial in the electronic properties of heavy fermion and valence fluctuating compounds. Using high-resolution angle-resolved photoemission spectroscopy, we systematically investigate the electronic structure of the archetypical valence fluctuating compound EuNi2P2 that hosts multiple f electrons. At low temperatures, we reveal the hybridization between Eu 4f and Ni 3d states, which contributes to the electron mass enhancement, consistent with the periodic Anderson model. With increasing temperature, interestingly, we observe opposite temperature evolution of electron spectral function above and below the Kondo coherence temperature near 110 K, which is in contrast to the monotonic valence change and beyond the expectation of the periodic Anderson model. We argue that both f-d hybridization and correlation are imperative in the electronic properties of EuNi2P2. Our results shed light on the understanding of novel properties, such as heavy fermion behaviors and valence fluctuation, of rare-earth transition-metal intermetallic compounds with multiple f electrons.


title: Varying Joint Patterns and Compensatory Strategies Can Lead to the Same Functional Gait Outcomes: A Case Study

abstract: This paper analyses joint-space walking mechanisms and redundancies in delivering functional gait outcomes. Multiple biomechanical measures are analysed for two healthy male adults who participated in a multi-factorial study and walked during three sessions. Both participants employed varying intra- and inter-personal compensatory strategies (e.g., vaulting, hip hiking) across walking conditions and exhibited notable gait pattern alterations while keeping task-space (functional) gait parameters invariant. They also preferred various levels of asymmetric step length but kept their symmetric step time consistent and cadence-invariant during free walking. The results demonstrate the importance of an individualised approach and the need for a paradigm shift from functional (task-space) to joint-space gait analysis in attending to (a)typical gaits and delivering human-centred human-robot interaction.


title: De-END: Decoder-driven Watermarking Network

abstract: With recent advances in machine learning, researchers are now able to solve traditional problems with new solutions. In the area of digital watermarking, deep-learning-based watermarking technique is being extensively studied. Most existing approaches adopt a similar encoder-driven scheme which we name END (Encoder-NoiseLayer-Decoder) architecture. In this paper, we revamp the architecture and creatively design a decoder-driven watermarking network dubbed De-END which greatly outperforms the existing END-based methods. The motivation for designing De-END originated from the potential drawback we discovered in END architecture: The encoder may embed redundant features that are not necessary for decoding, limiting the performance of the whole network. We conducted a detailed analysis and found that such limitations are caused by unsatisfactory coupling between the encoder and decoder in END. De-END addresses such drawbacks by adopting a Decoder-Encoder-Noiselayer-Decoder architecture. In De-END, the host image is firstly processed by the decoder to generate a latent feature map instead of being directly fed into the encoder. This latent feature map is concatenated to the original watermark message and then processed by the encoder. This change in design is crucial as it makes the feature of encoder and decoder directly shared thus the encoder and decoder are better coupled. We conducted extensive experiments and the results show that this framework outperforms the existing state-of-the-art (SOTA) END-based deep learning watermarking both in visual quality and robustness. On the premise of the same decoder structure, the visual quality (measured by PSNR) of De-END improves by 1.6dB (45.16dB to 46.84dB), and extraction accuracy after JPEG compression (QF=50) distortion outperforms more than 4% (94.9% to 99.1%).


title: Normalized/Clipped SGD with Perturbation for Differentially Private Non-Convex Optimization

abstract: By ensuring differential privacy in the learning algorithms, one can rigorously mitigate the risk of large models memorizing sensitive training data. In this paper, we study two algorithms for this purpose, i.e., DP-SGD and DP-NSGD, which first clip or normalize \textit{per-sample} gradients to bound the sensitivity and then add noise to obfuscate the exact information. We analyze the convergence behavior of these two algorithms in the non-convex optimization setting with two common assumptions and achieve a rate $\mathcal{O}\left(\sqrt[4]{\frac{d\log(1/\delta)}{N^2\epsilon^2}}\right)$ of the gradient norm for a $d$-dimensional model, $N$ samples and $(\epsilon,\delta)$-DP, which improves over previous bounds under much weaker assumptions. Specifically, we introduce a regularizing factor in DP-NSGD and show that it is crucial in the convergence proof and subtly controls the bias and noise trade-off. Our proof deliberately handles the per-sample gradient clipping and normalization that are specified for the private setting. Empirically, we demonstrate that these two algorithms achieve similar best accuracy while DP-NSGD is comparatively easier to tune than DP-SGD and hence may help further save the privacy budget when accounting the tuning effort.


title: Monitoring Shortcut Learning using Mutual Information

abstract: The failure of deep neural networks to generalize to out-of-distribution data is a well-known problem and raises concerns about the deployment of trained networks in safety-critical domains such as healthcare, finance and autonomous vehicles. We study a particular kind of distribution shift $\unicode{x2013}$ shortcuts or spurious correlations in the training data. Shortcut learning is often only exposed when models are evaluated on real-world data that does not contain the same spurious correlations, posing a serious dilemma for AI practitioners to properly assess the effectiveness of a trained model for real-world applications. In this work, we propose to use the mutual information (MI) between the learned representation and the input as a metric to find where in training, the network latches onto shortcuts. Experiments demonstrate that MI can be used as a domain-agnostic metric for monitoring shortcut learning.


title: A General Recipe for Likelihood-free Bayesian Optimization

abstract: The acquisition function, a critical component in Bayesian optimization (BO), can often be written as the expectation of a utility function under a surrogate model. However, to ensure that acquisition functions are tractable to optimize, restrictions must be placed on the surrogate model and utility function. To extend BO to a broader class of models and utilities, we propose likelihood-free BO (LFBO), an approach based on likelihood-free inference. LFBO directly models the acquisition function without having to separately perform inference with a probabilistic surrogate model. We show that computing the acquisition function in LFBO can be reduced to optimizing a weighted classification problem, where the weights correspond to the utility being chosen. By choosing the utility function for expected improvement (EI), LFBO outperforms various state-of-the-art black-box optimization methods on several real-world optimization problems. LFBO can also effectively leverage composite structures of the objective function, which further improves its regret by several orders of magnitude.


title: Excluded minors are almost fragile II: essential elements

abstract: Let $M$ be an excluded minor for the class of $\mathbb{P}$-representable matroids for some partial field $\mathbb{P}$, let $N$ be a $3$-connected strong $\mathbb{P}$-stabilizer that is non-binary, and suppose $M$ has a pair of elements $\{a,b\}$ such that $M\backslash a,b$ is $3$-connected with an $N$-minor. Suppose also that $|E(M)| \geq |E(N)|+11$ and $M \backslash a,b$ is not $N$-fragile. In the prequel to this paper, we proved that $M \backslash a,b$ is at most five elements away from an $N$-fragile minor. An element $e$ in a matroid $M'$ is $N$-essential if neither $M'/e$ nor $M' \backslash e$ has an $N$-minor. In this paper, we prove that, under mild assumptions, $M \backslash a,b$ is one element away from a minor having at least $r(M)-2$ elements that are $N$-essential.


title: Universality of Approximate Message Passing algorithms and tensor networks

abstract: Approximate Message Passing (AMP) algorithms provide a valuable tool for studying mean-field approximations and dynamics in a variety of applications. Although these algorithms are often first derived for matrices having independent Gaussian entries or satisfying rotational invariance in law, their state evolution characterizations are expected to hold over larger universality classes of random matrix ensembles. We develop several new results on AMP universality. For AMP algorithms tailored to independent Gaussian entries, we show that their state evolutions hold over broadly defined generalized Wigner and white noise ensembles, including matrices with heavy-tailed entries and heterogeneous entrywise variances that may arise in data applications. For AMP algorithms tailored to rotational invariance in law, we show that their state evolutions hold over delocalized sign-and-permutation-invariant matrix ensembles that have a limit distribution over the diagonal, including sensing matrices composed of subsampled Hadamard or Fourier transforms and diagonal operators. We establish these results via a simplified moment-method proof, reducing AMP universality to the study of products of random matrices and diagonal tensors along a tensor network. As a by-product of our analyses, we show that the aforementioned matrix ensembles satisfy a notion of asymptotic freeness with respect to such tensor networks, which parallels usual definitions of freeness for traces of matrix products.


title: Superintegrability for ($\beta$-deformed) partition function hierarchies with $W$-representations

abstract: We construct the ($\beta$-deformed) partition function hierarchies with $W$-representations. Based on the $W$-representations, we analyze the superintegrability property and derive their character expansions with respect to the Schur functions and Jack polynomials, respectively. Some well known superintegrable matrix models such as the Gaussian hermitian one-matrix model (in the external field), $N\times N$ complex matrix model, $\beta$-deformed Gaussian hermitian and rectangular complex matrix models are contained in the constructed hierarchies.


title: Anisotropic polaritons in 2D vdW materials

abstract: Perhaps the most significant progress to the field of infrared optics and nanophotonics has been made through the real space realisation of polaritons in two-dimensional materials that provide maximum light confinement functionalities. The recent breakthrough discovery of in-plane hyperbolicity in the natural van der Waals material has revealed a most exciting optical property which enable an in-plane anisotropic dispersion. Yet, the most intriguing feature of in-plane anisotropic dispersion is the manipulation of polaritons at the nano scale. This development has opened a new window of opportunity in order to develop unique nanophotonic devices with unprecedented controls. This chapter will cover these developments with focus on fundamental understandings and progress of real space visualisation of in-plane anisotropic polaritons in the near-field range. The last section will conclude with the future prospects of this rapidly emerging area.


title: Transforming Collections of Pauli Operators into Equivalent Collections of Pauli Operators over Minimal Registers

abstract: Transformations which convert between Fermionic modes and qubit operations have become a ubiquitous tool in quantum algorithms for simulating systems. Similarly, collections of Pauli operators might be obtained from solutions of non-local games and satisfiability problems. Drawing on ideas from entanglement-assisted quantum error-correcting codes and quantum convolutional codes, we prove the obtainable lower-bound for the number of qubits needed to represent such Pauli operations which are equivalent and provide a procedure for determining such a set of minimal register Pauli operations.


title: Soliton disentangling and ferroelectric hysteresis in reconstructed moire superlattices

abstract: Moire materials, created by lattice-mismatch or/and twist-angle, have spurred great interest in excavating novel quantum phases of matter. Latterly, emergent interfacial ferroelectricity has been surprisingly found in spatial inversion symmetry broken systems, such as rhombohedral-stacked bilayer transition metal dichalcogenides (TMDs). However, the evolution of moire superlattices corresponding to polarization switching and hysteresis is still unclear, which is crucial for giving insight into the interplay between lattice symmetry and band topology, as well as developing optoelectronic memory devices. Here we report on the observation of phonon splitting at strain soliton networks in reconstructed moire superlattices, arising from the twisting and relaxing induced strong three-fold rotational symmetry (C3) breaking. The interval of phonon splitting is tunable by a perpendicular displacement field and exhibits ferroelectric-related hysteresis loops. These phonon evolution features are attributed to the contribution of moire solitons disentangling and lattice viscosity during the motion of domain walls. Moreover, we demonstrate a proof-of-principle moire ferroelectric tunneling junction, whose barrier is modified by net polarization with a tunneling electroresistance of ~10^4. Our work not only reveals the lattice dynamics of moire solitons but also presents a potential pathway for future ferroelectric-based optoelectronic memory devices.


title: A Strategy Optimized Pix2pix Approach for SAR-to-Optical Image Translation Task

abstract: This technical report summarizes the analysis and approach on the image-to-image translation task in the Multimodal Learning for Earth and Environment Challenge (MultiEarth 2022). In terms of strategy optimization, cloud classification is utilized to filter optical images with dense cloud coverage to aid the supervised learning alike approach. The commonly used pix2pix framework with a few optimizations is applied to build the model. A weighted combination of mean squared error and mean absolute error is incorporated in the loss function. As for evaluation, peak to signal ratio and structural similarity were both considered in our preliminary analysis. Lastly, our method achieved the second place with a final error score of 0.0412. The results indicate great potential towards SAR-to-optical translation in remote sensing tasks, specifically for the support of long-term environmental monitoring and protection.


title: Automated Systems For Diagnosis of Dysgraphia in Children: A Survey and Novel Framework

abstract: Learning disabilities, which primarily interfere with the basic learning skills such as reading, writing and math, are known to affect around 10% of children in the world. The poor motor skills and motor coordination as part of the neurodevelopmental disorder can become a causative factor for the difficulty in learning to write (dysgraphia), hindering the academic track of an individual. The signs and symptoms of dysgraphia include but are not limited to irregular handwriting, improper handling of writing medium, slow or labored writing, unusual hand position, etc. The widely accepted assessment criterion for all the types of learning disabilities is the examination performed by medical experts. The few available artificial intelligence-powered screening systems for dysgraphia relies on the distinctive features of handwriting from the corresponding images.This work presents a review of the existing automated dysgraphia diagnosis systems for children in the literature. The main focus of the work is to review artificial intelligence-based systems for dysgraphia diagnosis in children. This work discusses the data collection method, important handwriting features, machine learning algorithms employed in the literature for the diagnosis of dysgraphia. Apart from that, this article discusses some of the non-artificial intelligence-based automated systems also. Furthermore, this article discusses the drawbacks of existing systems and proposes a novel framework for dysgraphia diagnosis.


title: Extended U-Net for Speaker Verification in Noisy Environments

abstract: Background noise is a well-known factor that deteriorates the accuracy and reliability of speaker verification (SV) systems by blurring speech intelligibility. Various studies have used separate pretrained enhancement models as the front-end module of the SV system in noisy environments, and these methods effectively remove noises. However, the denoising process of independent enhancement models not tailored to the SV task can also distort the speaker information included in utterances. We argue that the enhancement network and speaker embedding extractor should be fully jointly trained for SV tasks under noisy conditions to alleviate this issue. Therefore, we proposed a U-Net-based integrated framework that simultaneously optimizes speaker identification and feature enhancement losses. Moreover, we analyzed the structural limitations of using U-Net directly for noise SV tasks and further proposed Extended U-Net to reduce these drawbacks. We evaluated the models on the noise-synthesized VoxCeleb1 test set and VOiCES development set recorded in various noisy scenarios. The experimental results demonstrate that the U-Net-based fully joint training framework is more effective than the baseline, and the extended U-Net exhibited state-of-the-art performance versus the recently proposed compensation systems.


title: Gate-tunable anomalous Hall effect in stacked van der Waals ferromagnetic insulator - topological insulator heterostructures

abstract: The search of novel topological phases, such as the quantum anomalous Hall insulator (QAHI) or the axion insulator, has motivated different schemes to introduce magnetism into topological insulators. One scheme is to introduce ferromagnetic dopants in topological insulators. However, it is generally challenging and requires carefully engineered growth/heterostructures or relatively low temperatures to observe the QAHI due to issues such as the added disorder with ferromagnetic dopants. Another promising scheme is using the magnetic proximity effect with a magnetic insulator to magnetize the topological insulator. Most of these heterostructures are synthesized so far by growth techniques such as molecular beam epitaxy and metallic organic chemical vapor deposition. These are not readily applicable to allow mixing and matching many of the available ferromagnetic and topological insulators due to difference in growth conditions and lattice mismatch. Here, we demonstrate that the magnetic proximity effect can still be obtained in stacked heterostructures assembled via the dry transfer of exfoliated micrometer-sized thin flakes of van der Waals topological insulator and magnetic insulator materials (BiSbTeSe2/Cr2Ge2Te6), as evidenced in the observation of an anomalous Hall effect (AHE). Furthermore, devices made from these heterostructures can allow modulation of the AHE when controlling the carrier density via electrostatic gating. These results show that simple mechanical transfer of magnetic van der Waals materials provides another possible avenue to magnetize topological insulators by magnetic proximity effect, a key step towards further realization of novel topological phases such as QAHI and axion insulators.