title: Tuning environmental timescales to evolve and maintain generalists

abstract: Natural environments can present diverse challenges, but some genotypes remain fit across many environments. Such `generalists' can be hard to evolve, out-competed by specialists fitter in any particular environment. Here, inspired by the search for broadly-neutralising antibodies during B-cell affinity maturation, we demonstrate that environmental changes on an intermediate timescale can reliably evolve generalists, even when faster or slower environmental changes are unable to do so. We find that changing environments on timescales comparable to evolutionary transients in a population enhances the rate of evolving generalists from specialists, without enhancing the reverse process. The yield of generalists is further increased in more complex dynamic environments, such as a `chirp' of increasing frequency. Our work offers design principles for how non-equilibrium fitness `seascapes' can dynamically funnel populations to genotypes unobtainable in static environments.


title: HEMELB Acceleration and Visualization for Cerebral Aneurysms

abstract: A weakness in the wall of a cerebral artery causing a dilation or ballooning of the blood vessel is known as a cerebral aneurysm. Optimal treatment requires fast and accurate diagnosis of the aneurysm. HemeLB is a fluid dynamics solver for complex geometries developed to provide neurosurgeons with information related to the flow of blood in and around aneurysms. On a cost efficient platform, HemeLB could be employed in hospitals to provide surgeons with the simulation results in real-time. In this work, we developed an improved version of HemeLB for GPU implementation and result visualization. A visualization platform for smooth interaction with end users is also presented. Finally, a comprehensive evaluation of this implementation is reported. The results demonstrate that the proposed implementation achieves a maximum performance of 15,168,964 site updates per second, and is capable of speeding up HemeLB for deployment in hospitals and clinical investigations.


title: On existence of integral point sets and their diameter bounds

abstract: A point set $M$ in $m$-dimensional Euclidean space is called an integral point set if all the distances between the elements of $M$ are integers, and $M$ is not situated on an $(m-1)$-dimensional hyperplane. We improve the linear lower bound for diameter of planar integral point sets. This improvement takes into account some results related to the Point Packing in a Square problem. Then for arbitrary integers $m \geq 2$, $n \geq m+1$, $d \geq 1$ we give a construction of an integral point set $M$ of $n$ points in $m$-dimensional Euclidean space, where $M$ contains points $M_1$ and $M_2$ such that distance between $M_1$ and $M_2$ is exactly $d$.


title: Homography from two orientation- and scale-covariant features

abstract: This paper proposes a geometric interpretation of the angles and scales which the orientation- and scale-covariant feature detectors, e.g. SIFT, provide. Two new general constraints are derived on the scales and rotations which can be used in any geometric model estimation tasks. Using these formulas, two new constraints on homography estimation are introduced. Exploiting the derived equations, a solver for estimating the homography from the minimal number of two correspondences is proposed. Also, it is shown how the normalization of the point correspondences affects the rotation and scale parameters, thus achieving numerically stable results. Due to requiring merely two feature pairs, robust estimators, e.g. RANSAC, do significantly fewer iterations than by using the four-point algorithm. When using covariant features, e.g. SIFT, the information about the scale and orientation is given at no cost. The proposed homography estimation method is tested in a synthetic environment and on publicly available real-world datasets.


title: Conformity bias in the cultural transmission of music sampling traditions

abstract: One of the fundamental questions of cultural evolutionary research is how individual-level processes scale up to generate population-level patterns. Previous studies in music have revealed that frequency-based bias (e.g. conformity and novelty) drives large-scale cultural diversity in different ways across domains and levels of analysis. Music sampling is an ideal research model for this process because samples are known to be culturally transmitted between collaborating artists, and sampling events are reliably documented in online databases. The aim of the current study was to determine whether frequency-based bias has played a role in the cultural transmission of music sampling traditions, using a longitudinal dataset of sampling events across three decades. Firstly, we assessed whether turn-over rates of popular samples differ from those expected under neutral evolution. Next, we used agent-based simulations in an approximate Bayesian computation framework to infer what level of frequency-based bias likely generated the observed data. Despite anecdotal evidence of novelty bias, we found that sampling patterns at the population-level are most consistent with conformity bias.


title: Invariant Detection with Program Verification Tools

abstract: Compilers can specialize programs having invariants for performance improvement. Detecting program invariants that span large and complex code, however, is difficult for compilers. Traditional compilers do not perform very expensive analysis and thus only identify limited invariants, which limits the potential of subsequent optimizations. We would like to address the invariant detection problem via more sophisticated analyses using program verification tools. In this paper, we reveal pitfalls of choosing program verification tools for invariant detection, identify challenges of modeling program behavior using one of these tools---CVC4, and propose some ideas about how to address the challenges.


title: Training Models to Extract Treatment Plans from Clinical Notes Using Contents of Sections with Headings

abstract: Objective: Using natural language processing (NLP) to find sentences that state treatment plans in a clinical note, would automate plan extraction and would further enable their use in tools that help providers and care managers. However, as in the most NLP tasks on clinical text, creating gold standard to train and test NLP models is tedious and expensive. Fortuitously, sometimes but not always clinical notes contain sections with a heading that identifies the section as a plan. Leveraging contents of such labeled sections as a noisy training data, we assessed accuracy of NLP models trained with the data. Methods: We used common variations of plan headings and rule-based heuristics to find plan sections with headings in clinical notes, and we extracted sentences from them and formed a noisy training data of plan sentences. We trained Support Vector Machine (SVM) and Convolutional Neural Network (CNN) models with the data. We measured accuracy of the trained models on the noisy dataset using ten-fold cross validation and separately on a set-aside manually annotated dataset. Results: About 13% of 117,730 clinical notes contained treatment plans sections with recognizable headings in the 1001 longitudinal patient records that were obtained from Cleveland Clinic under an IRB approval. We were able to extract and create a noisy training data of 13,492 plan sentences from the clinical notes. CNN achieved best F measures, 0.91 and 0.97 in the cross-validation and set-aside evaluation experiments respectively. SVM slightly underperformed with F measures of 0.89 and 0.96 in the same experiments. Conclusion: Our study showed that the training supervised learning models using noisy plan sentences was effective in identifying them in all clinical notes. More broadly, sections with informal headings in clinical notes can be a good source for generating effective training data.


title: Anderson localization for electric quantum walks and skew-shift CMV matrices

abstract: We consider the spectral and dynamical properties of one-dimensional quantum walks placed into homogenous electric fields according to a discrete version of the minimal coupling principle. We show that for all irrational fields the absolutely continuous spectrum of these systems is empty, and prove Anderson localization for almost all (irrational) fields. This result closes a gap which was left open in the original study of electric quantum walks: a spectral and dynamical characterization of these systems for typical fields. Additionally, we derive an analytic and explicit expression for the Lyapunov exponent of this model. Making use of a connection between quantum walks and CMV matrices our result implies Anderson localization for CMV matrices with a particular choice of skew-shift Verblunsky coefficients as well as for quasi-periodic unitary band matrices.

categories: math-ph math.DS math.MP math.SP quant-ph


title: To Act or React: Investigating Proactive Strategies For Online Community Moderation

abstract: Reddit administrators have generally struggled to prevent or contain such discourse for several reasons including: (1) the inability for a handful of human administrators to track and react to millions of posts and comments per day and (2) fear of backlash as a consequence of administrative decisions to ban or quarantine hateful communities. Consequently, as shown in our background research, administrative actions (community bans and quarantines) are often taken in reaction to media pressure following offensive discourse within a community spilling into the real world with serious consequences. In this paper, we investigate the feasibility of proactive moderation on Reddit -- i.e., proactively identifying communities at risk of committing offenses that previously resulted in bans for other communities. Proactive moderation strategies show promise for two reasons: (1) they have potential to narrow down the communities that administrators need to monitor for hateful content and (2) they give administrators a scientific rationale to back their administrative decisions and interventions. Our work shows that communities are constantly evolving in their user base and topics of discourse and that evolution into hateful or dangerous (i.e., considered bannable by Reddit administrators) communities can often be predicted months ahead of time. This makes proactive moderation feasible. Further, we leverage explainable machine learning to help identify the strongest predictors of evolution into dangerous communities. This provides administrators with insights into the characteristics of communities at risk becoming dangerous or hateful. Finally, we investigate, at scale, the impact of participation in hateful and dangerous subreddits and the effectiveness of community bans and quarantines on the behavior of members of these communities.


title: On Warped Product Gradient Ricci-Harmonic Soliton

abstract: In this paper we study gradient Ricci-Harmonic soliton with structure of warped product manifold. We obtain some triviality results for the potential function, warping function and the harmonic map which reaches maximum or minimum. In order to obtain nontrivial examples of warped product gradient Ricci-harmonic soliton, we consider the base and fiber conformal to a semi-Euclidean space which is invariant under the action of a translation group of co-dimension one. This approach provide infinitely many geodesically complete examples in the semi-Riemannian context, which is not contemplated in the Riemannian case by the Theorem 1.2 in [17].


title: Bounded point derivations and functions of bounded mean oscillation

abstract: Let $X$ be a subset of the complex plane and let $A_0(X)$ denote the space of VMO functions that are analytic on $X$. $A_0(X)$ is said to admit a bounded point derivation of order $t$ at a point $x_0 \in \partial X$ if there exists a constant $C$ such that $|f^{(t)}(x_0)|\leq C ||f||_{BMO}$ for all functions in $VMO(X)$ that are analytic on $X \cup \{x_0\}$. In this paper, we give necessary and sufficient conditions in terms of lower $1$-dimensional Hausdorff content for $A_0(X)$ to admit a bounded point derivation at $x_0$. These conditions are similar to conditions for the existence of bounded point derivations on other functions spaces.


title: Third-order structure functions for isotropic turbulence with bidirectional energy transfer

abstract: We derive and test a new heuristic theory for third-order structure functions that resolve the forcing scale in the scenario of simultaneous spectral energy transfer to both small and large scales, which can occur naturally in rotating stratified turbulence or magnetohydrodynamical~(MHD) turbulence, for example. The theory has three parameters, namely the upscale/downscale energy transfer rates and the forcing scale, and it includes the classic inertial range theories as local limits. When applied to measured data, our global-in-scale theory can deduce the energy transfer rates using the full range of data, therefore it has broader applications compared with the local theories, especially in the situations where the data is imperfect. In addition, because of the resolution of forcing scales, the new theory can detect the scales of energy input, which was impossible before. We test our new theory with a two-dimensional simulation of MHD turbulence.


title: Prospects for Memory Detection with Low-Frequency Gravitational Wave Detectors

abstract: Gravitational wave memory is theorized to arise from the integrated history of gravitational wave emission, and manifests as a spacetime deformation in the wake of a propagating gravitational wave. We explore the detectability of the memory signals from a population of coalescencing supermassive black hole binaries with pulsar timing arrays and the Laser Interferometer Space Antenna (LISA). We find that current pulsar timing arrays have poor prospects, but it is likely that between 1 and 10 memory events with signal-to-noise ratio in excess of 5 will occur within LISA's planned 4-year mission.


title: Orthogonal metal in the Hubbard model with liberated slave spins

abstract: A two-dimensional Falicov-Kimball model, equivalent to the Hubbard model in an unconstrained slave-spin representation, is studied by quantum Monte Carlo simulations. The focus is on a fractionalized metallic phase that is characterized in terms of spectral, thermodynamic, and transport properties, including a comparison to the half-filled Hubbard model. The properties of this phase, most notably a single-particle gap but gapless spin and charge excitations, can in principle be understood in the framework of orthogonal metals. However, important and interesting differences arise in the present setting compared to single-particle mean-field theories and other models. We also discuss the role of the local constraints from the slave-spin representation within an extended phase diagram that includes the spatial dimension as a parameter, thereby making contact with previous work in infinite dimensions. Finally, we highlight the absence of $\pi$-flux configurations in the slave-spin formulation, in particular in the context of topologically ordered fractional phases predicted at the mean-field level.


title: QFlip: An Adaptive Reinforcement Learning Strategy for the FlipIt Security Game

abstract: A rise in Advanced Persistent Threats (APTs) has introduced a need for robustness against long-running, stealthy attacks which circumvent existing cryptographic security guarantees. FlipIt is a security game that models attacker-defender interactions in advanced scenarios such as APTs. Previous work analyzed extensively non-adaptive strategies in FlipIt, but adaptive strategies rise naturally in practical interactions as players receive feedback during the game. We model the FlipIt game as a Markov Decision Process and introduce QFlip, an adaptive strategy for FlipIt based on temporal difference reinforcement learning. We prove theoretical results on the convergence of our new strategy against an opponent playing with a Periodic strategy. We confirm our analysis experimentally by extensive evaluation of QFlip against specific opponents. QFlip converges to the optimal adaptive strategy for Periodic and Exponential opponents using associated state spaces. Finally, we introduce a generalized QFlip strategy with composite state space that outperforms a Greedy strategy for several distributions including Periodic and Uniform, without prior knowledge of the opponent's strategy. We also release an OpenAI Gym environment for FlipIt to facilitate future research.


title: Extrinsic Spin-Orbit Coupling and Spin Relaxation in Phosphorene

abstract: An effective Hamiltonian is derived to describe the conduction band of monolayer black phosphorus (phosphorene) in the presence of spin-orbit coupling and external electric field. Envelope function approximation along with symmetry arguments and Lowdin partitioning are utilized to derive extrinsic spin-orbit coupling. The resulting spin splitting appears in fourth order perturbation terms and is shown to be linear in both the magnitude of the external electric field and the strength of the atomic spin-orbit coupling, similar to the Bychkov-Rashba expression but with an in-plane anisotropy. The anisotropy depends on the coupling between conduction band and other bands both close and distant in energy. The spin relaxation of conduction electrons is then calculated within the Dyakonov-Perel mechanism where momentum scattering randomizes the polarization of a spin ensemble. We show how the anisotropic Fermi contour and the anisotropic extrinsic spin splitting contribute to the anisotropy of spin-relaxation time. Scattering centers in the substrate are considered to be charged impurities with screened Coulomb potential.


title: What Do Developers Ask About ML Libraries? A Large-scale Study Using Stack Overflow

abstract: Modern software systems are increasingly including machine learning (ML) as an integral component. However, we do not yet understand the difficulties faced by software developers when learning about ML libraries and using them within their systems. To that end, this work reports on a detailed (manual) examination of 3,243 highly-rated Q&A posts related to ten ML libraries, namely Tensorflow, Keras, scikit-learn, Weka, Caffe, Theano, MLlib, Torch, Mahout, and H2O, on Stack Overflow, a popular online technical Q&A forum. We classify these questions into seven typical stages of an ML pipeline to understand the correlation between the library and the stage. Then we study the questions and perform statistical analysis to explore the answer to four research objectives (finding the most difficult stage, understanding the nature of problems, nature of libraries and studying whether the difficulties stayed consistent over time). Our findings reveal the urgent need for software engineering (SE) research in this area. Both static and dynamic analyses are mostly absent and badly needed to help developers find errors earlier. While there has been some early research on debugging, much more work is needed. API misuses are prevalent and API design improvements are sorely needed. Last and somewhat surprisingly, a tug of war between providing higher levels of abstractions and the need to understand the behavior of the trained model is prevalent.


title: Learning Policies through Quantile Regression

abstract: Policy gradient based reinforcement learning algorithms coupled with neural networks have shown success in learning complex policies in the model free continuous action space control setting. However, explicitly parameterized policies are limited by the scope of the chosen parametric probability distribution. We show that alternatively to the likelihood based policy gradient, a related objective can be optimized through advantage weighted quantile regression. Our approach models the policy implicitly in the network, which gives the agent the freedom to approximate any distribution in each action dimension, not limiting its capabilities to the commonly used unimodal Gaussian parameterization. This broader spectrum of policies makes our algorithm suitable for problems where Gaussian policies cannot fit the optimal policy. Moreover, our results on the MuJoCo physics simulator benchmarks are comparable or superior to state-of-the-art on-policy methods.


title: Datasets for Face and Object Detection in Fisheye Images

abstract: We present two new fisheye image datasets for training face and object detection models: VOC-360 and Wider-360. The fisheye images are created by post-processing regular images collected from two well-known datasets, VOC2012 and Wider Face, using a model for mapping regular to fisheye images implemented in Matlab. VOC-360 contains 39,575 fisheye images for object detection, segmentation, and classification. Wider-360 contains 63,897 fisheye images for face detection. These datasets will be useful for developing face and object detectors as well as segmentation modules for fisheye images while the efforts to collect and manually annotate true fisheye images are underway.


title: Findings of the First Shared Task on Machine Translation Robustness

abstract: We share the findings of the first shared task on improving robustness of Machine Translation (MT). The task provides a testbed representing challenges facing MT models deployed in the real world, and facilitates new approaches to improve models; robustness to noisy input and domain mismatch. We focus on two language pairs (English-French and English-Japanese), and the submitted systems are evaluated on a blind test set consisting of noisy comments on Reddit and professionally sourced translations. As a new task, we received 23 submissions by 11 participating teams from universities, companies, national labs, etc. All submitted systems achieved large improvements over baselines, with the best improvement having +22.33 BLEU. We evaluated submissions by both human judgment and automatic evaluation (BLEU), which shows high correlations (Pearson's r = 0.94 and 0.95). Furthermore, we conducted a qualitative analysis of the submitted systems using compare-mt, which revealed their salient differences in handling challenges in this task. Such analysis provides additional insights when there is occasional disagreement between human judgment and BLEU, e.g. systems better at producing colloquial expressions received higher score from human judgment.


title: Mechanical characterization of cells and microspheres sorted by acoustophoresis with in-line resistive pulse sensing

abstract: Resistive Pulse Sensing (RPS) is a key label-free technology to measure particles and single-cell size distribution. As a growing corpus of evidence supports that cancer cells exhibit distinct mechanical phenotypes from healthy cells, expanding the method from size to mechanical sensing could represent a pertinent and innovative tool for cancer research. In this paper, we infer the cells compressibility by using acoustic radiation pressure to deflect flowing cells in a microchannel, and use RPS to sense the subpopulations of cells and particles at each acoustic power level. We develop and validate a linear model to analyze experimental data from a large number of particles. This high-precision linear model is complemented by a more robust (yet less detailed) statistical model to analyze datasets with fewer particles. Compared to current acoustic cell phenotyping apparatus based on video cameras, the proposed approach is not limited by the optical diffraction, frame rate, data storage or processing speed, and may ultimately constitute a step forward towards point-of-care acousto-electrical phenotyping and acoustic phenotyping of nanoscale objects such as exosomes and viruses.


title: Error bounds for deep ReLU networks using the Kolmogorov--Arnold superposition theorem

abstract: We prove a theorem concerning the approximation of multivariate functions by deep ReLU networks, for which the curse of the dimensionality is lessened. Our theorem is based on a constructive proof of the Kolmogorov--Arnold superposition theorem, and on a subset of multivariate continuous functions whose outer superposition functions can be efficiently approximated by deep ReLU networks.


title: LApps: Technological, Legal and Market Potentials of Blockchain Lightning Network Applications

abstract: Following in the footsteps of pioneer Bitcoin, many altcoins as well as coloured coins have been being developed and merchandised adopting blockchain as the core enabling technology. However, since interoperability and scalability, due to high and capped (in particular cases) transaction latency are deep-rooted in the architecture of blockchain technology, they are by default inherited in any blockchain based applications. Lightning Network (LN) is one of the supporting technologies developed to eliminate this impediment of blockchain technology by facilitating instantaneous transfers of cryptos. Since the potentials of LN is still relatively unknown, this paper investigates the current states of development along with possible non-monetary usage of LN, especially in settlement coloured coins such as securities, as well as creation of new business models based on Lightning Applications (LApps) and microchannel payments as well as micro-trades. The legal challenges that may act as impediment to the adoption of LN is also discussed.


title: Dynamical system perspective of cosmological models minimally coupled with scalar field

abstract: The stability criteria for spatially flat homogeneous and isotropic cosmological dynamical system is investigated with the interaction of a scalar field endowed with a perfect fluid.In this paper, we depict the dynamical system perspective to study, qualitatively, the scalar field cosmology under two special cases, with and without potential. For analysis with potential we use simple exponential potential form, $V_{o}e^{-\lambda \phi}$. We generate, by introducing new dimensionless variables, an autonomous system of ordinary differential equations $(ASODE)$ for each case and obtain respective fixed points. We also analyse the type of fixed points, nature and stability of the fixed points and how their nature and behavior reflect towards the cosmic scenarios. Throughout the whole work, the investigation of this model has shown us the deep connection between these theories and cosmic acceleration phenomena. The phase plots of the system at different conditions and different values of $\gamma$ have been analyzed in detail and their interpretations have been worked out.The perturbation plots of the dynamical system have also been studied and analyzed which emphasize our analytical findings.


title: Packing Boundary-Anchored Rectangles and Squares

abstract: Consider a set $P$ of $n$ points on the boundary of an axis-aligned square $Q$. We study the boundary-anchored packing problem on $P$ in which the goal is to find a set of interior-disjoint axis-aligned rectangles in $Q$ such that each rectangle is anchored (has a corner at some point in $P$), each point in $P$ is used to anchor at most one rectangle, and the total area of the rectangles is maximized. Here, a rectangle is anchored at a point $p$ in $P$ if one of its corners coincides with $p$. In this paper, we show how to solve this problem in time linear in $n$, provided that the points of $P$ are given in sorted order along the boundary of $Q$. We also consider the problem for anchoring squares and give an $O(n^4)$-time algorithm when the points in $P$ lie on two opposite sides of $Q$.


title: The consistency strength of long projective determinacy

abstract: We determine the consistency strength of determinacy for projective games of length $\omega^2$. Our main theorem is that $\boldsymbol\Pi^1_{n+1}$-determinacy for games of length $\omega^2$ implies the existence of a model of set theory with $\omega + n$ Woodin cardinals. In a first step, we show that this hypothesis implies that there is a countable set of reals $A$ such that $M_n(A)$, the canonical inner model for $n$ Woodin cardinals constructed over $A$, satisfies $A = \mathbb{R}$ and the Axiom of Determinacy. Then we argue how to obtain a model with $\omega + n$ Woodin cardinal from this. We also show how the proof can be adapted to investigate the consistency strength of determinacy for games of length $\omega^2$ with payoff in $\Game^\mathbb{R} \boldsymbol\Pi^1_1$ or with $\sigma$-projective payoff.


title: Geodesic analysis in Kendall's shape space with epidemiological applications

abstract: We analytically determine Jacobi fields and parallel transports and compute geodesic regression in Kendall's shape space. Using the derived expressions, we can fully leverage the geometry via Riemannian optimization and thereby reduce the computational expense by several orders of magnitude over common, nonlinear constrained approaches. The methodology is demonstrated by performing a longitudinal statistical analysis of epidemiological shape data. As an example application we have chosen 3D shapes of knee bones, reconstructed from image data of the Osteoarthritis Initiative (OAI). Comparing subject groups with incident and developing osteoarthritis versus normal controls, we find clear differences in the temporal development of femur shapes. This paves the way for early prediction of incident knee osteoarthritis, using geometry data alone.


title: Supervise Thyself: Examining Self-Supervised Representations in Interactive Environments

abstract: Self-supervised methods, wherein an agent learns representations solely by observing the results of its actions, become crucial in environments which do not provide a dense reward signal or have labels. In most cases, such methods are used for pretraining or auxiliary tasks for "downstream" tasks, such as control, exploration, or imitation learning. However, it is not clear which method's representations best capture meaningful features of the environment, and which are best suited for which types of environments. We present a small-scale study of self-supervised methods on two visual environments: Flappy Bird and Sonic The Hedgehog. In particular, we quantitatively evaluate the representations learned from these tasks in two contexts: a) the extent to which the representations capture true state information of the agent and b) how generalizable these representations are to novel situations, like new levels and textures. Lastly, we evaluate these self-supervised features by visualizing which parts of the environment they focus on. Our results show that the utility of the representations is highly dependent on the visuals and dynamics of the environment.


title: Feedback stabilization for a bilinear control system under weak observability inequalities

abstract: In this paper, we discuss the feedback stabilization of bilinear systems under weak observation properties. In this case, the uniform stability is not guaranteed. Thus we provide an explicit weak decay rate for all regular initial data. Applications to Schr\"odinger and wave equations are provided.


title: Hole-Spin-Echo Envelope Modulations

abstract: Hole spins in semiconductor quantum dots or bound to acceptor impurities show promise as potential qubits, partly because of their weak and anisotropic hyperfine couplings to proximal nuclear spins. Since the hyperfine coupling is weak, it can be difficult to measure. However, an anisotropic hyperfine coupling can give rise to a substantial spin-echo envelope modulation that can be Fourier-analyzed to accurately reveal the hyperfine tensor. Here, we give a general theoretical analysis for hole-spin-echo envelope modulation (HSEEM), and apply this analysis to the specific case of a boron-acceptor hole spin in silicon. For boron acceptor spins in unstrained silicon, both the hyperfine and Zeeman Hamiltonians are approximately isotropic leading to negligible envelope modulations. In contrast, in strained silicon, where light-hole spin qubits can be energetically isolated, we find the hyperfine Hamiltonian and $g$-tensor are sufficiently anisotropic to give spin-echo-envelope modulations. We show that there is an optimal magnetic-field orientation that maximizes the visibility of envelope modulations in this case. Based on microscopic estimates of the hyperfine coupling, we find that the maximum modulation depth can be substantial, reaching $\sim 10\%$, at a moderate laboratory magnetic field, $B\lesssim 200\,\mathrm{mT}$.


title: Bounded entanglement entropy in the quantum Ising model

abstract: A rigorous proof is presented of the boundedness of the entanglement entropy of a block of spins for the ground state of the one-dimensional quantum Ising model with sufficiently strong transverse field. This is proved by a refinement of the arguments in the earlier work by the same authors (J. Statist. Phys. 131 (2008) 305-339). The proof is geometrical, and utilises a transformation to a model of classical probability called the continuum random-cluster model. Our method of proof is fairly robust, and applies also to certain disordered systems.


title: F-Theory on Quotients of Elliptic Calabi-Yau Threefolds

abstract: In this work we consider quotients of elliptically fibered Calabi-Yau threefolds by freely acting discrete groups and the associated physics of F-theory compactifications on such backgrounds. The process of quotienting a Calabi-Yau geometry produces not only new genus one fibered manifolds, but also new effective 6-dimensional physics. These theories can be uniquely characterized by the much simpler covering space geometry and the symmetry action on it. We use this method to construct examples of F-theory models with an array of discrete gauge groups and non-trivial monodromies, including an example with Z6 discrete symmetry.


title: Multiplicity of the Orion Trapezium stars

abstract: Preliminary results on the ongoing spectroscopic study of the six brightest Orion Trapezium stars is presented here. The main purpose of this work is to better understand the multiplicity and stability of each of these subsystems and the dynamical future of the group. So far the most interesting results reached are: 1) The orbit of the secondary star of the eclipsing Component A (V1016 Ori) is highly inclined with respect to the equatorial plane of its primary star. 2) The also eclipsing binary BM Ori (Trapezium Component B) does have a tertiary member with period about 3.5 years, as proposed by Vitrichenko & Klochkova (2004), and is the same as the companion recently found by the GRAVITY collaboration et al. (2018}. 3) Component D is indeed a spectroscopic and interferometric double star with a relatively high-mass companion ($q=M_2/M_1=0.5$) and period $52.90\pm0.05\,d$. 4) Component F, is a CP star (B7.5 p Si); its radial velocity, $23.2\pm4.2\,km\,s^{-1}$, is smaller than that of all other Trapezium members and, possibly, the evolutionary stage of the star is more advanced than that of members with similar mass. Consequently, Component F is probably not physically related to the Trapezium. Several evidences point to the extreme youth of this stellar group; its further study, most likely, will shed light on the formation processes of massive stars.


title: Variational Shape Completion for Virtual Planning of Jaw Reconstructive Surgery

abstract: The premorbid geometry of the mandible is of significant relevance in jaw reconstructive surgeries and occasionally unknown to the surgical team. In this paper, an optimization framework is introduced to train deep models for completion (reconstruction) of the missing segments of the bone based on the remaining healthy structure. To leverage the contextual information of the surroundings of the dissected region, the voxel-weighted Dice loss is introduced. To address the non-deterministic nature of the shape completion problem, we leverage a weighted multi-target probabilistic solution which is an extension to the conditional variational autoencoder (CVAE). This approach considers multiple targets as acceptable reconstructions, each weighted according to their conformity with the original shape. We quantify the performance gain of the proposed method against similar algorithms, including CVAE, where we report statistically significant improvements in both deterministic and probabilistic paradigms. The probabilistic model is also evaluated on its ability to generate anatomically relevant variations for the missing bone. As a unique aspect of this work, the model is tested on real surgical cases where the clinical relevancy of its reconstructions and their compliance with surgeon's virtual plan are demonstrated as necessary steps towards clinical adoption.


title: Linearity of graph products

abstract: In this work we prove that, given a simplicial graph $\Gamma$ and a family $\mathcal{G}$ of linear groups over a domain $R$, the graph product $\Gamma\mathcal{G}$ is linear over $R[\underline t]$, where $\underline t$ is a tuple of finitely many linearly independent variables. As a consequence we obtain that any graph product of finitely many groups linear over the complex numbers is again a linear group over the complex numbers. This solves an open problem of Hsu and Wise in the case of faithful representations over $\mathbb C$.


title: Calcular Algebras

abstract: A calcular algebra is a subalgebra of $H^\infty(\Omega)$ with norm given by $\| \phi \| = \sup \| \phi(T) \|$ as $T$ ranges over a given class of commutative $d$-tuples of operators with Taylor spectrum in $\O$. We discuss what algebras arise this way, and how they can be represented.


title: Studying the Impact of Mood on Identifying Smartphone Users

abstract: This paper explores the identification of smartphone users when certain samples collected while the subject felt happy, upset or stressed were absent or present. We employ data from 19 subjects using the StudentLife dataset, a dataset collected by researchers at Dartmouth College that was originally collected to correlate behaviors characterized by smartphone usage patterns with changes in stress and academic performance. Although many previous works on behavioral biometrics have implied that mood is a source of intra-person variation which may impact biometric performance, our results contradict this assumption. Our findings show that performance worsens when removing samples that were generated when subjects may be happy, upset, or stressed. Thus, there is no indication that mood negatively impacts performance. However, we do find that changes existing in smartphone usage patterns may correlate with mood, including changes in locking, audio, location, calling, homescreen, and e-mail habits. Thus, we show that while mood is a source of intra-person variation, it may be an inaccurate assumption that biometric systems (particularly, mobile biometrics) are likely influenced by mood.


title: Factorization problems in complex reflection groups

abstract: We enumerate factorizations of a Coxeter element in a well generated complex reflection group into arbitrary factors, keeping track of the fixed space dimension of each factor. In the infinite families of generalized permutations, our approach is fully combinatorial. It gives results analogous to those of Jackson in the symmetric group and can be refined to encode a notion of cycle type. As one application of our results, we give a previously overlooked characterization of the poset of $W$-noncrossing partitions.


title: On the Lyapunov instability in Newtonian dynamics

abstract: We prove Lyapunov instability for cases in which the local minimum of the potential energy is reached on a hypersurface of the configuration space. In contrast to the known results in this direction, which hold for potentials satisfying hypotheses in the first non-zero jet, this new result covers several real analytic cases that the previous ones do not.


title: Quantum dynamics from fixed points and their stability

abstract: We approach quantum dynamics in one spatial dimension from a systematic study of moments starting from the dynamics of the mean position. This is complementary to the approach of Brizuela whose starting point was generalized recursion relations between moments. The infinite set of coupled equations is truncated which allows us to use the techniques used in the study of dynamical systems. In particular we predict for what initial variance the purely quartic oscillator will time develop with minimal change in the shape of the initial packet and what the frequency of oscillation of the mean position will be. We show how quantum fluctuations will cause a particle to escape from the well of a volcano potential and how they will cause an oscillation between the two wells of a double well potential. Further, we consider an oscillatory external field in addition to the double well potential and work near the separatrix where the classical system is known to be chaotic. We show how the quantum fluctuations suppresses the chaotic behaviour after a time interval inversely proportional to the strength of the quantum fluctuations.


title: OpenCitations, an infrastructure organization for open scholarship

abstract: OpenCitations is an infrastructure organization for open scholarship dedicated to the publication of open citation data as Linked Open Data using Semantic Web technologies, thereby providing a disruptive alternative to traditional proprietary citation indexes. Open citation data are valuable for bibliometric analysis, increasing the reproducibility of large-scale analyses by enabling publication of the source data. Following brief introductions to the development and benefits of open scholarship and to Semantic Web technologies, this paper describes OpenCitations and its datasets, tools, services and activities. These include the OpenCitations Data Model; the SPAR (Semantic Publishing and Referencing) Ontologies; OpenCitations' open software of generic applicability for searching, browsing and providing REST APIs over RDF triplestores; Open Citation Identifiers (OCIs) and the OpenCitations OCI Resolution Service; the OpenCitations Corpus (OCC), a database of open downloadable bibliographic and citation data made available in RDF under a Creative Commons public domain dedication; and the OpenCitations Indexes of open citation data, of which the first and largest is COCI, the OpenCitations Index of Crossref Open DOI-to-DOI Citations, which currently contains over 445 million bibliographic citations and is receiving considerable usage by the scholarly community.


title: Some inequalities for tetrahedra

abstract: We prove inequalities involving intrinsic and extrinsic radii and diameters of tetrahedra.


title: [1,2]-Domination in Generalized Petersen Graphs

abstract: A vertex subset $S$ of a graph $G=(V,E)$ is a $[1,2]$-dominating set if each vertex of $V\backslash S$ is adjacent to either one or two vertices in $S$. The minimum cardinality of a $[1,2]$-dominating set of $G$, denoted by $\gamma_{[1,2]}(G)$, is called the $[1,2]$-domination number of $G$. In this paper the $[1,2]$-domination and the $[1,2]$-total domination numbers of the generalized Petersen graphs $P(n,2)$ are determined.


title: Unique asymptotics of ancient compact non-collapsed solutions to the 3-dimensional Ricci flow

abstract: We consider compact noncollapsed ancient solutions to the 3-dimensional Ricci flow that are rotationally and reflection symmetric. We prove that these solutions are either the spheres or they all have unique asymptotic behavior as $t\to-\infty$ and we give their precise asymptotic description. This description applies in particular to the solution constructed by G.Perelman


title: Are cryptocurrency traders pioneers or just risk-seekers? Evidence from brokerage accounts

abstract: Are cryptocurrency traders driven by a desire to invest in a new asset class to diversify their portfolio or are they merely seeking to increase their levels of risk? To answer this question, we use individual-level brokerage data and study their behavior in stock trading around the time they engage in their first cryptocurrency trade. We find that when engaging in cryptocurrency trading investors simultaneously increase their risk-seeking behavior in stock trading as they increase their trading intensity and use of leverage. The increase in risk-seeking in stocks is particularly pronounced when volatility in cryptocurrency returns is low, suggesting that their overall behavior is driven by excitement-seeking.


title: Constructing robust chaos: invariant manifolds and expanding cones

abstract: Chaotic attractors in the two-dimensional border-collision normal form (a piecewise-linear map) can persist throughout open regions of parameter space. Such robust chaos has been established rigorously in some parameter regimes. Here we provide formal results for robust chaos in the original parameter regime of [S. Banerjee, J.A. Yorke, C. Grebogi, Robust Chaos, Phys. Rev. Lett. 80(14):3049--3052, 1998]. We first construct a trapping region in phase space to prove the existence of a topological attractor. We then construct an invariant expanding cone in tangent space to prove that tangent vectors expand and so no invariant set can have only negative Lyapunov exponents. Under additional assumptions we also characterise an attractor as the closure of the unstable manifold of a fixed point.


title: On nested and 2-nested graphs: two subclasses of graphs between threshold and split graphs

abstract: A $(0,1)$-matrix has the Consecutive Ones Property (C1P) for the rows if there is a permutation of its columns such that the ones in each row appear consecutively. We say a $(0, 1)$-matrix is nested if it has the consecutive ones property for the rows (C1P) and every two rows are either disjoint or nested. We say a $(0, 1)$-matrix is 2-nested if it has the C1P and admits a partition of its rows into two sets such that the submatrix induced by each of these sets is nested. We say a split graph $G$ with split partition $(K, S)$ is nested (resp.\ 2-nested) if the matrix $A(S, K)$ which indicates the adjacency between vertices in $S$ and $K$ is nested (resp.\ 2-nested). In this work, we characterize nested and 2-nested matrices by minimal forbidden submatrices. This characterization leads to a minimal forbidden induced subgraph characterization for these classes of graphs, which are a superclass of threshold graphs and a subclass of split and circle graphs.


title: Are the XYZ states unconventional states or conventional states with unconventional properties?

abstract: We discuss three possible scenarios for the interpretation of mesons containing a heavy quark and its antiquark near and above the first threshold for a decay into a pair of heavy mesons in a relative $S$--wave. View I assumes that these thresholds force the quark potential to flatten which implies that while in these energy ranges molecular states may be formed there should not be any quark--anti-quark states above these thresholds. View II assumes that the main part of the interaction between two mesons is due to the poles which originate from the $Q\bar Q$ interaction. The properties of the $Q\bar Q$ mesons are strongly influenced by opening thresholds but the number of states is given by the quark model. In View III, both types of mesons are admitted also near and above the open flavor thresholds: $Q\bar Q$ mesons and dynamically generated mesons. Experimental consequences of these different views are discussed.


title: Point Processes with Gaussian Boson Sampling

abstract: Random point patterns are ubiquitous in nature, and statistical models such as point processes, i.e., algorithms that generate stochastic collections of points, are commonly used to simulate and interpret them. We propose an application of quantum computing to statistical modeling by establishing a connection between point processes and Gaussian Boson Sampling, an algorithm for special-purpose photonic quantum computers. We show that Gaussian Boson Sampling can be used to implement a class of point processes based on hard-to-compute matrix functions which, in general, are intractable to simulate classically. We also discuss situations where polynomial-time classical methods exist. This leads to a family of efficient quantum-inspired point processes, including a new fast classical algorithm for permanental point processes. We investigate the statistical properties of point processes based on Gaussian Boson Sampling and reveal their defining property: like bosons that bunch together, they generate collections of points that form clusters. Finally, we discuss several additional properties of these point processes which we illustrate with example applications.


title: Harnessing Fluctuations in Thermodynamic Computing via Time-Reversal Symmetries

abstract: We experimentally demonstrate that highly structured distributions of work emerge during even the simple task of erasing a single bit. These are signatures of a refined suite of time-reversal symmetries in distinct functional classes of microscopic trajectories. As a consequence, we introduce a broad family of conditional fluctuation theorems that the component work distributions must satisfy. Since they identify entropy production, the component work distributions encode both the frequency of various mechanisms of success and failure during computing, as well giving improved estimates of the total irreversibly-dissipated heat. This new diagnostic tool provides strong evidence that thermodynamic computing at the nanoscale can be constructively harnessed. We experimentally verify this functional decomposition and the new class of fluctuation theorems by measuring transitions between flux states in a superconducting circuit.

categories: cond-mat.stat-mech cs.IT math.DS math.IT nlin.CD


title: Robust Chaos and the Continuity of Attractors

abstract: As the parameters of a map are varied an attractor may vary continuously in the Hausdorff metric. The purpose of this paper is to explore the continuation of chaotic attractors. We argue that this is not a helpful concept for smooth unimodal maps for which periodic windows fill parameter space densely, but that for piecewise-smooth maps it provides a way to delineate structure within parameter regions of robust chaos and form a stronger notion of robustness. We obtain conditions for the continuity of an attractor and demonstrate the results with coupled skew tent maps, the Lozi map, and the border-collision normal form.


title: Laser reflection as a catalyst for direct laser acceleration in multipicosecond laser-plasma interaction

abstract: We demonstrate that laser reflection acts as a catalyst for superponderomotive electron production in the preplasma formed by relativistic multipicosecond lasers incident on solid density targets. In 1D particle-in-cell simulations, high energy electron production proceeds via two stages of direct laser acceleration, an initial stochastic backward stage, and a final non-stochastic forward stage. The initial stochastic stage, driven by the reflected laser pulse, provides the pre-acceleration needed to enable the final stage to be non-stochastic. Energy gain in the electrostatic potential, which has been frequently considered to enhance stochastic heating, is only of secondary importance. The mechanism underlying the production of high energy electrons by laser pulses incident on solid density targets is of direct relevance to applications involving multipicosecond laser-plasma interactions.


title: Multivariate Big Data Analysis for Intrusion Detection: 5 steps from the haystack to the needle

abstract: The research literature on cybersecurity incident detection & response is very rich in automatic detection methodologies, in particular those based on the anomaly detection paradigm. However, very little attention has been devoted to the diagnosis ability of the methods, aimed to provide useful information on the causes of a given detected anomaly. This information is of utmost importance for the security team to reduce the time from detection to response. In this paper, we present Multivariate Big Data Analysis (MBDA), a complete intrusion detection approach based on 5 steps to effectively handle massive amounts of disparate data sources. The approach has been designed to deal with the main characteristics of Big Data, that is, the high volume, velocity and variety. The core of the approach is the Multivariate Statistical Network Monitoring (MSNM) technique proposed in a recent paper. Unlike in state of the art machine learning methodologies applied to the intrusion detection problem, when an anomaly is identified in MBDA the output of the system includes the detail of the logs of raw information associated to this anomaly, so that the security team can use this information to elucidate its root causes. MBDA is based in two open software packages available in Github: the MEDA Toolbox and the FCParser. We illustrate our approach with two case studies. The first one demonstrates the application of MBDA to semistructured sources of information, using the data from the VAST 2012 mini challenge 2. This complete case study is supplied in a virtual machine available for download. In the second case study we show the Big Data capabilities of the approach in data collected from a real network with labeled attacks.


title: Comparison of spaces associated to DGLA via higher holonomy

abstract: Fof a nilpotent differential graded Lie algebra whose components vanish in degrees below -1 we construct an explicit equivalence between the nerve of the Deligne 2-groupoid and the simplicial set of differential forms with values in the Lie algebra introduced by V.Hinich. The construction uses the theory of non-abelian multiplicative integration.


title: Some Observations on Lambert series, vanishing coefficients and dissections of infinite products and series

abstract: Andrews and Bressoud, Alladi and Gordon, and others, have proven, in a number of papers, that the coefficients in various arithmetic progressions in the series expansions of certain infinite $q$-products vanish. In the present paper it is shown that these results follow automatically (simply by specializing parameters) in an identity derived from a special case of Ramanujan's $_1\psi_1$ identity. Likewise, a number of authors have proven results about the $m$-dissections of certain infinite $q$-products using various methods. It is shown that many of these $m$-dissections also follow automatically (again simply by specializing parameters) from this same identity alluded to above. Two identities that mat be considered as extensions of two Identities of Ramanujan are also derived. It is also shown how applying similar ideas to certain other Lambert series gives rise to some rather curious $q$-series identities, such as, for any positive integer $m$, \begin{multline*} {\displaystyle \frac{\left(q,q,a,\frac{q}{a},\frac{b q}{d}, \frac{dq}{b}, \frac{aq}{b d}, \frac{b d q}{a};q\right)_{\infty }} {\left(b,\frac{q}{b},d,\frac{q}{d},\frac{a}{b},\frac{bq}{a},\frac{a}{d},\frac{dq}{a};q\right)_{\infty }}} = \sum _{r=0}^{m-1} q^r \frac{ \left(q^m,q^m,a q^{2 r},\frac{q^{m-2 r}}{a},\frac{b q^m}{d},\frac{d q^m}{b}, \frac{a q^m}{b d},\frac{b dq^m}{a};q^m\right){}_{\infty }} {\left(b q^r,\frac{q^{m-r}}{b},d q^r,\frac{q^{m-r}}{d},\frac{a q^r}{b},\frac{b q^{m-r}}{a},\frac{a q^r}{d}, \frac{dq^{m-r}}{a};q^m\right){}_{\infty }} \end{multline*} and \begin{equation*} (aq;q)_{\infty}\sum_{n=1}^{\infty} \frac{n a^n q^{n}}{(q;q)_n} = \sum_{r=1}^{m}(aq^{r};q^m)_{\infty}\sum_{n=1}^{\infty} \frac{na^n q^{n r}}{(q^m;q^m)_n}. \end{equation*} Applications to the Fine function $F(a,b;t)$ are also considered.


title: A Utility-Preserving GAN for Face Obscuration

abstract: From TV news to Google StreetView, face obscuration has been used for privacy protection. Due to recent advances in the field of deep learning, obscuration methods such as Gaussian blurring and pixelation are not guaranteed to conceal identity. In this paper, we propose a utility-preserving generative model, UP-GAN, that is able to provide an effective face obscuration, while preserving facial utility. By utility-preserving we mean preserving facial features that do not reveal identity, such as age, gender, skin tone, pose, and expression. We show that the proposed method achieves the best performance in terms of obscuration and utility preservation.


title: The log-Sobolev inequality for spin systems of higher order interactions

abstract: We study the infinite-dimensional log-Sobolev inequality for spin systems on $\mathbb{Z}^d$ with interactions of power higher than quadratic. We assume that the one site measure without a boundary $e^{-\phi(x)}dx/Z$ satisfies a log-Sobolev inequality and we determine conditions so that the infinite-dimensional Gibbs measure also satisfies the inequality. As a concrete application, we prove that a certain class of nontrivial Gibbs measures with non-quadratic interaction potentials on an infinite product of Heisenberg groups satisfy the log-Sobolev inequality.


title: Convolution Based Spectral Partitioning Architecture for Hyperspectral Image Classification

abstract: Hyperspectral images (HSIs) can distinguish materials with high number of spectral bands, which is widely adopted in remote sensing applications and benefits in high accuracy land cover classifications. However, HSIs processing are tangled with the problem of high dimensionality and limited amount of labelled data. To address these challenges, this paper proposes a deep learning architecture using three dimensional convolutional neural networks with spectral partitioning to perform effective feature extraction. We conduct experiments using Indian Pines and Salinas scenes acquired by NASA Airborne Visible/Infra-Red Imaging Spectrometer. In comparison to prior results, our architecture shows competitive performance for classification results over current methods.


title: A Bayesian Phylogenetic Hidden Markov Model for B Cell Receptor Sequence Analysis

abstract: The human body is able to generate a diverse set of high affinity antibodies, the soluble form of B cell receptors (BCRs), that bind to and neutralize invading pathogens. The natural development of BCRs must be understood in order to design vaccines for highly mutable pathogens such as influenza and HIV. BCR diversity is induced by naturally occurring combinatorial "V(D)J" rearrangement, mutation, and selection processes. Most current methods for BCR sequence analysis focus on separately modeling the above processes. Statistical phylogenetic methods are often used to model the mutational dynamics of BCR sequence data, but these techniques do not consider all the complexities associated with B cell diversification such as the V(D)J rearrangement process. In particular, standard phylogenetic approaches assume the DNA bases of the progenitor (or "naive") sequence arise independently and according to the same distribution, ignoring the complexities of V(D)J rearrangement. In this paper, we introduce a novel approach to Bayesian phylogenetic inference for BCR sequences that is based on a phylogenetic hidden Markov model (phylo-HMM). This technique not only integrates a naive rearrangement model with a phylogenetic model for BCR sequence evolution but also naturally accounts for uncertainty in all unobserved variables, including the phylogenetic tree, via posterior distribution sampling.


title: Visualizing 1D zigzag Wigner crystallization at domain walls in the Mott insulator TaS$_2$

abstract: In a certain regime of low carrier densities and strong correlations, electrons can crystallize into a periodic arrangement of charge known as Wigner crystal. Such phases are particularly interesting in one dimension (1D) as they display a variety of charge and spin ground states which may be harnessed in quantum devices as high-fidelity transmitters of spin information. Recent theoretical studies suggest that the strong Coulomb interactions in Mott insulators and other flat band systems, may provide an attractive higher temperature platform for Wigner crystallization, but due to materials and device constraints experimental realization has proven difficult. In this work we use scanning tunneling microscopy at liquid helium temperatures to directly image the formation of a 1D Wigner crystal in a Mott insulator, TaS$_2$. Charge density wave domain walls in TaS$_2$ create band bending and provide ideal conditions of low densities and strong interactions in 1D. STM spectroscopic maps show that once the lower Hubbard band crosses the Fermi energy, the charges rearrange to minimize Coulomb energy, forming zigzag patterns expected for a 1D Wigner crystal. The zigzag charge patterns show characteristic noise signatures signifying charge or spin fluctuations induced by the tunneling electrons, which is expected for this more fragile condensed state. The observation of a Wigner crystal at orders of magnitude higher temperatures enabled by the large Coulomb energy scales combined with the low density of electrons, makes TaS$_2$ a promising system for exploiting the charge and spin order in 1D Wigner crystals.


title: Elastic Antiproton-Nucleus Scattering from Chiral Forces

abstract: Elastic scattering of antiprotons off $^4$He, $^{12}$C, and $^{16,18}$O is described for the first time with a totally microscopic approach based on the calculation of an optical potential (OP) describing the antiproton-target interaction. The OP is derived using the recent antiproton-nucleon ($\bar{p}N$) chiral interaction to calculate the $\bar{p}N$ $t$ matrix, while the target densities are computed with the ab initio no-core shell model using chiral interactions as well. Our results are in a good agreement with the existing experimental data and the results computed at different chiral orders of the $\bar{p}N$ interaction display the convergence pattern expected from the theory.


title: Near-Optimal Methods for Minimizing Star-Convex Functions and Beyond

abstract: In this paper, we provide near-optimal accelerated first-order methods for minimizing a broad class of smooth nonconvex functions that are strictly unimodal on all lines through a minimizer. This function class, which we call the class of smooth quasar-convex functions, is parameterized by a constant $\gamma \in (0,1]$, where $\gamma = 1$ encompasses the classes of smooth convex and star-convex functions, and smaller values of $\gamma$ indicate that the function can be "more nonconvex." We develop a variant of accelerated gradient descent that computes an $\epsilon$-approximate minimizer of a smooth $\gamma$-quasar-convex function with at most $O(\gamma^{-1} \epsilon^{-1/2} \log(\gamma^{-1} \epsilon^{-1}))$ total function and gradient evaluations. We also derive a lower bound of $\Omega(\gamma^{-1} \epsilon^{-1/2})$ on the worst-case number of gradient evaluations required by any deterministic first-order method, showing that, up to a logarithmic factor, no deterministic first-order method can improve upon ours.


title: Counting Egyptian fractions

abstract: For any integer $N \geq 1$, let $\mathfrak{E}_N$ be the set of all Egyptian fractions employing denominators less than or equal to $N$. We give upper and lower bounds for the cardinality of $\mathfrak{E}_N$, proving that $$ \frac{N}{\log N} \prod_{j = 3}^{k} \log_j N<\log(\#\mathfrak{E}_N) < 0.421\, N, $$ for any fixed integer $k\geq 3$ and every sufficiently large $N$, where $\log_j x$ denotes the $j$-th iterated logarithm of $x$.


title: Electronic Structure of Graphene with two Strains and Double Barrier

abstract: We study the electronic structure of Dirac fermions scattered by double barrier potential in graphene under strain effect. We show that traction and compression strains can be used to generate fermion beam collimation, 1D channels, surface states and confinement. The corresponding transmission probability and conductance at zero temperature are calculated and their numerical implementations taking into account different configurations of physical parameters enabled us to analyze some features of the system.


title: Inverse problems for structured datasets using parallel TAP equations and RBM

abstract: We propose an efficient algorithm to solve inverse problems in the presence of binary clustered datasets. We consider the paradigmatic Hopfield model in a teacher student scenario, where this situation is found in the retrieval phase. This problem has been widely analyzed through various methods such as mean-field approaches or the pseudo-likelihood optimization. Our approach is based on the estimation of the posterior using the Thouless-Anderson-Palmer (TAP) equations in a parallel updating scheme. At the difference with other methods, it allows to retrieve the exact patterns of the teacher and the parallel update makes it possible to apply it for large system sizes. We also observe that the Approximate Message Passing (AMP) equations do not reproduce the expected behavior in the direct problem, questioning the standard practice used to obtain time indexes coming from Belief Propagation (BP). We tackle the same problem using a Restricted Boltzmann Machine (RBM) and discuss the analogies between the two algorithms.


title: Frequency Fluctuations in Tunable and Nonlinear Microwave Cavities

abstract: We present a model for how frequency fluctuations comparable to the total cavity linewidth may arise in tunable and nonlinear microwave cavities, and how these fluctuations affect the measurement of scattering matrix elements. Applying this model to the specific case of a two-sided cavity, we obtain closed-form expressions for the average scattering matrix elements in several important cases. A key signature of our model is the subtle deformation of the trajectories swept out by scattering matrix elements in the complex plane. Despite this signature, the fluctuating and non-fluctuating models are qualitatively similar enough to be mistaken for one another. In the case of tunable cavities we show that if one fails to account for these fluctuations then one will find damping rates that appear to depend on the tuning parameter, which is a common observation in such systems. In the case of a Kerr cavity, we show that there exists a fundamental lower bound to the scale of these frequency fluctuations in the steady state, imposed by quantum mechanical uncertainty, which can appreciably affect the apparent damping rates of the cavity as the strength of the nonlinearity approaches the single-photon level. By using the model we present as a fitting function for experimental data, however, one can extract both the true damping rates of the cavity and the effective scale of these frequency fluctuations over the scattering measurement's bandwidth. Lastly, we compare this new method for observing frequency fluctuations to other methods, one of which we extend beyond the regime of small fluctuations.


title: Bond strengthening in dense H2O and implications to planetary composition

abstract: H2O is an important constituent in planetary bodies, controlling habitability and, in geologically-active bodies, plate tectonics. At pressures within the interior of many planets, the H-bonds in H2O collapse into stronger, ionic bonds. Here we present agreement between X-ray diffraction and Raman spectroscopy for the transition from ice-VII to ice-X occurring at a pressure of approximately 30.9 GPa by means of combining grain normalizing heat treatment via direct laser heating with static compression. This is evidenced by the emergence of the characteristic Raman mode of cuprite-like ice-X and an abrupt 2.5-fold increase in bulk modulus, implying a significant increase in bond strength. This is preceded by a transition from cubic ice-VII to a structure of tetragonal symmetry, ice-VIIt at 5.1 GPa. Our results significantly shift the mass/radius relationship of water-rich planets and define a high-pressure limit for release of chemically-bound water within the Earth, making the deep mantle a potential long-term reservoir of ancient water.


title: Applications of the Heine and Bauer-Muir transformations to Rogers-Ramanujan type continued fractions

abstract: In this paper we show that various continued fractions for the quotient of general Ramanujan functions $G(aq,b,\l q)/G(a,b,\l)$ may be derived from each other via Bauer-Muir transformations. The separate convergence of numerators and denominators play a key part in showing that the continued fractions and their Bauer-Muir transformations converge to the same limit. We also show that these continued fractions may be derived from Heine's continued fraction for a ratio of $_2\phi_1$ functions and other continued fractions of a similar type, and by this method derive a new continued fraction for $G(aq,b,\l q)/G(a,b,\l)$. Finally we derive a number of new versions of some beautiful continued fraction expansions of Ramanujan for certain combinations of infinite products, with the following being an example: \begin{multline*} \frac{(-a,b;q)_{\infty} - (a,-b;q)_{\infty}}{(-a,b;q)_{\infty}+ (a,-b;q)_{\infty}} = \frac{(a-b)}{1-a b} \- \frac{(1-a^2)(1-b^2)q}{1-a b q^2}\\ \- \frac{(a-bq^2)(b-aq^2)q}{1-a b q^4} %\phantom{sdsadadsaasdda}\\ \- \frac{(1-a^2q^2)(1-b^2q^2)q^3}{1-a b q^6} \- \frac{(a-bq^4)(b-aq^4)q^3}{1-a b q^8} \- \cds . \end{multline*}


title: BTEL: A Binary Tree Encoding Approach for Visual Localization

abstract: Visual localization algorithms have achieved significant improvements in performance thanks to recent advances in camera technology and vision-based techniques. However, there remains one critical caveat: all current approaches that are based on image retrieval currently scale at best linearly with the size of the environment with respect to both storage, and consequentially in most approaches, query time. This limitation severely curtails the capability of autonomous systems in a wide range of compute, power, storage, size, weight or cost constrained applications such as drones. In this work, we present a novel binary tree encoding approach for visual localization which can serve as an alternative for existing quantization and indexing techniques. The proposed tree structure allows us to derive a compressed training scheme that achieves sub-linearity in both required storage and inference time. The encoding memory can be easily configured to satisfy different storage constraints. Moreover, our approach is amenable to an optional sequence filtering mechanism to further improve the localization results, while maintaining the same amount of storage. Our system is entirely agnostic to the front-end descriptors, allowing it to be used on top of recent state-of-the-art image representations. Experimental results show that the proposed method significantly outperforms state-of-the-art approaches under limited storage constraints.


title: Secure Summation via Subset Sums: A New Primitive for Privacy-Preserving Distributed Machine Learning

abstract: For population studies or for the training of complex machine learning models, it is often required to gather data from different actors. In these applications, summation is an important primitive: for computing means, counts or mini-batch gradients. In many cases, the data is privacy-sensitive and therefore cannot be collected on a central server. Hence the summation needs to be performed in a distributed and privacy-preserving way. Existing solutions for distributed summation with computational privacy guarantees make trust or connection assumptions - e.g., the existence of a trusted server or peer-to-peer connections between clients - that might not be fulfilled in real world settings. Motivated by these challenges, we propose Secure Summation via Subset Sums (S5), a method for distributed summation that works in the presence of a malicious server and only two honest clients, and without the need for peer-to-peer connections between clients. S5 adds zero-sum noise to clients' messages and shuffles them before sending them to the aggregating server. Our main contribution is a proof that this scheme yields a computational privacy guarantee based on the multidimensional subset sum problem. Our analysis of this problem may be of independent interest for other privacy and cryptography applications.


title: Cascade-BGNN: Toward Efficient Self-supervised Representation Learning on Large-scale Bipartite Graphs

abstract: Bipartite graphs have been used to represent data relationships in many data-mining applications such as in E-commerce recommendation systems. Since learning in graph space is more complicated than in Euclidian space, recent studies have extensively utilized neural nets to effectively and efficiently embed a graph's nodes into a multidimensional space. However, this embedding method has not yet been applied to large-scale bipartite graphs. Existing techniques either cannot be scaled to large-scale bipartite graphs that have limited labels or cannot exploit the unique structure of bipartite graphs, which have distinct node features in two domains. Thus, we propose Cascade Bipartite Graph Neural Networks, Cascade-BGNN, a novel node representation learning for bipartite graphs that is domain-consistent, self-supervised, and efficient. To efficiently aggregate information both across and within the two partitions of a bipartite graph, BGNN utilizes a customized Inter-domain Message Passing (IDMP) and Intra-domain Alignment (IDA), which is our adaptation of adversarial learning, for message aggregation across and within partitions, respectively. BGNN is trained in a self-supervised manner. Moreover, we formulate a multi-layer BGNN in a cascaded training manner to enable multi-hop relationship modeling while improving training efficiency. Extensive experiments on several datasets of varying scales verify the effectiveness and efficiency of BGNN over baselines. Our design is further affirmed through theoretical analysis for domain alignment. The scalability of BGNN is additionally verified through its demonstrated rapid training speed and low memory cost over a large-scale real-world bipartite graph.


title: $DK$, $DDK$, and $DDDK$ molecules--understanding the nature of the $D_{s0}^*(2317)$

abstract: The $DK$ interaction is strong enough to form a bound state, the $D_{s0}^*(2317)$. This in turn begs the question of whether there are bound states composed of several charmed mesons and a kaon. Previous calculations indicate that the three-body $DDK$ system is probably bound, where the quantum numbers are $J^P = 0^{-}$, $I=\tfrac{1}{2}$, $S = 1$ and $C = 2$. The minimum quark content of this state is $cc\bar{q}\bar{s}$ with $q=u,d$, which means that, if discovered, it will be an explicitly exotic tetraquark. In the present work. we apply the Gaussian Expansion Method to study the $DDDK$ system and show that it binds as well. The existence of these three and four body states is rather robust with respect to the $DD$ interaction and subleading (chiral) corrections to the $DK$ interaction. If these states exist, it is quite likely that their heavy quark symmetry counterparts exist as well. These three-body $DDK$ and four-body $DDDK$ molecular states could be viewed as counterparts of atomic nuclei, which are clusters of nucleons bound by the residual strong force, or chemical molecules, which are clusters of atoms bound by the residual electromagnetic interaction.


title: Doubly-resonant $\chi^{(2)}$ nonlinear photonic crystal cavity based on a bound state in the continuum

abstract: Photonic nanostructures simultaneously maximizing spectral and spatial overlap between fundamental and second-harmonic confined modes are highly desirable for enhancing second-order nonlinear effects in nonlinear media. These conditions have thus far remained challenging to satisfy in photonic crystal cavities because of the difficulty in designing a band gap at the second-harmonic frequency. Here, we solve this issue by using instead a bound state in the continuum at that frequency, and we design a doubly-resonant photonic crystal slab cavity with strongly improved figures of merit for nonlinear frequency conversion when compared to previous photonic crystal designs. Furthermore, we show that the far-field emission at both frequencies is highly collimated around normal incidence, which allows for simultaneously efficient pump excitation and collection of the generated nonlinear signal. Our results could lead to unprecedented conversion efficiencies in both parametric down conversion and second harmonic generation in an extremely compact architecture.


title: Mock Theta Function Identities Deriving from Bilateral Basic Hypergeometric Series

abstract: The bilateral series corresponding to many of the third-, fifth-, sixth- and eighth order mock theta functions may be derived as special cases of $_2\psi_2$ series \[ \sum_{n=-\infty}^{\infty}\frac{(a,c;q)_n}{(b,d;q)_n}z^n. \] Three transformation formulae for this series due to Bailey are used to derive various transformation and summation formulae for both these mock theta functions and the corresponding bilateral series. \\ New and existing summation formulae for these bilateral series are also used to make explicit in a number of cases the fact that for a mock theta function, say $\chi(q)$, and a root of unity in a certain class, say $\zeta$, that there is a theta function $\theta_{\chi}(q)$ such that \[ \lim_{q \to \zeta}(\chi(q) - \theta_{\chi}(q)) \] exists, as $q \to \zeta$ from within the unit circle.


title: 30 years of jet quenching

abstract: In the last 30 years, the physics of jet quenching has gone from an early stage of a pure theoretical idea to initial theoretical calculations, experimental verification and now a powerful diagnostic tool for studying properties of the quark-gluon plasma (QGP) in high-energy heavy-ion collisions. I will describe my collaboration with Miklos Gyulassy in this exciting area of high-energy nuclear physics in the past 30 years on this special occasion of his 70th birthday and discuss what is ahead of us in jet tomographic study of QGP in heavy-ion collisions.


title: Efficient Spatial Anti-Aliasing Rendering for Line Joins on Vector Maps

abstract: The spatial anti-aliasing technique for line joins (intersections of the road segments) on vector maps is exclusively crucial to visual experience and system performance. Due to limitations of OpenGL API, one common practice to achieve the anti-aliased effect is splicing multiple triangles at varying scale levels to approximate the fan-shaped line joins. However, this approximation inevitably produces some unreality, and the system rendering performance is not optimal. To circumvent these drawbacks, in this paper, we propose a simple but efficient algorithm which uses only two triangles to substitute the multiple triangles approximation and then renders a realistic fan-shaped curve with alpha operation based on geometrical relation computing. Our experiment shows it has advantages of a realistic anti-aliasing effect, less memory cost, higher frame rate, and drawing line joins without overlapping rendering. Our proposed spatial anti-aliasing technique has been widely used in Internet Maps such as Tencent Mobile Maps and Tencent Automotive Maps.


title: Estimating adult death rates from sibling histories: A network approach

abstract: Hundreds of millions of people live in countries that do not have complete death registration systems, meaning that most deaths are not recorded and critical quantities like life expectancy cannot be directly measured. The sibling survival method is a leading approach to estimating adult mortality in the absence of death registration. The idea is to ask a survey respondent to enumerate her siblings and to report about their survival status. In many countries and time periods, sibling survival data are the only nationally-representative source of information about adult mortality. Although a huge amount of sibling survival data has been collected, important methodological questions about the method remain unresolved. To help make progress on this issue, we propose re-framing the sibling survival method as a network sampling problem. This approach enables us to formally derive statistical estimators for sibling survival data. Our derivation clarifies the precise conditions that sibling history estimates rely upon; it leads to internal consistency checks that can help assess data and reporting quality; and it reveals important quantities that could potentially be measured to relax assumptions in the future. We introduce the R package siblingsurvival, which implements the methods we describe.


title: Towards Large-Scale Autonomous Wireless Sensor Networks

abstract: Wireless Sensor Networks (WSNs) have the goal of gathering data from the environment. The advent of the Internet of Things (IoT) drastically changed WSN's vision that, as never before, needs to expand and include hundreds or thousands of sensors. But to follow the current IoT trends new techniques need to be implemented since orders of thousands of sensor nodes are not manageable by today's WSNs systems that often rely on manual configuration and hence are not practical. As an example, the replacement of batteries of thousand of nodes could be extremely arduous or even impossible for structural health monitoring of civil infrastructures (i.e. bridges, towers). Hence, the solution to the growing burden of the system manager is automation, allowing the system to check its own status, to re-configure itself and fix the major problems in the network whenever it is possible. In this paper, we present and discuss the main features needed to achieve an autonomous large scale WSN. Furthermore, we compare these features with the state of the art of real-world large scale WSN deployments showing that further solutions are needed to drastically reduce human intervention while guaranteeing the main functionalities of the system.


title: Dirac points emerging from flat bands in Lieb-kagom\'e lattices

abstract: The energy spectra for the tight-binding models on the Lieb and kagom\'e lattices both exhibit a flat band. We present a model which continuously interpolates between these two limits. The flat band located in the middle of the three-band spectrum for the Lieb lattice is distorted, generating two pairs of Dirac points. While the upper pair evolves into graphene-like Dirac cones in the kagom\'e limit, the low energy pair evolves until it merges producing the band-bottom flat band. The topological characterization of the Dirac points is achieved by projecting the Hamiltonian on the two relevant bands in order to obtain an effective Dirac Hamiltonian. The low energy pair of Dirac points is particularly interesting in this respect: when they emerge, they have opposite winding numbers, but as they merge, they have the same winding number. This apparent paradox is due to a continuous rotation of their states in pseudo-spin space, characterized by a winding vector. This simple, but quite rich model, suggests a way to a systematic characterization of two-band contact points in multiband systems.


title: One hundred twenty-seven subsemilattices and planarity

abstract: Let $L$ be a finite $n$-element semilattice. We prove that if $L$ has at least $127\cdot 2^{n-8}$ subsemilattices, then $L$ is planar. For $n>8$, this result is sharp since there is a non-planar semilattice with exactly $127\cdot 2^{n-8}-1$ subsemilattices.


title: Dynamics of Social Interactions and Agent Spreading in Social Insects Colonies: Effects of Environmental Events and Spatial Heterogeneity

abstract: The relationship between division of labor and individuals' spatial behavior in social insect colonies provides a useful context to study how social interactions influence the spreading of agent (which could be information or virus) across distributed agent systems. In social insect colonies, spatial heterogeneity associated with variations of individual task roles, affects social contacts, and thus the way in which agent moves through social contact networks. We used an Agent Based Model (ABM) to mimic three realistic scenarios of agent spreading in social insect colonies. Our model suggests that individuals within a specific task interact more with consequences that agent could potentially spread rapidly within that group, while agent spreads slower between task groups. Our simulations show a strong linear relationship between the degree of spatial heterogeneity and social contact rates, and that the spreading dynamics of agents follow a modified nonlinear logistic growth model with varied transmission rates for different scenarios. Our work provides an important insights on the dual-functionality of physical contacts. This dual-functionality is often driven via variations of individual spatial behavior, and can have both inhibiting and facilitating effects on agent transmission rates depending on environment. The results from our proposed model not only provide important insights on mechanisms that generate spatial heterogeneity, but also deepen our understanding of how social insect colonies balance the benefit and cost of physical contacts on the agents' transmission under varied environmental conditions.


title: R\'enyi Fair Inference

abstract: Machine learning algorithms have been increasingly deployed in critical automated decision-making systems that directly affect human lives. When these algorithms are only trained to minimize the training/test error, they could suffer from systematic discrimination against individuals based on their sensitive attributes such as gender or race. Recently, there has been a surge in machine learning society to develop algorithms for fair machine learning. In particular, many adversarial learning procedures have been proposed to impose fairness. Unfortunately, these algorithms either can only impose fairness up to first-order dependence between the variables, or they lack computational convergence guarantees. In this paper, we use R\'enyi correlation as a measure of fairness of machine learning models and develop a general training framework to impose fairness. In particular, we propose a min-max formulation which balances the accuracy and fairness when solved to optimality. For the case of discrete sensitive attributes, we suggest an iterative algorithm with theoretical convergence guarantee for solving the proposed min-max problem. Our algorithm and analysis are then specialized to fair classification and the fair clustering problem under disparate impact doctrine. Finally, the performance of the proposed R\'enyi fair inference framework is evaluated on Adult and Bank datasets.


title: Effect of different polarity solvents on total phenols and flavonoids content, and In-vitro antioxidant properties of flowers extract from Aurea Helianthus

abstract: The total phenols and flavonoids content of different polar solvent extracts from Aurea Helianthus flowers, and their antioxidant activity were determined. The ethanol extract of Aurea Helianthus flowers were suspended in water and fractionated using different polar solvents; hexane, chloroform, ethyl acetate, butanol and water. The parameters of each extract mentioned above were determined using Floin-ciocalteu reagent(FCR) method, AlCl3 colorimetry method, ferric reducing ability of plasma(FRAP) assay, total antioxidant activity(TAA) assay and DPPH radical scavenging assay. The highest total phenols content(516.21 mg GAE/g) and flavonoids content(326.06 mg QCE/g) were obtained in ethyl acetate extract, the correlation between TPC and TFC assay was founded to be 0.967. All polar solvent extracts of Aurea Helianthus flowers showed significant antioxidant effects, the hightest inhibition was obtained in ethyl acetate and choroform extracts and the lowest inhibition in the water extract. There is a good correlation of total phenols and flavonoids content with antioxidant activity. This work indicated that the polar solvent extracts of Aurea Helianthus flowers contain high phenols and flavonoids content and exhibited antioxidant activities in vitro, therefore, could be candidates for use as natural antioxidant.


title: Purification of total flavonoids from Aurea Helianthus flowers and In Vitro Hypolipidemic Effect

abstract: The effects of purification methods and its hypolipidemic function on the total flavonoids of Aurea Helianthus flower were investigated. Liquid-liquid extraction of ethanol extract from Aurea Helianthus flower was carried out by using different polar solvents. The extract with the highest total flavonoid content was selected, and the optimal conditions for purification of total flavonoids were determined by purification with macroporous resin. The human digestive environment was simulated in vitro, and the binding ability of different flavonoid samples to three kinds of cholate was compared. The results showed that the purity of total flavonoids in ethanol extract was 27.8%, the purity of total flavonoids in ethyl acetate extract was 46.4%, and the purity was increased by 18.6%. Subsequent purification with AB-8 macroporous resin; loading of total flavonoids at a concentration of 5.5 mg/mL, flow rate of 1.5 mL/min, 110 mL; use of 75% ethanol, 80 mL as eluent at a flow rate of 1.5 mL The elution at /min resulted in a total flavonoid purity of 83.5 % and an increase of 37.1%, and a good purification effect was obtained. The binding rate of total flavonoids purified by AB-8 macroporous resin to sodium taurocholate, sodium glycocholate and sodium cholate was 88.2%, 73.2% and 75.8 %, respectively. The binding ability was the strongest, and the others were ethyl acetate. Extract, ethanol extract. The purity of total flavonoids showed a good correlation with the binding capacity of cholate, and the correlation coefficient was between 0.963 and 0.988. The total flavonoids of Aurea Helianthus flower have good bile acid binding ability and can be used as the focus of natural hypolipidemic substances.


title: Low scale leptogenesis in a hybrid model of the scotogenic type I and III seesaw

abstract: The scotogenic type I and type III seesaw models are good candidates to explain the existence of neutrino masses and dark matter simultaneously. However, since triplet fermions have SU(2) gauge interaction, they cannot be out of equilibrium before the electroweak symmetry breaking. Thus, leptogenesis seems to be difficult within a framework of the pure type III seesaw model. Some extension seems to be required to solve this fault. A model extended by introducing a singlet fermion could be such a simple example. If the singlet fermion is in the thermal equilibrium even for its extremely small neutrino Yukawa coupling, leptogenesis could be shown to occur successfully for a rather low mass of the singlet fermion. The required mass could be lowered to $10^4$~GeV.


title: Effective two-level models for highly efficient inner-state enantio-separation based on cyclic three-level systems of chiral molecules

abstract: Based on cyclic three-level systems of chiral molecules, we propose two methods to realize highly efficient inner-state enantio-separations of a chiral mixture with the two enantiomers initially prepared in their ground states. Our methods work in the region where the evolutions of the two enantiomers can be described by their corresponding effective two-level models, simultaneously. The approximately $100\%$-efficiency inner-state enantio-separations can be realized when the probability occupying the ground state of one enantiomer becomes $0$ by experiencing half-integer periods of its corresponding on-resonance Rabi oscillation and in the meanwhile the other one still stays approximately in the ground state, under the conditions that the two enantiomers are governed by the effective on-resonance and large-detuning two-level models, respectively. Alternatively, the exactly $100\%$-efficiency inner-state enantio-separation can be obtained when the probabilities occupying the ground states of the two enantiomers simultaneously experience half-integer and integer periods of their corresponding on-resonance and detuned (instead of largely-detuned) Rabi oscillations with final $0$ and $1$ probabilities occupying the ground state, respectively.


title: How to Evaluate Trading Strategies: Single Agent Market Replay or Multiple Agent Interactive Simulation?

abstract: We show how a multi-agent simulator can support two important but distinct methods for assessing a trading strategy: Market Replay and Interactive Agent-Based Simulation (IABS). Our solution is important because each method offers strengths and weaknesses that expose or conceal flaws in the subject strategy. A key weakness of Market Replay is that the simulated market does not substantially adapt to or respond to the presence of the experimental strategy. IABS methods provide an artificial market for the experimental strategy using a population of background trading agents. Because the background agents attend to market conditions and current price as part of their strategy, the overall market is responsive to the presence of the experimental strategy. Even so, IABS methods have their own weaknesses, primarily that it is unclear if the market environment they provide is realistic. We describe our approach in detail, and illustrate its use in an example application: The evaluation of market impact for various size orders.


title: On super Pl\"{u}cker embedding and cluster algebras

abstract: We define a super analog of the classical Pl\"{u}cker embedding of the Grassmannian into a projective space. One of the difficulties of the problem is rooted in the fact that super exterior powers $\Lambda^{r|s}(V)$ are not a simple generalization from the completely even case (this works only for $r|0$ when it is possible to use $\Lambda^r(V)$). To construct the embedding we need to non-trivially combine a super vector space $V$ and its parity-reversion $\Pi V$. Our "super Pl\"{u}cker map" takes the Grassmann supermanifold $G_{r|s}(V)$ to a "weighted projective space" $P\left(\Lambda^{r|s}(V)\oplus \Lambda^{s|r}(\Pi V)\right)$ with weights $+1,-1$. A simpler map $G_{r|0}(V)\to P(\Lambda^r(V))$ works for the case $s=0$. We construct a super analog of Pl\"{u}cker coordinates, prove that our map is an embedding, and obtain "super Pl\"{u}cker relations". We analyze another type of relations (due to Khudaverdian) and show their equivalence with the super Pl\"{u}cker relations for $r|s=2|0$. We discuss application to much sought-after super cluster algebras and construct a super cluster structure for $G_2(\mathbb{R}^{4|1})$ and $G_2(\mathbb{R}^{5|1})$.


title: Simultaneous polarization transformation and amplification of multi-petawatt laser pulses in magnetized plasmas

abstract: With increasing laser peak power, the generation and manipulation of high-power laser pulses becomes a growing challenge for conventional solid-state optics due to their limited damage threshold. As a result, plasma-based optical components which can sustain extremely high fields are attracting increasing interest. Here, we propose a type of plasma waveplate based on magneto-optical birefringence under a transverse magnetic field, which can work under extremely high laser power. Importantly, this waveplate can simultaneously alter the polarization state and boost the peak laser power. It is demonstrated numerically that an initially linearly polarized laser pulse with 5 petawatt peak power can be converted into a circularly polarized pulse with a peak power higher than 10 petawatts by such a waveplate with a centimeter-scale diameter. The energy conversion efficiency of the polarization transformation is about $98\%$. The necessary waveplate thickness is shown to scale inversely with plasma electron density $n_e$ and the square of magnetic field $B_0$, and it is about 1 cm for $n_e=3\times 10^{20}$ cm$^{-3}$ and $B_0=100$ T. The proposed plasma waveplate and other plasma-based optical components can play a critical role for the effective utilization of multi-petawatt laser systems.


title: Multiplicity results for fractional magnetic problems involving exponential growth

abstract: We study the following fractional elliptic equations of the type, \begin{equation*} (-\Delta)^{\frac12}_A u = \lambda u+f(|u|)u ,\;\textrm{in } \;(-1, 1),\; u=0\;\textrm{in } \;\mathbb R\setminus (-1, 1), \end{equation*} where $\lambda$ is a positive real parameter and $(-\Delta)^{\frac12}_A$ is the fractional magnetic operator with $A:\mathbb R\to \mathbb R$ being a smooth magnetic field. Using a classical critical point theorems, we prove the existence of multiple solutions in the non-resonant case when the nonlinear term $f(t)$ has a critical exponential growth in the sense of Trudinger-Moser inequality.


title: Inverse moving source problem for fractional diffusion(-wave) equations: Determination of orbits

abstract: This paper is concerned with the inverse problem on determining an orbit of the moving source in a fractional diffusion(-wave) equations in a connected bounded domain of $\mathbb R^d$ or in the whole space $\mathbb R^d$. Based on a newly established fractional Duhamel's principle, we derive a Lipschitz stability estimate in the case of a localized moving source by the observation data at $d$ interior points. The uniqueness for the general non-localized moving source is verified with additional data of more interior observations.


title: Accelerated Symmetric ADMM and Its Applications in Signal Processing

abstract: The alternating direction method of multipliers (ADMM) were extensively investigated in the past decades for solving separable convex optimization problems. Fewer researchers focused on exploring its convergence properties for the nonconvex case although it performed surprisingly efficient. In this paper, we propose a symmetric ADMM based on different acceleration techniques for a family of potentially nonsmooth nonconvex programing problems with equality constraints, where the dual variables are updated twice with different stepsizes. Under proper assumptions instead of using the so-called Kurdyka-Lojasiewicz inequality, convergence of the proposed algorithm as well as its pointwise iteration-complexity are analyzed in terms of the corresponding augmented Lagrangian function and the primal-dual residuals, respectively. Performance of our algorithm is verified by some preliminary numerical examples on applications in sparse nonconvex/convex regularized minimization signal processing problems.