title: Sharp exponential localization for solutions of the Perturbed Dirac Equation

abstract: We determine the largest non-trivial rate of exponential decay at infinity for solutions to the Dirac equation \begin{equation*} \mathcal{D}_n \psi + \mathbb{V} \psi = 0 \quad \text{ in }\mathbb{R}^n, \end{equation*} being $\mathcal{D}_n$ the massless Dirac operator in dimension $n\geq 2$ and $\mathbb{V}$ a (possibly non-Hermitian) matrix-valued perturbation such that $|\mathbb{V}(x)| \sim |x|^{-\epsilon}$ at infinity, for $-\infty < \epsilon < 1$. Moreover, we show that our results are sharp for $n =2,3$, providing explicit examples of solutions that have the prescripted decay, in presence of a potential with the related behaviour at infinity.


title: The Mazur-Ulam property for commutative von Neumann algebras

abstract: Let $(\Omega,\mu)$ be a $\sigma$-finite measure space. Given a Banach space $X$, let the symbol $S(X)$ stand for the unit sphere of $X$. We prove that the space $L^{\infty} (\Omega,\mu)$ of all complex-valued measurable essentially bounded functions equipped with the essential supremum norm, satisfies the Mazur-Ulam property, that is, if $X$ is any complex Banach space, every surjective isometry $\Delta: S(L^{\infty} (\Omega,\mu))\to S(X)$ admits an extension to a surjective real linear isometry $T: L^{\infty} (\Omega,\mu)\to X$. This conclusion is derived from a more general statement which assures that every surjective isometry $\Delta : S(C(K))\to S(X),$ where $K$ is a Stonean space, admits an extension to a surjective real linear isometry from $C(K)$ onto $X$.


title: Measurement of the neutron flux at spallation sources using multi-foil activation

abstract: Activation analysis is used in this work to measure the flux of a fast neutron beamline at a spallation source over a wide energy spectrum, extending from thermal to hundreds of MeV. The experimental method is based on the irradiation of multiple elements and measurements of activation {\gamma}-lines using a High Purity Germanium detector. The method for data analysis is then described in detail, with particular attention to the evaluation of uncertainties. The reactions have been chosen so to cover the whole energy range, using mainly (n,{\gamma}) for thermal and epithermal neutrons, and threshold reactions for the fast region. The variety of these reactions allowed for the unfolding of the neutron spectrum, using an algorithm based on a Bayesian statistical model, and limited correlations have been found between the energy groups.


title: On Oracle-Efficient PAC RL with Rich Observations

abstract: We study the computational tractability of PAC reinforcement learning with rich observations. We present new provably sample-efficient algorithms for environments with deterministic hidden state dynamics and stochastic rich observations. These methods operate in an oracle model of computation -- accessing policy and value function classes exclusively through standard optimization primitives -- and therefore represent computationally efficient alternatives to prior algorithms that require enumeration. With stochastic hidden state dynamics, we prove that the only known sample-efficient algorithm, OLIVE, cannot be implemented in the oracle model. We also present several examples that illustrate fundamental challenges of tractable PAC reinforcement learning in such general settings.


title: Optimization-Based Algorithm for Evolutionarily Stable Strategies against Pure Mutations

abstract: Evolutionarily stable strategy (ESS) is an important solution concept in game theory which has been applied frequently to biological models. Informally an ESS is a strategy that if followed by the population cannot be taken over by a mutation strategy that is initially rare. Finding such a strategy has been shown to be difficult from a theoretical complexity perspective. We present an algorithm for the case where mutations are restricted to pure strategies, and present experiments on several game classes including random and a recently-proposed cancer model. Our algorithm is based on a mixed-integer non-convex feasibility program formulation, which constitutes the first general optimization formulation for this problem. It turns out that the vast majority of the games included in the experiments contain ESS with small support, and our algorithm is outperformed by a support-enumeration based approach. However we suspect our algorithm may be useful in the future as games are studied that have ESS with potentially larger and unknown support size.


title: Longitudinal Bunch Diagnostics using Coherent Transition Radiation Spectroscopy

abstract: The generation and properties of transition radiation (TR) are thoroughly treated. The spectral energy density, as described by the Ginzburg-Frank formula, is computed analytically, and the modifications caused by the finite size of the TR screen and by near-field diffraction effects are carefully analyzed. The principles of electron bunch shape reconstruction using coherent transition radiation are outlined. Spectroscopic measure- ments yield only the magnitude of the longitudinal form factor but not its phase. Two phase retrieval methods are investigated and illustrated with model calculations: analytic phase computation by means of the Kramers- Kronig dispersion relation, and iterative phase retrieval. Particular attention is paid to the ambiguities which are unavoidable in the reconstruction of longitudinal charge density profiles from spectroscopic data. The origin of these ambiguities has been identified and a thorough mathematical analysis is presented. The experimental part of the paper comprises a description of our multichannel infrared and THz spectrometer and a selection of measurements at FLASH, comparing the bunch profiles derived from spectroscopic data with those determined with a transversely deflecting microwave structure. A rigorous derivation of the Kramers-Kronig phase formula is presented in Appendix A. Numerous analytic model calculations can be found in Appendix B. The differences between normal and truncated Gaussians are discussed in Appendix C. Finally, Appendix D contains a short description of the propagation of an electromagnetic wave front by two-dimensional fast Fourier transformation. This is the basis of a powerful numerical Mathematica code THzTransport, which permits the propagation of electromagnetic wave fronts through a beam line consisting of drift spaces, lenses, mirrors and apertures.


title: On Statistical Non-Significance

abstract: Significance tests are probably the most extended form of inference in empirical research, and significance is often interpreted as providing greater informational content than non-significance. In this article we show, however, that rejection of a point null often carries very little information, while failure to reject may be highly informative. This is particularly true in empirical contexts where data sets are large and where there are rarely reasons to put substantial prior probability on a point null. Our results challenge the usual practice of conferring point null rejections a higher level of scientific significance than non-rejections. In consequence, we advocate a visible reporting and discussion of non-significant results in empirical practice.


title: Exact-exchange density functional theory of the integer quantum Hall effect: strict 2D limit

abstract: A strict bidimensional (strict-2D) exact-exchange (EE) formalism within the framework of density-functional theory (DFT) has been developed and applied to the case of an electron gas subjected to a strong perpendicular magnetic field, that drives the system to the regime of the integer quantum Hall effect (IQHE). As the filling of the emerging Landau levels proceeds, two main features results: i) the EE energy minimizes with a discontinuous derivative at every integer filling factor $\nu$; and ii) the EE potential display sharp discontinuities at every integer $\nu$. The present contribution provides a natural improvement as compared with the widely used local-spin-density approximation (LSDA), since the EE energy functional fully contains the effect of the magnetic field, and includes an inter-layer exchange coupling for multilayer systems. As a consistency test, the LSDA is derived as the leading term of a low-field expansion of the EE energy and potential.


title: Optimal investment-consumption problem: post-retirement with minimum guarantee

abstract: We study the optimal investment-consumption problem for a member of defined contribution plan during the decumulation phase. For a fixed annuitization time, to achieve higher final annuity, we consider a variable consumption rate. Moreover, to have a minimum guarantee for the final annuity, a safety level for the wealth process is considered. To solve the stochastic optimal control problem via dynamic programming, we obtain a Hamilton-Jacobi-Bellman (HJB) equation on a bounded domain. The existence and uniqueness of classical solutions are proved through the dual transformation. We apply the finite difference method to find numerical approximations of the solution of the HJB equation. Finally, the simulation results for the optimal investment-consumption strategies, optimal wealth process and the final annuity for different admissible ranges of consumption are given. Furthermore, by taking into account the market present value of the cash flows before and after the annuitization, we compare the outcomes of different scenarios.


title: Knowledge Base Relation Detection via Multi-View Matching

abstract: Relation detection is a core component for Knowledge Base Question Answering (KBQA). In this paper, we propose a KB relation detection model via multi-view matching which utilizes more useful information extracted from question and KB. The matching inside each view is through multiple perspectives to compare two input texts thoroughly. All these components are designed in an end-to-end trainable neural network model. Experiments on SimpleQuestions and WebQSP yield state-of-the-art results.


title: A shiny update to an old experiment game

abstract: Games can be a powerful tool for learning about statistical methodology. Effective game design involves a fine balance between caricature and realism, to simultaneously illustrate salient concepts in a controlled setting and serve as a testament to real-world applicability. Striking that balance is particularly challenging in response surface and design domains, where real-world scenarios often play out over long time scales, during which theories are revised, model and inferential techniques are improved, and knowledge is updated. Here I present a game, borrowing liberally from one first played over forty years ago, that attempts to achieve that balance while reinforcing a cascade of topics in modern nonparametric response surfaces, sequential design and optimization. The game embeds a blackbox simulation within a shiny app whose interface is designed to simulate a realistic information-availability setting, while offering a stimulating, competitive environment wherein students can try out new methodology, and ultimately appreciate its power and limitations. Interface, rules, timing with course material, and evaluation are described, along with a "case study" involving a cohort of students at Virginia Tech.


title: Multi-epoch monitoring of the AA Tau like star V354 Mon - Indications for a low gas-to-dust ratio in the inner disk warp

abstract: Disk warps around classical T Tauri stars (CTTS) can periodically obscure the central star for some viewing geometries. For these so-called AA Tau-like variables, the obscuring material is located in the inner disk and absorption spectroscopy allows one to characterize its dust and gas content. Since the observed emission from CTTS consists of several components (photospheric, accretion, jet, and disk emission), which can all vary with time, it is generally challenging to disentangling disk features from emission variability. Multi-epoch, flux-calibrated, broadband spectra provide us with the necessary information to cleanly separate absorption from emission variability. We applied this method to three epochs of VLT/X-Shooter spectra of the CTTS V354 Mon (CSI Mon-660) located in NGC 2264 and find that: (a) the accretion emission remains virtually unchanged between the three epochs; (b) the broadband flux evolution is best described by disk material obscuring part of the star, and (c) the Na and K gas absorption lines show only a minor increase in equivalent width during phases of high dust extinction. The limits on the absorbing gas column densities indicate a low gas-to-dust ratio in the inner disk, less than a tenth of the ISM value. We speculate that the evolutionary state of V354 Mon, rather old with a low accretion rate, is responsible for the dust excess through an evolution toward a dust dominated disk or through the fragmentation of larger bodies that drifted inward from larger radii in a still gas dominated disk.


title: Solvable extensions of the naturally graded quasi-filiform Leibniz algebra of second type $\mathcal{L}^2$

abstract: For a sequence of the naturally graded quasi-filiform Leibniz algebra of second type $\mathcal{L}^2$ introduced by Camacho, G\'{o}mez, Gonz\'{a}lez and Omirov, all possible right and left solvable indecomposable extensions over the field $\Bbb R$ are constructed so that the algebra serves as the nilradical of the corresponding solvable Leibniz algebras we find in the paper.


title: Constructing solvable groups with derived length four and four character degrees

abstract: In this paper, we present a new method to construct solvable groups with derived length four and four character degrees. We then use this method to present a number of new families of groups with derived length four and four character degrees.


title: Precision measurement noise asymmetry and its annual modulation as a dark matter signature

abstract: Dark matter may be composed of self-interacting ultralight quantum fields that form macroscopic objects. An example of which includes Q-balls, compact non-topological solitons predicted by a range of theories that are viable dark matter candidates. As the Earth moves through the galaxy, interactions with such objects may leave transient perturbations in terrestrial experiments. Here we propose a new dark matter signature: an asymmetry (and other non-Gaussianities) that may thereby be induced in the noise distributions of precision quantum sensors, such as atomic clocks, magnetometers, and interferometers. Further, we demonstrate that there would be a sizeable annual modulation in these signatures due to the annual variation of the Earth velocity with respect to dark matter halo. As an illustration of our formalism, we apply our method to 6 years of data from the atomic clocks on board GPS satellites and place constraints on couplings for macroscopic dark matter objects with radii R < 10^4 km, the region that is otherwise inaccessible using relatively sparse global networks.


title: Finding steady-state solutions for ODE systems of zero, first and homogeneous second-order chemical reactions is NP-hard

abstract: In the context of modeling of cell signaling pathways, a relevant step is finding steady-state solutions for ODE systems that describe the kinetics of a set of chemical reactions, especially sets composed of zero, first, and second-order reactions. To compute a steady-state solution, one must set the left-hand side of each ODE as zero, hence obtaining a system of non-negative, quadratic polynomial equations. If all second-order reactions are homogeneous in respect to their reactants, then the obtained quadratic polynomial equation system will also have univariate monomials. Although it is a well-known fact that finding a root of a quadratic polynomial equation system is a NP-hard problem, it is not so easy to find a readily available proof of NP-hardness for special cases like the aforementioned one. Therefore, we provide here a self-contained proof that finding a root of non-negative, with univariate monomials quadratic polynomial equation system (NUMQ-PES) is NP-hard. This result implies that finding steady-state solutions for ODE systems of zero, first and homogeneous second-order chemical reactions is a NP-hard problem; hence, it is not a feasible approach to approximate non-homogeneous second-order reactions into homogeneous ones.


title: Counting Extended Irreducible Goppa Codes

abstract: We obtain an upper bound on the number of extended irreducible q-ary Goppa codes of degree $r$ and length $q^n+1$, where $q=p^t$ and $n$ and $r>2$ are prime numbers.


title: Photon correlations in both time and frequency

abstract: We summarise the main results that follow from our theory of frequency- and time-resolved photon correlations, which provides exact computations in nontrivial systems. We illustrate the theory with original results as interesting cases can be picked up from the endless configurations that abound in any quantum optical system. In particular, we compare our exact results with previous approximations, upgrade correlations to the case of photon bundles as otherwise no clear physical picture emerge, highlight the interest of measuring away from the peaks in rich landscapes of correlations and emphasize the joint time and frequency aspect of our theory.


title: Effects of CSI Knowledge on Secrecy of Threshold-Selection Decode-and-Forward Relaying

abstract: This paper considers secrecy of a three node cooperative wireless system in the presence of a passive eavesdropper. The threshold-selection decode-and-forward (DF) relay is considered, which can decode the source message correctly only if a predefined signal-to-noise ratio (SNR) is achieved. The effects of channel state information (CSI) availability on secrecy outage probability (SOP) and ergodic secrecy rate (ESR) are investigated, and closed-form expressions are derived. Diversity is achieved from the direct and relaying paths both at the destination and at the eavesdropper by combinations of maximal-ratio combining (MRC) and selection combining (SC) schemes. An asymptotic analysis is provided when each hop SNR is the same in the balanced case and when it is different in the unbalanced case. The analysis shows that both hops can be a bottleneck for secure communication; however, they do not affect the secrecy identically. While it is observed that CSI knowledge can improve secrecy, the amount of improvement for SOP is more when the required rate is low and for ESR when the operating SNR is also low. It is also shown that the source to eavesdropper link SNR is more crucial for secure communication.


title: Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets

abstract: We consider the stability and the input-output analysis problems of a class of large-scale hybrid systems composed of continuous dynamics coupled with discrete dynamics defined over finite alphabets, e.g., deterministic finite state machines (DFSMs). This class of hybrid systems can be used to model physical systems controlled by software. For such classes of systems, we use a method based on dissipativity theory for compositional analysis that allows us to study stability, passivity and input-output norms. We show that the certificates of the method based on dissipativity theory can be computed by solving a set of semi-definite programs. Nonetheless, the formulation based on semi-definite programs become computationally intractable for relatively large number of discrete and continuous states. We demonstrate that, for systems with large number of states consisting of an interconnection of smaller hybrid systems, accelerated alternating method of multipliers can be used to carry out the computations in a scalable and distributed manner. The proposed methodology is illustrated by an example of a system with 60 continuous states and 18 discrete states.


title: Phase-stabilized 100 mW frequency comb near 10 {\mu}m

abstract: Long-wavelength mid-infrared frequency combs with high power and flexible tunability are highly desired for molecular spectroscopy, including investigation of large molecules such as C60. We present a high power, phase-stabilized frequency comb near 10 {\mu}m, generated by a synchronously-pumped, singly-resonant optical parametric oscillator (OPO) based on AgGaSe2. The OPO can be continuously tuned from 8.4 to 9.5 {\mu}m, with a maximum average idler power of 100 mW at the center wavelength of 8.5 {\mu}m. Both the repetition rate (frep) and the carrier-envelop offset frequency (fceo) of the idler wave are phase-locked to microwave signals referenced to a Cs clock. We describe the detailed design and construction of the frequency comb, and discuss potential applications for precise and sensitive direct frequency comb spectroscopy.


title: Constraining the $R$-symmetric chargino NLSP at the LHC

abstract: We present a phenomenological study of Dirac electroweakinos in a $U(1)_R$ extension of the MSSM with a strictly $R$-symmetric Higgs sector (MRSSM) and gauge-mediated supersymmetry breaking. One of the distinguishing features of the MRSSM is that the lightest chargino can be lighter than the lightest neutralino. Decays from the NLSP chargino to the gravitino LSP will produce exotic signals. We apply LHC-13 mass limits from both prompt and long-lived searches to the chargino NLSP regime of the MRSSM. Imposing the additional constraints coming from the 125 GeV Higgs and from the electroweak sector, regions of the parameter space are found where the gravitino LSP, chargino NLSP scenario survives all current bounds. We also show that the fine-tuning of the model can reach a level slightly better than sub-percent with our choice of parameters.


title: Inhomogeneous Initial Data and Small-Field Inflation

abstract: We consider the robustness of small-field inflation in the presence of scalar field inhomogeneities. Previous numerical work has shown that if the scalar potential is flat only over a narrow interval, such as in commonly considered inflection-point models, even small-amplitude inhomogeneities present at the would-be onset of inflation at $\tau = \tau_i$ can disrupt the accelerated expansion. In this paper, we parametrise and evolve the inhomogeneities from an earlier time $\tau_{IC}$ at which the initial data were imprinted, and show that for a broad range of inflationary and pre-inflationary models, inflection-point inflation withstands initial inhomogeneities. We consider three classes of perturbative pre-inflationary solutions (corresponding to energetic domination by the scalar field kinetic term, a relativistic fluid, and isotropic negative curvature), and two classes of exact solutions to Einstein's equations with large inhomogeneities (corresponding to a stiff fluid with cylindrical symmetry, and anisotropic negative curvature). We derive a stability condition that depends on the Hubble scales $H(\tau_ i)$ and $H(\tau_{IC})$, and a few properties of the pre-inflationary cosmology. For initial data imprinted at the Planck scale, the absence of an inhomogeneous initial data problem for inflection-point inflation leads to a novel, lower limit on the tensor-to-scalar ratio.


title: Incremental selective decode-and-forward relaying for power line communication

abstract: In this paper, an incremental selective decode-and-forward (ISDF) relay strategy is proposed for power line communication (PLC) systems to improve the spectral efficiency. Traditional decode-and-forward (DF) relaying employs two time slots by using half-duplex relays which significantly reduces the spectral efficiency. The ISDF strategy utilizes the relay only if the direct link quality fails to attain a certain information rate, thereby improving the spectral efficiency. The path gain is assumed to be log-normally distributed with very high distance dependent signal attenuation. Furthermore, the additive noise is modeled as a Bernoulli-Gaussian process to incorporate the effects of impulsive noise contents. Closed-form expressions for the outage probability and the fraction of times the relay is in use, and an approximate closed-form expression for the average bit error rate (BER) are derived for the binary phase-shift keying signaling scheme. We observe that the fraction of times the relay is in use can be significantly reduced compared to the traditional DF strategy. It is also observed that at high transmit power, the spectral efficiency increases while the average BER decreases with increase in the required rate.


title: Ph.D. Thesis-Martingale Hardy spaces and summability of the one dimensional Vilenkin-Fourier series

abstract: In this PhD thesis we discuss, develop and apply this fascinating theory connected to modern harmonic analysis. In particular we make new estimations of Vilenkin-Fourier coefficients and prove some new results concerning boundedness of maximal operators of partial sums. Moreover, we derive necessary and sufficient conditions for the modulus of continuity so that norm convergence of the partial sums is valid and develop new methods to prove Hardy type inequalities for the partial sums with respect to the Vilenkin systems. We also do the similar investigation for the Fej\'er means. Furthermore, we investigate some N\"orlund means but only in the case when their coefficients are monotone. Some well-know examples of N\"orlund means are Fej\'er means, Ces\`aro means and N\"orlund logarithmic means. In addition, we consider Riesz logarithmic means, which are not example of N\"orlund means. It is also proved that these results are the best possible in a special sense. As applications both some well-known and new results are pointed out.


title: GelSlim: A High-Resolution, Compact, Robust, and Calibrated Tactile-sensing Finger

abstract: This work describes the development of a high-resolution tactile-sensing finger for robot grasping. This finger, inspired by previous GelSight sensing techniques, features an integration that is slimmer, more robust, and with more homogeneous output than previous vision-based tactile sensors. To achieve a compact integration, we redesign the optical path from illumination source to camera by combining light guides and an arrangement of mirror reflections. We parameterize the optical path with geometric design variables and describe the tradeoffs between the finger thickness, the depth of field of the camera, and the size of the tactile sensing area. The sensor sustains the wear from continuous use -- and abuse -- in grasping tasks by combining tougher materials for the compliant soft gel, a textured fabric skin, a structurally rigid body, and a calibration process that maintains homogeneous illumination and contrast of the tactile images during use. Finally, we evaluate the sensor's durability along four metrics that track the signal quality during more than 3000 grasping experiments.


title: Analytical Models of Exoplanetary Atmospheres. V. Non-gray Thermal Structure with Coherent Scattering

abstract: We apply the picket fence treatment to model the effects brought about by spectral lines on the thermal structure of irradiated atmospheres. The lines may be due to purely absorption processes, purely coherent scattering processes or some combination of absorption and scattering. If the lines arise as a pure absorption process, the surface layers of the atmosphere are cooler whereas this surface cooling is completely absent if the lines are due to pure coherent isotropic scattering. The lines also lead to a warming of the deeper atmosphere. The warming of the deeper layers is, however, independent of the nature of line formation. Accounting for coherent isotropic scattering in the shortwave and longwave continuum results in anti-greenhouse cooling and greenhouse warming on an atmosphere-wide scale. The effects of coherent isotropic scattering in the line and continuum operate in tandem to determine the resulting thermal structure of the irradiated atmosphere.


title: Non-Causal Propagation for Higher-Order Interactions of Torsion with Spinor Fields

abstract: We consider field equations of spinors with torsional interactions having higher-order dimension: by applying the Velo-Zwanziger method, we obtain that it is always possible to find situations where the propagation is affected by non-causal behaviour.


title: Relay Selection to Improve Secrecy in Cooperative Threshold Decode-and-Forward Relaying

abstract: In this paper, relay selection is considered to enhance security of a cooperative system with multiple threshold-selection decode-and-forward (DF) relays. Threshold-selection DF relays are the relays in which a predefined signal-to-noise ratio is set for the condition of successful decoding of the source message. We focus on the practical and general scenario where the channels suffer from independent non-identical Rayleigh fading and where the direct links between the source and destination and source and eavesdropper are available. Based on channel state information knowledge, three relay selection strategies, namely traditional, improved traditional, and optimal, are studied. In particular, the secrecy outage probability of all three strategies are obtained in closed-form. It is found that the diversity of secrecy outage probability of all strategies can improve with increasing the number of relays. It is also observed that the secrecy outage probability is limited by either the source to relay or relay to destination channel quality.


title: Integrals in Gradshteyn and Ryzhik: Hyperbolic and trigonometric function

abstract: The well known table of Gradshteyn and Ryzhik contains indefinite and definite integrals of both elementary and special functions. We give proofs of several entries containing integrands with some combination of hyperbolic and trigonometric functions. In fact, we occasionally present an extension of such entries or else give alternative evaluations. We develop connections with special cases of special functions including the Hurwitz zeta function. Before concluding we mention new integrals coming from the investigation of certain elliptic functions.


title: Numerical Accuracy Comparison of Two Boundary Conditions Commonly used to Approximate Shear Stress Distributions in Tissue Engineering Scaffolds Cultured under Flow Perfusion

abstract: Flow-induced shear stresses have been found to be a stimulatory factor in pre-osteoblastic cells seeded in 3D porous scaffolds and cultured under continuous flow perfusion. However, due to the complex internal structure of the scaffolds, whole scaffold calculations of the local shear forces are computationally-intensive. Instead, representative volume elements (RVEs), which are obtained by extracting smaller portions of the scaffold, are commonly used in literature without a numerical accuracy standard. Hence, the goal of this study is to examine how closely the whole scaffold simulations are approximated by the two types of boundary conditions used to enable the RVEs: "wall boundary condition" (WBC) and "periodic boundary condition" (PBC). To that end, Lattice-Boltzmann Method fluid dynamics simulations were used to model the surface shear stresses in 3D scaffold reconstructions, obtained from high resolution microcomputed tomography images. It was found that despite the RVEs being sufficiently larger than 6 times the scaffold pore size (which is the only accuracy guideline found in literature), the stresses were still significantly under-predicted by both types of boundary conditions: between 20 and 80% average error, depending on the scaffold's porosity. Moreover, it was found that the error grew with higher porosity. This is likely due to the small pores dominating the flow field, and thereby negating the effects of the unrealistic boundary conditions, when the scaffold porosity is small. Finally, it was found that the PBC was always more accurate and computationally efficient than the WBC. Therefore, it is the recommended type of RVE. Overall, this work provides a previously-unavailable guidance to researchers regarding the best choice of boundary conditions for RVE simulations.


title: The journey of Typhon-Echidna as a binary system through the planetary region

abstract: Among the current population of the 81 known trans-Neptunian binaries (TNBs), only two are in orbits that cross the orbit of Neptune. These are (42355) Typhon-Echidna and (65489) Ceto-Phorcys. In the present work, we focused our analyses on the temporal evolution of the Typhon-Echidna binary system through the outer and inner planetary systems. Using numer- ical integrations of the N-body gravitational problem, we explored the orbital evolutions of 500 clones of Typhon, recording the close encounters of those clones with planets. We then analysed the effects of those encounters on the binary system. It was found that only 22% of the encounters with the giant planets were strong enough to disrupt the binary. This binary system has an ~3.6% probability of reaching the terrestrial planetary region over a time scale of approximately 5.4 Myr. Close encounters of Typhon-Echidna with Earth and Venus were also registered, but the probabilities of such events occurring are low (~0.4%). The orbital evolution of the system in the past was also investigated. It was found that in the last 100 Myr, Typhon might have spent most of its time as a TNB crossing the orbit of Neptune. Therefore, our study of the Typhon-Echidna orbital evolution illustrates the possibility of large cometary bodies (radii of 76 km for Typhon and 42 km for Echidna) coming from a remote region of the outer Solar System and that might enter the terrestrial planetary region preserving its binarity throughout the journey.


title: Bulk Fermi surfaces of the Dirac Type-II Semimetallic Candidates VAl3, NbAl3 and TaAl3

abstract: We report a de Haas-van Alphen (dHvA) effect study on the Dirac type-II semimetallic candidates \emph{M}Al$_3$ (where, \emph{M} = V, Nb and Ta). The angular-dependence of their Fermi surface (FS) cross-sectional areas reveals a remarkably good agreement with first-principle calculations. Therefore, dHvA supports the existence of tilted Dirac cones with Dirac type-II nodes located at 100, 230 and 250 meV above the Fermi level $\varepsilon_F$ for VAl$_3$, NbAl$_3$ and TaAl$_3$ respectively, in agreement with the prediction of broken Lorentz invariance in these compounds. However, for all three compounds we find that the cyclotron orbits on their FSs, including an orbit nearly enclosing the Dirac type-II node, yield trivial Berry phases. We explain this $via$ an analysis of the Berry phase where the position of this orbit, relative to the Dirac node, is adjusted within the error implied by the small disagreement between our calculations and the experiments. We suggest that a very small amount of doping could displace $\varepsilon_F$ to produce topologically non-trivial orbits encircling their Dirac node(s).


title: Secrecy performance of dual-hop threshold relaying system with diversity reception

abstract: In this paper, the secrecy of a cooperative system consisting of a single source, relay, destination and eavesdropper is analyzed. The threshold-selection decode-and-forward relay is considered, where the relay can correctly decode and forward only if it satisfies a threshold signal-to-noise ratio (SNR). Both destination and eavesdropper take advantage of the direct and relayed transmissions through maximal ratio diversity combining. The secrecy outage probability (SOP) and ergodic secrecy rate are derived in closed-form for different channel state information (CSI) availability. It was observed that when the required rate is low, having CSI knowledge is more advantageous than in the case of higher rate. An increase in the required threshold SNR at the relay can increase the SOP if the relayed link SNR is relatively higher than the direct link SNR. It was also shown that SOP cannot be improved beyond a certain value when keeping either dual-hop link average SNR fixed and increasing the other link SNR, whereas the ergodic secrecy rate can be increased by keeping the source to destination average SNR fixed.


title: Sharp Entropy Bounds for Self-Shrinkers in Mean Curvature Flow

abstract: Let $M\subset {\mathbf R}^{m+1}$ be a smooth, closed, codimension-one self-shrinker (for mean curvature flow) with nontrivial $k^{\rm th}$ homology. We show that the entropy of $M$ is greater than or equal to the entropy of a round $k$-sphere, and that if equality holds, then $M$ is a round $k$-sphere in ${\mathbf R}^{k+1}$.


title: Fast and accurate computation of orthogonal moments for texture analysis

abstract: In this work we describe a fast and stable algorithm for the computation of the orthogonal moments of an image. Indeed, orthogonal moments are characterized by a high discriminative power, but some of their possible formulations are characterized by a large computational complexity, which limits their real-time application. This paper describes in detail an approach based on recurrence relations, and proposes an optimized Matlab implementation of the corresponding computational procedure, aiming to solve the above limitations and put at the community's disposal an efficient and easy to use software. In our experiments we evaluate the effectiveness of the recurrence formulation, as well as its performance for the reconstruction task, in comparison to the closed form representation, often used in the literature. The results show a sensible reduction in the computational complexity, together with a greater accuracy in reconstruction. In order to assess and compare the accuracy of the computed moments in texture analysis, we perform classification experiments on six well-known databases of texture images. Again, the recurrence formulation performs better in classification than the closed form representation. More importantly, if computed from the GLCM of the image using the proposed stable procedure, the orthogonal moments outperform in some situations some of the most diffused state-of-the-art descriptors for texture classification.


title: Analysis of the Common Emitter Amplifier Taking into Account Transistor Non-Linearity

abstract: The operation of a typical common emitter amplifier, including negative feedback, is studied taking into account the non-linearity characteristic of real-world transistors. This has been accomplished by employing a recently proposed Early modeling approach, which allowed the analytical equations to be obtained describing the current and voltage behavior in the adopted common emitter circuit. Average and dispersion (coefficient of variation) of the current and voltage gains can then be calculated and used to characterize the common emitter amplification while reflecting the transistor non-linearity. Several interesting results were obtained, including the fact that the negative feedback provided by the emitter resistance is not capable of completely eliminating effects of parameters differences exhibited by transistors. Importantly, transistors with larger Early voltage $V_a$ magnitudes tended to provide significantly enhanced linearity even when substantial negative feedback is used. These results motivates customized design, implementation and application approaches taking into account the parameters of the available devices.


title: Power-law Interpolation of AC-DC Differences

abstract: In this work we present a general method, commonly applied to the numerical analysis of stochastic models, to interpolate AC-DC differences (usually denoted by the greek letter $\delta$) between calibration points in thermal transfer standards. This method assigns a power-law behaviour to AC-DC differences, solely under the assumption that $\delta$ must be some smooth-varying function of voltage and frequency. We argue it may be straightfowardly applied to all working ranges of the standards, with no distinction.


title: Re-examination of Bregman functions and new properties of their divergences

abstract: The Bregman divergence (Bregman distance, Bregman measure of distance) is a certain useful substitute for a distance, obtained from a well-chosen function (the "Bregman function"). Bregman functions and divergences have been extensively investigated during the last decades and have found applications in optimization, operations research, information theory, nonlinear analysis, machine learning and more. This paper re-examines various aspects related to the theory of Bregman functions and divergences. In particular, it presents many sufficient conditions which allow the construction of Bregman functions in a general setting and introduces new Bregman functions (such as a negative iterated log entropy). Moreover, it sheds new light on several known Bregman functions such as quadratic entropies, the negative Havrda-Charv\'at-Tsallis entropy, and the negative Boltzmann-Gibbs-Shannon entropy, and it shows that the negative Burg entropy, which is not a Bregman function according to the classical theory but nevertheless is known to have "Bregmanian properties", can, by our re-examination of the theory, be considered as a Bregman function. Our analysis yields several by-products of independent interest such as the introduction of the concept of relative uniform convexity (a certain generalization of uniform convexity), new properties of uniformly and strongly convex functions, and results in Banach space theory.

categories: math.OC cs.IT math.IT physics.data-an stat.ML


title: Efficient high order algorithms for fractional integrals and fractional differential equations

abstract: We propose an efficient algorithm for the approximation of fractional integrals by using Runge--Kutta based convolution quadrature. The algorithm is based on a novel integral representation of the convolution weights and a special quadrature for it. The resulting method is easy to implement, allows for high order, relies on rigorous error estimates and its performance in terms of memory and computational cost is among the best to date. Several numerical results illustrate the method and we describe how to apply the new algorithm to solve fractional diffusion equations. For a class of fractional diffusion equations we give the error analysis of the full space-time discretization obtained by coupling the FEM method in space with Runge--Kutta based convolution quadrature in time.


title: How strong are correlations in strongly recurrent neuronal networks?

abstract: Cross-correlations in the activity in neural networks are commonly used to characterize their dynamical states and their anatomical and functional organizations. Yet, how these latter network features affect the spatiotemporal structure of the correlations in recurrent networks is not fully understood. Here, we develop a general theory for the emergence of correlated neuronal activity from the dynamics in strongly recurrent networks consisting of several populations of binary neurons. We apply this theory to the case in which the connectivity depends on the anatomical or functional distance between the neurons. We establish the architectural conditions under which the system settles into a dynamical state where correlations are strong, highly robust and spatially modulated. We show that such strong correlations arise if the network exhibits an effective feedforward structure. We establish how this feedforward structure determines the way correlations scale with the network size and the degree of the connectivity. In networks lacking an effective feedforward structure correlations are extremely small and only weakly depend on the number of connections per neuron. Our work shows how strong correlations can be consistent with highly irregular activity in recurrent networks, two key features of neuronal dynamics in the central nervous system.

categories: q-bio.NC cond-mat.dis-nn nlin.CD physics.bio-ph


title: Generalized dunce hats are not splittable

abstract: A \emph{generalized dunce hat} is a 2-dimensional polyhedron created by attaching the boundary of a disk $\Delta$ to a circle $J$ via a map $f:\partial \Delta \to J$ with the property that there is a point $v \in J$ such that $f^{-1}(\{v\})$ is a finite set containing at least 3 points and $f$ maps each component of $\partial \Delta - f^{-1}(\{v\})$ homeomorphically onto $J - \{v\}.$ \textbf{Theorem:} No generalized dunce hat is the union of two proper subpolyhedra that each have finite first homology groups. This result undermines a strategy for proving that the interior of the Mazur compact contractible 4-manifold M is \emph{splittable in the sense of Gabai} (i.e., $\intr(M) = U \cup V$ where $U,$ $V$ and $U \cap V$ are each homeomorphic to Euclidean 4-space).


title: Distribution of Magnetic Dipole Strength -Binning

abstract: In previous works we examined the systematics of magnetic dipole transitions in a single j shell. We here extend the study to large space calculations. We consider Ti and Cr isotopes.. In this work we focus on the B(M1) strength as a function of excitation of energy. The initial state is the lowest J= state. T=1 state in a specified nucleus. The final states are J=0 T=2 , all in one plot, and J=2 T=2 in another. The initial figures have points all over the map although there is a suggestion of an exponential trend. To reduce clutter we perform binning operations in which the summed strength in a given energy interval is represented by a single point. The new binning curves show more clearly the exponential fall of B(M1)'s with energy.


title: Data mining for detecting Bitcoin Ponzi schemes

abstract: Soon after its introduction in 2009, Bitcoin has been adopted by cyber-criminals, which rely on its pseudonymity to implement virtually untraceable scams. One of the typical scams that operate on Bitcoin are the so-called Ponzi schemes. These are fraudulent investments which repay users with the funds invested by new users that join the scheme, and implode when it is no longer possible to find new investments. Despite being illegal in many countries, Ponzi schemes are now proliferating on Bitcoin, and they keep alluring new victims, who are plundered of millions of dollars. We apply data mining techniques to detect Bitcoin addresses related to Ponzi schemes. Our starting point is a dataset of features of real-world Ponzi schemes, that we construct by analysing, on the Bitcoin blockchain, the transactions used to perform the scams. We use this dataset to experiment with various machine learning algorithms, and we assess their effectiveness through standard validation protocols and performance metrics. The best of the classifiers we have experimented can identify most of the Ponzi schemes in the dataset, with a low number of false positives.


title: Template-assisted scalable nanowire networks

abstract: Topological qubits based on Majorana fermions have the potential to revolutionize the emerging field of quantum computing by making information processing significantly more robust to decoherence. Nanowires (NWs) are a promising medium for hosting these kinds of qubits, though branched NWs are needed to perform qubit manipulations. Here we report gold-free templated growth of III-V NWs by molecular beam epitaxy using an approach that enables patternable and highly regular branched NW arrays on a far greater scale than what has been reported thus far. Our approach relies on the lattice-mismatched growth of InAs on top of defect-free GaAs nanomembranes (NMs) yielding laterally-oriented, low-defect InAs and InGaAs NWs whose shapes are determined by surface and strain energy minimization. By controlling NM width and growth time, we demonstrate the formation of compositionally graded NWs with cross-sections less than 50 nm. Scaling the NWs below 20 nm leads to the formation of homogenous InGaAs NWs which exhibit phase-coherent, quasi-1D quantum transport as shown by magnetoconductance measurements. These results are an important advance towards scalable topological quantum computing.


title: Uniform large deviation principles for Banach space valued stochastic differential equations

abstract: We prove a large deviation principle (LDP) for a general class of Banach space valued stochastic differential equations (SDE) that is uniform with respect to initial conditions in bounded subsets of the Banach space. A key step in the proof is showing that a uniform large deviation principle over compact sets is implied by a uniform over compact sets Laplace principle. Because bounded subsets of infinite dimensional Banach spaces are in general not relatively compact in the norm topology, we embed the Banach space into its double dual and utilize the weak-$\star $ compactness of closed bounded sets in the double dual space. We prove that a modified version of our stochastic differential equation satisfies a uniform Laplace principle over weak-$\star $ compact sets and consequently a uniform over bounded sets large deviation principle. We then transfer this result back to the original equation using a contraction principle. The main motivation for this uniform LDP is to generalize results of Freidlin and Wentzell concerning the behavior of finite dimensional SDEs. Here we apply the uniform LDP to study the asymptotics of exit times from bounded sets of Banach space valued small noise SDE, including reaction diffusion equations with multiplicative noise and $2$-dimensional stochastic Navier-Stokes equations with multiplicative noise.


title: Wilson loop and its correlators in the limit of large coupling constant

abstract: In this paper we study Wilson loops in various representations for finite and large values of the color gauge group for supersymmetric ${\cal N}=4$ gauge theories. We also compute correlators of Wilson loops in different representations and perform a check with the dual gravitational theory.


title: Kernel Embedding Approaches to Orbit Determination of Spacecraft Clusters

abstract: This paper presents a novel formulation and solution of orbit determination over finite time horizons as a learning problem. We present an approach to orbit determination under very broad conditions that are satisfied for n-body problems. These weak conditions allow us to perform orbit determination with noisy and highly non-linear observations such as those presented by range-rate only (Doppler only) observations. We show that domain generalization and distribution regression techniques can learn to estimate orbits of a group of satellites and identify individual satellites especially with prior understanding of correlations between orbits and provide asymptotic convergence conditions. The approach presented requires only visibility and observability of the underlying state from observations and is particularly useful for autonomous spacecraft operations using low-cost ground stations or sensors. We validate the orbit determination approach using observations of two spacecraft (GRIFEX and MCubed-2) along with synthetic datasets of multiple spacecraft deployments and lunar orbits. We also provide a comparison with the standard techniques (EKF) under highly noisy conditions.


title: Static and Dynamic Robust PCA and Matrix Completion: A Review

abstract: Principal Components Analysis (PCA) is one of the most widely used dimension reduction techniques. Robust PCA (RPCA) refers to the problem of PCA when the data may be corrupted by outliers. Recent work by Cand{\`e}s, Wright, Li, and Ma defined RPCA as a problem of decomposing a given data matrix into the sum of a low-rank matrix (true data) and a sparse matrix (outliers). The column space of the low-rank matrix then gives the PCA solution. This simple definition has lead to a large amount of interesting new work on provably correct, fast, and practical solutions to RPCA. More recently, the dynamic (time-varying) version of the RPCA problem has been studied and a series of provably correct, fast, and memory efficient tracking solutions have been proposed. Dynamic RPCA (or robust subspace tracking) is the problem of tracking data lying in a (slowly) changing subspace while being robust to sparse outliers. This article provides an exhaustive review of the last decade of literature on RPCA and its dynamic counterpart (robust subspace tracking), along with describing their theoretical guarantees, discussing the pros and cons of various approaches, and providing empirical comparisons of performance and speed. A brief overview of the (low-rank) matrix completion literature is also provided (the focus is on works not discussed in other recent reviews). This refers to the problem of completing a low-rank matrix when only a subset of its entries are observed. It can be interpreted as a simpler special case of RPCA in which the indices of the outlier corrupted entries are known.


title: Q#: Enabling scalable quantum computing and development with a high-level domain-specific language

abstract: Quantum computing exploits quantum phenomena such as superposition and entanglement to realize a form of parallelism that is not available to traditional computing. It offers the potential of significant computational speed-ups in quantum chemistry, materials science, cryptography, and machine learning. The dominant approach to programming quantum computers is to provide an existing high-level language with libraries that allow for the expression of quantum programs. This approach can permit computations that are meaningless in a quantum context; prohibits succinct expression of interaction between classical and quantum logic; and does not provide important constructs that are required for quantum programming. We present Q#, a quantum-focused domain-specific language explicitly designed to correctly, clearly and completely express quantum algorithms. Q# provides a type system, a tightly constrained environment to safely interleave classical and quantum computations; specialized syntax, symbolic code manipulation to automatically generate correct transformations of quantum operations, and powerful functional constructs which aid composition.


title: Semi-parametric Topological Memory for Navigation

abstract: We introduce a new memory architecture for navigation in previously unseen environments, inspired by landmark-based navigation in animals. The proposed semi-parametric topological memory (SPTM) consists of a (non-parametric) graph with nodes corresponding to locations in the environment and a (parametric) deep network capable of retrieving nodes from the graph based on observations. The graph stores no metric information, only connectivity of locations corresponding to the nodes. We use SPTM as a planning module in a navigation system. Given only 5 minutes of footage of a previously unseen maze, an SPTM-based navigation agent can build a topological map of the environment and use it to confidently navigate towards goals. The average success rate of the SPTM agent in goal-directed navigation across test environments is higher than the best-performing baseline by a factor of three. A video of the agent is available at https://youtu.be/vRF7f4lhswo


title: Simulating para-Fermi oscillators

abstract: Quantum mechanics allows for a consistent formulation of particles that are neither bosons nor fermions. These para-particles are rather indiscernible in nature. Recently, we showed that strong coupling between a qubit and two field modes is required to simulate even order para-Bose oscillators. Here, we show that finite-dimensional representations of even order para-Fermi oscillators are feasible of quantum simulation under weak coupling. This opens the door to their potential implementation in different contemporaneous quantum electrodynamics platforms. We emphasize the intrinsic value of para-particles for the quantum state engineering of bichromatic field modes. In particular, we demonstrate that binomial two field mode states result from the evolution of para-Fermi vacuum states in the quantum simulation of these oscillators.


title: Memoryless Determinacy of Infinite Parity Games: Another Simple Proof

abstract: In 1998 Zielonka simplified the proofs of memoryless determinacy of infinite parity games. In 2018 Haddad simplified some proofs of memoryless determinacy of finite parity games. This article adapts Haddad's technique for infinite parity games. Two proofs are given, a shorter one and a more constructive one. None of them uses Zielonka's traps and attractors.


title: Properties of the Top Quark

abstract: The top quark is the heaviest known elementary particle, and it is often seen as a window to search for new physics processes in particle physics. A large program to study the top-quark properties has been performed both at the Tevatron and LHC colliders by the D0, CDF, ATLAS and CMS experiments. The most recent results are discussed in this review.


title: Evolutionary Generative Adversarial Networks

abstract: Generative adversarial networks (GAN) have been effective for learning generative models for real-world data. However, existing GANs (GAN and its variants) tend to suffer from training problems such as instability and mode collapse. In this paper, we propose a novel GAN framework called evolutionary generative adversarial networks (E-GAN) for stable GAN training and improved generative performance. Unlike existing GANs, which employ a pre-defined adversarial objective function alternately training a generator and a discriminator, we utilize different adversarial training objectives as mutation operations and evolve a population of generators to adapt to the environment (i.e., the discriminator). We also utilize an evaluation mechanism to measure the quality and diversity of generated samples, such that only well-performing generator(s) are preserved and used for further training. In this way, E-GAN overcomes the limitations of an individual adversarial training objective and always preserves the best offspring, contributing to progress in and the success of GANs. Experiments on several datasets demonstrate that E-GAN achieves convincing generative performance and reduces the training problems inherent in existing GANs.


title: Moments of Interference in Vehicular Networks with Hardcore Headway Distance

abstract: Interference statistics in vehicular networks have long been studied using the Poisson Point Process (PPP) for the locations of vehicles. In roads with few number of lanes and restricted overtaking, this model becomes unrealistic because it assumes that the vehicles can come arbitrarily close to each other. In this paper, we model the headway distance (the distance between the head of a vehicle and the head of its follower) equal to the sum of a constant hardcore distance and an exponentially distributed random variable. We study the mean, the variance and the skewness of interference at the origin with this deployment model. Even though the pair correlation function becomes complicated, we devise simple formulae to capture the impact of hardcore distance on the variance of interference in comparison with a PPP model of equal intensity. In addition, we study the extreme scenario where the interference originates from a lattice. We show how to relate the variance of interference due to a lattice to that of a PPP under Rayleigh fading.


title: On the number of generalized Sidon sets

abstract: A set $A$ of nonnegative integers is called a Sidon set if there is no Sidon 4-tuple, i.e., $(a,b,c,d)$ in $A$ with $a+b=c+d$ and $\{a, b\}\cap \{c, d\}=\emptyset$. Cameron and Erd\H os proposed the problem of determining the number of Sidon sets in $[n]$. Results of Kohayakawa, Lee, R\" odl and Samotij, and Saxton and Thomason has established that the number of Sidon sets is between $2^{(1.16+o(1))\sqrt{n}}$ and $2^{(6.442+o(1))\sqrt{n}}$. An $\alpha$-generalized Sidon set in $[n]$ is a set with at most $\alpha$ Sidon 4-tuples. One way to extend the problem of Cameron and Erd\H os is to estimate the number of $\alpha$-generalized Sidon sets in $[n]$. We show that the number of $(n/\log^4 n)$-generalized Sidon sets in $[n]$ with additional restrictions is $2^{\Theta(\sqrt{n})}$. In particular, the number of $(n/\log^5 n)$-generalized Sidon sets in $[n]$ is $2^{\Theta(\sqrt{n})}$. Our approach is based on some variants of the graph container method.


title: Optimal Distributed Energy Resources Sizing for Commercial Building Hybrid Microgrids

abstract: As microgrids have advanced from early prototypes to relatively mature technologies, converting data center integrated commercial buildings to microgrids provides economic, reliability and resiliency enhancements for the building owners. Thus, microgrid design and economically sizing distributed energy resources (DER) are becoming more demanding to gain widespread microgrids commercial viability. In this paper, an optimal DER sizing formulation for a hybrid AC/DC microgrid configuration has been proposed to leverage all benefits that AC or DC microgrid could solely contribute. Energy storage (ES), photovoltaics (PV) and power electronics devices are coordinately sized for economic grid-connected and reliable islanded operations. Time-of-use (TOU) energy usages charges and peak demand charges are explicitly modeled to achieve maximum level of cost savings. Numerical results obtained from a real commercial building load demonstrate the benefits of the proposed approach and the importance of jointly sizing DER for the grid-connected and islanded modes.


title: Dark energy from $\alpha$-attractors: phenomenology and observational constraints

abstract: The possibility of linking inflation and late cosmic accelerated expansion using the $\alpha$-attractor models has received increasing attention due to their physical motivation. In the early universe, $\alpha$-attractors provide an inflationary mechanism compatible with Planck satellite CMB observations and predictive for future gravitational wave CMB modes. Additionally $\alpha$-attractors can be written as quintessence models with a potential that connects a power law regime with a plateau or uplifted exponential, allowing a late cosmic accelerated expansion that can mimic behavior near a cosmological constant. In this paper we study a generalized dark energy $\alpha$-attractor model. We thoroughly investigate its phenomenology, including the role of all model parameters and the possibility of large-scale tachyonic instability clustering. We verify the relation that $1+w\sim 1/\alpha$ (while the gravitational wave power $r\sim\alpha$) so these models predict that a signature should appear in either the primordial B-modes or in late time deviation from a cosmological constant. We constrain the model parameters with current datasets, including the cosmic microwave background (Planck 2015 angular power spectrum, polarization and lensing), baryon acoustic oscillations (BOSS DR12) and supernovae (Pantheon compressed). Our results show that expansion histories close to a cosmological constant exist in large regions of the parameter space, not requiring a fine-tuning of the parameters or initial conditions.


title: Beta equilibrium in neutron star mergers

abstract: We show that the commonly used criterion for beta equilibrium in neutrino-transparent dense nuclear matter becomes invalid as temperatures rise above 1 MeV. Such temperatures are attained in neutron star mergers. By numerically computing the relevant weak interaction rates we find that the correct criterion for beta equilibrium requires an isospin chemical potential that can be as large as 10-20 MeV, depending on the temperature at which neutrinos become trapped.


title: SD-CNN: a Shallow-Deep CNN for Improved Breast Cancer Diagnosis

abstract: Breast cancer is the second leading cause of cancer death among women worldwide. Nevertheless, it is also one of the most treatable malignances if detected early. Screening for breast cancer with digital mammography (DM) has been widely used. However it demonstrates limited sensitivity for women with dense breasts. An emerging technology in the field is contrast-enhanced digital mammography (CEDM), which includes a low energy (LE) image similar to DM, and a recombined image leveraging tumor neoangiogenesis similar to breast magnetic resonance imaging (MRI). CEDM has shown better diagnostic accuracy than DM. While promising, CEDM is not yet widely available across medical centers. In this research, we propose a Shallow-Deep Convolutional Neural Network (SD-CNN) where a shallow CNN is developed to derive "virtual" recombined images from LE images, and a deep CNN is employed to extract novel features from LE, recombined or "virtual" recombined images for ensemble models to classify the cases as benign vs. cancer. To evaluate the validity of our approach, we first develop a deep-CNN using 49 CEDM cases collected from Mayo Clinic to prove the contributions from recombined images for improved breast cancer diagnosis (0.86 in accuracy using LE imaging vs. 0.90 in accuracy using both LE and recombined imaging). We then develop a shallow-CNN using the same 49 CEDM cases to learn the nonlinear mapping from LE to recombined images. Next, we use 69 DM cases collected from the hospital located at Zhejiang University, China to generate "virtual" recombined images. Using DM alone provides 0.91 in accuracy, whereas SD-CNN improves the diagnostic accuracy to 0.95.


title: Planning Safe Paths through Hazardous Environments

abstract: Autonomous underwater vehicles (AUVs) are robotic platforms that are commonly used to map the sea floor, for example for benthic surveys or for naval mine countermeasures (MCM) operations. AUVs create an acoustic image of the survey area, such that objects on the seabed can be identified and, in the case of MCM, mines can be found and disposed of. The common method for creating such seabed maps is to run a lawnmower survey, which is a standard method in coverage path planning. We are interested in exploring alternate techniques for surveying areas of interest, in order to reduce mission time or assess feasible actions, such as finding a safe path through a hazardous region. In this paper, we use Gaussian Process regression to build models of seabed complexity data, obtained through lawnmower surveys. We evaluate several commonly used kernels to assess their modeling performance, which includes modeling discontinuities in the data. Our results show that an additive Mat\'ern kernel is most suitable for modeling seabed complexity data. On top of the GP model, we use adaptations of two standard path planning methods, A* and RRT*, to find safe paths for marine vessels through the modeled areas. We evaluate the planned paths and also run a vehicle dynamics simulator to assess potential performance by a marine vessel.


title: Quantum coarse-grained entropy and thermalization in closed systems

abstract: We investigate the detailed properties of Observational entropy, introduced by \v{S}afr\'{a}nek et al. [Phys. Rev. A 99, 010101 (2019)] as a generalization of Boltzmann entropy to quantum mechanics. This quantity can involve multiple coarse-grainings, even those that do not commute with each other, without losing any of its properties. It is well-defined out of equilibrium, and for some coarse-grainings it generically rises to the correct thermodynamic value even in a genuinely isolated quantum system. The quantity contains several other entropy definitions as special cases, it has interesting information-theoretic interpretations, and mathematical properties -- such as extensivity and upper and lower bounds -- suitable for an entropy. Here we describe and provide proofs for many of its properties, discuss its interpretation and connection to other quantities, and provide numerous simulations and analytic arguments supporting the claims of its relationship to thermodynamic entropy. This quantity may thus provide a clear and well-defined foundation on which to build a satisfactory understanding of the second thermodynamical law in quantum mechanics.


title: Higher order monotonicity and submodularity of influence in social networks: from local to global

abstract: Kempe, Kleinberg and Tardos (KKT) proposed the following conjecture about the general threshold model in social networks: local monotonicity and submodularity imply global monotonicity and submodularity. That is, if the threshold function of every node is monotone and submodular, then the spread function $\sigma(S)$ is monotone and submodular, where $S$ is a seed set and the spread function $\sigma(S)$ denotes the expected number of active nodes at termination of a diffusion process starting from $S$. The correctness of this conjecture has been proved by Mossel and Roch. In this paper, we first provide the concept AD-k (Alternating Difference-$k$) as a generalization of monotonicity and submodularity. Specifically, a set function $f$ is called \adk if all the $\ell$-th order differences of $f$ on all inputs have sign $(-1)^{\ell+1}$ for every $\ell\leq k$. Note that AD-1 corresponds to monotonicity and AD-2 corresponds to monotonicity and submodularity. We propose a refined version of KKT's conjecture: in the general threshold model, local AD-k implies global AD-k. The original KKT conjecture corresponds to the case for AD-2, and the case for AD-1 is the trivial one of local monotonicity implying global monotonicity. By utilizing continuous extensions of set functions as well as social graph constructions, we prove the correctness of our conjecture when the social graph is a directed acyclic graph (DAG). Furthermore, we affirm our conjecture on general social graphs when $k=\infty$.


title: Can cut generating functions be good and efficient?

abstract: Making cut generating functions (CGFs) computationally viable is a central question in modern integer programming research. One would like to find CGFs that are simultaneously good, i.e., there are good guarantees for the cutting planes they generate, and efficient, meaning that the values of the CGFs can be computed cheaply (with procedures that have some hope of being implemented in current solvers). We investigate in this paper to what extent this balance can be struck. We propose a family of CGFs which, in a sense, achieves this harmony between good and efficient. In particular, we provide a parameterized family of $b+\Z^n$ free sets to derive CGFs from and show that our proposed CGFs give a good approximation of the closure given by CGFs obtained from all maximal $b+\Z^n$ free sets and their so-called trivial liftings, and simultaneously, show that these CGFs can be computed with explicit, efficient procedures. We provide a constructive framework to identify these sets as well as computing their trivial lifting. We follow it up with computational experiments to demonstrate this and to evaluate their practical use. Our proposed family of cuts seem to give some tangible improvement on randomly generated instances compared to GMI cuts; however, in MIPLIB 3.0 instances, and vertex cover and stable problems on random graph instances, their performance is poor.


title: Electron Scattering in Time-Dependent Density Functional Theory

abstract: It was recently shown [Y. Suzuki, L. Lacombe, K. Watanabe, and N. T. Maitra, Phys. Rev. Lett. 119, 263401 (2017)] that peak and valley structures in the exact exchange-correlation potential of time-dependent density functional theory are crucial for accurately capturing time-resolved dynamics of electron scattering in a model one-dimensional system. Approximate functionals used today miss these structures and con- sequently underestimate the scattering probability. The dynamics can vary significantly depending on the choice of the initial Kohn-Sham state, and, with a judicious choice, a recently-proposed non-adiabatic ap- proximation provides extremely accurate dynamics on approach to the target but this ultimately also fails to capture reflection accurately. Here we provide more details, using a model of electron-He + as illustration, in both the inelastic and elastic regimes. In the elastic case, the time-resolved picture is contrasted with the time-independent picture of scattering, where the linear response theory of TDDFT can be used to extract transmission and reflection coefficients. Although the exact functional yields identical scattering probabil- ities when used in this way as it does in the time-resolved picture, we show that the currently-available approximate functionals do not, even when they have the correct asymptotic behavior.


title: Vertices of modules and decomposition numbers of $C_2 \wr S_n$

abstract: Given $n \in \mathbf{N},$ consider the imprimitive wreath product $C_2 \wr S_n.$ We study the structure of modules whose ordinary characters form an involution model of $FC_2 \wr S_n,$ where $F$ is a field of odd prime characteristic. We classify the vertices of these modules in this case. We then use this classification of the vertices to describe certain columns of the decomposition matrix of $C_2 \wr S_n.$


title: Vacuum energy for Yang-Mills fields in $R^d\times S^1$: One-loop, two-loop, and beyond

abstract: The vacuum energy is calculated for Yang-Mills (YM) system defined in $D$ dimensional space-time of $S^1\times R^d$ ($D=d+1$), where the possibility of the YM fields to acquire the vacuum expectation values on $S^1$ is taken into account. The vacuum energy has already been obtained to the order of one-loop in many people. Here we calculate the vacuum energy in $D$ dimensions to two-loop order. With an intention to reach higher loops, an approximation method is proposed, which is especially effective in higher dimensions. By this method, we can treat the higher-loop contributions of YM interactions as easily as we treat one-loop effect. As a check, we show reproduction of the two-loop contribution ($D$-dependence of the coefficient as well as the functional form) when the coupling constant is small. This approximation method is useful not only for the Kaluza-Klein theories but also for the finite temperature-density system (as a quark-gluon plasma).


title: On the Classification of Topological Quandles

abstract: We investigate the classification of topological quandles on some simple manifolds. Precisely we classify all Alexander quandle structures, up to isomorphism, on the real line and the unit circle. For the closed unit interval $[0, 1]$, we conjecture that there exists only one topological quandle structure on it, i.e. the trivial one. Some evidences are provided to support our conjecture.


title: Mass-dimension-one spinors in the context of non-linear cosmology

abstract: The RIM spinors (Restricted Inomata McKinley spinors) constitutes a very particular class of solutions of the non-linear Heisenberg equation. As a matter of fact, a free linear massive or even mass-less Dirac field can be decomposed into a combination of RIM spinors and such a procedure shows up to be useful to describe neutrino physics and neutrinos oscillation. In this paper we show that not only Dirac spinors but also mass-dimension-one spinors can be decomposed into a combination of non-linear Heisenberg spinors. In order to extend the analysis carried out, shedding light to explore mass-dimension-one fermions within Spinor Theory of Gravity scenario.


title: An efficient algorithm to test forcibly-connectedness of graphical degree sequences

abstract: We present an algorithm to test whether a given graphical degree sequence is forcibly connected or not and prove its correctness. We also outline the extensions of the algorithm to test whether a given graphical degree sequence is forcibly $k$-connected or not for every fixed $k\ge 2$. We show through experimental evaluations that the algorithm is efficient on average, though its worst case run time is probably exponential. We also adapt Ruskey et al's classic algorithm to enumerate zero-free graphical degree sequences of length $n$ and Barnes and Savage's classic algorithm to enumerate graphical partitions of even integer $n$ by incorporating our testing algorithm into theirs and then obtain some enumerative results about forcibly connected graphical degree sequences of given length $n$ and forcibly connected graphical partitions of given even integer $n$. Based on these enumerative results we make some conjectures such as: when $n$ is large, (1) almost all zero-free graphical degree sequences of length $n$ are forcibly connected; (2) almost none of the graphical partitions of even $n$ are forcibly connected.


title: Fractal solutions of dispersive partial differential equations on the torus

abstract: We use exponential sums to study the fractal dimension of the graphs of solutions to linear dispersive PDE. Our techniques apply to Schr\"odinger, Airy, Boussinesq, the fractional Schr\"odinger, and the gravity and gravity-capillary water wave equations. We also discuss applications to certain nonlinear dispersive equations. In particular, we obtain bounds for the dimension of the graph of the solution to cubic nonlinear Schr\"odinger and Korteweg-de Vries equations along oblique lines in space-time.


title: Nematic phase in a two-dimensional Hubbard model at weak coupling and finite temperature

abstract: We apply the self-consistent renormalized perturbation theory to the Hubbard model on the square lattice, at finite temperatures in order to study the evolution of the Fermi-surface (FS) as a function of temperature and doping. Previously, a nematic phase for the same model has been reported to appear at weak coupling near a Lifshitz transition from closed to open FS at zero temperature where the self-consistent renormalized perturbation theory was shown to be sensitive to small deformations of the FS. We find that the competition with the superconducting order leads to a maximal nematic order appearing at non-zero temperature. We explicitly observe the two competing phases near the onset of nematic instability and, by comparing the grand canonical potentials, we find that the transitions are first-order. We explain the origin of the interaction-driven spontaneous symmetry breaking to a nematic phase in a system with several symmetry-related Van Hove points and discuss the required conditions.


title: Meta-Learning for Semi-Supervised Few-Shot Classification

abstract: In few-shot classification, we are interested in learning algorithms that train a classifier from only a handful of labeled examples. Recent progress in few-shot classification has featured meta-learning, in which a parameterized model for a learning algorithm is defined and trained on episodes representing different classification problems, each with a small labeled training set and its corresponding test set. In this work, we advance this few-shot classification paradigm towards a scenario where unlabeled examples are also available within each episode. We consider two situations: one where all unlabeled examples are assumed to belong to the same set of classes as the labeled examples of the episode, as well as the more challenging situation where examples from other distractor classes are also provided. To address this paradigm, we propose novel extensions of Prototypical Networks (Snell et al., 2017) that are augmented with the ability to use unlabeled examples when producing prototypes. These models are trained in an end-to-end way on episodes, to learn to leverage the unlabeled examples successfully. We evaluate these methods on versions of the Omniglot and miniImageNet benchmarks, adapted to this new framework augmented with unlabeled examples. We also propose a new split of ImageNet, consisting of a large set of classes, with a hierarchical structure. Our experiments confirm that our Prototypical Networks can learn to improve their predictions due to unlabeled examples, much like a semi-supervised algorithm would.


title: Probing the Type-II Seesaw Mechanism through the Production of Higgs Bosons at a Lepton Collider

abstract: We investigate the production and decays of doubly-charged Higgs bosons for the Type-II seesaw mechanism at an $e^{+} e^{-}$ collider with two center of mass energies, $\sqrt{s}=380$ GeV and 3 TeV, and analyze the fully hadronic final states in detail. Lower mass ranges can be probed during the 380 GeV run of the collider, while high mass ranges, which are beyond the 13 TeV Large Hadron Collider discovery reach, can be probed with $\sqrt{s}=3$ TeV. For such a heavy Higgs boson, the final decay products are collimated, resulting in fat-jets. We perform a substructure analysis to reduce the background and find that a doubly-charged Higgs boson in the mass range 800-1120 GeV can be discovered during the 3 TeV run, with integrated luminosity $\mathcal{L} \sim 95\, \rm{fb}^{-1}$ of data. For 380 GeV center of mass energy, we find that for the doubly-charged Higgs boson in the range 160-172 GeV, a $5\sigma$ significance can be achieved with only integrated luminosity $\mathcal{L} \sim 24 \, \rm{fb}^{-1}$. Therefore, a light Higgs boson can be discovered immediately during the run of a future $e^{+} e^{-}$ collider.


title: Mirror-Prox SCA Algorithm for Multicast Beamforming and Antenna Selection

abstract: This paper considers the (NP-)hard problem of joint multicast beamforming and antenna selection. Prior work has focused on using Semi-Definite relaxation (SDR) techniques in an attempt to obtain a high quality sub-optimal solution. However, SDR suffers from the drawback of having high computational complexity, as SDR lifts the problem to higher dimensional space, effectively squaring the number of variables. This paper proposes a high performance, low complexity Successive Convex Approximation (SCA) algorithm for max-min SNR "fair" joint multicast beamforming and antenna selection under a sum power constraint. The proposed approach relies on iteratively approximating the non-convex objective with a series of non-smooth convex subproblems, and then, a first order-based method called Saddle Point Mirror-Prox (SP-MP) is used to compute optimal solutions for each SCA subproblem. Simulations reveal that the SP-MP SCA algorithm provides a higher quality and lower complexity solution compared to the one obtained using SDR.


title: Matrices with Gaussian noise: optimal estimates for singular subspace perturbation

abstract: The Davis-Kahan-Wedin $\sin \Theta$ theorem describes how the singular subspaces of a matrix change when subjected to a small perturbation. This classic result is sharp in the worst case scenario. In this paper, we prove a stochastic version of the Davis-Kahan-Wedin $\sin \Theta$ theorem when the perturbation is a Gaussian random matrix. Under certain structural assumptions, we obtain an optimal bound that significantly improves upon the classic Davis-Kahan-Wedin $\sin \Theta$ theorem. One of our key tools is a new perturbation bound for the singular values, which may be of independent interest.


title: A Tutorial on UAVs for Wireless Networks: Applications, Challenges, and Open Problems

abstract: The use of flying platforms such as unmanned aerial vehicles (UAVs), popularly known as drones, is rapidly growing. In particular, with their inherent attributes such as mobility, flexibility, and adaptive altitude, UAVs admit several key potential applications in wireless systems. On the one hand, UAVs can be used as aerial base stations to enhance coverage, capacity, reliability, and energy efficiency of wireless networks. On the other hand, UAVs can operate as flying mobile terminals within a cellular network. Such cellular-connected UAVs can enable several applications ranging from real-time video streaming to item delivery. In this paper, a comprehensive tutorial on the potential benefits and applications of UAVs in wireless communications is presented. Moreover, the important challenges and the fundamental tradeoffs in UAV-enabled wireless networks are thoroughly investigated. In particular, the key UAV challenges such as three-dimensional deployment, performance analysis, channel modeling, and energy efficiency are explored along with representative results. Then, open problems and potential research directions pertaining to UAV communications are introduced. Finally, various analytical frameworks and mathematical tools such as optimization theory, machine learning, stochastic geometry, transport theory, and game theory are described. The use of such tools for addressing unique UAV problems is also presented. In a nutshell, this tutorial provides key guidelines on how to analyze, optimize, and design UAV-based wireless communication systems.


title: Reedy Model Structures in Families

abstract: Given a family of model categories $\cal E \to \cal R$ over a Reedy category, we outline a set of conditions which lead to the existence of a Reedy model structure on the category of sections ${\sf Sect}(\cal R, \cal E)$. We prove that for a wide class of examples, this model structure serves as a strictification of the $(\infty,1)$-category of sections of the higher-categorical family associated to $\cal E \to \cal R$.


title: Learning Decorrelated Hashing Codes for Multimodal Retrieval

abstract: In social networks, heterogeneous multimedia data correlate to each other, such as videos and their corresponding tags in YouTube and image-text pairs in Facebook. Nearest neighbor retrieval across multiple modalities on large data sets becomes a hot yet challenging problem. Hashing is expected to be an efficient solution, since it represents data as binary codes. As the bit-wise XOR operations can be fast handled, the retrieval time is greatly reduced. Few existing multimodal hashing methods consider the correlation among hashing bits. The correlation has negative impact on hashing codes. When the hashing code length becomes longer, the retrieval performance improvement becomes slower. In this paper, we propose a minimum correlation regularization (MCR) for multimodal hashing. First, the sigmoid function is used to embed the data matrices. Then, the MCR is applied on the output of sigmoid function. As the output of sigmoid function approximates a binary code matrix, the proposed MCR can efficiently decorrelate the hashing codes. Experiments show the superiority of the proposed method becomes greater as the code length increases.


title: Decentralized Computation Offloading and Resource Allocation in Heterogeneous Networks with Mobile Edge Computing

abstract: We consider a heterogeneous network with mobile edge computing, where a user can offload its computation to one among multiple servers. In particular, we minimize the system-wide computation overhead by jointly optimizing the individual computation decisions, transmit power of the users, and computation resource at the servers. The crux of the problem lies in the combinatorial nature of multi-user offloading decisions, the complexity of the optimization objective, and the existence of inter-cell interference. Then, we decompose the underlying problem into two subproblems: i) the offloading decision, which includes two phases of user association and subchannel assignment, and ii) joint resource allocation, which can be further decomposed into the problems of transmit power and computation resource allocation. To enable distributed computation offloading, we sequentially apply a many-to-one matching game for user association and a one-to-one matching game for subchannel assignment. Moreover, the transmit power of offloading users is found using a bisection method with approximate inter-cell interference, and the computation resources allocated to offloading users is achieved via the duality approach. The proposed algorithm is shown to converge and is stable. Finally, we provide simulations to validate the performance of the proposed algorithm as well as comparisons with the existing frameworks.


title: Autostacker: A Compositional Evolutionary Learning System

abstract: We introduce an automatic machine learning (AutoML) modeling architecture called Autostacker, which combines an innovative hierarchical stacking architecture and an Evolutionary Algorithm (EA) to perform efficient parameter search. Neither prior domain knowledge about the data nor feature preprocessing is needed. Using EA, Autostacker quickly evolves candidate pipelines with high predictive accuracy. These pipelines can be used as is or as a starting point for human experts to build on. Autostacker finds innovative combinations and structures of machine learning models, rather than selecting a single model and optimizing its hyperparameters. Compared with other AutoML systems on fifteen datasets, Autostacker achieves state-of-art or competitive performance both in terms of test accuracy and time cost.


title: Diagram uniqueness of even plats

abstract: Every knot has a plat projection, obtained by closing up a braid with bridges. The plat projection is determined by the number of strands and the number of rows of twist regions in the braid, and an integer number of crossings in each twist region. In recent work, we showed that under certain restrictions, including that the number of rows is odd, a minimal width plat projection is unique. In this paper we extend the results to even plats. Using new arguments, we show that if each of their twist regions contains at least three crossings, and their length is sufficiently long with respect to their width, then the projection is unique. This essentially "doubles" the set of knots for which such diagrams classify the links.


title: Constrained Neural Style Transfer for Decorated Logo Generation

abstract: Making decorated logos requires image editing skills, without sufficient skills, it could be a time-consuming task. While there are many on-line web services to make new logos, they have limited designs and duplicates can be made. We propose using neural style transfer with clip art and text for the creation of new and genuine logos. We introduce a new loss function based on distance transform of the input image, which allows the preservation of the silhouettes of text and objects. The proposed method constrains style transfer only around the designated area. We demonstrate the characteristics of proposed method. Finally, we show the results of logo generation with various input images.


title: Geometrical pluripotential theory on Sasaki manifolds

abstract: We extend profound results in pluripotential theory on Kahler manifolds to Sasaki setting via its transverse Kahler structure. As in Kahler case, these results form a very important piece to solve the existence of Sasaki metrics with constant scalar curvature (cscs) in terms of properness of K-energy. One main result is to generalize T. Darvas' theory on the geometric structure of the space of Kahler potentials in Sasaki setting. Along the way we extend most of corresponding results in pluripotential theory to Sasaki setting via its transverse Kahler structure.


title: Continuum excitation and pseudospin wave in quantum spin-liquid and quadrupole ordered states of Tb$_{2+x}$Ti$_{2-x}$O$_{7+y}$

abstract: The ground states of the frustrated pyrochlore oxide Tb$_{2+x}$Ti$_{2-x}$O$_{7+y}$ have been studied by inelastic neutron scattering experiments. Three single-crystal samples are investigated; one shows no phase transition ($x=-0.007<x_{\text{c}}\sim -0.0025$), being a putative quantum spin-liquid (QSL), and the other two ($x=0.000, 0.003$) show electric quadrupole ordering (QO) below $T_{\text{c}} \sim 0.5$ K. The QSL sample shows continuum excitation spectra with an energy scale 0.1 meV as well as energy-resolution limited (nominally) elastic scattering. As $x$ is increased, pseudospin wave of the QO state emerges from this continuum excitation, which agrees with that of powder samples and consequently verifies good $x$ control for the present single crystal samples.


title: Measuring the microlensing parallax from various space observatories

abstract: A few observational methods allow the measurement of the mass and distance of the lens-star for a microlensing event. A first estimate can be obtained by measuring the microlensing parallax effect produced by either the motion of the Earth (annual parallax) or the contemporaneous observation of the lensing event from two (or more) observatories (space or terrestrial parallax) sufficiently separated from each other. Further developing ideas originally outlined by Gould (2013) and Mogavero & Beaulieu (2016), we review the possibility of measuring systematically the microlensing parallax using a telescope based on the Moon surface and other space-based observing platforms including the upcoming WFIRST space-telescope. We first generalize the Fisher matrix formulation and present results demonstrating the advantage for each observing scenario. We conclude by outlining the limitation of the Fisher matrix analysis when submitted to a practical data modeling process. By considering a lunar-based parallax observation we find that parameter correlations introduce a significant loss in detection efficiency of the probed lunar parallax effect.


title: Throughput Maximization for Laser-Powered UAV Wireless Communication Systems

abstract: Laser power has become a viable solution to provide convenient and sustainable energy supply to unmanned aerial vehicles (UAVs). In this paper, we study a laser-powered UAV wireless communication system, where a laser transmitter sends laser beams to charge a fixed-wing UAV in flight, and the UAV uses the harvested laser energy to communicate with a ground station. To maintain the UAV's sustainable operation, its total energy consumption cannot exceed that harvested from the laser transmitter. Under such a laser energy harvesting constraint, we maximize the downlink communication throughput from the UAV to the ground station over a finite time duration, by jointly optimizing the UAV's trajectory and its transmit power allocation. However, due to the complicated UAV energy consumption model, this problem is non-convex and difficult to be solved. To tackle the problem, we first consider a special case with a double-circular UAV trajectory which balances the tradeoff between maximizing the performance of laser energy harvesting versus wireless communication at the UAV. Next, based on the obtained double-circular trajectory, we propose an efficient solution to the general problem, by applying the techniques of alternating optimization and sequential convex programming (SCP). Finally, numerical results are provided to validate the communication throughput performance of the proposed design.


title: No Evidence for Periodic Variability in the Light Curve of Active Galaxy J0045+41

abstract: Dorn-Wallenstein, Levesque, & Ruan recently presented the identification of a z=0.215 active galaxy located behind M31 and claimed the detection of multiple periodic variations in the object's light curve with as many as nine different periods. They interpreted these results as evidence for the presence of a binary supermassive black hole with an orbital separation of just a few hundred AU, and estimated the gravitational-wave signal implied by such a system. We demonstrate that the claimed periodicities are based on a misinterpretation of the null hypothesis test simulations and an error in the method used to calculate the false alarm probabilities. There is no evidence for periodicity in the data.


title: Insights into exfoliation possibility of MAX phases to MXenes

abstract: Chemical exfoliation of MAX phases into two-dimensional (2D) MXenes can be considered as a major breakthrough in the synthesis of novel 2D systems. To gain insight into the exfoliation possibility of MAX phases and to identify which MAX phases are promising candidates for successful exfoliation into 2D MXenes, we perform extensive electronic structure and phonon calculations, and determine the force constants, bond strengths, and static exfoliation energies of MAX phases to MXenes for 82 different experimentally synthesized crystalline MAX phases. Our results show a clear correlation between the force constants and the bond strengths. As the total force constant of an "A" atom contributed from the neighboring atoms is smaller, the exfoliation energy becomes smaller, thus making exfoliation easier. We propose 37 MAX phases for successful exfoliation into 2D Ti$_2$C, Ti$_3$C$_2$, Ti$_4$C$_3, $Ti$_5$C$_4$, Ti$_2$N, Zr$_2$C, Hf$_2$C, V$_2$C, V$_3$C$_2$, V$_4$C$_3$, Nb$_2$C, Nb$_5$C$_4$, Ta$_2$C, Ta$_5$C$_4$, Cr$_2$C, Cr$_2$N, and Mo$_2$C MXenes. In addition, we explore the effect of charge injection on MAX phases. We find that the injected charges, both electrons and holes, are mainly received by the transition metals. This is due to the electronic property of MAX phases that the states near the Fermi energy are mainly dominated by $d$ orbitals of the transition metals. For negatively charged MAX phases, the electrons injected cause swelling of the structure and elongation of the bond distances along the $c$ axis, which hence weakens the binding. For positively charged MAX phases, on the other hand, the bonds become shorter and stronger. Therefore, we predict that the electron injection by electrochemistry or gating techniques can significantly facilitate the exfoliation possibility of MAX phases to 2D MXenes.


title: Accelerating E-Commerce Search Engine Ranking by Contextual Factor Selection

abstract: In industrial large-scale search systems, such as Taobao.com search for commodities, the quality of the ranking result is getting continually improved by introducing more factors from complex procedures, e.g., deep neural networks for extracting image factors. Meanwhile, the increasing of the factors demands more computation resource and raises the system response latency. It has been observed that a search instance usually requires only a small set of effective factors, instead of all factors. Therefore, removing ineffective factors significantly improves the system efficiency. This paper studies the \emph{Contextual Factor Selection} (CFS), which selects only a subset of effective factors for every search instance, for a well balance between the search quality and the response latency. We inject CFS into the search engine ranking score to accelerate the engine, considering both ranking effectiveness and efficiency. The learning of the CFS model involves a combinatorial optimization, which is transformed as a sequential decision-making problem. Solving the problem by reinforcement learning, we propose the RankCFS, which has been assessed in an off-line environment as well as a real-world on-line environment (Taobao.com). The empirical results show that, the proposed CFS approach outperforms several existing supervised/unsupervised methods for feature selection in the off-line environment, and also achieves significant real-world performance improvement, in term of service latency, in daily test as well as Singles' Day Shopping Festival in $2017$.