title: Synthetic Dataset Generation of Driver Telematics

abstract: This article describes techniques employed in the production of a synthetic dataset of driver telematics emulated from a similar real insurance dataset. The synthetic dataset generated has 100,000 policies that included observations about driver's claims experience together with associated classical risk variables and telematics-related variables. This work is aimed to produce a resource that can be used to advance models to assess risks for usage-based insurance. It follows a three-stage process using machine learning algorithms. The first stage is simulating values for the number of claims as multiple binary classifications applying feedforward neural networks. The second stage is simulating values for aggregated amount of claims as regression using feedforward neural networks, with number of claims included in the set of feature variables. In the final stage, a synthetic portfolio of the space of feature variables is generated applying an extended $\texttt{SMOTE}$ algorithm. The resulting dataset is evaluated by comparing the synthetic and real datasets when Poisson and gamma regression models are fitted to the respective data. Other visualization and data summarization produce remarkable similar statistics between the two datasets. We hope that researchers interested in obtaining telematics datasets to calibrate models or learning algorithms will find our work valuable.


title: A functional approach to the next to eikonal approximation of high energy gravitational scattering

abstract: The Fradkin-Schwinger functional methods to represent a Green function in an external gravitational field are used to study the eikonal and the next-to-eikonal limit, including the nonlinear gravitational interactions, of the scattering amplitudes of an ultra-relativistic scalar particle on a static super-massive scalar target in the nearly forward limit. The functional approach confirms the exponentiation of the leading eikonal which also applies to the first non-leading power in the energy of the light particle, moreover includes the interaction at impact parameter much larger than the Schwarzschild radius associated with the center of mass energy in the ultra-relativistic limit.


title: Fine metrizable convex relaxations of parabolic optimal control problems

abstract: Nonconvex optimal-control problems governed by evolution problems in infinite-dimensional spaces (as e.g. parabolic boundary-value problems) needs a continuous (and possibly also smooth) extension on some (preferably convex) compactification, called relaxation, to guarantee existence of their solutions and to facilitate analysis by relatively conventional tools. When the control is valued in some subsets of Lebesgue spaces, the usual extensions are either too coarse (allowing in fact only very restricted nonlinearities) or too fine (being nonmetrizable). To overcome these drawbacks, a compromising convex compactification is here devised, combining classical techniques for Young measures with Choquet theory. This is applied to parabolic optimal control problems as far as existence and optimality conditions concerns.


title: Rigidity, Residues and Duality: Overview and Recent Progress

abstract: In this article we explain the theory of rigid residue complexes in commutative algebra and algebraic geometry, summarizing the background, recent results and anticipated future results. Unlike all previous approaches to Grothendiec Duality, the rigid approach concentrates on the construction of rigid residue complexes over rings, and their intricate yet robust properties. The geometrization, i.e. the passage to rigid residue complexes on schemes and Deligne-Mumford (DM) stacks, by gluing, is fairly easy. In the geometric part of the theory, the main results are the Rigid Residue Theorem and the Rigid Duality Theorem for proper maps between schemes, and for tame proper maps between DM stacks.


title: How to observe the QCD instanton/sphaleron processes at hadron colliders?

abstract: The instanton/sphaleron processes involve gauge fields with changing topology through a nonzero variation of the Chern-Simons number $\delta N_{CS}=\pm 1$. In QCD this leads to the production of $2N_f \delta N_{CS}$ units of axial charge, and in the electroweak theory to the production of 12 fermions, with $\Delta B=\delta L=3$ units of baryon and lepton number, a key mechanism in baryogenesis. While this is all known for a long time, and is one of the pillars of the nonperturbative theory of the QCD vacuum, to see these phenomena directly in colliders remains an unfulfilled promise. Motivated by the recent CERN workshop on the topic, we review the field. We also put forward our own suggestions to utilize double-diffractive (or Pomeron-Pomeron) collisions to this goal, which maximizes the entrance factor and minimizes the backgrounds. We consider separately clusters of small ($M=3-10\, {\rm GeV}$), medium ($10-30\, {\rm GeV}$) and high $M\sim 100 \, {\rm GeV}$ invariant masses. Among the proposed signals are specific flavor combination of channels, originating from well-defined 6-, 8- and 10-quark-antiquark operators, as well as correlation of quark chiralities to be potentially detected via $\Lambda$ hyperon decays.


title: Theoretical studies of carbon isotopic fractionation in reactions of C with C$_{2}$: dynamics, kinetics, and isotopologue equilibria

abstract: Our current understanding of interstellar carbon fractionation hinges on the interpretation of astrochemical kinetic models. Yet, the various reactions included carry large uncertainties in their (estimated) rate coefficients, notably those involving C with C$_{2}$. In this work, we provide theoretical thermal rate coefficients as a function of the temperature for all possible gas-phase isotope-exchange reactions of C+C$_{2}(X^{1}\Sigma_{g}^{+},a^{3}\Pi_{u})$. For this, we employ the quasi-classical trajectory method, with the previously obtained potential energy surfaces of C$_{3}$ dictating the forces between the colliding partners. The calculated rate coefficients show a positive temperature dependence and are markedly different from previous theoretical estimates. While the forward reactions are fast and inherently exothermic owing to the lower zero-point energy content of the products, the reverse processes have temperature thresholds. For each reaction considered, analytic three-parameter Arrhenius-Kooij formulas are provided that readily interpolate/extrapolate the associated forward and backward rates. These forms can further be introduced in astrochemical networks. Apart from the proper kinetic attributes, we also provide equilibrium constants for these processes, thence confirming their prominence in the overall C fractionation chemistry. In this respect, the $^{13}$C + $^{12}$C$_{2}(X^{1}{\Sigma}^{+}_{g})$ and $^{13}$C + $^{12}$C$_{2}(a^{3}{\Pi}_{u})$ reactions are found to be particularly conspicuous, notably at the typical temperatures of dense molecular clouds. For these reactions and considering both equilibrium and time-dependent chemistry, theoretical $^{12}$C/$^{13}$C ratios as a function of the gas kinetic temperature are also derived and shown to be consistent with available model chemistry and observational data on C$_{2}$


title: Reconstructing non-repeating radio pulses with Information Field Theory

abstract: Particle showers in dielectric media produce radio signals which are used for the detection of both ultra-high energy cosmic rays and neutrinos with energies above a few PeV. The amplitude, polarization, and spectrum of these short, broadband radio pulses allow us to draw conclusions about the primary particles that caused them, as well as the mechanics of shower development and radio emission. However, confidently reconstructing the radio signals can pose a challenge, as they are often obscured by background noise. Information Field Theory offers a robust approach to this challenge by using Bayesian inference to calculate the most likely radio signal, given the recorded data. In this paper, we describe the application of Information Field Theory to radio signals from particle showers in both air and ice and demonstrate how accurately pulse parameters can be obtained from noisy data.


title: Electrotactile Feedback For Enhancing Contact Information in Virtual Reality

abstract: This paper presents a wearable electrotactile feedback system to enhance contact information for mid-air interactions with virtual objects. In particular, we propose the use of electrotactile feedback to render the interpenetration distance between the user's finger and the virtual content is touched. Our approach consists of modulating the perceived intensity (frequency and pulse width modulation) of the electrotactile stimuli according to the registered interpenetration distance. In a user study (N=21), we assessed the performance of four different interpenetration feedback approaches: electrotactile-only, visual-only, electrotactile and visual, and no interpenetration feedback. First, the results showed that contact precision and accuracy were significantly improved when using interpenetration feedback. Second, and more interestingly, there were no significant differences between visual and electrotactile feedback when the calibration was optimized and the user was familiarized with electrotactile feedback. Taken together, these results suggest that electrotactile feedback could be an efficient replacement of visual feedback for enhancing contact information in virtual reality avoiding the need of active visual focus and the rendering of additional visual artefacts.


title: On the boundaries of geodesically complete CAT(0) spaces

abstract: We give concrete, "infinitesimal" conditions for a proper geodesically complete CAT(0) space to have semistable fundamental group at infinity.


title: Visco-elastodynamics at large strains Eulerian

abstract: Isothermal visco-elastodynamics in the Kelvin-Voigt rheology is formulated in the spatial Eulerian coordinates in terms of velocity and deformation gradient. A generally nonconvex (possibly also frame-indifferent) stored energy is admitted. The model involves a nonlinear 2nd-grade nonsimple (multipolar) viscosity so that the velocity field is well regular. To simplify analytical arguments, volume variations of the solid material are assumed to be only rather small so that the mass density is constant, exploiting the concept of semi-compressible materials. Existence of weak solutions is proved by using the Galerkin method combined with a suitable regularization, using nontrivial results about transport by smooth velocity fields.


title: Conceptual Temporal Modeling Applied to Databases

abstract: We present a different approach to developing a concept of time for specifying temporality in the conceptual modeling of software and database systems. In the database field, various proposals and products address temporal data. The difficulty with most of the current approaches to modeling temporality is that they represent and record time as just another type of data (e.g., values of a bank balance or amounts of money), instead of appreciating that time and its values are unique, in comparison to typical data attributes. Time is an engulfing phenomenon that lifts a system s entire model from staticity to dynamism and beyond. In this paper, we propose a conceptualization of temporality involving the construction of a multilevel modeling method that progresses from static representation to system compositions that form regions of dynamism. Then, a chronology of events is used to define the system s behavior. Lastly, the events are viewed as data sources with which to build a temporal model. A case-study model of a temporal banking-management system database that extends UML and the object-constraint language is re-modeled using thinging machine (TM) modeling. The resultant TM diagrammatic specification delivers a new approach to temporality that can be extended to be a holistic monitoring system for historic data and events.


title: Microscale modelling of dielectrophoresis assembly processes

abstract: This work presents a microscale approach for simulating the dielectrophoresis (DEP) assembly of polarizable particles under an external electric field. The model is shown to capture interesting dynamical and topological features, such as the formation of chains of particles and their incipient aggregation into hierarchical structures. A quantitative characterization in terms of the number and size of these structures is also discussed. This computational model could represent a viable numerical tool to study the mechanical properties of particle-based hierarchical materials and suggest new strategies for enhancing their design and manufacture.


title: Atlas Generative Models and Geodesic Interpolation

abstract: Generative neural networks have a well recognized ability to estimate underlying manifold structure of high dimensional data. However, if a single latent space is used, it is not possible to faithfully represent a manifold with topology different from Euclidean space. In this work we define the general class of Atlas Generative Models (AGMs), models with hybrid discrete-continuous latent space that estimate an atlas on the underlying data manifold together with a partition of unity on the data space. We identify existing examples of models from various popular generative paradigms that fit into this class. Due to the atlas interpretation, ideas from non-linear latent space analysis and statistics, e.g. geodesic interpolation, which has previously only been investigated for models with simply connected latent spaces, may be extended to the entire class of AGMs in a natural way. We exemplify this by generalizing an algorithm for graph based geodesic interpolation to the setting of AGMs, and verify its performance experimentally.


title: Exploding paraxial beams, vortex beams, and cylindrical beams of light with finite power in linear media, and their enhanced longitudinal field

abstract: We present a set of paraxial light beams with cylindrical symmetry, smooth and localized transversal profile carrying finite power, that develop intensity singularities when they are focused in a linear medium, such as vacuum. They include beams with orbital angular momentum and with radial polarization, in which case they develop punctual phase and polarization singularities surrounded by infinitely bright rings, along with singular longitudinal fields. In practice, these effects are manifested in focal intensities and spot sizes, vortex bright ring intensities and radii, and strengths of the longitudinal field, that strongly change with the lens aperture radius. Continuous control of these focal properties is thus exercised without changing the light incident on the lens, with substantially the same collected power, and while maintaining paraxial focusing conditions. As solutions of the Schr\"odinger equation, these exploding beams have analogues in other areas of physics where this equation is the fundamental dynamical model.


title: Hellinger Distance Weighted Ensemble for Imbalanced Data Stream Classification

abstract: The imbalanced data classification remains a vital problem. The key is to find such methods that classify both the minority and majority class correctly. The paper presents the classifier ensemble for classifying binary, non-stationary and imbalanced data streams where the Hellinger Distance is used to prune the ensemble. The paper includes an experimental evaluation of the method based on the conducted experiments. The first one checks the impact of the base classifier type on the quality of the classification. In the second experiment, the Hellinger Distance Weighted Ensemble (HDWE) method is compared to selected state-of-the-art methods using a statistical test with two base classifiers. The method was profoundly tested based on many imbalanced data streams and obtained results proved the HDWE method's usefulness.


title: Inertial Proximal Deep Learning Alternating Minimization for Efficient Neutral Network Training

abstract: In recent years, the Deep Learning Alternating Minimization (DLAM), which is actually the alternating minimization applied to the penalty form of the deep neutral networks training, has been developed as an alternative algorithm to overcome several drawbacks of Stochastic Gradient Descent (SGD) algorithms. This work develops an improved DLAM by the well-known inertial technique, namely iPDLAM, which predicts a point by linearization of current and last iterates. To obtain further training speed, we apply a warm-up technique to the penalty parameter, that is, starting with a small initial one and increasing it in the iterations. Numerical results on real-world datasets are reported to demonstrate the efficiency of our proposed algorithm.


title: Almost Unimodal and Real-Rooted Graph Polynomials

abstract: It is well known that the coefficients of the matching polynomial are unimodal. Unimodality of the coefficients (or their absolute values) of other graph polynomials have been studied as well. One way to prove unimodality is to prove real-rootedness.` Recently I. Beaton and J. Brown (2020) proved the for almost all graphs the coefficients of the domination polynomial form a unimodal sequence, and C. Barton, J. Brown and D. Pike (2020) proved that the forest polynomial (aka acyclic polynomial) is real-rooted iff $G$ is a forest. Let $\mathcal{A}$ be a graph property, and let $a_i(G)$ be the number of induced subgraphs of order $i$ of a graph $G$ which are in $\mathcal{A}$. Inspired by their results we prove: {\bf Theorem:} If $\mathcal{A}$ is the complement of a hereditary property, then for almost all graphs in $G(n,p)$ the sequence $a_i(G)$ is unimodal. {\bf Theorem:} If $\mathcal{A}$ is a hereditary property which contains a graph which is not a clique or the complement of a clique, then the graph polynomial $P_{\mathcal{A}}(G;x) = \sum_i a_i(G) x^i$ is real-rooted iff $G \in \mathcal{A}$.


title: Ricci curvature and quantum geometry

abstract: We describe a few elementary aspects of the circle of ideas associated with a quantum field theory (QFT) approach to Riemannian Geometry, a theme related to how Riemannian structures are generated out of the spectrum of (random or quantum) fluctuations around a background fiducial geometry. In such a scenario, Ricci curvature with its subtle connections to diffusion, optimal transport, Wasserestein geometry, and renormalization group, features prominently.


title: Enhancing the Intelligibility of Cleft Lip and Palate Speech using Cycle-consistent Adversarial Networks

abstract: Cleft lip and palate (CLP) refer to a congenital craniofacial condition that causes various speech-related disorders. As a result of structural and functional deformities, the affected subjects' speech intelligibility is significantly degraded, limiting the accessibility and usability of speech-controlled devices. Towards addressing this problem, it is desirable to improve the CLP speech intelligibility. Moreover, it would be useful during speech therapy. In this study, the cycle-consistent adversarial network (CycleGAN) method is exploited for improving CLP speech intelligibility. The model is trained on native Kannada-speaking childrens' speech data. The effectiveness of the proposed approach is also measured using automatic speech recognition performance. Further, subjective evaluation is performed, and those results also confirm the intelligibility improvement in the enhanced speech over the original.


title: Green's functions on a renormalized lattice: An improved method for the integer quantum Hall transition

abstract: We introduce a performance-optimized method to simulate localization problems on bipartite tight-binding lattices. It combines an exact renormalization group step to reduce the sparseness of the original problem with the recursive Green's function method. We apply this framework to investigate the critical behavior of the integer quantum Hall transition of a tight-binding Hamiltonian defined on a simple square lattice. In addition, we employ an improved scaling analysis that includes two irrelevant exponents to characterize the shift of the critical energy as well as the corrections to the dimensionless Lyapunov exponent. We compare our findings with the results of a conventional implementation of the recursive Green's function method, and we put them into broader perspective in view of recent development in this field.


title: EmpathBERT: A BERT-based Framework for Demographic-aware Empathy Prediction

abstract: Affect preferences vary with user demographics, and tapping into demographic information provides important cues about the users' language preferences. In this paper, we utilize the user demographics, and propose EmpathBERT, a demographic-aware framework for empathy prediction based on BERT. Through several comparative experiments, we show that EmpathBERT surpasses traditional machine learning and deep learning models, and illustrate the importance of user demographics to predict empathy and distress in user responses to stimulative news articles. We also highlight the importance of affect information in the responses by developing affect-aware models to predict user demographic attributes.


title: BAMSim Simulator

abstract: Resource allocation is an essential design aspect for current systems and bandwidth allocation is an essential design aspect in multi-protocol label switched and OpenFlow/SDN network infrastructures. The bandwidth allocation models (BAMs) are an alternative to allocate and share bandwidth among network users. BAMs have an extensive number of parameters that need to be defined and tuned to achieve an expected network performance. This paper presents the BAMSim simulator to support the network manager decision process in choosing a set of BAM configuration parameters for network design or during network operation.


title: Multi-player Bandits for Distributed Cognitive Radar

abstract: With new applications for radar networks such as automotive control or indoor localization, the need for spectrum sharing and general interoperability is expected to rise. This paper describes the application of multi-player bandit algorithms for waveform selection to a distributed cognitive radar network that must coexist with a communications system. Specifically, we make the assumption that radar nodes in the network have no dedicated communication channel. As we will discuss later, nodes can communicate indirectly by taking actions which intentionally interfere with other nodes and observing the resulting collisions. The radar nodes attempt to optimize their own spectrum utilization while avoiding collisions, not only with each other, but with the communications system. The communications system is assumed to statically occupy some subset of the bands available to the radar network. First, we examine models that assume each node experiences equivalent channel conditions, and later examine a model that relaxes this assumption.


title: Edge states for second order elliptic operators in a channel

abstract: We present a general framework to study edge states for second order elliptic operators in a half channel. We associate an integer valued index to some bulk materials, and we prove that for any junction between two such materials, localised states must appear at the boundary whenever the indices differ.

categories: math.AP cond-mat.mtrl-sci math-ph math.MP


title: Super rewriting theory and nondegeneracy of odd categorified sl(2)

abstract: We develop the rewriting theory for monoidal supercategories and 2-supercategories. This extends the theory of higher-dimensional rewriting established for (linear) 2-categories to the super setting, providing a suite of tools for constructing bases and normal forms for 2-supercategories given by generators and relations. We then employ this newly developed theory to prove the non-degeneracy conjecture for the odd categorification of quantum sl(2) from arXiv:1307.7816 and arXiv:1701.04133. As a corollary, this gives a classification of dg-structures on the odd 2-category conjectured in arXiv:1808.04924.


title: Estimating galaxy masses from kinematics of globular cluster systems: a new method based on deep learning

abstract: We present a new method by which the total masses of galaxies including dark matter can be estimated from the kinematics of their globular cluster systems (GCSs). In the proposed method, we apply the convolutional neural networks (CNNs) to the two-dimensional (2D) maps of line-of-sight-velocities ($V$) and velocity dispersions ($\sigma$) of GCSs predicted from numerical simulations of disk and elliptical galaxies. In this method, we first train the CNN using either only a larger number ($\sim 200,000$) of the synthesized 2D maps of $\sigma$ ("one-channel") or those of both $\sigma$ and $V$ ("two-channel"). Then we use the CNN to predict the total masses of galaxies (i.e., test the CNN) for the totally unknown dataset that is not used in training the CNN. The principal results show that overall accuracy for one-channel and two-channel data is 97.6\% and 97.8\% respectively, which suggests that the new method is promising. The mean absolute errors (MAEs) for one-channel and two-channel data are 0.288 and 0.275 respectively, and the value of root mean square errors (RMSEs) are 0.539 and 0.51 for one-channel and two-channel respectively. These smaller MAEs and RMSEs for two-channel data (i.e., better performance) suggest that the new method can properly consider the global rotation of GCSs in the mass estimation. We also applied our proposed method to real data collected from observations of NGC 3115 to compare the total mass predicted by our proposed method and other popular methods from the literature.


title: Smith-Purcell radiation of a vortex electron

abstract: We study Smith-Purcell radiation from a conducting grating generated by a vortex electron with an orbital angular momentum $\ell \hbar$, described as a generalized Laguerre-Gaussian packet, which has an intrinsic magnetic dipole moment and an electric quadrupole moment. By using a multipole expansion of the electromagnetic field of such an electron, we employ a generalized surface-current method, applicable for a wide range of parameters. The radiated energy contains contributions from the charge, from the magnetic moment, and from the electric quadrupole moment, as well as from their interference. The quadrupole contribution grows as the packet spreads while propagating, and it is enhanced for large $\ell$. In contrast to the linear growth of the radiation intensity from the charge with a number of strips $N$, the quadrupole contribution reveals an $N^3$ dependence, which puts a limit on the maximal grating length for which the radiation losses stay small. We study spectral-angular distributions of the Smith-Purcell radiation both analytically and numerically and demonstrate that the electron's vorticity can give rise to detectable effects for non-relativistic and moderately relativistic electrons. On a practical side, preparing the incoming electron's state in a form of a non-Gaussian packet with a quadrupole moment -- such as the vortex electron, an Airy beam, a Schr\"odinger cat state, and so on -- one can achieve quantum enhancement of the radiation power compared to the classical linear regime. Such an enhancement would be a hallmark of a previously unexplored quantum regime of radiation, in which non-Gaussianity of the packet influences the radiation properties much stronger than the quantum recoil.


title: Avalanches in the athermal quasistatic limit of sheared amorphous solids: an atomistic perspective

abstract: We study the statistical properties of the yielding transition in model amorphous solids in the limit of slow, athermal deformation. Plastic flow occurs via alternating phases of elastic loading punctuated by rapid dissipative events in the form of collective avalanches. We investigate their characterization through energy vs. stress drops and at multiple stages of deformation, thus revealing a change of spatial extent of the avalanches and degree of stress correlations as deformation progresses. We show that the statistics of stress and energy drops only become comparable for large events in the steady flow regime. Results for the critical exponents of the yielding transition are discussed in the context of prior studies of similar type, revealing the influence of model glass and preparation history.


title: Detecting Pulmonary Coccidioidomycosis (Valley fever) with Deep Convolutional Neural Networks

abstract: Coccidioidomycosis is the most common systemic mycosis in dogs in the southwestern United States. With warming climates, affected areas and number of cases are expected to increase in the coming years, escalating also the chances of transmission to humans. As a result, developing methods for automating the detection of the disease is important, as this will help doctors and veterinarians more easily identify and diagnose positive cases. We apply machine learning models to provide accurate and interpretable predictions of Coccidioidomycosis. We assemble a set of radiographic images and use it to train and test state-of-the-art convolutional neural networks to detect Coccidioidomycosis. These methods are relatively inexpensive to train and very fast at inference time. We demonstrate the successful application of this approach to detect the disease with an Area Under the Curve (AUC) above 0.99 using 10-fold cross validation. We also use the classification model to identify regions of interest and localize the disease in the radiographic images, as illustrated through visual heatmaps. This proof-of-concept study establishes the feasibility of very accurate and rapid automated detection of Valley Fever in radiographic images.


title: Advancing the AmbientGAN for learning stochastic object models

abstract: Medical imaging systems are commonly assessed and optimized by use of objective-measures of image quality (IQ) that quantify the performance of an observer at specific tasks. Variation in the objects to-be-imaged is an important source of variability that can significantly limit observer performance. This object variability can be described by stochastic object models (SOMs). In order to establish SOMs that can accurately model realistic object variability, it is desirable to use experimental data. To achieve this, an augmented generative adversarial network (GAN) architecture called AmbientGAN has been developed and investigated. However, AmbientGANs cannot be immediately trained by use of advanced GAN training methods such as the progressive growing of GANs (ProGANs). Therefore, the ability of AmbientGANs to establish realistic object models is limited. To circumvent this, a progressively-growing AmbientGAN (ProAmGAN) has been proposed. However, ProAmGANs are designed for generating two-dimensional (2D) images while medical imaging modalities are commonly employed for imaging three-dimensional (3D) objects. Moreover, ProAmGANs that employ traditional generator architectures lack the ability to control specific image features such as fine-scale textures that are frequently considered when optimizing imaging systems. In this study, we address these limitations by proposing two advanced AmbientGAN architectures: 3D ProAmGANs and Style-AmbientGANs (StyAmGANs). Stylized numerical studies involving magnetic resonance (MR) imaging systems are conducted. The ability of 3D ProAmGANs to learn 3D SOMs from imaging measurements and the ability of StyAmGANs to control fine-scale textures of synthesized objects are demonstrated.


title: X-ray photons produced from a plasma-cathode electron beam for radiation biology applications

abstract: A compact low-energy and high-intensity X-ray source for radiation biology applications is presented. A laser-induced plasma moves inside a 30 kV diode and produces a beam of 10$^{14}$ electrons at the anode location. An aluminum foil converts a part of the energy of these electrons into X-ray photons which are characterized using filtered imaging plates. The dose that would be deposited by these X-ray photons in C. elegans larvae is calculated from Geant4 simulations. It can be set to a value ranging between 10 $\mu$Gy and 10 mGy per laser shot by simply changing the aluminum foil thickness and the diode voltage. Therefore, this versatile and compact X-ray source opens a new path to explore the radiation effects induced by dose rates varying over several orders of magnitude.


title: Demonstration and modelling of time-bin entangled photons from a quantum dot in a nanowire

abstract: Resonant excitation of the biexciton state in an InAsP quantum dot by a phase-coherent pair of picosecond pulses allows preparing time-bin entangled pairs of photons via the biexciton-exciton cascade. We show that this scheme can be implemented for a dot embedded in an InP nanowire. The underlying physical mechanisms can be represented and quantitatively analyzed by an effective three-level open system master equation. Simulation parameters including decay and intensity dependent dephasing rates are extracted from experimental data, which in turn let us predict the resulting entanglement and optimal operating conditions.


title: Study on Compressed Sensing of Action Potential

abstract: Compressive sensing (CS) is a signal processing technique that enables sub-Nyquist sampling and near lossless reconstruction of a sparse signal. The technique is particularly appealing for neural signal processing since it avoids the issues relevant to high sampling rate and large data storage. In this project, different CS reconstruction algorithms were tested on raw action potential signals recorded in our lab. Two numerical criteria were set to evaluate the performance of different CS algorithms: Compression Ratio (CR) and Signal-to-Noise Ratio (SNR). In order to do this, individual CS algorithm testing platforms for the EEG data were constructed within MATLAB scheme. The main considerations for the project were the following. 1) Feasibility of the dictionary 2) Tolerance to non-sparsity 3) Applicability of thresholding or interpolation.


title: Freiheitssatz for amalgamated products of free groups over maximal cyclic subgroups

abstract: In 1930, Wilhelm Magnus introduced the so-called Freiheitssatz: Let $F$ be a free group with basis $\mathcal{X}$ and let $r$ be a cyclically reduced element of $F$ which contains a basis element $x \in \mathcal{X}$, then every non-trivial element of the normal closure of $r$ in $F$ contains the basis element $x$. Equivalently, the subgroup freely generated by $\mathcal{X} \backslash \{x\}$ embeds canonically into the quotient group $F / \langle \! \langle r \rangle \! \rangle_{F}$. In this article, we want to introduce a Freiheitssatz for amalgamated products $G=A \ast_{U} B$ of free groups $A$ and $B$, where $U$ is a maximal cyclic subgroup in $A$ and $B$: If an element $r$ of $G$ is neither conjugate to an element of $A$ nor $B$, then the factors $A$, $B$ embed canonically into $G / \langle \! \langle r \rangle \! \rangle_{G}$.


title: Deciphering the 3-D Orion Nebula-IV: The HH~269 flow emerges from the Orion-S Embedded Molecular Cloud

abstract: We have extended the membership and determined the 3-D structure of the large (0.19 pc) HH~269 sequence of shocks in the Orion Nebula. All of the components lie along a track that is highly tilted to the plane-of-the-sky and emerge from within the Orion-S embedded molecular cloud. Their source is probably either the highly obscured mm 9 source associated with a high N2H+ density core (more likely) or the more distant star COUP 632 (less likely). The former must be located in the Photon Dominated Region (PDR) underlying the ionized surface of the Orion South Cloud, while the latter would be embedded within the cloud. The flows seem to be episodic, with intervals of 1900 to 2600 years or 700 to 2600 years if COUP 632 is the source.


title: Machine Translationese: Effects of Algorithmic Bias on Linguistic Complexity in Machine Translation

abstract: Recent studies in the field of Machine Translation (MT) and Natural Language Processing (NLP) have shown that existing models amplify biases observed in the training data. The amplification of biases in language technology has mainly been examined with respect to specific phenomena, such as gender bias. In this work, we go beyond the study of gender in MT and investigate how bias amplification might affect language in a broader sense. We hypothesize that the 'algorithmic bias', i.e. an exacerbation of frequently observed patterns in combination with a loss of less frequent ones, not only exacerbates societal biases present in current datasets but could also lead to an artificially impoverished language: 'machine translationese'. We assess the linguistic richness (on a lexical and morphological level) of translations created by different data-driven MT paradigms - phrase-based statistical (PB-SMT) and neural MT (NMT). Our experiments show that there is a loss of lexical and morphological richness in the translations produced by all investigated MT paradigms for two language pairs (EN<=>FR and EN<=>ES).


title: Caustics in quantum many-body dynamics

abstract: We describe a new class of nonequilibrium quantum many-body phenomena in the form of networks of caustics that dominate the many-body wavefunction in the semiclassical regime following a sudden quench. It includes the light cone-like propagation of correlations as a particular case. Caustics are singularities formed by the birth and death of waves and form a hierarchy of universal patterns whose natural mathematical description is via catastrophe theory. Examples in classical waves range from rainbows and gravitational lensing in optics to tidal bores and rogue waves in hydrodynamics. Quantum many-body caustics are discretized by second-quantization (``quantum catastrophes'') and live in Fock space which can potentially have many dimensions. We illustrate these ideas using the Bose Hubbard dimer and trimer models which are simple enough that the caustic structure can be elucidated from first principles and yet run the full range from integrable to nonintegrable dynamics. The dimer gives rise to discretized versions of fold and cusp catastrophes whereas the trimer allows for higher catastrophes including the codimension-3 hyperbolic and elliptic umbilics which are organized by, and projections of, an 8-dimensional corank-2 catastrophe known as $X_9$. These results describe a hitherto unrecognized form of universality in quantum dynamics organized by singularities that manifest as strong fluctuations in mode population probabilities.


title: Nuclear Quantum Effects in liquid water at near classical computational cost using the adaptive Quantum Thermal Bath

abstract: We demonstrate the accuracy and efficiency of a recently introduced approach to account for nuclear quantum effects (NQE) in molecular simulations: the adaptive Quantum Thermal Bath (adQTB). In this method, zero point energy is introduced through a generalized Langevin thermostat designed to precisely enforce the quantum fluctuation-dissipation theorem. We propose a refined adQTB algorithm with improved accuracy and we report adQTB simulations of liquid water. Through extensive comparison with reference path integral calculations, we demonstrate that it provides excellent accuracy for a broad range of structural and thermodynamic observables as well as infrared vibrational spectra. The adQTB has a computational cost comparable to classical molecular dynamics, enabling simulations of up to millions of degrees of freedom.


title: Fake it Till You Make it: Self-Supervised Semantic Shifts for Monolingual Word Embedding Tasks

abstract: The use of language is subject to variation over time as well as across social groups and knowledge domains, leading to differences even in the monolingual scenario. Such variation in word usage is often called lexical semantic change (LSC). The goal of LSC is to characterize and quantify language variations with respect to word meaning, to measure how distinct two language sources are (that is, people or language models). Because there is hardly any data available for such a task, most solutions involve unsupervised methods to align two embeddings and predict semantic change with respect to a distance measure. To that end, we propose a self-supervised approach to model lexical semantic change by generating training samples by introducing perturbations of word vectors in the input corpora. We show that our method can be used for the detection of semantic change with any alignment method. Furthermore, it can be used to choose the landmark words to use in alignment and can lead to substantial improvements over the existing techniques for alignment. We illustrate the utility of our techniques using experimental results on three different datasets, involving words with the same or different meanings. Our methods not only provide significant improvements but also can lead to novel findings for the LSC problem.


title: Speech Recognition by Simply Fine-tuning BERT

abstract: We propose a simple method for automatic speech recognition (ASR) by fine-tuning BERT, which is a language model (LM) trained on large-scale unlabeled text data and can generate rich contextual representations. Our assumption is that given a history context sequence, a powerful LM can narrow the range of possible choices and the speech signal can be used as a simple clue. Hence, comparing to conventional ASR systems that train a powerful acoustic model (AM) from scratch, we believe that speech recognition is possible by simply fine-tuning a BERT model. As an initial study, we demonstrate the effectiveness of the proposed idea on the AISHELL dataset and show that stacking a very simple AM on top of BERT can yield reasonable performance.


title: Epistocracy Algorithm: A Novel Hyper-heuristic Optimization Strategy for Solving Complex Optimization Problems

abstract: This paper proposes a novel evolutionary algorithm called Epistocracy which incorporates human socio-political behavior and intelligence to solve complex optimization problems. The inspiration of the Epistocracy algorithm originates from a political regime where educated people have more voting power than the uneducated or less educated. The algorithm is a self-adaptive, and multi-population optimizer in which the evolution process takes place in parallel for many populations led by a council of leaders. To avoid stagnation in poor local optima and to prevent a premature convergence, the algorithm employs multiple mechanisms such as dynamic and adaptive leadership based on gravitational force, dynamic population allocation and diversification, variance-based step-size determination, and regression-based leadership adjustment. The algorithm uses a stratified sampling method called Latin Hypercube Sampling (LHS) to distribute the initial population more evenly for exploration of the search space and exploitation of the accumulated knowledge. To investigate the performance and evaluate the reliability of the algorithm, we have used a set of multimodal benchmark functions, and then applied the algorithm to the MNIST dataset to further verify the accuracy, scalability, and robustness of the algorithm. Experimental results show that the Epistocracy algorithm outperforms the tested state-of-the-art evolutionary and swarm intelligence algorithms in terms of performance, precision, and convergence.


title: Using Bayesian Modelling to Predict Software Incidents

abstract: Traditionally, fault- or event-tree analyses or FMEAs have been used to estimate the probability of a safety-critical device creating a dangerous condition. However, these analysis techniques are less effective for systems primarily reliant on software, and are perhaps least effective in Safety of the Intended Functionality (SOTIF) environments, where the failure or dangerous situation occurs even though all components behaved as designed. This paper describes an approach we are considering at BlackBerry QNX: using Bayesian Belief Networks to predict defects in embedded software, and reports on early results from our research.


title: A Competitive Edge: Can FPGAs Beat GPUs at DCNN Inference Acceleration in Resource-Limited Edge Computing Applications?

abstract: When trained as generative models, Deep Learning algorithms have shown exceptional performance on tasks involving high dimensional data such as image denoising and super-resolution. In an increasingly connected world dominated by mobile and edge devices, there is surging demand for these algorithms to run locally on embedded platforms. FPGAs, by virtue of their reprogrammability and low-power characteristics, are ideal candidates for these edge computing applications. As such, we design a spatio-temporally parallelized hardware architecture capable of accelerating a deconvolution algorithm optimized for power-efficient inference on a resource-limited FPGA. We propose this FPGA-based accelerator to be used for Deconvolutional Neural Network (DCNN) inference in low-power edge computing applications. To this end, we develop methods that systematically exploit micro-architectural innovations, design space exploration, and statistical analysis. Using a Xilinx PYNQ-Z2 FPGA, we leverage our architecture to accelerate inference for two DCNNs trained on the MNIST and CelebA datasets using the Wasserstein GAN framework. On these networks, our FPGA design achieves a higher throughput to power ratio with lower run-to-run variation when compared to the NVIDIA Jetson TX1 edge computing GPU.


title: The model theory of residue rings of models of Peano Arithmetic: The prime power case

abstract: In \cite{MacResField} the second author gave a systematic analysis of definability and decidability for rings $\mathcal M/p\mathcal M$, where $\mathcal M$ is a model of Peano Arithmetic and $p$ is a prime in $\mathcal M$. In the present paper we extend those results to the more difficult case of $\mathcal M/p^k\mathcal M$, where $\mathcal M$ is a model of Peano Arithmetic, $p$ is a prime in $\mathcal M$, and $k>1$. In \cite{MacResField} work of Ax on finite fields was used, here we use in addition work of Ax on ultraproduct of $p$-adics.


title: Selection Games and the Vietoris Space

abstract: We explore the connections between selection games on Hausdorff spaces and their corresponding Vietoris space of compact subsets. These considerations offer a similar relationship as the well-known relationship between $\omega$-covers of $X$ and regular open covers of the finite powers of $X$. The primary utility of this method is to establish similar relationships with $k$-covers and the Vietoris space of compact subsets. Particularly, we show that some commonly studied selection principles are equivalent to a related hyperspace being Menger or Rothberger. We then apply these equivalences to correct a flawed argument in a previous paper which attempted to show that a Pawlikowski theorem is true for $k$-covers.


title: Deep Learning--Based Scene Simplification for Bionic Vision

abstract: Retinal degenerative diseases cause profound visual impairment in more than 10 million people worldwide, and retinal prostheses are being developed to restore vision to these individuals. Analogous to cochlear implants, these devices electrically stimulate surviving retinal cells to evoke visual percepts (phosphenes). However, the quality of current prosthetic vision is still rudimentary. Rather than aiming to restore "natural" vision, there is potential merit in borrowing state-of-the-art computer vision algorithms as image processing techniques to maximize the usefulness of prosthetic vision. Here we combine deep learning--based scene simplification strategies with a psychophysically validated computational model of the retina to generate realistic predictions of simulated prosthetic vision, and measure their ability to support scene understanding of sighted subjects (virtual patients) in a variety of outdoor scenarios. We show that object segmentation may better support scene understanding than models based on visual saliency and monocular depth estimation. In addition, we highlight the importance of basing theoretical predictions on biologically realistic models of phosphene shape. Overall, this work has the potential to drastically improve the utility of prosthetic vision for people blinded from retinal degenerative diseases.


title: Global health science leverages established collaboration network to fight COVID-19

abstract: How has the science system reacted to the early stages of the COVID-19 pandemic? Here we compare the (growing) international network for coronavirus research with the broader international health science network. Our findings show that, before the outbreak, coronavirus research realized a relatively small and rather peculiar niche within the global health sciences. As a response to the pandemic, the international network for coronavirus research expanded rapidly along the hierarchical structure laid out by the global health science network. Thus, in face of the crisis, the global health science system proved to be structurally stable yet versatile in research. The observed versatility supports optimistic views on the role of science in meeting future challenges. However, the stability of the global core-periphery structure may be worrying, because it reduces learning opportunities and social capital of scientifically peripheral countries -- not only during this pandemic but also in its "normal" mode of operation.


title: If you've got it, flaunt it: Making the most of fine-grained sentiment annotations

abstract: Fine-grained sentiment analysis attempts to extract sentiment holders, targets and polar expressions and resolve the relationship between them, but progress has been hampered by the difficulty of annotation. Targeted sentiment analysis, on the other hand, is a more narrow task, focusing on extracting sentiment targets and classifying their polarity.In this paper, we explore whether incorporating holder and expression information can improve target extraction and classification and perform experiments on eight English datasets. We conclude that jointly predicting target and polarity BIO labels improves target extraction, and that augmenting the input text with gold expressions generally improves targeted polarity classification. This highlights the potential importance of annotating expressions for fine-grained sentiment datasets. At the same time, our results show that performance of current models for predicting polar expressions is poor, hampering the benefit of this information in practice.


title: Infinite-dimensional Thurston theory and transcendental dynamics I: infinite-legged spiders

abstract: We develop techniques that lay out a basis for generalizations of the famous Thurston's Topological Characterization of Rational Functions for an infinite set of marked points and branched coverings of infinite degree. Analogously to the classical theorem we consider the Thurston's $\sigma$-map acting on a Teichm\"uller space which is this time infinite-dimensional -- and this leads to a completely different theory comparing to the classical setting. We demonstrate our techniques by giving an alternative proof of the result by Markus F\"orster about the classification of exponential functions with the escaping singular value.


title: Ultra-Broadband Kerr Microcomb Through Soliton Spectral Translation

abstract: Broad bandwidth and stable microresonator frequency combs are critical for accurate and precise optical frequency measurements in a compact and deployable format. Typically, broad bandwidths (e.g., octave spans) are achieved by tailoring the microresonator's geometric dispersion. However, geometric dispersion engineering alone may be insufficient for sustaining bandwidths well beyond an octave. Here, we introduce the novel concept of synthetic dispersion, in which a second pump laser effectively alters the dispersion landscape to create Kerr soliton microcombs that extend far beyond the anomalous geometric dispersion region. Through detailed numerical simulations, we show that the synthetic dispersion model captures the system's key physical behavior, in which the second pump enables non-degenerate four-wave mixing that produces new dispersive waves on both sides of the spectrum. We experimentally demonstrate these concepts by pumping a silicon nitride microring resonator at 1060 nm and 1550 nm to generate a single soliton microcomb whose bandwidth approaches two octaves (137 THz to 407 THz) and whose phase coherence is verified through beat note measurements. Such ultra-broadband microcombs provide new opportunities for full microcomb stabilization in optical frequency synthesis and optical atomic clocks, while the synthetic dispersion concept can extend microcomb operation to wavelengths that are hard to reach solely through geometric dispersion engineering.


title: LPWAN in the TV White Spaces: A Practical Implementation and Deployment Experiences

abstract: Low-Power Wide-Area Network (LPWAN) is an enabling Internet-of-Things (IoT) technology that supports long-range, low-power, and low-cost connectivity to numerous devices. To avoid the crowd in the limited ISM band (where most LPWANs operate) and cost of licensed band, the recently proposed SNOW (Sensor Network over White Spaces) is a promising LPWAN platform that operates over the TV white spaces. As it is a very recent technology and is still in its infancy, the current SNOW implementation uses the USRP devices as LPWAN nodes, which has high costs (~$750 USD per device) and large form-factors, hindering its applicability in practical deployment. In this paper, we implement SNOW using low-cost, low form-factor, low-power, and widely available commercial off-the-shelf (COTS) devices to enable its practical and large-scale deployment. Our choice of the COTS device (TI CC13x0: CC1310 or CC1350) consequently brings down the cost and form-factor of a SNOW node by 25x and 10x, respectively. Such implementation of SNOW on the CC13x0 devices, however, faces a number of challenges to enable link reliability and communication range. Our implementation addresses these challenges by handling peak-to-average power ratio problem, channel state information estimation, carrier frequency offset estimation, and near-far power problem. Our deployment in the city of Detroit, Michigan demonstrates that CC13x0-based SNOW can achieve uplink and downlink throughputs of 11.2kbps and 4.8kbps per node, respectively, over a distance of 1km. Also, the overall throughput in the uplink increases linearly with the increase in the number of SNOW nodes.


title: Smooth numbers in Beatty sequences

abstract: An asymptotic formula is given for the number of y-smooth numbers up to x in a Beatty sequence corresponding to an irrational number of finite type.


title: Fractional double phase Robin problem involving variable order-exponents without Ambrosetti-Rabinowitz condition

abstract: We consider a fractional double phase Robin problem involving variable order and variable exponents. The nonlinearity $f$ is a Carath\'{e}odory function satisfying some hypotheses which do not include the Ambrosetti-Rabinowitz type condition. By using Variational methods, we investigate the multiplicity of solutions.


title: Spike and slab Bayesian sparse principal component analysis

abstract: Sparse principal component analysis (SPCA) is a popular tool for dimensionality reduction in high-dimensional data. However, there is still a lack of theoretically justified Bayesian SPCA methods that can scale well computationally. One of the major challenges in Bayesian SPCA is selecting an appropriate prior for the loadings matrix, considering that principal components are mutually orthogonal. We propose a novel parameter-expanded coordinate ascent variational inference (PX-CAVI) algorithm. This algorithm utilizes a spike and slab prior, which incorporates parameter expansion to cope with the orthogonality constraint. Besides comparing to two popular SPCA approaches, we introduce the PX-EM algorithm as an EM analogue to the PX-CAVI algorithm for comparison. Through extensive numerical simulations, we demonstrate that the PX-CAVI algorithm outperforms these SPCA approaches, showcasing its superiority in terms of performance. We study the posterior contraction rate of the variational posterior, providing a novel contribution to the existing literature. The PX-CAVI algorithm is then applied to study a lung cancer gene expression dataset. The R package VBsparsePCA with an implementation of the algorithm is available on the Comprehensive R Archive Network (CRAN).


title: End-to-End Language Identification using Multi-Head Self-Attention and 1D Convolutional Neural Networks

abstract: In this work, we propose a new approach for language identification using multi-head self-attention combined with raw waveform based 1D convolutional neural networks for Indian languages. Our approach uses an encoder, multi-head selfattention, and a statistics pooling layer. The encoder learns features directly from raw waveforms using 1D convolution kernels and an LSTM layer. The LSTM layer captures temporal information between the features extracted by the 1D convolutional layer. The multi-head self-attention layer takes outputs of the LSTM layer and applies self-attention mechanisms on these features with M different heads. This process helps the model give more weightage to the more useful features and less weightage to the less relevant features. Finally, the frame-level features are combined using a statistics pooling layer to extract the utterance-level feature vector label prediction. We conduct all our experiments on the 373 hrs of audio data for eight different Indian languages. Our experiments show that our approach outperforms the baseline model by an absolute 3.69% improvement in F1-score and achieves the best F1-score of 95.90%. Our approach also shows that using raw waveform models gets a 1.7% improvement in performance compared to the models built using handcrafted features.


title: Negative-temperature Fourier transport in one-dimensional systems

abstract: We investigate nonequilibrium steady states in a class of one-dimensional diffusive systems that can attain negative absolute temperatures. The cases of a paramagnetic spin system, a Hamiltonian rotator chain and a one-dimensional discrete linear Schr\"odinger equation are considered. Suitable models of reservoirs are implemented to impose given, possibly negative, temperatures at the chain ends. We show that a phenomenological description in terms of a Fourier law can consistently describe unusual transport regimes where the temperature profiles are entirely or partially in the negative-temperature region. Negative-temperature Fourier transport is observed both for deterministic and stochastic dynamics and it can be generalized to coupled transport when two or more thermodynamic currents flow through the system.


title: On the Purity of Resolutions of Stanley-Reisner Rings Associated to Reed-Muller Codes

abstract: Following Johnsen and Verdure (2013), we can associate to any linear code $C$ an abstract simplicial complex and in turn, a Stanley-Reisner ring $R_C$. The ring $R_C$ is a standard graded algebra over a field and its projective dimension is precisely the dimension of $C$. Thus $R_C$ admits a graded minimal free resolution and the resulting graded Betti numbers are known to determine the generalized Hamming weights of $C$. The question of purity of the minimal free resolution of $R_C$ was considered by Ghorpade and Singh (2020) when $C$ is the generalized Reed-Muller code. They showed that the resolution is pure in some cases and it is not pure in many other cases. Here we give a complete characterization of the purity of graded minimal free resolutions of Stanley-Reisner rings associated to generalized Reed-Muller codes of an arbitrary order.


title: The fair soup division and approximating numbers

abstract: We consider a recent The Vee's fair soup division problem, provide its partial solution, and pose a related open problem.


title: Symmetry-Aware Reservoir Computing

abstract: We demonstrate that matching the symmetry properties of a reservoir computer (RC) to the data being processed dramatically increases its processing power. We apply our method to the parity task, a challenging benchmark problem that highlights inversion and permutation symmetries, and to a chaotic system inference task that presents an inversion symmetry rule. For the parity task, our symmetry-aware RC obtains zero error using an exponentially reduced neural network and training data, greatly speeding up the time to result and outperforming hand crafted artificial neural networks. When both symmetries are respected, we find that the network size $N$ necessary to obtain zero error for 50 different RC instances scales linearly with the parity-order $n$. Moreover, some symmetry-aware RC instances perform a zero error classification with only $N=1$ for $n\leq7$. Furthermore, we show that a symmetry-aware RC only needs a training data set with size on the order of $(n+n/2)$ to obtain such performance, an exponential reduction in comparison to a regular RC which requires a training data set with size on the order of $n2^n$ to contain all $2^n$ possible $n-$bit-long sequences. For the inference task, we show that a symmetry-aware RC presents a normalized root-mean-square error three orders-of-magnitude smaller than regular RCs. For both tasks, our RC approach respects the symmetries by adjusting only the input and the output layers, and not by problem-based modifications to the neural network. We anticipate that generalizations of our procedure can be applied in information processing for problems with known symmetries.


title: Fairness through Social Welfare Optimization

abstract: We propose social welfare optimization as a general paradigm for formalizing fairness in AI systems. We argue that optimization models allow formulation of a wide range of fairness criteria as social welfare functions, while enabling AI to take advantage of highly advanced solution technology. Rather than attempting to reduce bias between selected groups, one can achieve equity across all groups by incorporating fairness into the social welfare function. This also allows a fuller accounting of the welfare of the individuals involved. We show how to integrate social welfare optimization with both rule-based AI and machine learning, using either an in-processing or a post-processing approach. We present empirical results from a case study as a preliminary examination of the validity and potential of these integration strategies.


title: Entanglement in bipartite quantum systems: Euclidean volume ratios and detectability by Bell inequalities

abstract: Euclidean volume ratios between quantum states with positive partial transpose and all quantum states in bipartite systems are investigated. These ratios allow a quantitative exploration of the typicality of entanglement and of its detectability by Bell inequalities. For this purpose a new numerical approach is developed. It is based on the Peres-Horodecki criterion, on a characterization of the convex set of quantum states by inequalities resulting from Newton identities and from Descartes' rule of signs, and on a numerical approach involving the multiphase Monte Carlo method and the hit-and-run algorithm. This approach confirms not only recent analytical and numerical results on two-qubit, qubit--qutrit, and qubit--four-level qudit states but also allows for a numerically reliable numerical treatment of so far unexplored qutrit--qutrit states. Based on this numerical approach with the help of the Clauser-Horne-Shimony-Holt inequality and the Collins-Gisin inequality the degree of detectability of entanglement is investigated for two-qubit quantum states. It is investigated quantitatively to which extent a combined test of both Bell inequalities can increase the detectability of entanglement beyond what is achievable by each of these inequalities separately.


title: Cortical Features for Defense Against Adversarial Audio Attacks

abstract: We propose using a computational model of the auditory cortex as a defense against adversarial attacks on audio. We apply several white-box iterative optimization-based adversarial attacks to an implementation of Amazon Alexa's HW network, and a modified version of this network with an integrated cortical representation, and show that the cortical features help defend against universal adversarial examples. At the same level of distortion, the adversarial noises found for the cortical network are always less effective for universal audio attacks. We make our code publicly available at https://github.com/ilyakava/py3fst.


title: Size and Depth Separation in Approximating Benign Functions with Neural Networks

abstract: When studying the expressive power of neural networks, a main challenge is to understand how the size and depth of the network affect its ability to approximate real functions. However, not all functions are interesting from a practical viewpoint: functions of interest usually have a polynomially-bounded Lipschitz constant, and can be computed efficiently. We call functions that satisfy these conditions "benign", and explore the benefits of size and depth for approximation of benign functions with ReLU networks. As we show, this problem is more challenging than the corresponding problem for non-benign functions. We give barriers to showing depth-lower-bounds: Proving existence of a benign function that cannot be approximated by polynomial-size networks of depth $4$ would settle longstanding open problems in computational complexity. It implies that beyond depth $4$ there is a barrier to showing depth-separation for benign functions, even between networks of constant depth and networks of nonconstant depth. We also study size-separation, namely, whether there are benign functions that can be approximated with networks of size $O(s(d))$, but not with networks of size $O(s'(d))$. We show a complexity-theoretic barrier to proving such results beyond size $O(d\log^2(d))$, but also show an explicit benign function, that can be approximated with networks of size $O(d)$ and not with networks of size $o(d/\log d)$. For approximation in $L_\infty$ we achieve such separation already between size $O(d)$ and size $o(d)$. Moreover, we show superpolynomial size lower bounds and barriers to such lower bounds, depending on the assumptions on the function. Our size-separation results rely on an analysis of size lower bounds for Boolean functions, which is of independent interest: We show linear size lower bounds for computing explicit Boolean functions with neural networks and threshold circuits.


title: Metalearning: Sparse Variable-Structure Automata

abstract: Dimension of the encoder output (i.e., the code layer) in an autoencoder is a key hyper-parameter for representing the input data in a proper space. This dimension must be carefully selected in order to guarantee the desired reconstruction accuracy. Although overcomplete representation can address this dimension issue, the computational complexity will increase with dimension. Inspired by non-parametric methods, here, we propose a metalearning approach to increase the number of basis vectors used in dynamic sparse coding on the fly. An actor-critic algorithm is deployed to automatically choose an appropriate dimension for feature vectors regarding the required level of accuracy. The proposed method benefits from online dictionary learning and fast iterative shrinkage-thresholding algorithm (FISTA) as the optimizer in the inference phase. It aims at choosing the minimum number of bases for the overcomplete representation regarding the reconstruction error threshold. This method allows for online controlling of both the representation dimension and the reconstruction error in a dynamic framework.


title: Polysomally Protected Viruses

abstract: It is conceivable that an RNA virus could use a polysome, that is, a string of ribosomes covering the RNA strand, to protect the genetic material from degradation inside a host cell. This paper discusses how such a virus might operate, and how its presence might be detected by ribosome profiling. There are two possible forms for such a polysomally protected virus, depending upon whether just the forward strand or both the forward and complementary strands can be encased by ribosomes (these will be termed type 1 and type 2, respectively). It is argued that in the type 2 case the viral RNA would evolve an ambigrammatic property, whereby the viral genes are free of stop codons in a reverse reading frame (with forward and reverse codons aligned). Recent observations of ribosome profiles of ambigrammatic narnavirus sequences are consistent with our predictions for the type 2 case.


title: A Construction for Boolean cube Ramsey numbers

abstract: Let $Q_n$ be the poset that consists of all subsets of a fixed $n$-element set, ordered by set inclusion. The poset cube Ramsey number $R(Q_n,Q_n)$ is defined as the least $m$ such that any 2-coloring of the elements of $Q_m$ admits a monochromatic copy of $Q_n$. The trivial lower bound $R(Q_n,Q_n)\ge 2n$ was improved by Cox and Stolee, who showed $R(Q_n,Q_n)\ge 2n+1$ for $3\le n\le 8$ and $n\ge 13$ using a probabilistic existence proof. In this paper, we provide an explicit construction that establishes $R(Q_n,Q_n)\ge 2n+1$ for all $n\ge 3$. The best known upper bound, due to Lu and Thompson, is $ R(Q_n, Q_n) \le n^2 - 2n + 2$.


title: Simple electron-impact excitation cross-sections including plasma density effects

abstract: The modeling of non-local-thermodynamic-equilibrium plasmas is crucial for many aspects of high-energy-density physics. It often requires collisional-radiative models coupled with radiative-hydrodynamics simulations. Therefore, there is a strong need for fast and as accurate as possible calculations of the cross-sections and rates of the different collisional and radiative processes. We present an analytical approach for the computation of the electron-impact excitation (EIE) cross-sections in the Plane Wave Born (PWB) approximation. The formalism relies on the screened hydrogenic model. The EIE cross-section is expressed in terms of integrals, involving spherical Bessel functions, which can be calculated analytically. In order to remedy the fact that the PWB approximation is not correct at low energy (near threshold), we consider different correcting factors (Elwert-Sommerfeld, Cowan-Robb, Kilcrease-Brookes). We also investigate the role of plasma density effects such as Coulomb screening and quantum degeneracy on the EIE rate. This requires to integrate the collision strength multiplied by the Fermi-Dirac distribution and the Pauli blocking factor. We show that, using an analytical fit often used in collisional-radiative models, the EIE rate can be calculated accurately without any numerical integration, and compare our expression with a correction factor presented in a recent work.


title: Efficient CNN Building Blocks for Encrypted Data

abstract: Machine learning on encrypted data can address the concerns related to privacy and legality of sharing sensitive data with untrustworthy service providers. Fully Homomorphic Encryption (FHE) is a promising technique to enable machine learning and inferencing while providing strict guarantees against information leakage. Since deep convolutional neural networks (CNNs) have become the machine learning tool of choice in several applications, several attempts have been made to harness CNNs to extract insights from encrypted data. However, existing works focus only on ensuring data security and ignore security of model parameters. They also report high level implementations without providing rigorous analysis of the accuracy, security, and speed trade-offs involved in the FHE implementation of generic primitive operators of a CNN such as convolution, non-linear activation, and pooling. In this work, we consider a Machine Learning as a Service (MLaaS) scenario where both input data and model parameters are secured using FHE. Using the CKKS scheme available in the open-source HElib library, we show that operational parameters of the chosen FHE scheme such as the degree of the cyclotomic polynomial, depth limitations of the underlying leveled HE scheme, and the computational precision parameters have a major impact on the design of the machine learning model (especially, the choice of the activation function and pooling method). Our empirical study shows that choice of aforementioned design parameters result in significant trade-offs between accuracy, security level, and computational time. Encrypted inference experiments on the MNIST dataset indicate that other design choices such as ciphertext packing strategy and parallelization using multithreading are also critical in determining the throughput and latency of the inference process.


title: Pointed Hopf actions on quantum generalized Weyl algebras

abstract: We study actions of pointed Hopf algebras in the $\ZZ$-graded setting. Our main result classifies inner-faithful actions of generalized Taft algebras on quantum generalized Weyl algebras which respect the $\ZZ$-grading. We also show that generically the invariant rings of Taft actions on quantum generalized Weyl algebras are commutative Kleinian singularities.


title: Recurrent Submodular Welfare and Matroid Blocking Bandits

abstract: A recent line of research focuses on the study of the stochastic multi-armed bandits problem (MAB), in the case where temporal correlations of specific structure are imposed between the player's actions and the reward distributions of the arms (Kleinberg and Immorlica [FOCS18], Basu et al. [NeurIPS19]). As opposed to the standard MAB setting, where the optimal solution in hindsight can be trivially characterized, these correlations lead to (sub-)optimal solutions that exhibit interesting dynamical patterns -- a phenomenon that yields new challenges both from an algorithmic as well as a learning perspective. In this work, we extend the above direction to a combinatorial bandit setting and study a variant of stochastic MAB, where arms are subject to matroid constraints and each arm becomes unavailable (blocked) for a fixed number of rounds after each play. A natural common generalization of the state-of-the-art for blocking bandits, and that for matroid bandits, yields a $(1-\frac{1}{e})$-approximation for partition matroids, yet it only guarantees a $\frac{1}{2}$-approximation for general matroids. In this paper we develop new algorithmic ideas that allow us to obtain a polynomial-time $(1 - \frac{1}{e})$-approximation algorithm (asymptotically and in expectation) for any matroid, and thus to control the $(1-\frac{1}{e})$-approximate regret. A key ingredient is the technique of correlated (interleaved) scheduling. Along the way, we discover an interesting connection to a variant of Submodular Welfare Maximization, for which we provide (asymptotically) matching upper and lower approximability bounds.


title: A Supervised Learning Approach for Robust Health Monitoring using Face Videos

abstract: Monitoring of cardiovascular activity is highly desired and can enable novel applications in diagnosing potential cardiovascular diseases and maintaining an individual's well-being. Currently, such vital signs are measured using intrusive contact devices such as an electrocardiogram (ECG), chest straps, and pulse oximeters that require the patient or the health provider to manually implement. Non-contact, device-free human sensing methods can eliminate the need for specialized heart and blood pressure monitoring equipment. Non-contact methods can have additional advantages since they are scalable with any environment where video can be captured, can be used for continuous measurements, and can be used on patients with varying levels of dexterity and independence, from people with physical impairments to infants (e.g., baby camera). In this paper, we used a non-contact method that only requires face videos recorded using commercially-available webcams. These videos were exploited to predict the health attributes like pulse rate and variance in pulse rate. The proposed approach used facial recognition to detect the face in each frame of the video using facial landmarks, followed by supervised learning using deep neural networks to train the machine learning model. The videos captured subjects performing different physical activities that result in varying cardiovascular responses. The proposed method did not require training data from every individual and thus the prediction can be obtained for the new individuals for which there is no prior data; critical in approach generalization. The approach was also evaluated on a dataset of people with different ethnicity. The proposed approach had less than a 4.6\% error in predicting the pulse rate.


title: Paths of Length Three are $K_{r+1}$-Tur\'an Good

abstract: The generalized Tur\'an problem $ext(n,T,F)$ is to determine the maximal number of copies of a graph $T$ that can exist in an $F$-free graph on $n$ vertices. Recently, Gerbner and Palmer noted that the solution to the generalized Tur\'an problem is often the original Tur\'an graph. They gave the name "$F$-Tur\'an-good" to graphs $T$ for which, for large enough $n$, the solution to the generalized Tur\'an problem is realized by a Tur\'an graph. They prove that the path graph on two edges, $P_2$, is $K_{r+1}$-Tur\'an-good for all $r \ge 3$, but they conjecture that the same result should hold for all $P_\ell$. In this paper, using arguments based in flag algebras, we prove that the path on three edges, $P_3$, is also $K_{r+1}$-Tur\'an-good for all $r \ge 3$.


title: Video Reenactment as Inductive Bias for Content-Motion Disentanglement

abstract: Independent components within low-dimensional representations are essential inputs in several downstream tasks, and provide explanations over the observed data. Video-based disentangled factors of variation provide low-dimensional representations that can be identified and used to feed task-specific models. We introduce MTC-VAE, a self-supervised motion-transfer VAE model to disentangle motion and content from videos. Unlike previous work on video content-motion disentanglement, we adopt a chunk-wise modeling approach and take advantage of the motion information contained in spatiotemporal neighborhoods. Our model yields independent per-chunk representations that preserve temporal consistency. Hence, we reconstruct whole videos in a single forward-pass. We extend the ELBO's log-likelihood term and include a Blind Reenactment Loss as an inductive bias to leverage motion disentanglement, under the assumption that swapping motion features yields reenactment between two videos. We evaluate our model with recently-proposed disentanglement metrics and show that it outperforms a variety of methods for video motion-content disentanglement. Experiments on video reenactment show the effectiveness of our disentanglement in the input space where our model outperforms the baselines in reconstruction quality and motion alignment.


title: Edge, Structure and Texture Refinement for Retrospective High Quality MRI Restoration using Deep Learning

abstract: 22. Shortening acquisition time and reducing the motion-artifact are two of the most critical issues in MRI. As a promising solution, high-quality MRI image restoration provides a new approach to achieve higher resolution without costing additional acquisition time or modification on the pulse sequences. Recently, as to the rise of deep learning, convolutional neural networks have been proposed for super-resolution (SR) image generation and motion-artifact reduction (MAR) for MRI. Recent studies suggest that using perceptual feature space loss and k space loss to capture the perceptual information and high-frequency information of images, respectively. However, the quality of reconstructed SR and MAR MR images is limited because the most important details of the informative area in the MR image, the edges and the structure, cannot be very well restored. Besides, lots of the SR approaches are trained by using low-resolution images generated by applying bicubic or blur-downscale degradation, which cannot represent the real process of MRI measurement. Such inconsistencies lead to performance degradation in the reconstruction of SR images as well. This study reveals that using the L1 loss of SSIM and gradient map edge quality loss could force the deep learning model to focus on studying the features of edges and structure details of MR images, thus generating SR images with more accurate, fruitful information and reduced motion-artifact. We employed a state-of-the-art model, RCAN, as the network framework in both SR and MAR tasks, trained the model by using low-resolution images and motion-artifact affected images which were generated by emulating how they are measured in the real MRI measurement to ensure the model can be easily applied in the practical clinic environment, and verified the trained model could work fairly well.


title: Variable Inflaton Equation of State and Reheating

abstract: We explore the consequences of a time-dependent inflaton Equation-of-State (EoS) parameter in the context of the post-inflationary perturbative Boltzmann reheating. In particular, we numerically solve the perturbative coupled system of Boltzmann equations involving the inflaton energy density, the radiation energy density and the related entropy density and temperature of the produced particle thermal bath. We exploit reasonable Ans\"atze for the EoS and discuss the robustness of the Boltzmann system. We also comment on the possible microscopic origin related to a time dependent inflaton potential, discussing the consequences on a preheating stage and the related (primordial) gravitational waves.


title: Learning Interaction Kernels for Agent Systems on Riemannian Manifolds

abstract: Interacting agent and particle systems are extensively used to model complex phenomena in science and engineering. We consider the problem of learning interaction kernels in these dynamical systems constrained to evolve on Riemannian manifolds from given trajectory data. The models we consider are based on interaction kernels depending on pairwise Riemannian distances between agents, with agents interacting locally along the direction of the shortest geodesic connecting them. We show that our estimators converge at a rate that is independent of the dimension of the state space, and derive bounds on the trajectory estimation error, on the manifold, between the observed and estimated dynamics. We demonstrate the performance of our estimator on two classical first order interacting systems: Opinion Dynamics and a Predator-Swarm system, with each system constrained on two prototypical manifolds, the $2$-dimensional sphere and the Poincar\'e disk model of hyperbolic space.


title: BG Tri an example of a low inclination RW Sex-type novalike

abstract: We analysed a wealth of optical spectroscopic and photometric observations of the bright (V=11.9) cataclysmic variable BG Tri. TheGaiaDR2 parallax gives a distance d=334(8)pc to the source, making the object one of the intrinsically brightest nova-like variables seen under a low orbital inclination angle. Time-resolved spectroscopic observations revealed the orbital period of P(orb)=3.h8028(24). Its spectroscopic characteristics resemble RW Sex and similarnova-like variables. We disentangled the H alpha emission line into two components, and show that one component forms on the irradiated face of the secondary star. We suggest that the other one originates at a disc outflow area adjacent to the L3 point.


title: A Quantum Interpretation of Bunched Logic for Quantum Separation Logic

abstract: We propose a model of the substructural logic of Bunched Implications (BI) that is suitable for reasoning about quantum states. In our model, the separating conjunction of BI describes separable quantum states. We develop a program logic where pre- and post-conditions are BI formulas describing quantum states -- the program logic can be seen as a counterpart of separation logic for imperative quantum programs. We exercise the logic for proving the security of quantum one-time pad and secret sharing, and we show how the program logic can be used to discover a flaw in Google Cirq's tutorial on the Variational Quantum Algorithm (VQA).


title: Bayesian Cumulative Probability Models for Continuous and Mixed Outcomes

abstract: Ordinal cumulative probability models (CPMs) -- also known as cumulative link models -- such as the proportional odds regression model are typically used for discrete ordered outcomes, but can accommodate both continuous and mixed discrete/continuous outcomes since these are also ordered. Recent papers describe ordinal CPMs in this setting using non-parametric maximum likelihood estimation. We formulate a Bayesian CPM for continuous or mixed outcome data. Bayesian CPMs inherit many of the benefits of frequentist CPMs and have advantages with regard to interpretation, flexibility, and exact inference (within simulation error) for parameters and functions of parameters. We explore characteristics of the Bayesian CPM through simulations and a case study using HIV biomarker data. In addition, we provide the package 'bayesCPM' which implements Bayesian CPM models using the R interface to the Stan probabilistic programing language. The Bayesian CPM for continuous outcomes can be implemented with only minor modifications to the prior specification and, despite some limitations, has generally good statistical performance with moderate or large sample sizes.


title: Well-posedness and stability for Schr\"odinger equations with infinite memory

abstract: We study in this paper the well-posedness and stability for two linear Schr\"odinger equations in $d$-dimensional open bounded domain under Dirichlet boundary conditions with an infinite memory. First, we establish the well-posedness in the sens of semigroup theory. Then, a decay estimate depending on the smoothness of initial data and the arbitrarily growth at infinity of the relaxation function is established for each equation with the help of multipliers method.


title: Eternal solutions for a reaction-diffusion equation with weighted reaction

abstract: We prove existence and uniqueness of \emph{eternal solutions} in self-similar form growing up in time with exponential rate for the weighted reaction-diffusion equation $$ \partial_tu=\Delta u^m+|x|^{\sigma}u^p, $$ posed in $\real^N$, with $m>1$, $0<p<1$ and the critical value for the weight $$ \sigma=\frac{2(1-p)}{m-1}. $$ Existence and uniqueness of some specific solution holds true when $m+p\geq2$. On the contrary, no eternal solution exists if $m+p<2$. We also classify exponential self-similar solutions with a different interface behavior when $m+p>2$. Some transformations to reaction-convection-diffusion equations and traveling wave solutions are also introduced.


title: Deep Reinforcement Learning-Based Product Recommender for Online Advertising

abstract: In online advertising, recommender systems try to propose items from a list of products to potential customers according to their interests. Such systems have been increasingly deployed in E-commerce due to the rapid growth of information technology and availability of large datasets. The ever-increasing progress in the field of artificial intelligence has provided powerful tools for dealing with such real-life problems. Deep reinforcement learning (RL) that deploys deep neural networks as universal function approximators can be viewed as a valid approach for design and implementation of recommender systems. This paper provides a comparative study between value-based and policy-based deep RL algorithms for designing recommender systems for online advertising. The RecoGym environment is adopted for training these RL-based recommender systems, where the long short term memory (LSTM) is deployed to build value and policy networks in these two approaches, respectively. LSTM is used to take account of the key role that order plays in the sequence of item observations by users. The designed recommender systems aim at maximising the click-through rate (CTR) for the recommended items. Finally, guidelines are provided for choosing proper RL algorithms for different scenarios that the recommender system is expected to handle.


title: Cosmic-ray current-driven instabilities -- revisiting environmental conditions

abstract: The growth of magneto-hydrodynamic fluctuations relevant to cosmic ray confinement in and near their sources, and the effects of local plasma conditions is revisited. We consider cases where cosmic rays penetrate a medium which may contain a fraction of neutral particles, and explore the possible effects of high-order cosmic-ray anisotropies. An algorithm for calculating the dispersion relation for arbitrary distributions, and anisotropies is presented, and a general solution for power-law cosmic-ray distributions is provided. Implications for the resulting instabilities near to strong Galactic cosmic-ray sources are discussed. We argue that cosmic-ray streaming in weakly ionised plasmas eliminates the need for the existence of an evanescent band in the dispersion relation, a conclusion which may be confirmed by gamma-ray observations. The necessity for additional multi-scale numerical simulations is highlighted, as understanding the non-linear behaviour is crucial.


title: Correlations in a polymeric structure immersed in a magnetic solution

abstract: Polymers are among the most important materials in the modern society being found almost in every activity of our daily life. Understanding their chemical and physical properties lead to improvements of their usage. The correlation functions are one of most important quantities to understand a physical system. The characteristic way it behaves describe how the system fluctuates, and much of the progress achieved to understand complex systems has been due to their study. Of particular interest in polymer science are the space correlations which describe its mechanical behavior. In this work I study the stiffness of a polymer immersed in a magnetic medium and trapped in an optical tweezers. Using Monte Carlo simulations the correlation function along the chain and the force in the tweezers are obtained as a function of temperature and density of magnetic particles. The results show that the correlation decay has two regimes: an initial very fast decay of order the monomer-monomer spacing and a power law in the long distance regime. The power law exponent has a minimum at a temperature $T_{min}$ for any non zero density of magnetic particles indicating that the system is more correlated in this region. Using a formula for the persistence length derived from the WLC theory one observed that it has a maximum at the same temperature. These results suggest that the correlations in the system may be a combination of exponential and power law.


title: The picture of BLR in 2.5-D FRADO: Dynamics & Geometry

abstract: The dynamics of the Broad Line Region (BLR) in Active galaxies is an open question, direct observational constraints suggest a predominantly Keplerian motion, with possible traces of inflow or outflow. In this paper we study in detail the physically motivated BLR model of (Czerny & Hryniewicz, 2011) based on the radiation pressure acting on dust at the surface layers of accretion disk (AD). We consider here a non-hydrodynamical approach to the dynamics of the dusty cloud under the influence of radiation coming from the entire AD. We use here the realistic description of the dust opacity, and we introduce two simple geometrical models of the local shielding of the dusty cloud. We show that the radiation pressure acting on dusty clouds is strong enough to lead to dynamical outflow from the AD surface, so the BLR has a dynamical character of (mostly failed) outflow. The dynamics strongly depend on the Eddington ratio of the source. Large Eddington ratio sources show a complex velocity field and large vertical velocities with respect to the AD surface, while for lower Eddington ratio sources vertical velocities are small and most of the emission originates close to the AD surface. Cloud dynamics thus determines the 3-D geometry of the BLR.


title: Using Multiple Generative Adversarial Networks to Build Better-Connected Levels for Mega Man

abstract: Generative Adversarial Networks (GANs) can generate levels for a variety of games. This paper focuses on combining GAN-generated segments in a snaking pattern to create levels for Mega Man. Adjacent segments in such levels can be orthogonally adjacent in any direction, meaning that an otherwise fine segment might impose a barrier between its neighbor depending on what sorts of segments in the training set are being most closely emulated: horizontal, vertical, or corner segments. To pick appropriate segments, multiple GANs were trained on different types of segments to ensure better flow between segments. Flow was further improved by evolving the latent vectors for the segments being joined in the level to maximize the length of the level's solution path. Using multiple GANs to represent different types of segments results in significantly longer solution paths than using one GAN for all segment types, and a human subject study verifies that these levels are more fun and have more human-like design than levels produced by one GAN.


title: Fragile Complexity of Adaptive Algorithms

abstract: The fragile complexity of a comparison-based algorithm is $f(n)$ if each input element participates in $O(f(n))$ comparisons. In this paper, we explore the fragile complexity of algorithms adaptive to various restrictions on the input, i.e., algorithms with a fragile complexity parameterized by a quantity other than the input size n. We show that searching for the predecessor in a sorted array has fragile complexity ${\Theta}(\log k)$, where $k$ is the rank of the query element, both in a randomized and a deterministic setting. For predecessor searches, we also show how to optimally reduce the amortized fragile complexity of the elements in the array. We also prove the following results: Selecting the $k$-th smallest element has expected fragile complexity $O(\log \log k)$ for the element selected. Deterministically finding the minimum element has fragile complexity ${\Theta}(\log(Inv))$ and ${\Theta}(\log(Runs))$, where $Inv$ is the number of inversions in a sequence and $Runs$ is the number of increasing runs in a sequence. Deterministically finding the median has fragile complexity $O(\log(Runs) + \log \log n)$ and ${\Theta}(\log(Inv))$. Deterministic sorting has fragile complexity ${\Theta}(\log(Inv))$ but it has fragile complexity ${\Theta}(\log n)$ regardless of the number of runs.


title: Enacted Visual Perception: A Computational Model based on Piaget Equilibrium

abstract: In Maurice Merleau-Ponty's phenomenology of perception, analysis of perception accounts for an element of intentionality, and in effect therefore, perception and action cannot be viewed as distinct procedures. In the same line of thinking, Alva No\"{e} considers perception as a thoughtful activity that relies on capacities for action and thought. Here, by looking into psychology as a source of inspiration, we propose a computational model for the action involved in visual perception based on the notion of equilibrium as defined by Jean Piaget. In such a model, Piaget's equilibrium reflects the mind's status, which is used to control the observation process. The proposed model is built around a modified version of convolutional neural networks (CNNs) with enhanced filter performance, where characteristics of filters are adaptively adjusted via a high-level control signal that accounts for the thoughtful activity in perception. While the CNN plays the role of the visual system, the control signal is assumed to be a product of mind.


title: Physical acceptability conditions for realistic neutron star equations of state

abstract: We select 37 most common and realistic dense matter equation of states to integrate the general relativistic stellar structure equations for static spherically symmetric matter configurations. For all these models, we check the compliance of the acceptability conditions that every stellar model should satisfy. It was found that some of the non-relativistic equation of states violate the causality and/or the dominant energy condition and that adiabatic instabilities appear in the inner crust for all equation of state considered.


title: Single-site Rydberg addressing in 3D atomic arrays for quantum computing with neutral atoms

abstract: Neutral atom arrays are promising for large-scale quantum computing especially because it is possible to prepare large-scale qubit arrays. An unsolved issue is how to selectively excite one qubit deep in a 3D atomic array to Rydberg states. In this work, we show two methods for this purpose. The first method relies on a well-known result: in a dipole transition between two quantum states driven by two off-resonant fields of equal strength but opposite detunings $\pm\Delta$, the transition is characterized by two counter-rotating Rabi frequencies $\Omega e^{\pm i\Delta t}$~[or $\pm\Omega e^{\pm i\Delta t}$ if the two fields have a $\pi$-phase difference]. This pair of detuned fields lead to a time-dependent Rabi frequency $2\Omega \cos(\Delta t)$~[or $2i\Omega \sin(\Delta t)$], so that a full transition between the two levels is recovered. We show that when the two detuned fields are sent in different directions, one atom in a 3D optical lattice can be selectively addressed for Rydberg excitation, and when its state is restored, the state of any nontarget atoms irradiated in the light path is also restored. Moreover, we find that the Rydberg excitation by this method can significantly suppress the fundamental blockade error of a Rydberg gate, paving the way for a high-fidelity entangling gate with commonly used quasi-rectangular pulse that is easily obtained by pulse pickers. Along the way, we find a second method for single-site Rydberg addressing in 3D, where a selected target atom can be excited to Rydberg state while preserving the state of any nontarget atom due to a spin echo sequence. The capability to selectively address a target atom in 3D atomic arrays for Rydberg excitation makes it possible to design large-scale neutral-atom information processor based on Rydberg blockade.