title: Rectification of bipolar nanopores in multivalent electrolytes: effect of charge inversion and strong ionic correlations

abstract: Bipolar nanopores have powerful rectification properties due to the asymmetry in the charge pattern on the wall of the nanopore. In particular, bipolar nanopores have positive and negative surface charges along the pore axis. Rectification is strong if the radius of the nanopore is small compared to the screening length of the electrolyte so that both cations and anions have depletion zones in the respective regions. The depths of these depletion zones is sensitive to sign of the external voltage. In this work, we are interested in the effect of the presence of strong ionic correlations (both between ions and between ions and surface charge) due to the presence of multivalent ions and large surface charges. We show that strong ionic correlations cause leakage of the coions, a phenomenon that is absent in mean field theories. In this modeling study, we use both the mean-field Poisson-Nernst-Planck (PNP) theory and a particle simulation method, Local Equilibrium Monte Carlo (LEMC), to show that phenomena such as overcharging and charge inversion cannot be reproduced with PNP, while LEMC is able to produce nonmonotonic dependence of currents and rectification as a function of surface charge strength.


title: Tight Distributed Listing of Cliques

abstract: Much progress has recently been made in understanding the complexity landscape of subgraph finding problems in the CONGEST model of distributed computing. However, so far, very few tight bounds are known in this area. For triangle (i.e., 3-clique) listing, an optimal $\tilde{O}(n^{1/3})$-round distributed algorithm has been constructed by Chang et al.~[SODA 2019, PODC 2019]. Recent works of Eden et al.~[DISC 2019] and of Censor-Hillel et al.~[PODC 2020] have shown sublinear algorithms for $K_p$-listing, for each $p \geq 4$, but still leaving a significant gap between the upper bounds and the known lower bounds of the problem. In this paper, we completely close this gap. We show that for each $p \geq 4$, there is an $\tilde{O}(n^{1 - 2/p})$-round distributed algorithm that lists all $p$-cliques $K_p$ in the communication network. Our algorithm is \emph{optimal} up to a polylogarithmic factor, due to the $\tilde{\Omega}(n^{1 - 2/p})$-round lower bound of Fischer et al.~[SPAA 2018], which holds even in the CONGESTED CLIQUE model. Together with the triangle-listing algorithm by Chang et al.~[SODA 2019, PODC 2019], our result thus shows that the round complexity of $K_p$-listing, for all $p$, is the same in both the CONGEST and CONGESTED CLIQUE models, at $\tilde{\Theta}(n^{1 - 2/p})$ rounds. For $p=4$, our result additionally matches the $\tilde{\Omega}(n^{1/2})$ lower bound for $K_4$-\emph{detection} by Czumaj and Konrad [DISC 2018], implying that the round complexities for detection and listing of $K_4$ are equivalent in the CONGEST model.


title: Using Convolutional Variational Autoencoders to Predict Post-Trauma Health Outcomes from Actigraphy Data

abstract: Depression and post-traumatic stress disorder (PTSD) are psychiatric conditions commonly associated with experiencing a traumatic event. Estimating mental health status through non-invasive techniques such as activity-based algorithms can help to identify successful early interventions. In this work, we used locomotor activity captured from 1113 individuals who wore a research grade smartwatch post-trauma. A convolutional variational autoencoder (VAE) architecture was used for unsupervised feature extraction from four weeks of actigraphy data. By using VAE latent variables and the participant's pre-trauma physical health status as features, a logistic regression classifier achieved an area under the receiver operating characteristic curve (AUC) of 0.64 to estimate mental health outcomes. The results indicate that the VAE model is a promising approach for actigraphy data analysis for mental health outcomes in long-term studies.


title: GENNI: Visualising the Geometry of Equivalences for Neural Network Identifiability

abstract: We propose an efficient algorithm to visualise symmetries in neural networks. Typically, models are defined with respect to a parameter space, where non-equal parameters can produce the same input-output map. Our proposed method, GENNI, allows us to efficiently identify parameters that are functionally equivalent and then visualise the subspace of the resulting equivalence class. By doing so, we are now able to better explore questions surrounding identifiability, with applications to optimisation and generalizability, for commonly used or newly developed neural network architectures.


title: Separating invariants over finite fields

abstract: We determine the minimal number of separating invariants for the invariant ring of a matrix group $G < \mathrm{GL}_n(\mathbb{F}_q)$ over the finite field $\mathbb{F}_q$. We show that this minimal number can be obtained with invariants of degree at most $|G|n(q-1)$. In the non-modular case this construction can be improved to give invariants of degree at most $n(q-1)$. As examples we study separating invariants over the field $\mathbb{F}_2$ for two important representations of the symmetric group


title: Class groups of real cyclotomic fields

abstract: We prove that every finite abelian group G occurs as a subgroup of the class group of infinitely many real cyclotomic fields.


title: Robust and Efficient Multilevel-ILU Preconditioning of Hybrid Newton-GMRES for Incompressible Navier-Stokes Equations

abstract: We introduce a robust and efficient preconditioner for a hybrid Newton-GMRES method for solving the nonlinear systems arising from incompressible Navier-Stokes equations. When the Reynolds number is relatively high, these systems often involve millions of degrees of freedom (DOFs), and the nonlinear systems are difficult to converge, partially due to the strong asymmetry of the system and the saddle-point structure. In this work, we propose to alleviate these issues by leveraging a multilevel ILU preconditioner called HILUCSI, which is particularly effective for saddle-point problems and can enable robust and rapid convergence of the inner iterations in Newton-GMRES. We further use Picard iterations with the Oseen systems to hot-start Newton-GMRES to achieve global convergence, also preconditioned using HILUCSI. To further improve efficiency and robustness, we use the Oseen operators as physics-based sparsifiers when building preconditioners for Newton iterations and introduce adaptive refactorization and iterative refinement in HILUCSI. We refer to the resulting preconditioned hybrid Newton-GMRES as HILUNG. We demonstrate the effectiveness of HILUNG by solving the standard 2D driven-cavity problem with Re 5000 and a 3D flow-over-cylinder problem with low viscosity. We compare HILUNG with some state-of-the-art customized preconditioners for INS, including two variants of augmented Lagrangian preconditioners and two physics-based preconditioners, as well as some general-purpose approximate-factorization techniques. Our comparison shows that HILUNG is much more robust for solving high-Re problems and it is also more efficient in both memory and runtime for moderate-Re problems.


title: The modulus of $p$-variation and its applications

abstract: In this note, we introduce the notion of modulus of $p$-variation for a function of a real variable, and show that it serves in at least two important problems, namely, the uniform convergence of Fourier series and computation of certain $K$-functionals. To be more specific, let $\nu$ be a nondecreasing concave sequence of positive real numbers and $1\leq p<\infty$. Using our new tool, we first define a Banach space, denoted $V_p[\nu]$, that is intermediate between the Wiener class $BV_p$ and $L^\infty$, and prove that it satisfies a Helly-type selection principle. We also prove that the Peetre $K$-functional for the couple $(L^\infty,BV_p)$ can be expressed in terms of the modulus of $p$-variation. Next, we obtain equivalent sharp conditions for the uniform convergence of the Fourier series of all functions in each of the classes $V_p[\nu]$ and $H^\omega\cap V_p[\nu]$, where $\omega$ is a modulus of continuity and $H^\omega$ denotes its associated Lipschitz class. Finally, we establish optimal embeddings into $V_p[\nu]$ of various spaces of functions of generalized bounded variation. As a by-product of these latter results, we infer embedding results for certain symmetric sequence spaces.


title: Comparative Study of State-of-the-Art Matrix-Product-State Methods for Lattice Models with Large Local Hilbert Spaces

abstract: Lattice models consisting of high-dimensional local degrees of freedom without global particle-number conservation constitute an important problem class in the field of strongly correlated quantum many-body systems. For instance, they are realized in electron-phonon models, cavities, atom-molecule resonance models, or superconductors. In general, these systems elude a complete analytical treatment and need to be studied using numerical methods where matrix-product states (MPS) provide a flexible and generic ansatz class. Typically, MPS algorithms scale at least quadratic in the dimension of the local Hilbert spaces. Hence, tailored methods, which truncate this dimension, are required to allow for efficient simulations. Here, we describe and compare three state-of-the-art MPS methods each of which exploits a different approach to tackle the computational complexity. We analyze the properties of these methods for the example of the Holstein model, performing high-precision calculations as well as a finite-size-scaling analysis of relevant ground-state obervables. The calculations are performed at different points in the phase diagram yielding a comprehensive picture of the different approaches.

categories: cond-mat.str-el cond-mat.other hep-lat quant-ph


title: Observations of the gamma-ray emitting narrow-line Seyfert 1, SBS 0846+513, and its host galaxy

abstract: The gamma-ray emitting galaxy SBS 0846+513 has been classified as a Narrow-Line Seyfert 1 from its spectroscopy, and on that basis it was thought likely to have a small central black hole hosted in a spiral galaxy. But very few of the gamma-ray Narrow-Line Seyfert 1s have high-resolution imaging of their hosts, so it is unknown how those expectations hold up for the gamma-emitting class. We have observed this galaxy in the J-band with the Large Binocular Telescope's LUCI1 camera and the ARGOS adaptive optics system. We estimate its black hole mass to lie between $7.70 \leq \log \frac{\text{M}}{\text{M}_\odot} \leq 8.19$, using the correlation with bulge luminosity, or $7.96 \leq \log \frac{\text{M}}{\text{M}_\odot} \leq 8.16$ using the correlation with S\'{e}rsic index, putting its mass at the high end of the Narrow Line Seyfert 1 range. These estimates are independent of the Broad Line Region viewing geometry and avoid underestimates due to looking down the jet axis. Its host shows evidence of a bulge + disc structure, both from two-dimensional modeling and isophote shape, in keeping with the expectations. Mergers and interactions appear to be common among the gamma-ray Narrow-Line Seyfert 1s, and we see some circumstantial evidence for companion galaxies or disturbed features in the host.


title: Separating the Communication Complexity of Truthful and Non-Truthful Combinatorial Auctions

abstract: We provide the first separation in the approximation guarantee achievable by truthful and non-truthful combinatorial auctions with polynomial communication. Specifically, we prove that any truthful mechanism guaranteeing a $(\frac{3}{4}-\frac{1}{240}+\varepsilon)$-approximation for two buyers with XOS valuations over $m$ items requires $\exp(\Omega(\varepsilon^2 \cdot m))$ communication, whereas a non-truthful algorithm by Dobzinski and Schapira [SODA 2006] and Feige [2009] is already known to achieve a $\frac{3}{4}$-approximation in $poly(m)$ communication. We obtain our separation by proving that any {simultaneous} protocol ({not} necessarily truthful) which guarantees a $(\frac{3}{4}-\frac{1}{240}+\varepsilon)$-approximation requires communication $\exp(\Omega(\varepsilon^2 \cdot m))$. The taxation complexity framework of Dobzinski [FOCS 2016] extends this lower bound to all truthful mechanisms (including interactive truthful mechanisms).


title: Numerical Study of Molten Metal Melt Pool Behaviour during Conduction-mode Laser Spot Melting

abstract: Molten metal melt pools are characterised by highly non-linear responses, which are very sensitive to imposed boundary conditions. Temporal and spatial variations in the energy flux distribution are often neglected in numerical simulations of melt pool behaviour. Additionally, thermo-physical properties of materials are commonly changed to achieve agreement between predicted melt-pool shape and experimental post-solidification macrograph. Focusing on laser spot melting in conduction mode, we investigated the influence of dynamically adjusted energy flux distribution and changing thermo-physical material properties on melt pool oscillatory behaviour using both deformable and non-deformable assumptions for the gas-metal interface. Our results demonstrate that adjusting the absorbed energy flux affects the oscillatory fluid flow behaviour in the melt pool and consequently the predicted melt-pool shape and size. We also show that changing the thermophysical material properties artificially or using a non-deformable surface assumption lead to significant differences in melt pool oscillatory behaviour compared to the cases in which these assumptions are not made.


title: The On-Axis Magnetic Well and Mercier's Criterion for Arbitrary Stellarator Geometries

abstract: A simplified analytical form of the on-axis magnetic well and Mercier's criterion for interchange instabilities for arbitrary three-dimensional magnetic field geometries is derived. For this purpose, a near-axis expansion based on a direct coordinate approach is used by expressing the toroidal magnetic flux in terms of powers of the radial distance to the magnetic axis. For the first time, the magnetic well and Mercier's criterion are then written as a one-dimensional integral with respect to the axis arclength. When compared with the original work of Mercier, the derivation here is presented using modern notation and in a more streamlined manner that highlights essential steps. Finally, these expressions are verified numerically using several quasisymmetric and non-quasisymmetric stellarator configurations including Wendelstein 7-X.


title: Creation of radiocarbon C-14 at thunderstorms

abstract: The synthesis of isotopes is possible under conditions of power electric discharge in the atmosphere. Knowledge of the radioactive 14C yield under flash conditions (as additional channel of 14C production relative to the main - cosmogenic one) is important for radiocarbon analysis. It is proposed the gross model for evaluation of the upper limit of the 14C yield, which creation was simulated for the altitudes up to 15 km. It is presented the results for yield of radioactive isotope 41Ar which synthesis goes along with 14C creation under thunderstorm conditions. It was obtained that the possible thunderstorm mechanisms of 14C creation cannot compete with cosmogenic production.


title: Species cycling and the enhancement of ammonia in prestellar cores

abstract: The quantity of NH3 produced on grain surfaces in the prestellar core is thought to be one of the determining factors regarding the chemical complexity achievable at later stages of stellar birth. In order to investigate how this quantity might be influenced by the gas-grain cycling of molecular material within the cloud, we employ a modified rates gas-grain chemical code and follow the time-dependent chemistry of NH3 as the system evolves. Our models incorporate an updated version of the most recent UDfA network of reaction rate coefficients, desorption from the grains through standard thermal and non-thermal processes, and physisorbed and chemisorbed binding of atomic and molecular hydrogen to a population of carbonaceous and siliceous grains. We find that 1.) observable abundances of NH3 can exist in the gas phase of our models at early times when the N atom is derived from CN via an efficient early-time hydrocarbon chemistry, 2.) a time-dependent gradient exists in the observational agreement between different species classes in our models, consistent with possible physical substructures within the TMC-1 Cyanopolyyne Peak, and 3.) the gaseous and solid-state abundances of NH3 are sensitive to the presence of gas-grain cycling within the system. Our results suggest that the degree of chemical complexity achievable at later stages of the cloud's chemical evolution is indeed influenced by the manner in which the gas-grain cycling occurs.


title: Periodic Navier Stokes Equations: PNS system within & external to embedded spheres of the 3-Torus: The mapping function at a 90 degree corner

abstract: In this paper a solution for the third component of velocity for the Periodic Navier Stokes equations at the corners outside the sphere embedded in each cell of the lattice of $\mathbb{T}^3$ is presented.


title: MixTwice: large-scale hypothesis testing for peptide arrays by variance mixing

abstract: Peptide microarrays have emerged as a powerful technology in immunoproteomics as they provide a tool to measure the abundance of different antibodies in patient serum samples. The high dimensionality and small sample size of many experiments challenge conventional statistical approaches, including those aiming to control the false discovery rate (FDR). Motivated by limitations in reproducibility and power of current methods, we advance an empirical Bayesian tool that computes local false discovery rate statistics and local false sign rate statistics when provided with data on estimated effects and estimated standard errors from all the measured peptides. As the name suggests, the \verb+MixTwice+ tool involves the estimation of two mixing distributions, one on underlying effects and one on underlying variance parameters. Constrained optimization techniques provide for model fitting of mixing distributions under weak shape constraints (unimodality of the effect distribution). Numerical experiments show that \verb+MixTwice+ can accurately estimate generative parameters and powerfully identify non-null peptides. In a peptide array study of rheumatoid arthritis (RA), \verb+MixTwice+ recovers meaningful peptide markers in one case where the signal is weak, and has strong reproducibility properties in one case where the signal is strong. \verb+MixTwice+ is available as an R software package. \href{https://github.com/wiscstatman/MixTwice}{https://github.com/wiscstatman/MixTwice}


title: Accounting for Affect in Pain Level Recognition

abstract: In this work, we address the importance of affect in automated pain assessment and the implications in real-world settings. To achieve this, we curate a new physiological dataset by merging the publicly available bioVid pain and emotion datasets. We then investigate pain level recognition on this dataset simulating participants' naturalistic affective behaviors. Our findings demonstrate that acknowledging affect in pain assessment is essential. We observe degradation in recognition performance when simulating the existence of affect to validate pain assessment models that do not account for it. Conversely, we observe a performance boost in recognition when we account for affect.


title: Integrated Wishart bridge processes and generalised Hartman-Watson law

abstract: This article is concerned with the joint law of an integrated Wishart bridge process and the trace of an integrated inverse Wishart bridge process over the interval $ \left[0,t\right] $. Its Laplace transform is obtained by studying the Wishart bridge processes and the absolute continuity property of Wishart laws.


title: Declarative Approaches to Counterfactual Explanations for Classification

abstract: We propose answer-set programs that specify and compute counterfactual interventions on entities that are input on a classification model. In relation to the outcome of the model, the resulting counterfactual entities serve as a basis for the definition and computation of causality-based explanation scores for the feature values in the entity under classification, namely "responsibility scores". The approach and the programs can be applied with black-box models, and also with models that can be specified as logic programs, such as rule-based classifiers. The main focus of this work is on the specification and computation of "best" counterfactual entities, i.e. those that lead to maximum responsibility scores. From them one can read off the explanations as maximum responsibility feature values in the original entity. We also extend the programs to bring into the picture semantic or domain knowledge. We show how the approach could be extended by means of probabilistic methods, and how the underlying probability distributions could be modified through the use of constraints. Several examples of programs written in the syntax of the DLV ASP-solver, and run with it, are shown.


title: Intention-Based Lane Changing and Lane Keeping Haptic Guidance Steering System

abstract: Haptic guidance in a shared steering assistance system has drawn significant attention in intelligent vehicle fields, owing to its mutual communication ability for vehicle control. By exerting continuous torque on the steering wheel, both the driver and support system can share lateral control of the vehicle. However, current haptic guidance steering systems demonstrate some deficiencies in assisting lane changing. This study explored a new steering interaction method, including the design and evaluation of an intention-based haptic shared steering system. Such an intention-based method can support both lane keeping and lane changing assistance, by detecting a driver lane change intention. By using a deep learning-based method to model a driver decision timing regarding lane crossing, an adaptive gain control method was proposed for realizing a steering control system. An intention consistency method was proposed to detect whether the driver and the system were acting towards the same target trajectories and to accurately capture the driver intention. A driving simulator experiment was conducted to test the system performance. Participants were required to perform six trials with assistive methods and one trial without assistance. The results demonstrated that the supporting system decreased the lane departure risk in the lane keeping tasks and could support a fast and stable lane changing maneuver.


title: Van Vleck excitons in Ca$_{2}$RuO$_{4}$

abstract: A framework is presented for modeling and understanding magnetic excitations in localized, intermediate coupling magnets where the interplay between spin-orbit coupling, magnetic exchange, and crystal field effects are known to create a complex landscape of unconventional magnetic behaviors and ground states. A spin-orbit exciton approach for modeling these excitations is developed based upon a Hamiltonian which explicitly incorporates single-ion crystalline electric field and spin exchange terms. This framework is then leveraged to understand a canonical Van Vleck $j\rm{_{eff}}=0$ singlet ground state whose excitations are coupled spin and crystalline electric field levels. Specifically, the anomalous Higgs mode [Jain et al. Nat. Phys. 13, 633 (2017)], spin-waves [S. Kunkem\"{o}ller et al. Phys. Rev. Lett. 115, 247201 (2015)], and orbital excitations [L. Das et al. Phys. Rev. X 8, 011048 (2018)] in the multiorbital Mott insulator Ca$_2$RuO$_4$ are captured and good agreement is found with previous neutron and inelastic x-ray spectroscopic measurements. Furthermore, our results illustrate how a crystalline electric field-induced singlet ground state can support coherent longitudinal, or amplitude excitations, and transverse wavelike dynamics. We use this description to discuss mechanisms for accessing a nearby critical point.


title: Pairing function of visual binary stars

abstract: An all-sky sample of 1227 visual binaries based on Washington Double Star catalogue is constructed to infer the IMF, mass ratio, and projected distance distribution with a dedicated population synthesis model. Parallaxes from Gaia DR2 and Hipparcos are used to verify the distance distribution. The model is validated on the single-star Tycho-2 sample and successfully reproduces the observed magnitudes and angular separations. The projected separation distribution follows $f(s)\sim s^{-1.2}$ in $10^2 - 2\cdot10^3$ AU range for 1--4.5 $m_{\odot}$ primary stars. Several algorithms are explored as pairing functions. Random pairing is confidently rejected. Primary-constrained (PCP) and split-core pairing (SCP), the scenarios adopting primary component's or total system's mass as fundamental, are considered. The preferred IMF slope is $\alpha \sim 2.8$ either way. A simple power-law mass ratio distribution is unlikely, but the introduction of a twin excess provides a favourable result. PCP with $f(q) \sim q^{-1}$ is preferred with a tiny twin fraction, models with $f(q) \sim q^{-1.5}$ are acceptable when a larger twin excess is allowed. SCP is similar to PCP when a larger slope of the power law is adopted: $f(q)\sim q^{\beta+0.7}$.


title: Solutions of the Bogomolny Equation on R^3 with Certain Type of Knot Singularity I

abstract: Moduli space of the Bogomolny equation on R^3 with certain asymptotic conditions at infinity has been well studied for a long time. This paper studies the moduli space of solutions to the Bogomolny equation on R^3 with a knot singularity. The author hopes such kind of moduli spaces have potential applications in low-dimensional topology and knot theory in the future.


title: Pollen Grain Microscopic Image Classification Using an Ensemble of Fine-Tuned Deep Convolutional Neural Networks

abstract: Pollen grain micrograph classification has multiple applications in medicine and biology. Automatic pollen grain image classification can alleviate the problems of manual categorisation such as subjectivity and time constraints. While a number of computer-based methods have been introduced in the literature to perform this task, classification performance needs to be improved for these methods to be useful in practice. In this paper, we present an ensemble approach for pollen grain microscopic image classification into four categories: Corylus Avellana well-developed pollen grain, Corylus Avellana anomalous pollen grain, Alnus well-developed pollen grain, and non-pollen (debris) instances. In our approach, we develop a classification strategy that is based on fusion of four state-of-the-art fine-tuned convolutional neural networks, namely EfficientNetB0, EfficientNetB1, EfficientNetB2 and SeResNeXt-50 deep models. These models are trained with images of three fixed sizes (224x224, 240x240, and 260x260 pixels) and their prediction probability vectors are then fused in an ensemble method to form a final classification vector for a given pollen grain image. Our proposed method is shown to yield excellent classification performance, obtaining an accuracy of of 94.48% and a weighted F1-score of 94.54% on the ICPR 2020 Pollen Grain Classification Challenge training dataset based on five-fold cross-validation. Evaluated on the test set of the challenge, our approach achieved a very competitive performance in comparison to the top ranked approaches with an accuracy and a weighted F1-score of 96.28% and 96.30%, respectively.


title: Dynamic backdoor attacks against federated learning

abstract: Federated Learning (FL) is a new machine learning framework, which enables millions of participants to collaboratively train machine learning model without compromising data privacy and security. Due to the independence and confidentiality of each client, FL does not guarantee that all clients are honest by design, which makes it vulnerable to adversarial attack naturally. In this paper, we focus on dynamic backdoor attacks under FL setting, where the goal of the adversary is to reduce the performance of the model on targeted tasks while maintaining a good performance on the main task, current existing studies are mainly focused on static backdoor attacks, that is the poison pattern injected is unchanged, however, FL is an online learning framework, and adversarial targets can be changed dynamically by attacker, traditional algorithms require learning a new targeted task from scratch, which could be computationally expensive and require a large number of adversarial training examples, to avoid this, we bridge meta-learning and backdoor attacks under FL setting, in which case we can learn a versatile model from previous experiences, and fast adapting to new adversarial tasks with a few of examples. We evaluate our algorithm on different datasets, and demonstrate that our algorithm can achieve good results with respect to dynamic backdoor attacks. To the best of our knowledge, this is the first paper that focus on dynamic backdoor attacks research under FL setting.


title: Audio-Visual Event Recognition through the lens of Adversary

abstract: As audio/visual classification models are widely deployed for sensitive tasks like content filtering at scale, it is critical to understand their robustness along with improving the accuracy. This work aims to study several key questions related to multimodal learning through the lens of adversarial noises: 1) The trade-off between early/middle/late fusion affecting its robustness and accuracy 2) How do different frequency/time domain features contribute to the robustness? 3) How do different neural modules contribute to the adversarial noise? In our experiment, we construct adversarial examples to attack state-of-the-art neural models trained on Google AudioSet. We compare how much attack potency in terms of adversarial perturbation of size $\epsilon$ using different $L_p$ norms we would need to "deactivate" the victim model. Using adversarial noise to ablate multimodal models, we are able to provide insights into what is the best potential fusion strategy to balance the model parameters/accuracy and robustness trade-off and distinguish the robust features versus the non-robust features that various neural networks model tend to learn.


title: Enhance Gender and Identity Preservation in Face Aging Simulation for Infants and Toddlers

abstract: Realistic age-progressed photos provide invaluable biometric information in a wide range of applications. In recent years, deep learning-based approaches have made remarkable progress in modeling the aging process of the human face. Nevertheless, it remains a challenging task to generate accurate age-progressed faces from infant or toddler photos. In particular, the lack of visually detectable gender characteristics and the drastic appearance changes in early life contribute to the difficulty of the task. We propose a new deep learning method inspired by the successful Conditional Adversarial Autoencoder (CAAE, 2017) model. In our approach, we extend the CAAE architecture to 1) incorporate gender information, and 2) augment the model's overall architecture with an identity-preserving component based on facial features. We trained our model using the publicly available UTKFace dataset and evaluated our model by simulating up to 100 years of aging on 1,156 male and 1,207 female infant and toddler face photos. Compared to the CAAE approach, our new model demonstrates noticeable visual improvements. Quantitatively, our model exhibits an overall gain of 77.0% (male) and 13.8% (female) in gender fidelity measured by a gender classifier for the simulated photos across the age spectrum. Our model also demonstrates a 22.4% gain in identity preservation measured by a facial recognition neural network.


title: Target Guided Emotion Aware Chat Machine

abstract: The consistency of a response to a given post at semantic-level and emotional-level is essential for a dialogue system to deliver human-like interactions. However, this challenge is not well addressed in the literature, since most of the approaches neglect the emotional information conveyed by a post while generating responses. This article addresses this problem by proposing a unifed end-to-end neural architecture, which is capable of simultaneously encoding the semantics and the emotions in a post and leverage target information for generating more intelligent responses with appropriately expressed emotions. Extensive experiments on real-world data demonstrate that the proposed method outperforms the state-of-the-art methods in terms of both content coherence and emotion appropriateness.


title: Nonrad: Computing Nonradiative Capture Coefficients from First Principles

abstract: Point defects in semiconductor crystals provide a means for carriers to recombine nonradiatively. This recombination process impacts the performance of devices. We present the Nonrad code that implements the first-principles approach of Alkauskas et al. [Phys. Rev. B 90, 075202 (2014)] for the evaluation of nonradiative capture coefficients based on a quantum-mechanical description of the capture process. An approach for evaluating electron-phonon coupling within the projector augmented wave formalism is presented. We also show that the common procedure of replacing Dirac delta functions with Gaussians can introduce errors into the resulting capture rate, and implement an alternative scheme to properly account for vibrational broadening. Lastly, we assess the accuracy of using an analytic approximation to the Sommerfeld parameter by comparing with direct numerical evaluation.


title: Time-Domain Multiple Traces Boundary Integral Formulation for Acoustic Wave Scattering in 2D

abstract: We present a novel computational scheme to solve acoustic wave transmission problems over composite scatterers, i.e. penetrable obstacles possessing junctions or triple points. Our continuous problem is cast as a multiple traces time-domain boundary integral formulation valid in two and three dimensions. Numerically, our two-dimensional non-conforming spatial discretization uses spectral elements based on second kind Chebyshev polynomials while a convolution quadrature scheme is performed in the complex frequency domain. Computational experiments reveal multistep and multistage convolution quadrature expected convergence results for a variety of complex domains.


title: Functorial Manifold Learning

abstract: We adapt previous research on category theory and topological unsupervised learning to develop a functorial perspective on manifold learning, also known as nonlinear dimensionality reduction. We first characterize manifold learning algorithms as functors that map pseudometric spaces to optimization objectives and that factor through hierarchical clustering functors. We then use this characterization to prove refinement bounds on manifold learning loss functions and construct a hierarchy of manifold learning algorithms based on their equivariants. We express several popular manifold learning algorithms as functors at different levels of this hierarchy, including Metric Multidimensional Scaling, IsoMap, and UMAP. Next, we use interleaving distance to study the stability of a broad class of manifold learning algorithms. We present bounds on how closely the embeddings these algorithms produce from noisy data approximate the embeddings they would learn from noiseless data. Finally, we use our framework to derive a set of novel manifold learning algorithms, which we experimentally demonstrate are competitive with the state of the art.


title: Solutions of the tt*-Toda Equations and Quantum Cohomology of Flag Manifolds

abstract: We relate the quantum cohomology of minuscule flag manifolds to the tt*-Toda equations, a special case of the topological-antitopological fusion equations which were introduced by Cecotti and Vafa in their study of supersymmetric quantum field theories. To do this, we combine the Lie-theoretic treatment of the tt*-Toda equations of Guest-Ho with the Lie-theoretic description of the quantum cohomology of minuscule flag manifolds from Chaput-Manivel-Perrin and Golyshev-Manivel.


title: Catalytic Creation of Bubble Universe Induced by Quintessence in Five Dimensions

abstract: We investigate the bubble nucleation in five dimensional spacetime catalyzed by quintessence. We especially focus on decay of a metastable Minkowski vacuum to an anti-de Sitter vacuum and study dynamics of the bubble on which four dimensional expanding universe is realized. We also discuss the trans-Planckian censorship conjecture and impose a constraint on the parameter space of the catalysis. As an application of this model, we propose an inflation mechanism and an origin of the dark energy in the context of quintessence in five dimensions.


title: Degeneracy of cross sections in scattering of light

abstract: We theoretically and numerically prove that under an electromagnetic plane wave with linear polarization incident normally to cylindrical passive scatterers, a single energy diagram can integrate absorption, scattering, and extinction cross sections for arbitrary scattering systems, irrespective of internal configuration, material parameters, and its sizes. For a system with definite resonant orders, along the corresponding boundary of the energy diagram, not only the magnitudes of scattering coefficients, but also its phases, are required the same, corresponding to superabsorption or superscattering. For systems composed by larger resonant orders, the domain of the energy diagram can completely cover systems with lower one. Hence, systems with different resonant orders can provide the same energy characteristics, reflecting the energy degenerate property in light scattering. This degeneracy may relax more degrees of freedom in functional designs, such as energy harvesting, imaging, sensing devices. We demonstrate various systems based on real materials to support this finding.


title: Efficient Variational Inference for Sparse Deep Learning with Theoretical Guarantee

abstract: Sparse deep learning aims to address the challenge of huge storage consumption by deep neural networks, and to recover the sparse structure of target functions. Although tremendous empirical successes have been achieved, most sparse deep learning algorithms are lacking of theoretical support. On the other hand, another line of works have proposed theoretical frameworks that are computationally infeasible. In this paper, we train sparse deep neural networks with a fully Bayesian treatment under spike-and-slab priors, and develop a set of computationally efficient variational inferences via continuous relaxation of Bernoulli distribution. The variational posterior contraction rate is provided, which justifies the consistency of the proposed variational Bayes method. Notably, our empirical results demonstrate that this variational procedure provides uncertainty quantification in terms of Bayesian predictive distribution and is also capable to accomplish consistent variable selection by training a sparse multi-layer neural network.


title: Quantifying Community Resilience Based on Fluctuations in Visits to Point-of-Interest from Digital Trace Data

abstract: This study aims to quantify community resilience based on fluctuations in the visits to various Point-of-Interest (POIs) locations. Visit to POIs is an essential indicator of human activities and captures the combined effects of perturbations in people lifestyles, built environment conditions, and businesses status. The study utilized digital trace data of unique visits to POIs in the context of the 2017 Hurricane Harvey in Houston (Texas, USA) to examine spatial patterns of impact and total recovery effort and utilized these measures to quantify community resilience. The results showed that certain POI categories such as building materials and supplies dealers and grocery stores were the most resilient elements of the community compared to the other POI categories. On the other hand, categories such as medical facilities and entertainment were found to have lower resilience values. This result suggests that these categories were either not essential for community recovery or that the community was not able to access these services at normal levels immediately after the hurricane. In addition, the spatial analyses revealed that many areas in the community with lower levels of resilience experienced extensive flooding. However, some areas with low resilience were not flooded extensively, suggesting that spatial reach of the impacts goes beyond flooded areas. The results demonstrate the importance of the approach proposed in our study. While this study focused on Houston and only analysed one natural hazard, the approach can be applied to other communities and disaster contexts. Applying this approach, emergency managers and public officials can efficiently monitor the patterns of disaster impacts and recovery across different spatial areas and POI categories and also identify POI categories and areas of their community that need to be prioritized for resource allocation.


title: Quantum dynamics on a lossy non-Hermitian lattice

abstract: We investigate quantum dynamics of a quantum walker on a finite bipartite non-Hermitian lattice, in which the particle can leak out with certain rate whenever it visits one of the two sublattices. Quantum walker initially located on one of the non-leaky sites will finally totally disappear after a length of evolution time and the distribution of decay probability on each unit cell is obtained. In one regime, the resultant distribution shows an expected decreasing behavior as the distance from the initial site increases. However, in the other regime, we find that the resultant distribution of local decay probability is very counterintuitive, in which a relatively high population of decay probability appears on the edge unit cell which is the farthest from the starting point of the quantum walker. We then analyze the energy spectrum of the non-Hermitian lattice with pure loss, and find that the intriguing behavior of the resultant decay probability distribution is intimately related to the existence and specific property of edge states, which are topologically protected and can be well predicted by the non-Bloch winding number. The exotic dynamics may be observed experimentally with arrays of coupled resonator optical waveguides.


title: Improving Speech Enhancement Performance by Leveraging Contextual Broad Phonetic Class Information

abstract: Previous studies have confirmed that by augmenting acoustic features with the place/manner of articulatory features, the speech enhancement (SE) process can be guided to consider the broad phonetic properties of the input speech when performing enhancement to attain performance improvements. In this paper, we explore the contextual information of articulatory attributes as additional information to further benefit SE. More specifically, we propose to improve the SE performance by leveraging losses from an end-to-end automatic speech recognition (E2E-ASR) model that predicts the sequence of broad phonetic classes (BPCs). We also developed multi-objective training with ASR and perceptual losses to train the SE system based on a BPC-based E2E-ASR. Experimental results from speech denoising, speech dereverberation, and impaired speech enhancement tasks confirmed that contextual BPC information improves SE performance. Moreover, the SE model trained with the BPC-based E2E-ASR outperforms that with the phoneme-based E2E-ASR. The results suggest that objectives with misclassification of phonemes by the ASR system may lead to imperfect feedback, and BPC could be a potentially better choice. Finally, it is noted that combining the most-confusable phonetic targets into the same BPC when calculating the additional objective can effectively improve the SE performance.


title: Twin-field quantum key distribution with passive-decoy state

abstract: Twin-Field quantum key distribution (TF-QKD) and its variants, e.g. Phase-Matching QKD, Sending-or-not-sending QKD, and No Phase Post-Selection TFQKD promise high key rates at long distance to beat the rate distance limit without a repeater. The security proof of these protocols are based on decoy-state method, which is usually performed by actively modulating a variable optical attenuator together with a random number generator in practical experiments, however, active-decoy schemes like this may lead to side channel and could open a security loophole. To enhance the source security of TF-QKD, in this paper, we propose passive-decoy based TF-QKD, in which we combine TF-QKD with the passive-decoy method. And we present a simulation comparing the key generation rate with that in active-decoy, the result shows our scheme performs as good as active decoy TF-QKD, and our scheme could reach satisfactory secret key rates with just a few photon detectors. This shows our work is meaningful in practice.


title: Performance Analysis for the CMSA/CA Protocol in UAV-based IoT network

abstract: UAV-based base station (UBS) has played an important role in the air-ground integration network due to its high flexibility and nice air-ground wireless channels. Especially in Internet of Things (IoT) services, UBS can provide an efficient way for data collection from the IoT devices. However, due to the continuous mobility of UBS, the communication durations of devices in different locations with the UBS are not only time-limited, but also vary from each other. Therefore, it is a challenging task to analyze the throughput performance of the UAV-based IoT network. Accordingly, in this paper, we consider an air-ground network in which UAV flies straightly to collect information from the IoT devices based on CSMA/CA protocol. An analytical model analyzing the performance of this protocol in the network is proposed. In detail, we set up the system model for the network, and propose a new concept called quitting probability. Then, a modified Markov chain model integrating the quitting probability is introduced to describe the transmission state transition process and an accurately theoretical analysis of saturation throughput is given. In addition, the effects of the network parameters are discussed in the simulation section.


title: Data-Driven Scenario Optimization for Automated Controller Tuning with Probabilistic Performance Guarantees

abstract: Systematic design and verification of advanced control strategies for complex systems under uncertainty largely remains an open problem. Despite the promise of blackbox optimization methods for automated controller tuning, they generally lack formal guarantees on the solution quality, which is especially important in the control of safety-critical systems. This paper focuses on obtaining closed-loop performance guarantees for automated controller tuning, which can be formulated as a black-box optimization problem under uncertainty. We use recent advances in non-convex scenario theory to provide a distribution-free bound on the probability of the closed-loop performance measures. To mitigate the computational complexity of the data-driven scenario optimization method, we restrict ourselves to a discrete set of candidate tuning parameters. We propose to generate these candidates using constrained Bayesian optimization run multiple times from different random seed points. We apply the proposed method for tuning an economic nonlinear model predictive controller for a semibatch reactor modeled by seven highly nonlinear differential equations.


title: Joint Placement Optimization and RNC in UAV-based Wireless Multicast Networks

abstract: Random network coding (RNC) is an efficient coding scheme to improve the performance of the broadband networks, especially for multimedia applications which are popular in 5G network. However, it is a challenging work to transmit the real time media data because of the time limitation and wide band requirement. Moreover, the topology of the network changes due to users' movement, causing huge channel heterogeneity in large wireless network area. In this case, the fixed macro base station (BS) or access point may not fit the real-time user distributions. Accordingly, the UAV-based BS with high mobility can provide flexible service by adjusting it position according to users' locations to fit the dynamic topology of the network. Therefore, in this paper, we propose a UAV-based adaptive RNC (UARNC) scheme that jointly optimizes the UAV's location and RNC packet scheduling to maximize the throughput in a multicast network while guaranteeing the service quality of the bottleneck users. This problem is formulated as an optimization problem, and the greedy scheduling techniques and particle swarm optimization (PSO) algorithm are adopted to solve it. Finally, the simulation results prove the effectiveness of the proposed scheme.


title: Echo-CGC: A Communication-Efficient Byzantine-tolerant Distributed Machine Learning Algorithm in Single-Hop Radio Network

abstract: In this paper, we focus on a popular DML framework -- the parameter server computation paradigm and iterative learning algorithms that proceed in rounds. We aim to reduce the communication complexity of Byzantine-tolerant DML algorithms in the single-hop radio network. Inspired by the CGC filter developed by Gupta and Vaidya, PODC 2020, we propose a gradient descent-based algorithm, Echo-CGC. Our main novelty is a mechanism to utilize the broadcast properties of the radio network to avoid transmitting the raw gradients (full $d$-dimensional vectors). In the radio network, each worker is able to overhear previous gradients that were transmitted to the parameter server. Roughly speaking, in Echo-CGC, if a worker "agrees" with a combination of prior gradients, it will broadcast the "echo message" instead of the its raw local gradient. The echo message contains a vector of coefficients (of size at most $n$) and the ratio of the magnitude between two gradients (a float). In comparison, the traditional approaches need to send $n$ local gradients in each round, where each gradient is typically a vector in an ultra-high dimensional space ($d\gg n$). The improvement on communication complexity of our algorithm depends on multiple factors, including number of nodes, number of faulty workers in an execution, and the cost function. We numerically analyze the improvement, and show that with a large number of nodes, Echo-CGC reduces $80\%$ of the communication under standard assumptions.


title: Efficacy of Boron Nitride Encapsulation against Plasma-Processing in van der Waals Heterostructures

abstract: Two-dimensional (2D) transition metal dichalcogenides (TMDCs) are the subject of intense investigation for applications in optics, electronics, catalysis, and energy storage. Their optical and electronic properties can be significantly enhanced when encapsulated in an environment that is free of charge disorder. Because hexagonal boron nitride (h-BN) is atomically thin, highly-crystalline, and is a strong insulator, it is one of the most commonly used 2D materials to encapsulate and passivate TMDCs. In this report, we examine how ultrathin h-BN shields an underlying MoS2 TMDC layer from the energetic argon plasmas that are routinely used during semiconductor device fabrication and post-processing. Aberration-corrected Scanning Transmission Electron Microscopy is used to analyze defect formation in both the h-BN and MoS2 layers, and these observations are correlated with Raman and photoluminescence spectroscopy. Our results highlight that h-BN is an effective barrier for short plasma exposures (< 30 secs) but is ineffective for longer exposures, which result in extensive knock-on damage and amorphization in the underlying MoS2.

categories: cond-mat.mtrl-sci cond-mat.mes-hall physics.app-ph physics.plasm-ph


title: Online Ensemble Model Compression using Knowledge Distillation

abstract: This paper presents a novel knowledge distillation based model compression framework consisting of a student ensemble. It enables distillation of simultaneously learnt ensemble knowledge onto each of the compressed student models. Each model learns unique representations from the data distribution due to its distinct architecture. This helps the ensemble generalize better by combining every model's knowledge. The distilled students and ensemble teacher are trained simultaneously without requiring any pretrained weights. Moreover, our proposed method can deliver multi-compressed students with single training, which is efficient and flexible for different scenarios. We provide comprehensive experiments using state-of-the-art classification models to validate our framework's effectiveness. Notably, using our framework a 97% compressed ResNet110 student model managed to produce a 10.64% relative accuracy gain over its individual baseline training on CIFAR100 dataset. Similarly a 95% compressed DenseNet-BC(k=12) model managed a 8.17% relative accuracy gain.


title: Convergence of Sewing Conformal Blocks

abstract: In recent work, Damiolini-Gibney-Tarasca showed that for a $C_2$-cofinite rational CFT-type vertex operator algebra $\mathbb V$, sheaves of conformal blocks are locally free and satisfy the factorization property. In this article, we use analytic methods to prove that sewing conformal blocks is convergent, solving a conjecture proposed by Zhu and Huang.


title: Coresets for Robust Training of Neural Networks against Noisy Labels

abstract: Modern neural networks have the capacity to overfit noisy labels frequently found in real-world datasets. Although great progress has been made, existing techniques are limited in providing theoretical guarantees for the performance of the neural networks trained with noisy labels. Here we propose a novel approach with strong theoretical guarantees for robust training of deep networks trained with noisy labels. The key idea behind our method is to select weighted subsets (coresets) of clean data points that provide an approximately low-rank Jacobian matrix. We then prove that gradient descent applied to the subsets do not overfit the noisy labels. Our extensive experiments corroborate our theory and demonstrate that deep networks trained on our subsets achieve a significantly superior performance compared to state-of-the art, e.g., 6% increase in accuracy on CIFAR-10 with 80% noisy labels, and 7% increase in accuracy on mini Webvision.


title: Local topological obstruction for divisors

abstract: Given a smooth, projective variety $X$ and an effective divisor $D\,\subseteq\, X$, it is well-known that the (topological) obstruction to the deformation of the fundamental class of $D$ as a Hodge class, lies in $H^2(\mathcal{O}_X)$. In this article, we replace $H^2(\mathcal{O}_X)$ by $H^2_D(\mathcal{O}_X)$ and give an analogous topological obstruction theory. We compare the resulting local topological obstruction theory with the geometric obstruction theory (i.e., the obstruction to the deformation of $D$ as an effective Cartier divisor of a first order infinitesimal deformations of $X$). We apply this to study the jumping locus of families of linear systems and the Noether-Lefschetz locus. Finally, we give examples of first order deformations $X_t$ of $X$ for which the cohomology class $[D]$ deforms as a Hodge class but $D$ does not lift as an effective Cartier divisor of $X_t$.


title: Debiasing Convolutional Neural Networks via Meta Orthogonalization

abstract: While deep learning models often achieve strong task performance, their successes are hampered by their inability to disentangle spurious correlations from causative factors, such as when they use protected attributes (e.g., race, gender, etc.) to make decisions. In this work, we tackle the problem of debiasing convolutional neural networks (CNNs) in such instances. Building off of existing work on debiasing word embeddings and model interpretability, our Meta Orthogonalization method encourages the CNN representations of different concepts (e.g., gender and class labels) to be orthogonal to one another in activation space while maintaining strong downstream task performance. Through a variety of experiments, we systematically test our method and demonstrate that it significantly mitigates model bias and is competitive against current adversarial debiasing methods.


title: Buckling, Crumpling, and Tumbling of Semiflexible Sheets in Simple Shear Flow

abstract: As 2D materials such as graphene, transition metal dichalcogenides, and 2D polymers become more prevalent, solution processing and colloidal-state properties are being exploited to create advanced and functional materials. However, our understanding of the fundamental behavior of 2D sheets and membranes in fluid flow is still lacking. In this work, we perform numerical simulations of athermal semiflexible sheets with hydrodynamic interactions in shear flow. For sheets initially oriented in the flow-gradient plane, we find buckling instabilities of different mode numbers that vary with bending stiffness and can be understood with a quasi-static model of elasticity. For different initial orientations, chaotic tumbling trajectories are observed. Notably, we find that sheets fold or crumple before tumbling but do not stretch again upon applying greater shear.


title: Correlation and decomposition framework for identifying and disentangling flow structures: canonical examples and application to isotropic turbulence

abstract: Turbulence organization, long conceptualized in terms of spatial coherent-structures, has resisted clear description. A major limitation has been the lack of tools to identify instantaneous spatial organization, while unravelling the superposition of structures. To address this, we present a generalized correlation framework, using: (i) correlation measures to identify instantaneous vector-field patterns, and (ii) a Helmholtz-decomposition based structure-disentanglement paradigm. After examples using canonical flows, we apply these methods to homogeneous isotropic turbulence fields. We show that high kinetic energy ($E_k$) regions manifest as interspersed, localized, velocity-jets, contrary to the prevalent view of high $E_k$ regions as large swirling structures (eddies). High enstrophy ($\omega^2$) regions form small vorticity-jets, invariably surrounded by swirling-velocity. The jet-like and swirling-velocity structures are spatially exclusive. Decomposing the Biot-Savart contributions from different levels and regions of the vorticity-field reveals the organization of velocity-field structures. High $E_k$ jets are neither self-induced (due to their low vorticity contents), nor induced by strong vorticity, being almost entirely induced, non-locally, by the permeating intermediate range (rms level) vorticity. High $\omega^2$ swirls, instead, are a superposition of self-induced swirling-velocity along with a background-induced flow. Moreover, intermediate vorticity dominantly induces the velocity-field everywhere. This suggests that turbulence organization could emerge from non-local and non-linear field interactions, dominated by permeating intermediate vorticity, leading to an alternative description of turbulence, contrary to the notion of a strict structural hierarchy. The tools presented can be readily applied to generic vector and scalar fields associated with diverse phenomena.


title: State-Dependent Temperature Control for Langevin Diffusions

abstract: We study the temperature control problem for Langevin diffusions in the context of non-convex optimization. The classical optimal control of such a problem is of the bang-bang type, which is overly sensitive to errors. A remedy is to allow the diffusions to explore other temperature values and hence smooth out the bang-bang control. We accomplish this by a stochastic relaxed control formulation incorporating randomization of the temperature control and regularizing its entropy. We derive a state-dependent, truncated exponential distribution, which can be used to sample temperatures in a Langevin algorithm, in terms of the solution to an HJB partial differential equation. We carry out a numerical experiment on a one-dimensional baseline example, in which the HJB equation can be easily solved, to compare the performance of the algorithm with three other available algorithms in search of a global optimum.


title: Molecular Mechanics-Driven Graph Neural Network with Multiplex Graph for Molecular Structures

abstract: The prediction of physicochemical properties from molecular structures is a crucial task for artificial intelligence aided molecular design. A growing number of Graph Neural Networks (GNNs) have been proposed to address this challenge. These models improve their expressive power by incorporating auxiliary information in molecules while inevitably increase their computational complexity. In this work, we aim to design a GNN which is both powerful and efficient for molecule structures. To achieve such goal, we propose a molecular mechanics-driven approach by first representing each molecule as a two-layer multiplex graph, where one layer contains only local connections that mainly capture the covalent interactions and another layer contains global connections that can simulate non-covalent interactions. Then for each layer, a corresponding message passing module is proposed to balance the trade-off of expression power and computational complexity. Based on these two modules, we build Multiplex Molecular Graph Neural Network (MXMNet). When validated by the QM9 dataset for small molecules and PDBBind dataset for large protein-ligand complexes, MXMNet achieves superior results to the existing state-of-the-art models under restricted resources.


title: Deep-RLS: A Model-Inspired Deep Learning Approach to Nonlinear PCA

abstract: In this work, we consider the application of model-based deep learning in nonlinear principal component analysis (PCA). Inspired by the deep unfolding methodology, we propose a task-based deep learning approach, referred to as Deep-RLS, that unfolds the iterations of the well-known recursive least squares (RLS) algorithm into the layers of a deep neural network in order to perform nonlinear PCA. In particular, we formulate the nonlinear PCA for the blind source separation (BSS) problem and show through numerical analysis that Deep-RLS results in a significant improvement in the accuracy of recovering the source signals in BSS when compared to the traditional RLS algorithm.


title: Three-dimensional Supernova Models Provide New Insights into the Origins of Stardust

abstract: We present the isotope yields of two post-explosion, three-dimensional 15 $M_\odot$ core-collapse supernova models, 15S and 15A, and compare them to the carbon, nitrogen, silicon, aluminum, sulfur, calcium, titanium, iron, and nickel isotopic compositions of SiC stardust. We find that these core-collapse supernova models predict similar carbon and nitrogen compositions to SiC X grains and grains with $^{12}$C/$^{13}$C $<$ 20 and $^{14}$N/$^{15}$N $<$ 60, which we will hereafter refer to as SiC 'D' grains. Material from the interior of a 15 $M_\odot$ explosion reaches high enough temperatures shortly after core collapse to produce the large enrichments of $^{13}$C and $^{15}$N necessary to replicate the compositions of SiC D grains. The innermost ejecta in a core-collapse supernova is operating in the neutrino-driven regime and undergoes fast proton capture after being heated by the supernova shockwave. Both 3-D models predict 0.3 $<$ $^{26}$Al/$^{27}$Al $<$ 1.5, comparable to the ratios seen in SiC X, C, and D grains. Models 15S and 15A, in general, predict very large anomalies in calcium isotopes but do compare qualitatively with the SiC X grain measurements that show $^{44}$Ca and $^{43}$Ca excesses. The titanium isotopic compositions of SiC X grains are well reproduced. The models predict $^{57}$Fe excesses and depletions that are observed in SiC X grains, and in addition predict accurately the $^{60}$Ni/$^{58}$Ni, $^{61}$Ni/$^{58}$Ni, and $^{62}$Ni/$^{58}$Ni ratios in SiC X grains, as a result of fast neutron captures initiated by the propagation of the supernova shockwave. Finally, symmetry has a noticeable effect on the production of silicon, sulfur, and iron isotopes in the SN ejecta.


title: Direct Classification of Emotional Intensity

abstract: In this paper, we present a model that can directly predict emotion intensity score from video inputs, instead of deriving from action units. Using a 3d DNN incorporated with dynamic emotion information, we train a model using videos of different people smiling that outputs an intensity score from 0-10. Each video is labeled framewise using a normalized action-unit based intensity score. Our model then employs an adaptive learning technique to improve performance when dealing with new subjects. Compared to other models, our model excels in generalization between different people as well as provides a new framework to directly classify emotional intensity.


title: Runaway Electron Generation by Decelerating Streamers in Inhomogeneous Atmosphere

abstract: The dynamics of positive and negative streamers is numerically simulated in atmospheric pressure air. It is shown that positive and negative streamers behave in radically different ways when decelerating and stopping. When the head potential drops, the negative streamer transits to the mode in which the propagation is due to the forward electron drift. In this case, the radius of the ionization wave front increases, whereas the electric field at the streamer head decreases further and the streamer stops. The only advancement mechanism for a positive streamer with decreasing head potential is a decrease in the effective radius of the ionization wave, leading to a local increase in the electric field. This mechanism compensates for the decrease in the efficiency of gas photoionization at small head diameters. The local electric field at the streamer head can exceed the runaway threshold when the head potential decreases to ~1.2 kV in atmospheric pressure air. In this case, pulsed generation of a beam of runaway electrons directed into the channel of a stopping positive streamer can occur. The energy of the formed pulsed electron beam can vary from 700 V (when increasing the photoionization rate by a factor of 10 with respect to the value in atmospheric pressure air) to 2.6 kV (in air with an absorbing additive that reduces the photoionization rate by a factor of 1000). It is possible that this behavior of decelerating positive streamers can explain the observed bursts of X-ray radiation during the streamer propagation.


title: Nonlinearity Characteristic of High Impedance Fault at Resonant Distribution Networks: Theoretical Basis to Identify the Faulty Feeder

abstract: Feeder identification is indispensable for distribution networks to locate faults at a specific feeder, especially when measuring de-vices are insufficient for precise locations. For the high imped-ance fault (HIF), the feeder identification is much more compli-cated and related approaches are still in the early stage. This paper thoroughly and theoretically reveals the features of dif-ferent feeders when a HIF happens at the resonant grounded neutral (RGN) network, which is the most challenging condition for feeder identification. Firstly, the diversity of nonlinearity existing in HIFs is explained from the aspect of energy. Then, the differences of nonlinearities of zero-sequence currents between healthy and faulty feeders are deduced theoretically. Variations of the detuning index and damping ratio that exist in industries are both considered. Afterward, these theoretical conclusions are verified by the HIF cases experimented in a real 10kV system. Finally, based on the theories, we discuss about why the existing approaches are not reliable enough, and suggest some improve-ments.


title: Investigation of Langdon effect on the stimulated backward Raman and Brillouin scattering

abstract: In a laser-irradiated plasma, the Langdon effect makes the electron energy distribution function (EEDF) tend to a super-Gaussian distribution, which has important influences on laser plasma instabilities. In this work, the influences of a super-Gaussian EEDF on the convective stimulated backward Raman scattering (SRS) and stimulated backward Brillouin scattering (SBS) are studied systematically for a wide range of typical plasma parameters in the inertial confinement fusion (ICF). Distinct behaviors are found for SRS and SBS in the variation trend of the peak spatial growth rate and the corresponding wavelength of the scattered light. Especially, the Langdon effect on the SBS in plasmas with different ion species and isotopes is analyzed in detail, and the parameter boundary for judging the variation trend of the peak spatial growth rate of SBS with the superGaussian exponent is presented for the first time. In certain plasma parameter region, it is found that the Langdon effect could enhance SBS in mixed plasma, which may attenuate the improvement in suppressing SBS by mixing low-Z ions into the high-Z plasma. These comprehension of Langdon effect on LPIs would contribute to a better understanding of SRS and SBS in experiments.


title: Predictive Coding, Variational Autoencoders, and Biological Connections

abstract: This paper reviews predictive coding, from theoretical neuroscience, and variational autoencoders, from machine learning, identifying the common origin and mathematical framework underlying both areas. As each area is prominent within its respective field, more firmly connecting these areas could prove useful in the dialogue between neuroscience and machine learning. After reviewing each area, we discuss two possible correspondences implied by this perspective: cortical pyramidal dendrites as analogous to (non-linear) deep networks and lateral inhibition as analogous to normalizing flows. These connections may provide new directions for further investigations in each field.


title: Radiation of twisted photons from charged particles moving in cholesterics

abstract: The radiation of twisted photons by charged particles traversing a cholesteric plate is studied in the framework of quantum electrodynamics in an anisotropic inhomogeneous dispersive medium. The complete set of solutions to the Maxwell equations in the cholesteric plate is constructed in the paraxial and small anisotropy approximations. The explicit expressions for the average numbers of plane-wave and twisted photons created by a charged point particle crossing the cholesteric plate are derived. The selection rules for the twisted photons radiated at the harmonic $n\in \mathbb{Z}$ are established. In the paraxial regime, the projection of the orbital angular momentum of a radiated twisted photon obeys the selection rule $l=\pm(2n+1)$. In the approximation of a small anisotropy of the permittivity tensor, the selection rule becomes $m=\pm 2n$, where $m$ is the projection of the total angular momentum of a radiated twisted photon. The sign "$\pm$" in these selection rules is related to the choice of the forward or reflected waves in the cholesteric and is realized at the different energies of radiated photons. As the examples, the radiation of optical twisted photons by electrons with the Lorentz factors $\gamma=235$ and $\gamma=500$ and by uranium nuclei with $\gamma=2$ are considered. It is shown that charged particles traversing normally a cholesteric plate can be used as a pure source of twisted photons.


title: Continuous Conditional Generative Adversarial Networks: Novel Empirical Losses and Label Input Mechanisms

abstract: This work proposes the continuous conditional generative adversarial network (CcGAN), the first generative model for image generation conditional on continuous, scalar conditions (termed regression labels). Existing conditional GANs (cGANs) are mainly designed for categorical conditions (eg, class labels); conditioning on regression labels is mathematically distinct and raises two fundamental problems:(P1) Since there may be very few (even zero) real images for some regression labels, minimizing existing empirical versions of cGAN losses (aka empirical cGAN losses) often fails in practice;(P2) Since regression labels are scalar and infinitely many, conventional label input methods are not applicable. The proposed CcGAN solves the above problems, respectively, by (S1) reformulating existing empirical cGAN losses to be appropriate for the continuous scenario; and (S2) proposing a naive label input (NLI) method and an improved label input (ILI) method to incorporate regression labels into the generator and the discriminator. The reformulation in (S1) leads to two novel empirical discriminator losses, termed the hard vicinal discriminator loss (HVDL) and the soft vicinal discriminator loss (SVDL) respectively, and a novel empirical generator loss. The error bounds of a discriminator trained with HVDL and SVDL are derived under mild assumptions in this work. Two new benchmark datasets (RC-49 and Cell-200) and a novel evaluation metric (Sliding Fr\'echet Inception Distance) are also proposed for this continuous scenario. Our experiments on the Circular 2-D Gaussians, RC-49, UTKFace, Cell-200, and Steering Angle datasets show that CcGAN is able to generate diverse, high-quality samples from the image distribution conditional on a given regression label. Moreover, in these experiments, CcGAN substantially outperforms cGAN both visually and quantitatively.


title: Uniform structural stability and uniqueness of Poiseuille flows in a two dimensional periodic strip

abstract: In this paper, we prove the uniform nonlinear structural stability of Poiseuille flows with arbitrarily large flux for the Navier-Stokes system in a two dimensional periodic strip when the period is not large. The key point is to establish the a priori estimate for the associated linearized problem via the careful analysis for the associated boundary layers. Furthermore, the well-posedness theory for the Navier-Stokes system is also proved even when the external force is large in $L^2$. Finally, if the vertical velocity is suitably small where the smallness is independent of the flux, then Poiseuille flow is the unique solution of the steady Navier-Stokes system in the periodic strip.


title: Finite-Width Effects in Three-Body B Decays

abstract: It is customary to apply the so-called narrow width approximation $\Gamma(B\to RP_3\to P_1P_2P_3)=\Gamma(B\to RP_3)Br(R\to P_1P_2)$ to extract the branching fraction of the quasi-two-body decay $B\to RP_3$, with $R$ and $P_3$ being an intermediate resonant state and a pseudoscalar meson, respectively. However, the above factorization is valid only in the zero width limit. We consider a correction parameter $\eta_R$ from finite width effects. Our main results are: (i) We present a general framework for computing $\eta_R$ and show that it can be expressed in terms of the normalized differential rate and determined by its value at the resonance. (ii) We introduce a form factor $F(s_{12},m_R)$ for the strong coupling involved in the $R(m_{12})\to P_1P_2$ decay when $m_{12}$ is away from $m_R$. We find that off-shell effects are small in vector meson productions, but prominent in the $K_2^*(1430)$, $\sigma/f_0(500)$ and $K_0^*(1430)$ resonances. (iii) We evaluate $\eta_R$ in the theoretical framework of QCD factorization (QCDF) and in the experimental parameterization (EXPP) for three-body decay amplitudes. In general, $\eta_R^{\rm QCDF}$ and $\eta_R^{\rm EXPP}$ are similar for vector mesons, but different for tensor and scalar resonances. A study of the differential rates enables us to understand the origin of their differences. (iv) Finite-width corrections to $Br(B^-\to RP)_{\rm NWA}$ obtained in the narrow width approximation are generally small, less than 10\%, but they are prominent in $B^-\to\sigma/f_0(500)\pi^-$ and $B^-\to \overline K_0^{*0}(1430)\pi^-$ decays. The EXPP of the normalized differential rates should be contrasted with the theoretical predictions from QCDF calculation as the latter properly takes into account the energy dependence in weak decay amplitudes.


title: s-Processing in AGB Stars Revisited. III. Neutron captures from MHD mixing at different metallicities and observational constraints

abstract: We present post process neutron capture computations for Asymptotic Giant Branch stars of 1.5 to 3 Mo and metallicities -1.3 to 0.1. The reference stellar models are computed with the FRANEC code, using the Schwarzschild's criterion for convection. Motivations for this choice are outlined. We assume that MHD processes induce the penetration of protons below the convective boundary, when the third dredge up occurs. There, the 13C(alpha,n)16O neutron source can subsequently operate, merging its effects with those of the 22Ne(alpha,n)25Mg reaction, activated at the temperature peaks characterizing AGB stages. This work has three main scopes. i) We provide a grid of abundance yields, as produced through our MHD mixing scheme, uniformly sampled in mass and metallicity. From it, we deduce that the solar s process distribution, as well as the abundances in recent stellar populations, can be accounted for, without the need of the extra primary like contributions suggested in the past. ii) We formulate analytical expressions for the mass of the 13C pockets generated, in order to allow easy verification of our findings. iii) We compare our results with observations of evolved stars and with isotopic ratios in presolar SiC grains, also noticing how some flux tubes should survive turbulent disruption, carrying C rich materials into the winds even when the envelope is O rich. This wind phase is approximated through the G component of AGB s processing. We conclude that MHD induced mixing is adequate to drive slow neutron capture phenomena accounting for observations. Our prescriptions should permit its inclusion into current stellar evolutionary codes.


title: An efficient label-free analyte detection algorithm for time-resolved spectroscopy

abstract: Time-resolved spectral techniques play an important analysis tool in many contexts, from physical chemistry to biomedicine. Customarily, the label-free detection of analytes is manually performed by experts through the aid of classic dimensionality-reduction methods, such as Principal Component Analysis (PCA) and Non-negative Matrix Factorization (NMF). This fundamental reliance on expert analysis for unknown analyte detection severely hinders the applicability and the throughput of these such techniques. For this reason, in this paper, we formulate this detection problem as an unsupervised learning problem and propose a novel machine learning algorithm for label-free analyte detection. To show the effectiveness of the proposed solution, we consider the problem of detecting the amino-acids in Liquid Chromatography coupled with Raman spectroscopy (LC-Raman).


title: Tight Bounds for Adversarially Robust Streams and Sliding Windows via Difference Estimators

abstract: In the adversarially robust streaming model, a stream of elements is presented to an algorithm and is allowed to depend on the output of the algorithm at earlier times during the stream. In the classic insertion-only model of data streams, Ben-Eliezer et. al. (PODS 2020, best paper award) show how to convert a non-robust algorithm into a robust one with a roughly $1/\varepsilon$ factor overhead. This was subsequently improved to a $1/\sqrt{\varepsilon}$ factor overhead by Hassidim et. al. (NeurIPS 2020, oral presentation), suppressing logarithmic factors. For general functions the latter is known to be best-possible, by a result of Kaplan et. al. (CRYPTO 2021). We show how to bypass this impossibility result by developing data stream algorithms for a large class of streaming problems, with no overhead in the approximation factor. Our class of streaming problems includes the most well-studied problems such as the $L_2$-heavy hitters problem, $F_p$-moment estimation, as well as empirical entropy estimation. We substantially improve upon all prior work on these problems, giving the first optimal dependence on the approximation factor. As in previous work, we obtain a general transformation that applies to any non-robust streaming algorithm and depends on the so-called twist number. However, the key technical innovation is that we apply the transformation to what we call a difference estimator for the streaming problem, rather than an estimator for the streaming problem itself. We then develop the first difference estimators for a wide range of problems. Our difference estimator methodology is not only applicable to the adversarially robust model, but to other streaming models where temporal properties of the data play a central role. (Abstract shortened to meet arXiv limit.)


title: Learning of Structurally Unambiguous Probabilistic Grammars

abstract: The problem of identifying a probabilistic context free grammar has two aspects: the first is determining the grammar's topology (the rules of the grammar) and the second is estimating probabilistic weights for each rule. Given the hardness results for learning context-free grammars in general, and probabilistic grammars in particular, most of the literature has concentrated on the second problem. In this work we address the first problem. We restrict attention to structurally unambiguous weighted context-free grammars (SUWCFG) and provide a query learning algorithm for structurally unambiguous probabilistic context-free grammars (SUPCFG). We show that SUWCFG can be represented using co-linear multiplicity tree automata (CMTA), and provide a polynomial learning algorithm that learns CMTAs. We show that the learned CMTA can be converted into a probabilistic grammar, thus providing a complete algorithm for learning a structurally unambiguous probabilistic context free grammar (both the grammar topology and the probabilistic weights) using structured membership queries and structured equivalence queries. We demonstrate the usefulness of our algorithm in learning PCFGs over genomic data.


title: On Relaxed Filtered Krylov Subspace Method for Non-Symmetric Eigenvalue Problems

abstract: In this paper, by introducing a class of relaxed filtered Krylov subspaces, we propose the relaxed filtered Krylov subspace method for computing the eigenvalues with the largest real parts and the corresponding eigenvectors of non-symmetric matrices. As by-products, the generalizations of the filtered Krylov subspace method and the Chebyshev-Davidson method for solving non-symmetric eigenvalue problems are also presented. We give the convergence analysis of the complex Chebyshev polynomial, which plays a significant role in the polynomial acceleration technique. In addition, numerical experiments are carried out to show the robustness of the relaxed filtered Krylov subspace method and its great superiority over some state-of-the art iteration methods.


title: Gravitational Collapse of Self-similar Perfect fluid with Scalar function

abstract: The self-similar spherically symmetric perfect fluid space-time with scalar function incorporating linear equation of state is studied. The investigation of gravitational collapse conditions on the space-time determines that scalar function has an imaginary form $\phi(X) = i \; \alpha_o \; \varphi(X)$, $\varphi(X)$ being a non-zero real valued function of self-similar variable $X$. The gravitational collapse of cloud ends into the formation of black hole or naked singularity according to the choice of physically reasonable initial data relative to the linear equation of state.


title: Presence and Absence of Delocalization-localization Transition in Coherently Perturbed Disordered Lattices

abstract: A new type of delocalization induced by coherent harmonic perturbations in one-dimensional Anderson-localized disordered systems is investigated. With only a few $M$ frequencies a normal diffusion is realized, but the transition to localized state always occurs as the perturbation strength is weakened below a critical value. The nature of the transition qualitatively follows the Anderson transition (AT) if the number of degrees of freedom $M+1$ is regarded as the spatial dimension $d$, but the critical dimension is not $d=M+1-2$ of the ordinary AT but $d=3$.


title: Right Decisions from Wrong Predictions: A Mechanism Design Alternative to Individual Calibration

abstract: Decision makers often need to rely on imperfect probabilistic forecasts. While average performance metrics are typically available, it is difficult to assess the quality of individual forecasts and the corresponding utilities. To convey confidence about individual predictions to decision-makers, we propose a compensation mechanism ensuring that the forecasted utility matches the actually accrued utility. While a naive scheme to compensate decision-makers for prediction errors can be exploited and might not be sustainable in the long run, we propose a mechanism based on fair bets and online learning that provably cannot be exploited. We demonstrate an application showing how passengers could confidently optimize individual travel plans based on flight delay probabilities estimated by an airline.


title: On finding a penetrable obstacle using a single electromagnetic wave in the time domain

abstract: The time domain enclosure method is one of analytical methods for inverse obstacle problems governed by partial differential equations in the time domain. This paper considers the case when the governing equation is given by the Maxwell system and consists of two parts. The first part establishes the base of the time domain enclosure method for the Maxwell system using a single set of the solutions over a finite time interval for a general (isotropic) inhomogeneous medium in the whole space. It is a system of asymptotic inequalities for the indicator function which may enable us to apply the time domain enclosure method to the problem of finding unknown penetrable obstacles embedded in various background media. As a first step of its expected applications, the case when the background medium is homogeneous and isotropic, is considered and the time domain enclosure method is realized. This is the second part.


title: Towards Understanding the Regularization of Adversarial Robustness on Neural Networks

abstract: The problem of adversarial examples has shown that modern Neural Network (NN) models could be rather fragile. Among the more established techniques to solve the problem, one is to require the model to be {\it $\epsilon$-adversarially robust} (AR); that is, to require the model not to change predicted labels when any given input examples are perturbed within a certain range. However, it is observed that such methods would lead to standard performance degradation, i.e., the degradation on natural examples. In this work, we study the degradation through the regularization perspective. We identify quantities from generalization analysis of NNs; with the identified quantities we empirically find that AR is achieved by regularizing/biasing NNs towards less confident solutions by making the changes in the feature space (induced by changes in the instance space) of most layers smoother uniformly in all directions; so to a certain extent, it prevents sudden change in prediction w.r.t. perturbations. However, the end result of such smoothing concentrates samples around decision boundaries, resulting in less confident solutions, and leads to worse standard performance. Our studies suggest that one might consider ways that build AR into NNs in a gentler way to avoid the problematic regularization.


title: Performance Analysis of an Interference-Limited RIS-Aided Network

abstract: In this work, the performance of reconfigurable intelligent surface (RIS)-aided communication systems corrupted by the co-channel interference (CCI) at the destination is investigated. Assuming Rayleigh fading and equal-power CCI, we present the analysis for the outage probability (OP), average bit error rate (BER), and ergodic capacity. In addition, an asymptotic outage analysis is carried in order to obtain further insights. Our analysis shows that the number of reflecting elements as well as the number of interferers have a great impact on the overall system performance.


title: Nonadiabatic phenomena in molecular vibrational polaritons

abstract: Nonadiabatic phenomena are investigated in the rovibrational motion of molecules confined in an infrared cavity. Conical intersections (CIs) between vibrational polaritons, similar to CIs between electronic polaritonic surfaces, are found. The spectral, topological, and dynamic properties of the vibrational polaritons show clear fingerprints of nonadiabatic couplings between molecular vibration, rotation and the cavity photonic mode. Furthermore, it is found that for the investigated system, composed of two rovibrating HCl molecules and the cavity mode, breaking the molecular permutational symmetry, by changing $^{35}$Cl to $^{37}$Cl in one of the HCl molecules, the polaritonic surfaces, nonadiabatic couplings, and related spectral, topological, and dynamic properties can deviate substantially. This implies that the natural occurrence of different molecular isotopologues needs to be considered when modeling realistic polaritonic systems.


title: Flips on homologous orientations of surface graphs with prescribed forbidden facial circuits

abstract: Let $G$ be a graph embedded on an orientable surface. Given a class ${\cal C}$ of facial circuits of $G$ as a forbidden class, we give a sufficient-necessary condition for that an $\alpha$-orientation (orientation with prescribed out-degrees) of $G$ can be transformed into another by a sequence of flips on non-forbidden circuits and further give an explicit formula for the minimum number of such flips. We also consider the connection among all $\alpha$-orientations by defining a directed graph ${\bf D}({\cal C})$, namely the ${\cal C}$-forbidden flip graph. We show that if ${\cal C}\not=\emptyset$, then ${\bf D}({\cal C})$ has exactly $|O(G,{\cal C})|$ components, each of which is the cover graph of a distributive lattice, where $|O(G,{\cal C})|$ is the number of the $\alpha$-orientations that has no counterclockwise facial circuit other than that in ${\cal C}$. If ${\cal C}=\emptyset$, then every component of ${\bf D}({\cal C})$ is strongly connected. This generalizes the corresponding results of Felsner and Propp for the case that ${\cal C}$ consists of a single facial circuit.


title: Towards Trainable Saliency Maps in Medical Imaging

abstract: While success of Deep Learning (DL) in automated diagnosis can be transformative to the medicinal practice especially for people with little or no access to doctors, its widespread acceptability is severely limited by inherent black-box decision making and unsafe failure modes. While saliency methods attempt to tackle this problem in non-medical contexts, their apriori explanations do not transfer well to medical usecases. With this study we validate a model design element agnostic to both architecture complexity and model task, and show how introducing this element gives an inherently self-explanatory model. We compare our results with state of the art non-trainable saliency maps on RSNA Pneumonia Dataset and demonstrate a much higher localization efficacy using our adopted technique. We also compare, with a fully supervised baseline and provide a reasonable alternative to it's high data labelling overhead. We further investigate the validity of our claims through qualitative evaluation from an expert reader.


title: Removable Weak Keys for Discrete Logarithm Based Cryptography

abstract: We describe a novel type of weak cryptographic private key that can exist in any discrete logarithm based public-key cryptosystem set in a group of prime order $p$ where $p-1$ has small divisors. Unlike the weak private keys based on \textit{numerical size} (such as smaller private keys, or private keys lying in an interval) that will \textit{always} exist in any DLP cryptosystems, our type of weak private keys occurs purely due to parameter choice of $p$, and hence, can be removed with appropriate value of $p$. Using the theory of implicit group representations, we present algorithms that can determine whether a key is weak, and if so, recover the private key from the corresponding public key. We analyze several elliptic curves proposed in the literature and in various standards, giving counts of the number of keys that can be broken with relatively small amounts of computation. Our results show that many of these curves, including some from standards, have a considerable number of such weak private keys. We also use our methods to show that none of the 14 outstanding Certicom Challenge problem instances are weak in our sense, up to a certain weakness bound.


title: Demonstration of the nearly continuous operation of an $^{171}$Yb optical lattice clock for half a year

abstract: Optical lattice clocks surpass primary Cs microwave clocks in frequency stability and accuracy, and are promising candidates for a redefinition of the second in the International System of Units (SI). However, the robustness of optical lattice clocks has not yet reached a level comparable to that of Cs fountain clocks which contribute to International Atomic Time (TAI) by the nearly continuous operation. In this paper, we report the long-term operation of an $^{171}$Yb optical lattice clock with a coverage of 80.3% for half a year including uptimes of 93.9% for the first 24 days and 92.6% for the last 35 days. This enables a nearly dead-time-free frequency comparison of the optical lattice clock with TAI over months, which provides a link to the SI second with an uncertainty of low $10^{-16}$. By using this link, the absolute frequency of the $^{1}$S$_{0}-^{3}$P$_{0}$ clock transition of $^{171}$Yb is measured as 518 295 836 590 863.54(26) Hz with a fractional uncertainty of $5.0\times10^{-16}$. This value is in agreement with the recommended frequency of $^{171}$Yb as a secondary representation of the second.


title: Sites of star formation in the tidal structures

abstract: We give a short review of the current results of studying of star formation sites observed beyond the main discs of galaxies in different interacting systems: Arp 270, Arp 194, Arp 305, NGC 4656 and NGC 90. The observations were carried out at the 6-meter telescope BTA in SAO RAS with the SCOPRPIO-2 spectrograph. The properties of star forming islands, their mass, dynamics, chemical abundances, their possible fate and the mechanisms inspiring star formation, appear to be different in different systems.


title: Assessing Uncertainties in the Predicted Very-High-Energy Flux of Globular Clusters in the Cherenkov Telescope Array Era

abstract: Terzan 5 is the only Galactic globular cluster that has plausibly been detected in the very-high-energy range. Stacking upper limits by H.E.S.S. on the integral $\gamma$-ray flux of a population of other globular clusters are very constraining for leptonic cluster emission models. We demonstrate that uncertainty in model parameters leads to a large spread in the predicted flux, and there are indeed regions in parameter space for which the stringent stacking upper limits are satisfied. We conduct two more case studies: we study the uncertainties in differential TeV flux for M15, showing that our model can satisfy the stringent MAGIC upper limits for this cluster, for typical cluster parameters. We also calculate the differential flux at TeV energies for $\omega$ Cen, from which five pulsars have recently been detected at radio energies. It is thus important to increase measurement accuracy on key model parameters in order to improve predictions of cluster fluxes so as to better guide the observational strategy of the Cherenkov Telescope Array.


title: Terraforming the dwarf planet: Interconnected and growable Ceres megasatellite world

abstract: We analyse a megasatellite settlement built from Ceres materials in high Ceres orbit. Ceres is selected because it has nitrogen, which is necessary for an earthlike atmosphere. To have $1 g$ artificial gravity, spinning habitats are attached to a disk-shaped megasatellite frame by passively safe magnetic bearings. The habitats are illuminated by concentrated sunlight produced by planar and parabolic mirrors. The motivation is to have a settlement with artificial gravity that allows growth beyond Earth's living area, while also providing easy intra-settlement travel for the inhabitants and reasonably low population density of 500 /km$^2$. To enable gardens and trees, a 1.5 m thick soil is used. The soil is upgradable to 4 m if more energy is expended in the manufacturing phase. The mass per person is $10^7$ kg, most of which is lightly processed radiation shield and soil. The goal is a long-term sustainable world where all atoms circulate. Because intra-settlement travel can be propellantless, achieving this goal is possible at least in principle. Lifting the materials from Ceres is energetically cheap compared to processing them into habitats, if a space elevator is used. Because Ceres has low gravity and rotates relatively fast, the space elevator is feasible.