title: Keeping CALM: When Distributed Consistency is Easy

abstract: A key concern in modern distributed systems is to avoid the cost of coordination while maintaining consistent semantics. Until recently, there was no answer to the question of when coordination is actually required. In this paper we present an informal introduction to the CALM Theorem, which answers this question precisely by moving up from traditional storage consistency to consider properties of programs. CALM is an acronym for "consistency as logical monotonicity". The CALM Theorem shows that the programs that have consistent, coordination-free distributed implementations are exactly the programs that can be expressed in monotonic logic. This theoretical result has practical implications for developers of distributed applications. We show how CALM provides a constructive application-level counterpart to conventional "systems" wisdom, such as the apparently negative results of the CAP Theorem. We also discuss ways that monotonic thinking can influence distributed systems design, and how new programming language designs and tools can help developers write consistent, coordination-free code.


title: 5G mmWave Downlink Vehicular Positioning

abstract: 5G new radio (NR) provides new opportunities for accurate positioning from a single reference station: large bandwidth combined with multiple antennas, at both the base station and user sides, allows for unparalleled angle and delay resolution. Nevertheless, positioning quality is affected by multipath and clock biases. We study, in terms of performance bounds and algorithms, the ability to localize a vehicle in the presence of multipath and unknown user clock bias. We find that when a sufficient number of paths is present, a vehicle can still be localized thanks to redundancy in the geometric constraints. Moreover, the 5G NR signals enable a vehicle to build up a map of the environment.


title: Star formation rates and stellar masses from machine learning

abstract: Star-formation activity is a key property to probe the structure formation and hence characterise the large-scale structures of the universe. This information can be deduced from the star formation rate (SFR) and the stellar mass (Mstar), both of which, but especially the SFR, are very complex to estimate. Determining these quantities from UV, optical, or IR luminosities relies on complex modeling and on priors on galaxy types. We propose a method based on the machine-learning algorithm Random Forest to estimate the SFR and the Mstar of galaxies at redshifts in the range 0.01<z<0.3, independent of their type. The machine-learning algorithm takes as inputs the redshift, WISE luminosities, and WISE colours in near-IR, and is trained on spectra-extracted SFR and Mstar from the SDSS MPA-JHU DR8 catalogue as outputs. We show that our algorithm can accurately estimate SFR and Mstar with scatters of sigma_SFR=0.38 dex and sigma_Mstar=0.16 dex for SFR and stellar mass, respectively, and that it is unbiased with respect to redshift or galaxy type. The full-sky coverage of the WISE satellite allows us to characterise the star-formation activity of all galaxies outside the Galactic mask with spectroscopic redshifts in the range 0.01<z<0.3. The method can also be applied to photometric-redshift catalogues, with best scatters of sigma_SFR=0.42 dex and sigma_Mstar=0.24 dex obtained in the redshift range 0.1<z<0.3.


title: Computable embeddings for pairs of linear orders

abstract: We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orders, computable embeddings induce a non-trivial degree structure. Our main result shows that $\{\omega \cdot k,\omega^\star \cdot k\}$ is computably embeddable in $\{\omega \cdot t, \omega^\star \cdot t\}$ iff $k$ divides $t$.


title: Moduli of stability for heteroclinic cycles of periodic solutions

abstract: We consider $C^2$ vector fields in the three dimensional sphere with an attracting heteroclinic cycle between two periodic hyperbolic solutions with real Floquet multipliers. The proper basin of this attracting set exhibits historic behavior and from the asymptotic properties of its orbits we obtain a complete set of invariants under topological conjugacy in a neighborhood of the cycle. As expected, this set contains the periods of the orbits involved in the cycle, a combination of their angular speeds, the rates of expansion and contraction in linearizing neighborhoods of them, besides information regarding the transition maps and the transition times between these neighborhoods. We conclude with an application of this result to a class of cycles obtained by the lifting of an example of R. Bowen.


title: Two Jovian planets around the giant star HD202696. A growing population of packed massive planetary pairs around massive stars?

abstract: We present evidence for a new two-planet system around the giant star HD202696 (= HIP105056, BD+26 4118). The discovery is based on public HIRES radial velocity measurements taken at Keck Observatory between July 2007 and September 2014. We estimate a stellar mass of 1.91$^{+0.09}_{-0.14}M_\odot$ for HD202696, which is located close to the base of the red giant branch. A two-planet self-consistent dynamical modeling MCMC scheme of the radial velocity data followed by a long-term stability test suggests planetary orbital periods of $P_{\rm b}$ = 517.8$_{-3.9}^{+8.9}$ days and $P_{\rm c}$ = 946.6$_{-20.9}^{+20.7}$ days, eccentricities of $e_{\rm b}$ = 0.011$_{-0.011}^{+0.078}$ and $e_{\rm c}$ = 0.028$_{-0.012}^{+0.065}$ , and minimum dynamical masses of $m_{\rm b}$ = 2.00$_{-0.10}^{+0.22}$\,$M_{\mathrm{Jup}}$ and $m_{\rm c}$ = 1.86$_{-0.23}^{+0.18}$,$M_{\mathrm{Jup}}$, respectively. Our stable MCMC samples are consistent with orbital configurations predominantly in a mean period ratio of 11:6 and its close-by high order mean-motion commensurabilities with low eccentricities. For the majority of the stable configurations we find an aligned or anti-aligned apsidal libration (i.e.\ $\Delta\omega$ librating around 0$^\circ$ or 180$^\circ$), suggesting that the HD202696 system is likely dominated by secular perturbations near the high-order 11:6 mean-motion resonance. The HD202696 system is yet another Jovian mass pair around an intermediate mass star with a period ratio below the 2:1 mean motion resonance. Therefore, the HD202696 system is an important discovery, which may shed light on the primordial disk-planet properties needed for giant planets to break the strong 2:1 mean motion resonance and settle in more compact orbits.


title: Strange hadrocharmonium

abstract: It has been recently suggested that the charged charmoniumlike resonances $Z_c(4100)$ and $Z_c(4200)$ are two states of hadrocharmonium, related by the charm quark spin symmetry in the same way as the lowest charmonium states $\eta_c$ and $J/\psi$. It is pointed out here that in this picture one might expect existence of their somewhat heavier strange counterparts, $Z_{cs}$, decaying to $\eta_c K$ and $J/\psi K$. Some expected properties of such charmoniumlike strange resonances are discussed that set benchmarks for their search in the decays of the strange $B_s$ mesons.


title: Tunable three-way valley Hall energy-splitter: venturing beyond graphene-like structures

abstract: Strategically combining four structured domains creates the first ever three-way topological energy-splitter; remarkably, this is only possible using a square, or rectangular, lattice, and not the graphene-like structures more commonly used in valleytronics. To achieve this effect, the two mirror symmetries, present within all fully-symmetric square structures, are broken; this leads to two nondistinct interfaces upon which valley-Hall states reside. These interfaces are related to each other via the time-reversal operator and it is this subtlety that allows us to ignite the third outgoing lead. The geometrical construction of our structured medium allows for the three-way splitter to be adiabatically converted into a wave steerer around sharp bends. Due to the tunability of the energies directionality by geometry, our results have far-reaching implications for applications such as beam-splitters, switches and filters across wave physics.


title: Conformal actions of higher rank lattices on compact pseudo-Riemannian manifolds

abstract: We investigate conformal actions of cocompact lattices in higher-rank simple Lie groups on compact pseudo-Riemannian manifolds. Our main result gives a general bound on the real-rank of the lattice, which was already known for the action of the full Lie group by a result of Zimmer. When the real-rank is maximal, we prove that the manifold is conformally flat. This indicates that a global conclusion similar to that of anterior works of Bader, Nevo and Frances, Zeghib in the case of a Lie group action might be obtained. We also give better estimates for actions of cocompact lattices in exceptional groups. Our work is strongly inspired by the recent breakthrough of Brown, Fisher and Hurtado on Zimmer's conjecture.


title: GASL: Guided Attention for Sparsity Learning in Deep Neural Networks

abstract: The main goal of network pruning is imposing sparsity on the neural network by increasing the number of parameters with zero value in order to reduce the architecture size and the computational speedup. In most of the previous research works, sparsity is imposed stochastically without considering any prior knowledge of the weights distribution or other internal network characteristics. Enforcing too much sparsity may induce accuracy drop due to the fact that a lot of important elements might have been eliminated. In this paper, we propose Guided Attention for Sparsity Learning (GASL) to achieve (1) model compression by having less number of elements and speed-up; (2) prevent the accuracy drop by supervising the sparsity operation via a guided attention mechanism and (3) introduce a generic mechanism that can be adapted for any type of architecture; Our work is aimed at providing a framework based on interpretable attention mechanisms for imposing structured and non-structured sparsity in deep neural networks. For Cifar-100 experiments, we achieved the state-of-the-art sparsity level and 2.91x speedup with competitive accuracy compared to the best method. For MNIST and LeNet architecture we also achieved the highest sparsity and speedup level.


title: Supernova 2017eaw: molecule and dust formation from infrared observations

abstract: We present infrared (IR) photometry and spectroscopy of the Type II-P SN 2017eaw and its progenitor in the nearby galaxy NGC 6946. Progenitor observations in the Ks band in 4 epochs from 1 year to 1 day before the explosion reveal no significant variability in the progenitor star greater than 6% that last longer than 200 days. SN 2017eaw is a typical SN II-P with near-IR and mid-IR photometric evolution similar to those of SNe 2002hh and 2004et, other normal SNe II-P in the same galaxy. Spectroscopic monitoring between 389 and 480 days post explosion reveals strong CO first overtone emission at 389 d, with a line profile matching that of SN 1987A from the same epoch, indicating $\sim 10^{-3} \, M_{\odot}$ of CO at 1,800 K. From the 389 d epoch until the most recent observation at 566 d, the first overtone feature fades while the 4.5 $\mu$m excess, likely from the CO fundamental band, remains. This behavior indicates that the CO has not been destroyed, but that the gas has cooled enough that the levels responsible for first overtone emissions are no longer populated. Finally, the evolution of Spitzer 3.6 $\mu$m photometry shows evidence for dust formation in SN 2017eaw, with a dust mass of $10^{-6}$ or $10^{-4}\,M_{\odot}$ assuming carbonaceous or silicate grains respectively.


title: Giant anisotropy of Gilbert damping in epitaxial CoFe films

abstract: Tailoring Gilbert damping of metallic ferromagnetic thin films is one of the central interests in spintronics applications. Here we report a giant Gilbert damping anisotropy in epitaxial Co$_{50}$Fe$_{50}$ thin film with a maximum-minimum damping ratio of 400 \%, determined by broadband spin-torque as well as inductive ferromagnetic resonance. We conclude that the origin of this damping anisotropy is the variation of the spin orbit coupling for different magnetization orientations in the cubic lattice, which is further corroborate from the magnitude of the anisotropic magnetoresistance in Co$_{50}$Fe$_{50}$.


title: Versatile security analysis of measurement-device-independent quantum key distribution

abstract: Measurement-device-independent quantum key distribution (MDI-QKD) is the only known QKD scheme that can completely overcome the problem of detection side-channel attacks. Yet, despite its practical importance, there is no standard approach towards proving the security of MDI-QKD. Here, we present a simple numerical method that can efficiently compute almost-tight security bounds for any discretely modulated MDI-QKD protocol. To demonstrate the broad utility of our method, we use it to analyze the security of coherent-state MDI-QKD, decoy-state MDI-QKD with leaky sources, and a variant of twin-field QKD called phase-matching QKD. In all of the numerical simulations (using realistic detection models) we find that our method gives significantly higher secret key rates than those obtained with current security proof techniques. Interestingly, we also find that phase-matching QKD using only two coherent test states is enough to overcome the fundamental rate-distance limit of QKD. Taken together, these findings suggest that our security proof method enables a versatile, fast, and possibly optimal approach towards the security validation of practical MDI-QKD systems.


title: Distributed Learning with Adversarial Agents Under Relaxed Network Condition

abstract: This work studies the problem of non-Bayesian learning over multi-agent network when there are some adversarial (faulty) agents in the network. At each time step, each non-faulty agent collects partial information about an unknown state of the world and tries to estimate true state of the world by iteratively sharing information with its neighbors. Existing algorithms in this setting require that all non-faulty agents in the network should be able to achieve consensus via local information exchange. In this work, we present an analysis of a distributed algorithm which does not require the network to achieve consensus. We show that if every non-faulty agent can receive enough information (via iteratively communicating with neighbors) to differentiate the true state of the world from other possible states then it can indeed learn the true state.


title: A Compact Representation of Raster Time Series

abstract: The raster model is widely used in Geographic Information Systems to represent data that vary continuously in space, such as temperatures, precipitations, elevation, among other spatial attributes. In applications like weather forecast systems, not just a single raster, but a sequence of rasters covering the same region at different timestamps, known as a raster time series, needs to be stored and queried. Compact data structures have proven successful to provide space-efficient representations of rasters with query capabilities. Hence, a naive approach to save space is to use such a representation for each raster in a time series. However, in this paper we show that it is possible to take advantage of the temporal locality that exists in a raster time series to reduce the space necessary to store it while keeping competitive query times for several types of queries.


title: GIGJ: a crustal gravity model of the Guangdong Province for predicting the geoneutrino signal at the JUNO experiment

abstract: Gravimetric methods are expected to play a decisive role in geophysical modeling of the regional crustal structure applied to geoneutrino studies. GIGJ (GOCE Inversion for Geoneutrinos at JUNO) is a 3D numerical model constituted by ~46 x 10$^{3}$ voxels of 50 x 50 x 0.1 km, built by inverting gravimetric data over the 6{\deg} x 4{\deg} area centered at the Jiangmen Underground Neutrino Observatory (JUNO) experiment, currently under construction in the Guangdong Province (China). The a-priori modeling is based on the adoption of deep seismic sounding profiles, receiver functions, teleseismic P-wave velocity models and Moho depth maps, according to their own accuracy and spatial resolution. The inversion method allowed for integrating GOCE data with the a-priori information and regularization conditions through a Bayesian approach and a stochastic optimization. GIGJ fits the homogeneously distributed GOCE gravity data, characterized by high accuracy, with a ~1 mGal standard deviation of the residuals, compatible with the observation accuracy. Conversely to existing global models, GIGJ provides a site-specific subdivision of the crustal layers masses which uncertainties include estimation errors, associated to the gravimetric solution, and systematic uncertainties, related to the adoption of a fixed sedimentary layer. A consequence of this local rearrangement of the crustal layer thicknesses is a ~21% reduction and a ~24% increase of the middle and lower crust expected geoneutrino signal, respectively. Finally, the geophysical uncertainties of geoneutrino signals at JUNO produced by unitary uranium and thorium abundances distributed in the upper, middle and lower crust are reduced by 77%, 55% and 78%, respectively. The numerical model is available at http://www.fe.infn.it/u/radioactivity/GIGJ


title: Generalized entropic gravity from modified Unruh temperature

abstract: In this study, the effects of the generalized uncertainty principle on the theory of gravity are analyzed. Inspired by Verlinde's entropic gravity approach and using the modified Unruh temperature, the generalized Einstein field equations with cosmological constant are obtained and corresponding conservation law is investigated. The resulting conservation law of energy-momentum tensor dictates that the generalized Einstein field equations are valid in a very limited range of accelerations. Moreover, the modified Newton's law of gravity and the modified Poisson equation are derived. In a certain limit, these modified equations reduce to their standard forms.


title: Total nonnegativity of GCD matrices and kernels

abstract: Let $X = (x_1,\dots,x_n)$ be a vector of distinct positive integers. The $n \times n$ matrix $S = S(X) := (\gcd(x_i,x_j))_{i,j=1}^n$, where $\gcd(x_i,x_j)$ denotes the greatest common divisor of $x_i$ and $x_j$, is called the greatest common divisor (GCD) matrix on $X$. By a surprising result of Beslin and Ligh [Linear Algebra and Appl. 118], all GCD matrices are positive definite. In this paper, we completely characterize the GCD matrices satisfying the stronger property of being totally nonnegative (TN) or totally positive (TP). As we show, a GCD matrix is never TP when $n \geq 3$, and is TN if and only if it is $\textrm{TN}_2$, i.e., all its $2 \times 2$ minors are nonnegative. We next demonstrate that a GCD matrix is $\textrm{TN}_2$ if and only if the exponents of each prime divisor in the prime factorization of the $x_i$s form a monotonic sequence. Reformulated in the language of kernels, our results characterize the subsets of integers over which the kernel $K(x,y) = \gcd(x,y)$ is totally nonnegative. The proofs of our characterizations depend on Gantmacher and Krein's notion of a Green's matrix. We conclude by showing that a GCD matrix is TN if and only if it is a Green's matrix. As a consequence, we obtain explicit formulas for all the minors and for the inverse of totally nonnegative GCD matrices.


title: Face changing companion of the redback millisecond pulsar PSR J1048+2339

abstract: We present optical observations of the redback millisecond pulsar PSR J1048+2339, which is a 4.66 ms radio pulsar in a compact binary with an orbital period of six hours. We obtained high-quality light curves of PSR J1048+2339 with the Lulin 1 m Telescope. The system shows two distinct six-hour orbital modulations, in which an ellipsoidal modulation changes into a sinusoidal-like profile in less than 14 days. In addition to the change, the brightness of the companion increased by one magnitude, suggesting that the latter type of modulation is caused by the pulsar wind heating of the companion and that the heating became dominant in the system. While the changes are not unexpected, such a timescale is the shortest among similar systems. We performed modeling analysis to extract the properties of the system. We obtained a derived pulsar mass of 2.1 M$_{\odot }$ and a companion star mass of 0.4 M$_{\odot }$ for the system. The irradiation power increased by a factor of 6 during which the pulsar wind heating dominates. We also report on the two archival Chandra X-ray observations and discuss several possibilities that might cause the varying heating on the companion.


title: Isogeometric Analysis for singularly perturbed problems in 1-D: a numerical study

abstract: We perform numerical experiments on one-dimensional singularly perturbed problems of reaction-convection-diffusion type, using isogeometric analysis. In particular, we use a Galerkin formulation with B-splines as basis functions. The question we address is: how should the knots be chosen in order to get uniform, exponential convergence in the maximum norm? We provide specific guidelines on how to achieve precisely this, for three different singularly perturbed problems.


title: The extended Baryon Oscillation Spectroscopic Survey: measuring the cross-correlation between the MgII flux transmission field and quasars and galaxies at $z=0.59$

abstract: We present the first attempt at measuring the baryonic acoustic oscillations (BAO) in the large scale cross-correlation between the magnesium-II doublet (MgII) flux transmission field and the position of quasar and galaxy tracers. The MgII flux transmission continuous field at $0.3 < z < 1.6$ is measured from 500,589 quasar spectra obtained in the Baryonic Oscillation Spectroscopic Survey (BOSS) and the extended BOSS (eBOSS). The position of 246,697 quasar tracers and 1,346,776 galaxy tracers are extracted from the Sloan Digital Sky Survey (SDSS) I, II, BOSS and eBOSS catalogs. In addition to measuring the cosmological BAO scale and the biased matter density correlation, this study allows tests and improvements to cosmological Lyman-$\alpha$ analyses. A feature consistent with that of the BAO is detected at a significance of $\Delta \chi^{2} = 7.25$. The measured MgII linear transmission bias parameters are $b_{\mathrm{MgII(2796)}} (z = 0.59) = (-6.82 \pm 0.54) \, \times 10^{-4}$ and $b_{\mathrm{MgII(2804)}} (z = 0.59) = (-5.55 \pm 0.46) \, \times 10^{-4}$, and the MgI bias is $b_{\mathrm{MgI(2853)}} (z = 0.59) = (-1.48 \pm 0.24) \, \times 10^{-4}$. Their redshift evolution is characterized by the power-law index: $\gamma_{\mathrm{Mg}} = 3.36 \pm 0.46$. These measurements open a new window towards using BAO from flux transmission at $z < 1$ in the final eBOSS sample and in the upcoming sample from the Dark Energy Spectroscopic Instrument.


title: Overview of latest results from PHENIX

abstract: An overview of the latest results on the hard probes from the PHENIX experiment at RHIC is given. The results on the measurements of high $p_{T}$ hadrons, hadron-hadron correlations, open heavy flavor and quarkonia, and direct photons from large (Au+Au) to small collision systems ($p$+Al and $p/d/^3$He+Au) provided a deeper insight on the medium created in the large systems and the possible onset of QGP-nization in transition from small to large systems.


title: Quelques m\'ethodes pour les mots sturmiens

abstract: In this book chapter, written in French, we consider the classical family of Sturmian words, defined as the aperiodic infinite words containing only $n+1$ factors of a length $n$, which is the minimal possible value. We will discuss several techniques for Sturmian words which have not been described in monographs. In particular, we will consider the geometric dual method by Berstel and Pocchiola and the link between palindrome factors and Ostrowski numeration systems. We will also discuss a conjecture on palindromic length which was proved on Sturmian words by two completely different methods for two distinct cases.


title: Modified Reynolds equation for steady flow through a curved pipe

abstract: A modified Reynolds equation governing the steady flow of a fluid with low Reynolds number through a curvilinear, narrow tube, with its derivation from Stokes equations through asymptotic methods is presented. The channel considered may have large curvature and torsion. Approximations of the velocity and the pressure of the fluid inside the channel are constructed by artificially imposing appropriate boundary conditions at the inlet and the outlet. A justification for the approximations is provided along with a comparison with a simpler case.


title: Motivic cohomology of quaternionic Shimura varieties and level raising

abstract: We study the motivic cohomology of the special fiber of quaternionic Shimura varieties at a prime of good reduction. We exhibit classes in these motivic cohomology groups and use this to give an explicit geometric realization of level raising between Hilbert modular forms. The main ingredient for our construction is a form of Ihara's Lemma for compact quaternionic Shimura surfaces which we prove by generalizing a method of Diamond-Taylor. Along the way we also verify the Hecke orbit conjecture for these quaternionic Shimura varieties which is a key input for our proof of Ihara's Lemma.


title: Growth and Characterization of Fe0.95Se0.6Te0.4 Single Crystal

abstract: In this paper we present the single crystal growth of Fe0.95Se0.6Te0.4 high TC superconducting sample by the modified Bridgman technique. The x-ray diffraction pattern shows the single crystal nature of the sample, as only (00l) peaks are detectable. The stoichiometric composition has been verified by energy dispersive x-ray analysis. The superconducting transition temperature at 14 K was confirmed through DC magnetization (ZFC-FC) and resistivity measurements. By analyzing the isothermal M-H curves, we determined the value of H_c1 (0) ~360 Oe by extrapolating the data. The temperature coefficient of resistivity obtained using the power law fitting was found to be 0.6. The obtained Raman spectra at room temperature can be interpreted with the tetragonal crystal structure and space group P4/nmm.


title: Dissipative Stabilization of Linear Systems with Time-Varying General Distributed Delays (Complete Version)

abstract: New methods are developed for the stabilization of a linear system with general time-varying distributed delays existing at the system's states, inputs and outputs. In contrast to most existing literature where the function of time-varying delay is continuous and bounded, we assume it to be bounded and measurable. Furthermore, the distributed delay kernels can be any square-integrable function over a bounded interval, where the kernels are handled directly by using a decomposition scenario without using approximations. By constructing a Krasovski\u{i} functional via the application of a novel integral inequality, sufficient conditions for the existence of a dissipative state feedback controller are derived in terms of matrix inequalities without utilizing the existing reciprocally convex combination lemmas. The proposed synthesis (stability) conditions, which take dissipativity into account, can be either solved directly by a standard numerical solver of semidefinite programming if they are convex, or reshaped into linear matrix inequalities, or solved via a proposed iterative algorithm. To the best of our knowledge, no existing methods can handle the synthesis problem investigated in this paper. Finally, numerical examples are presented to demonstrate the effectiveness of the proposed methodologies.


abstract: The article is dedicated to the memory of George Voronoi. It is concerned with ($p$-adic) $L$-functions (in partially ($p$-adic) zeta functions) and cyclotomic ($p$-adic) (multiple) zeta values. The beginning of the article contains a short summary of the results on the Bernoulli numbers associated with the studies of George Voronoi. Results on multiple zeta values have presented by D. Zagier, by P. Deligne and A.Goncharov, by A. Goncharov, by F. Brown, by C. Glanois and others. S. \"Unver have investigated p-adic multiple zeta values in the depth two. Tannakian interpretation of p-adic multiple zeta values is given by H. Furusho. Short history and connections among Galois groups, fundamental groups, motives and arithmetic functions are presented in the talk by Y. Ihara. Results on multiple zeta values, Galois groups and geometry of modular varieties has presented by Goncharov. Interesting unipotent motivic fundamental group is defined and investigated by Deligne and Goncharov. The framework of ($p$-adic) $L$-functions and ($p$-adic) (multiple) zeta values is based on Kubota-Leopoldt $p$-adic $L$-functions and arithmetic $p$-adic $L$-functions by Iwasawa. Motives and ($p$-adic) (multiple) zeta values by Glanois and by \"Unver, improper intersections of Kudla-Rapoport divisors and Eisenstein series by Sankaran are reviewed. More fully the content of the article can be found at the following table of contents (plan). Numerical examples are included.


title: The SOFIA Massive (SOMA) Star Formation Survey. II. High Luminosity Protostars

abstract: We present multi-wavelength images observed with SOFIA-FORCAST from $\sim$10 to 40 $\mu$m of seven high luminosity massive protostars, as part of the SOFIA Massive (SOMA) Star Formation Survey. Source morphologies at these wavelengths appear to be influenced by outflow cavities and extinction from dense gas surrounding the protostars. Using these images, we build spectral energy distributions (SEDs) of the protostars, also including archival data from Spitzer, Herschel and other facilities. Radiative transfer (RT) models of Zhang & Tan (2018), based on Turbulent Core Accretion theory, are then fit to the SEDs to estimate key properties of the protostars. Considering the best five models fit to each source, the protostars have masses $m_{*} \sim 12-64 \: M_{\odot}$ accreting at rates of $\dot{m}_{*} \sim 10^{-4}-10^{-3} \: M_{\odot} \: \rm yr^{-1}$ inside cores of initial masses $M_{c} \sim 100-500 \: M_{\odot}$ embedded in clumps with mass surface densities $\Sigma_{\rm cl} \sim 0.1-3 \: \rm g \: cm^{-2}$ and span a luminosity range of $10^{4} -10^{6} \: L_{\odot}$. Compared with the first eight protostars in Paper I, the sources analyzed here are more luminous, and thus likely to be more massive protostars. They are often in a clustered environment or have a companion protostar relatively nearby. From the range of parameter space of the models, we do not see any evidence that $\Sigma_{\rm cl}$ needs to be high to form these massive stars. For most sources the RT models provide reasonable fits to the SEDs, though the cold clump material often influences the long wavelength fitting. However, for sources in very clustered environments, the model SEDs may not be such a good description of the data, indicating potential limitations of the models for these regions.


title: Toughness and prism-hamiltonicity of $P_4$-free graphs

abstract: The \emph{prism} over a graph $G$ is the product $G \Box K_2$, i.e., the graph obtained by taking two copies of $G$ and adding a perfect matching joining the two copies of each vertex by an edge. The graph $G$ is called \emph{prism-hamiltonian} if it has a hamiltonian prism. Jung showed that every $1$-tough $P_4$-free graph with at least three vertices is hamiltonian. In this paper, we extend this to observe that for $k \geq 1$ a $P_4$-free graph has a spanning \emph{$k$-walk} (closed walk using each vertex at most $k$ times) if and only if it is $\frac{1}{k}$-tough. As our main result, we show that for the class of $P_4$-free graphs, the three properties of being prism-hamiltonian, having a spanning $2$-walk, and being $\frac{1}{2}$-tough are all equivalent.


title: Learning-based Optimization of the Under-sampling Pattern in MRI

abstract: Acquisition of Magnetic Resonance Imaging (MRI) scans can be accelerated by under-sampling in k-space (i.e., the Fourier domain). In this paper, we consider the problem of optimizing the sub-sampling pattern in a data-driven fashion. Since the reconstruction model's performance depends on the sub-sampling pattern, we combine the two problems. For a given sparsity constraint, our method optimizes the sub-sampling pattern and reconstruction model, using an end-to-end learning strategy. Our algorithm learns from full-resolution data that are under-sampled retrospectively, yielding a sub-sampling pattern and reconstruction model that are customized to the type of images represented in the training data. The proposed method, which we call LOUPE (Learning-based Optimization of the Under-sampling PattErn), was implemented by modifying a U-Net, a widely-used convolutional neural network architecture, that we append with the forward model that encodes the under-sampling process. Our experiments with T1-weighted structural brain MRI scans show that the optimized sub-sampling pattern can yield significantly more accurate reconstructions compared to standard random uniform, variable density or equispaced under-sampling schemes. The code is made available at: https://github.com/cagladbahadir/LOUPE .


title: Future constraints on the gravitational slip with the mass profiles of galaxy clusters

abstract: The gravitational slip parameter is an important discriminator between large classes of gravity theories at cosmological and astrophysical scales. In this work we use a combination of simulated information of galaxy cluster mass profiles, inferred by Strong+Weak lensing analyses and by the study of the dynamics of the cluster member galaxies, to reconstruct the gravitational slip parameter $\eta$ and predict the accuracy with which it can be constrained with current and future galaxy cluster surveys. Performing a full-likelihood statistical analysis, we show that galaxy cluster observations can constrain $\eta$ down to the percent level already with a few tens of clusters. We discuss the significance of possible systematics, and show that the cluster masses and numbers of galaxy members used to reconstruct the dynamics mass profile have a mild effect on the predicted constraints.


title: Stabilisation of an optical transition energy via nuclear Zeno dynamics in quantum dot-cavity systems

abstract: We investigate the effect of nuclear spins on the phase shift and polarisation rotation of photons scattered off a quantum dot-cavity system. We show that as the phase shift depends strongly on the resonance energy of an electronic transition in the quantum dot, it can provide a sensitive probe of the quantum state of nuclear spins that broaden this transition energy. By including the electron-nuclear spin coupling at a Hamiltonian level within an extended input-output formalism, we show how a photon scattering event acts as a nuclear spin measurement, which when rapidly applied leads to an inhibition of the nuclear spin dynamics via the quantum Zeno effect, and a corresponding stabilisation of the optical resonance. We show how such an effect manifests in the intensity autocorrelation $g^{(2)}(\tau)$ of scattered photons, whose long-time bunching behaviour changes from quadratic decay for low photon scattering rates (weak laser intensities), to ever slower exponential decay for increasing laser intensities as optical measurements impede the nuclear spin evolution.


title: Machine learning topological phases in real space

abstract: We develop a supervised machine learning algorithm that is able to learn topological phases of finite condensed matter systems from bulk data in real lattice space. The algorithm employs diagonalization in real space together with any supervised learning algorithm to learn topological phases through an eigenvector ensembling procedure. We combine our algorithm with decision trees and random forests to successfully recover topological phase diagrams of Su-Schrieffer-Heeger (SSH) models from bulk lattice data in real space and show how the Shannon information entropy of ensembles of lattice eigenvectors can be used to retrieve a signal detailing how topological information is distributed in the bulk. We further use insights obtained from these information entropy signatures to engineer global topological features from real space lattice data that still carry most of the topological information in the lattice, while greatly diminishing the size of feature space, thus effectively amounting to a topological lattice compression. Finally, we explore the theoretical possibility of interpreting the information entropy topological signatures in terms of emergent information entropy wave functions, which lead us to Heisenberg and Hirschman uncertainty relations for topological phase transitions. The discovery of Shannon information entropy signals associated with topological phase transitions from the analysis of data from several thousand SSH systems illustrates how model explainability in machine learning can advance the research of exotic quantum materials with properties that may power future technological applications such as qubit engineering for quantum computing.


title: Unified theory of thermal transport in crystals and disordered solids

abstract: Crystals and glasses exhibit fundamentally different heat conduction mechanisms: the periodicity of crystals allows for the excitation of propagating vibrational waves that carry heat, as first discussed by Peierls; in glasses, the lack of periodicity breaks Peierls' picture and heat is mainly carried by the coupling of vibrational modes, often described by a harmonic theory introduced by Allen and Feldman. Anharmonicity or disorder are thus the limiting factors for thermal conductivity in crystals or glasses; hitherto, no transport equation has been able to account for both. Here, we derive such equation, resulting in a thermal conductivity that reduces to the Peierls and Allen-Feldman limits, respectively, in anharmonic-and-ordered or harmonic-and-disordered solids, while also covering the intermediate regimes where both effects are relevant. This approach also solves the long-standing problem of accurately predicting the thermal properties of crystals with ultralow or glass-like thermal conductivity, as we show with an application to a thermoelectric material representative of this class.


title: Efficient Winograd Convolution via Integer Arithmetic

abstract: Convolution is the core operation for many deep neural networks. The Winograd convolution algorithms have been shown to accelerate the widely-used small convolution sizes. Quantized neural networks can effectively reduce model sizes and improve inference speed, which leads to a wide variety of kernels and hardware accelerators that work with integer data. The state-of-the-art Winograd algorithms pose challenges for efficient implementation and execution by the integer kernels and accelerators. We introduce a new class of Winograd algorithms by extending the construction to the field of complex and propose optimizations that reduce the number of general multiplications. The new algorithm achieves an arithmetic complexity reduction of $3.13$x over the direct method and an efficiency gain up to $17.37\%$ over the rational algorithms. Furthermore, we design and implement an integer-based filter scaling scheme to effectively reduce the filter bit width by $30.77\%$ without any significant accuracy loss.


title: Doppler Broadening in $^{20}$Mg($\beta p\gamma$)$^{19}$Ne Decay

abstract: Background: The $^{15}$O($\alpha ,\gamma$)$^{19}$Ne bottleneck reaction in Type I x-ray bursts is the most important thermonuclear reaction rate to constrain experimentally, in order to improve the accuracy of burst light-curve simulations. A proposed technique to determine the thermonuclear rate of this reaction employs the $^{20}$Mg($\beta p\alpha$)$^{15}$O decay sequence. The key $^{15}$O($\alpha ,\gamma$)$^{19}$Ne resonance at an excitation of 4.03 MeV is now known to be fed in $^{20}$Mg($\beta p\gamma$)$^{19}$Ne; however, the energies of the protons feeding the 4.03 MeV state are unknown. Knowledge of the proton energies will facilitate future $^{20}$Mg($\beta p \alpha$)$^{15}$O measurements. Purpose: To determine the energy of the proton transition feeding the 4.03 MeV state in $^{19}$Ne. Method: A fast beam of $^{20}$Mg was implanted into a plastic scintillator, which was used to detect $\beta$ particles. 16 high purity germanium detectors were used to detect $\gamma$ rays emitted following $\beta p$ decay. A Monte Carlo method was used to simulate the Doppler broadening of $^{19}$Ne $\gamma$ rays and compare to the experimental data. Results: The center of mass energy between the proton and $^{19}$Ne, feeding the 4.03 MeV state, is measured to be 1.21${^{+0.25}_{-0.22}}$ MeV, corresponding to a $^{20}$Na excitation energy of 7.44${^{+0.25}_{-0.22}}$ MeV. Absolute feeding intensities and $\gamma$-decay branching ratios of $^{19}$Ne states were determined including the 1615 keV state. A new $\gamma$ decay branch from the 1536 keV state in $^{19}$Ne to the ground state is reported. The lifetime of the 1507 keV state in $^{19}$Ne is measured to be 4.3${^{+1.3}_{-1.1}}$ ps resolving discrepancies in the literature. Conflicting $^{20}$Mg($\beta p$) decay schemes in published literature are clarified.


title: Primitive rational points on expanding horospheres in Hilbert modular surfaces

abstract: In recent work by Einsiedler, Mozes, Shah and Shapira the limiting distributions of primitive rational points on expanding horospheres was examined in arbitrary dimension, and a suspended version of this result was announced. Motivated by this, we prove an analog to the announcement for primitive rational points in Hilbert modular surfaces via effective mixing.


title: A semi-structured approach to curvilinear mesh generation around streamlined bodies

abstract: We present an approach for robust high-order mesh generation specially tailored to streamlined bodies. The method is based on a semi-sructured approach which combines the high quality of structured meshes in the near-field with the flexibility of unstructured meshes in the far-field. We utilise medial axis technology to robustly partition the near-field into blocks which can be meshed coarsely with a linear swept mesher. A high-order mesh of the near-field is then generated and split using an isoparametric approach which allows us to obtain highly stretched elements aligned with the flow field. Special treatment of the partition is performed on the wing root juntion and the trailing edge --- into the wake --- to obtain an H-type mesh configuration with anisotropic hexahedra ideal for the strong shear of high Reynolds number simulations. We then proceed to discretise the far-field using traditional robust tetrahedral meshing tools. This workflow is made possible by two sets of tools: CADfix, focused on CAD system, the block partitioning of the near-field and the generation of a linear mesh; and NekMesh, focused on the curving of the high-order mesh and the generation of highly-stretched boundary layer elements. We demonstrate this approach on a NACA0012 wing attached to a wall and show that a gap between the wake partition and the wall can be inserted to remove the dependency of the partitioning procedure on the local geometry.


title: Graph- and finite element-based total variation models for the inverse problem in diffuse optical tomography

abstract: Total variation (TV) is a powerful regularization method that has been widely applied in different imaging applications, but is difficult to apply to diffuse optical tomography (DOT) image reconstruction (inverse problem) due to complex and unstructured geometries, non-linearity of the data fitting and regularization terms, and non-differentiability of the regularization term. We develop several approaches to overcome these difficulties by: i) defining discrete differential operators for unstructured geometries using both finite element and graph representations; ii) developing an optimization algorithm based on the alternating direction method of multipliers (ADMM) for the non-differentiable and non-linear minimization problem; iii) investigating isotropic and anisotropic variants of TV regularization, and comparing their finite element- and graph-based implementations. These approaches are evaluated on experiments on simulated data and real data acquired from a tissue phantom. Our results show that both FEM and graph-based TV regularization is able to accurately reconstruct both sparse and non-sparse distributions without the over-smoothing effect of Tikhonov regularization and the over-sparsifying effect of L$_1$ regularization. The graph representation was found to out-perform the FEM method for low-resolution meshes, and the FEM method was found to be more accurate for high-resolution meshes.


title: Decision-making and Fuzzy Temporal Logic

abstract: This paper shows that the fuzzy temporal logic can model figures of thought to describe decision-making behaviors. In order to exemplify, some economic behaviors observed experimentally were modeled from problems of choice containing time, uncertainty and fuzziness. Related to time preference, it is noted that the subadditive discounting is mandatory in positive rewards situations and, consequently, results in the magnitude effect and time effect, where the last has a stronger discounting for earlier delay periods (as in, one hour, one day), but a weaker discounting for longer delay periods (for instance, six months, one year, ten years). In addition, it is possible to explain the preference reversal (change of preference when two rewards proposed on different dates are shifted in the time). Related to the Prospect Theory, it is shown that the risk seeking and the risk aversion are magnitude dependents, where the risk seeking may disappear when the values to be lost are very high.


title: Learning Independent Object Motion from Unlabelled Stereoscopic Videos

abstract: We present a system for learning motion of independently moving objects from stereo videos. The only human annotation used in our system are 2D object bounding boxes which introduce the notion of objects to our system. Unlike prior learning based work which has focused on predicting dense pixel-wise optical flow field and/or a depth map for each image, we propose to predict object instance specific 3D scene flow maps and instance masks from which we are able to derive the motion direction and speed for each object instance. Our network takes the 3D geometry of the problem into account which allows it to correlate the input images. We present experiments evaluating the accuracy of our 3D flow vectors, as well as depth maps and projected 2D optical flow where our jointly learned system outperforms earlier approaches trained for each task independently.


title: A Machine Learning Approach for Automated Fine-Tuning of Semiconductor Spin Qubits

abstract: While spin qubits based on gate-defined quantum dots have demonstrated very favorable properties for quantum computing, one remaining hurdle is the need to tune each of them into a good operating regime by adjusting the voltages applied to electrostatic gates. The automation of these tuning procedures is a necessary requirement for the operation of a quantum processor based on gate-defined quantum dots, which is yet to be fully addressed. We present an algorithm for the automated fine-tuning of quantum dots, and demonstrate its performance on a semiconductor singlet-triplet qubit in GaAs. The algorithm employs a Kalman filter based on Bayesian statistics to estimate the gradients of the target parameters as function of gate voltages, thus learning the system response. The algorithm's design is focused on the reduction of the number of required measurements. We experimentally demonstrate the ability to change the operation regime of the qubit within 3 to 5 iterations, corresponding to 10 to 15 minutes of lab-time.


title: Looking Back at Postgres

abstract: This is a recollection of the UC Berkeley Postgres project, which was led by Mike Stonebraker from the mid-1980's to the mid-1990's. The article was solicited for Stonebraker's Turing Award book, as one of many personal/historical recollections. As a result it focuses on Stonebraker's design ideas and leadership. But Stonebraker was never a coder, and he stayed out of the way of his development team. The Postgres codebase was the work of a team of brilliant students and the occasional university "staff programmers" who had little more experience (and only slightly more compensation) than the students. I was lucky to join that team as a student during the latter years of the project. I got helpful input on this writeup from some of the more senior students on the project, but any errors or omissions are mine. If you spot any such, please contact me and I will try to fix them.


title: Revisiting the Long-Period Transiting Planets from Kepler

abstract: Currently, we have only limited means to probe the presence of planets at large orbital separations. Foreman-Mackey et al. searched for long-period transiting planets in the Kepler light curves using an automated pipeline. Here, we apply their pipeline, with minor modifications, to a larger sample and use updated stellar parameters from Gaia DR2. The latter boosts the stellar radii for most of the planet candidates found by FM16, invalidating a number of them as false positives. We identify 15 candidates, including two new ones. All have sizes from 0.3 to 1 $R_{\rm J}$, and all but two have periods from 2 to 10 yr. We report two main findings based on this sample. First, the planet occurrence rate for the above size and period ranges is $0.70^{+0.40}_{-0.20}$ planets per Sun-like star, with the frequency of cold Jupiters agreeing with that from radial velocity surveys. Planet occurrence rises with decreasing planet size, roughly describable as $dN/d\log R \propto R^{\alpha}$ with $\alpha = -1.6^{+1.0}_{-0.9}$, i.e., Neptune-sized planets are some four times more common than Jupiter-sized ones. Second, five out of our 15 candidates orbit stars with known transiting planets at shorter periods, including one with five inner planets. We interpret this high incidence rate to mean: (1) almost all our candidates should be genuine; (2) across a large orbital range (from $\sim 0.05$ to a few astronomical units), mutual inclinations in these systems are at most a few degrees; and (3) large outer planets exist almost exclusively in systems with small inner planets.


title: Accurate Identification of Galaxy Mergers with Imaging

abstract: Merging galaxies play a key role in galaxy evolution, and progress in our understanding of galaxy evolution is slowed by the difficulty of making accurate galaxy merger identifications. We use GADGET-3 hydrodynamical simulations of merging galaxies with the dust radiative transfer code SUNRISE to produce a suite of merging galaxies that span a range of initial conditions. This includes simulated mergers that are gas poor and gas rich and that have a range of mass ratios (minor and major). We adapt the simulated images to the specifications of the SDSS imaging survey and develop a merging galaxy classification scheme that is based on this imaging. We leverage the strengths of seven individual imaging predictors ($Gini$, $M_{20}$, concentration, asymmetry, clumpiness, S\'ersic index, and shape asymmetry) by combining them into one classifier that utilizes Linear Discriminant Analysis. It outperforms individual imaging predictors in accuracy, precision, and merger observability timescale (>2 Gyr for all merger simulations). We find that the classification depends strongly on mass ratio and depends weakly on the gas fraction of the simulated mergers; asymmetry is more important for the major mergers, while concentration is more important for the minor mergers. This is a result of the relatively disturbed morphology of major mergers and the steadier growth of stellar bulges during minor mergers. Since mass ratio has the largest effect on the classification, we create separate classification approaches for minor and major mergers that can be applied to SDSS imaging or adapted for other imaging surveys.


title: The interconnected wealth of nations: Shock propagation on global trade-investment multiplex networks

abstract: The increasing integration of world economies, which organize in complex multilayer networks of interactions, is one of the critical factors for the global propagation of economic crises. We adopt the network science approach to quantify shock propagation on the global trade-investment multiplex network. To this aim, we propose a model that couples a Susceptible-Infected-Recovered epidemic spreading dynamics, describing how economic distress propagates between connected countries, with an internal contagion mechanism, describing the spreading of such economic distress within a given country. At the local level, we find that the interplay between trade and financial interactions influences the vulnerabilities of countries to shocks. At the large scale, we find a simple linear relation between the relative magnitude of a shock in a country and its global impact on the whole economic system, albeit the strength of internal contagion is country-dependent and the intercountry propagation dynamics is non-linear. Interestingly, this systemic impact can be predicted on the basis of intra-layer and inter-layer scale factors that we name network multipliers, that are independent of the magnitude of the initial shock. Our model sets-up a quantitative framework to stress-test the robustness of individual countries and of the world economy to propagating crashes.

categories: physics.soc-ph econ.GN q-fin.EC q-fin.GN


title: Accelerating Goal-Directed Reinforcement Learning by Model Characterization

abstract: We propose a hybrid approach aimed at improving the sample efficiency in goal-directed reinforcement learning. We do this via a two-step mechanism where firstly, we approximate a model from Model-Free reinforcement learning. Then, we leverage this approximate model along with a notion of reachability using Mean First Passage Times to perform Model-Based reinforcement learning. Built on such a novel observation, we design two new algorithms - Mean First Passage Time based Q-Learning (MFPT-Q) and Mean First Passage Time based DYNA (MFPT-DYNA), that have been fundamentally modified from the state-of-the-art reinforcement learning techniques. Preliminary results have shown that our hybrid approaches converge with much fewer iterations than their corresponding state-of-the-art counterparts and therefore requiring much fewer samples and much fewer training trials to converge.


title: Incentive Compatibility in Stochastic Dynamic Systems

abstract: While the classic Vickrey-Clarke-Groves mechanism ensures incentive compatibility for a static one-shot game, it does not appear to be feasible to construct a dominant truth-telling mechanism for agents that are stochastic dynamic systems. The contribution of this paper is to show that for a set of LQG agents a mechanism consisting of a sequence of layered payments over time decouples the intertemporal effect of current bids on future payoffs and ensures truth-telling of dynamic states by their agents, if system parameters are known and agents are rational. Additionally, it is shown that there is a "Scaled" VCG mechanism that simultaneously satisfies incentive compatibility, social efficiency, budget balance as well as individual rationality under a certain "market power balance" condition where no agent is too negligible or too dominant. A further desirable property is that the SVCG payments converge to the Lagrange payments, the payments corresponding to the true price in the absence of strategic considerations, as the number of agents in the market increases. For LQ but non-Gaussian agents the optimal social welfare over the class of linear control laws is achieved.


title: Dirac, Bohm and the Algebraic Approach

abstract: In this paper we show how Dirac, in 1947, anticipated the Bohm approach using an argument based on what is now called the Heisenberg picture. From a detailed examination of these ideas, we show that the role played by the Dirac standard ket is equivalent to the introduction and use of the idempotent in the orthogonal and symplectic Clifford algebras. This formalism is then used to show that the so-called `Bohm trajectories' are the average of an ensemble of individual stochastic Feynman paths. Since the Bohm approach can be simply reduced to classical mechanics, the algebraic formalism presented here provides a natural way to relate quantum mechanics to classical mechanics without the need for decoherence. We show that this approach suggests an underlying fractal space-time of the type discussed by Nottale.


title: N-expansive Flows

abstract: We define the concept of $N$-expansivity for flows and extend some of the results already established for discrete dynamics and for $CW$-expansive flows. We show examples of $N$-expansive flows but not expansive, and examples of $CW$-expansive flows but not $N$-expansive for any natural number $N$.} We also define Komuro $N$-expansivity and prove that on compact surfaces it implies Komuro expansivity.


title: A Scale-invariant Generalization of the R\'{e}nyi Entropy, Associated Divergences and their Optimizations under Tsallis' Nonextensive Framework

abstract: Entropy and relative or cross entropy measures are two very fundamental concepts in information theory and are also widely used for statistical inference across disciplines. The related optimization problems, in particular the maximization of the entropy and the minimization of the cross entropy or relative entropy (divergence), are essential for general logical inference in our physical world. In this paper, we discuss a two parameter generalization of the popular R\'{e}nyi entropy and associated optimization problems. We derive the desired entropic characteristics of the new generalized entropy measure including its positivity, expandability, extensivity and generalized (sub-)additivity. More importantly, when considered over the class of sub-probabilities, our new family turns out to be scale-invariant. We also propose the corresponding cross entropy and relative entropy measures and discuss their geometric properties including generalized Pythagorean results over $\beta$-convex sets. The maximization of the new entropy and the minimization of the corresponding cross or relative entropy measures are carried out explicitly under the non-extensive (`third-choice') constraints given by the Tsallis' normalized $q$ expectations which also correspond to the $\beta$-linear family of probability distributions. Important properties of the associated forward and reverse projection rules are discussed along with their existence and uniqueness. In this context, we have come up with, for the first time, a class of entropy measures -- a subfamily of our two-parameter generalization -- that leads to the classical (extensive) exponential family of MaxEnt distributions under the non-extensive constraints. Other members of the new entropy family, however, lead to the power-law type generalized $q$-exponential MaxEnt distributions which is in conformity with Tsallis' nonextensive theory.


title: Fully-automatic segmentation of kidneys in clinical ultrasound images using a boundary distance regression network

abstract: It remains challenging to automatically segment kidneys in clinical ultrasound images due to the kidneys' varied shapes and image intensity distributions, although semi-automatic methods have achieved promising performance. In this study, we developed a novel boundary distance regression deep neural network to segment the kidneys, informed by the fact that the kidney boundaries are relatively consistent across images in terms of their appearance. Particularly, we first use deep neural networks pre-trained for classification of natural images to extract high-level image features from ultrasound images, then these feature maps are used as input to learn kidney boundary distance maps using a boundary distance regression network, and finally the predicted boundary distance maps are classified as kidney pixels or non-kidney pixels using a pixel classification network in an end-to-end learning fashion. Experimental results have demonstrated that our method could effectively improve the performance of automatic kidney segmentation, significantly better than deep learning based pixel classification networks.


title: Infinitely many solutions for a class of fractional Orlicz-Sobolev Schr\"odinger equations

abstract: In the present paper, we deal with a new compact embedding theorem for a subspace of the new fractional Orlicz-Sobolev spaces. We also establish some useful inequalities which yields to apply the variational methods. Using these abstract results, we study the existence of infinitely many nontrivial solutions for a class of fractional Orlicz-Sobolev Schr\"odinger equations whose simplest prototype is $$(-\triangle)^{s}_{m}+V(x)m(u)u=f(x,u),\ x\in\mathbb{R}^{N},$$ where $s\in ]0,1[$, $N\geq2$, $(-\triangle)^{s}_{m}$ is fractional $M$-Laplace operator and the nonlinearity $f$ is sublinear as $|u| \rightarrow\infty$. The proof is based on the variant Fountain theorem established by Zou.


title: Modes transformation for a Schroedinger type equation: avoided and unavoidable level crossings

abstract: An asymptotic approach for a Schroedinger type equation with a non selfadjoint slowly varying Hamiltonian of a special type is developed. The Hamiltonian is assumed to be the result of a small perturbation of an operator with a twofold degeneracy (turning) point, which can be diagonalized at this point. The non-adiabatic transformation of modes is studied in the case where two small parameters are dependent: the parameter characterizing an order of the perturbation is a square root of the adiabatic parameter. The perturbation of the Hamiltonian produces a close pair of simple degeneracy points. Two regimes of mode transformation for the Schroedinder type equation are identified: avoided crossing of eigenvalues, corresponding to complex degeneracy points, and an explicit unavoidable crossing (with real degeneracy points). Both cases are treated by a method of matched asymptotic expansions in the context of a unifying approach. An asymptotic expansion of the solution near a crossing point containing the parabolic cylinder functions is constructed, and the transition matrix connecting the coefficients of adiabatic modes to the left and to the right of the degeneracy point is derived. Results are illustrated by an example: fermion scattering governed by the Dirac equation.


title: Combining Unsupervised and Supervised Learning for Asset Class Failure Prediction in Power Systems

abstract: In power systems, an asset class is a group of power equipment that has the same function and shares similar electrical or mechanical characteristics. Predicting failures for different asset classes is critical for electric utilities towards developing cost-effective asset management strategies. Previously, physical age based Weibull distribution has been widely used to failure prediction. However, this mathematical model cannot incorporate asset condition data such as inspection or testing results. As a result, the prediction cannot be very specific and accurate for individual assets. To solve this important problem, this paper proposes a novel and comprehensive data-driven approach based on asset condition data: K-means clustering as an unsupervised learning method is used to analyze the inner structure of historical asset condition data and produce the asset conditional ages; logistic regression as a supervised learning method takes in both asset physical ages and conditional ages to classify and predict asset statuses. Furthermore, an index called average aging rate is defined to quantify, track and estimate the relationship between asset physical age and conditional age. This approach was applied to an urban distribution system in West Canada to predict medium-voltage cable failures. Case studies and comparison with standard Weibull distribution are provided. The proposed approach demonstrates superior performance and practicality for predicting asset class failures in power systems.


title: Efficient Convolutional Neural Network Training with Direct Feedback Alignment

abstract: There were many algorithms to substitute the back-propagation (BP) in the deep neural network (DNN) training. However, they could not become popular because their training accuracy and the computational efficiency were worse than BP. One of them was direct feedback alignment (DFA), but it showed low training performance especially for the convolutional neural network (CNN). In this paper, we overcome the limitation of the DFA algorithm by combining with the conventional BP during the CNN training. To improve the training stability, we also suggest the feedback weight initialization method by analyzing the patterns of the fixed random matrices in the DFA. Finally, we propose the new training algorithm, binary direct feedback alignment (BDFA) to minimize the computational cost while maintaining the training accuracy compared with the DFA. In our experiments, we use the CIFAR-10 and CIFAR-100 dataset to simulate the CNN learning from the scratch and apply the BDFA to the online learning based object tracking application to examine the training in the small dataset environment. Our proposed algorithms show better performance than conventional BP in both two different training tasks especially when the dataset is small.


title: On the Eigen Value Problem in Rindler Space

abstract: In this article in a very general manner we have investigated the eigen value problem in Rindler space. We have developed the formalism in an exact form. It has been noticed that although the Hamiltonian is non-hermitian, because of the PT-symmetric nature, the eigen values are real, where P and T are the parity operator and the time reversal operator respectively. It has further been observed that the eigen energies are linearly quantized and the binding of the system increases with the increase in the strength of uniform gravitational field although its origin is purely classical.


title: General Multi-sum Transformations and Some Implications

abstract: We give two general transformations that allows certain quite general basic hypergeometric multi-sums of arbitrary depth (sums that involve an arbitrary sequence $\{g(k)\}$), to be reduced to an infinite $q$-product times a single basic hypergeometric sum. Various applications are given, including summation formulae for some $q$ orthogonal polynomials, and various multi-sums that are expressible as infinite products.


title: Towards Self-constructive Artificial Intelligence: Algorithmic basis (Part I)

abstract: Artificial Intelligence frameworks should allow for ever more autonomous and general systems in contrast to very narrow and restricted (human pre-defined) domain systems, in analogy to how the brain works. Self-constructive Artificial Intelligence ($SCAI$) is one such possible framework. We herein propose that $SCAI$ is based on three principles of organization: self-growing, self-experimental and self-repairing. Self-growing: the ability to autonomously and incrementally construct structures and functionality as needed to solve encountered (sub)problems. Self-experimental: the ability to internally simulate, anticipate and take decisions based on these expectations. Self-repairing: the ability to autonomously re-construct a previously successful functionality or pattern of interaction lost from a possible sub-component failure (damage). To implement these principles of organization, a constructive architecture capable of evolving adaptive autonomous agents is required. We present Schema-based learning as one such architecture capable of incrementally constructing a myriad of internal models of three kinds: predictive schemas, dual (inverse models) schemas and goal schemas as they are necessary to autonomously develop increasing functionality. We claim that artificial systems, whether in the digital or in the physical world, can benefit very much form this constructive architecture and should be organized around these principles of organization. To illustrate the generality of the proposed framework, we include several test cases in structural adaptive navigation in artificial intelligence systems in Paper II of this series, and resilient robot motor control in Paper III of this series. Paper IV of this series will also include $SCAI$ for problem structural discovery in predictive Business Intelligence.


title: State of the art in the determination of the fine structure constant and the ratio $h/m_\mathrm{u}$

abstract: The fine structure constant $\alpha$ and the ratio $h/m_{\mathrm{u}}$ between the Planck constant and the unified atomic mass are keystone constants for the determination of other fundamental physical constants, especially the ones involved in the framework of the future International System of units. This paper presents how these two constants, which can be deduced from one another, are measured. We will present in detail the measurement of $h/m_\mathrm{Rb}$ performed by atomic interferometry at the Laboratoire Kastler Brossel in Paris. This type of measurement also allows a test of the standard model to be carried out with unparalleled accuracy.


title: Independent sets in the discrete hypercube

abstract: In this expository note we describe a proof due to A. Sapozhenko that the number of independent sets in the discrete $d$-dimensional hypercube $Q_d$ is asymptotically $2 \sqrt{e} 2^{2^{d-1}}$ as $d$ tends to infinity.


title: Large-Scale Markov Decision Problems via the Linear Programming Dual

abstract: We consider the problem of controlling a fully specified Markov decision process (MDP), also known as the planning problem, when the state space is very large and calculating the optimal policy is intractable. Instead, we pursue the more modest goal of optimizing over some small family of policies. Specifically, we show that the family of policies associated with a low-dimensional approximation of occupancy measures yields a tractable optimization. Moreover, we propose an efficient algorithm, scaling with the size of the subspace but not the state space, that is able to find a policy with low excess loss relative to the best policy in this class. To the best of our knowledge, such results did not exist in the literature previously. We bound excess loss in the average cost and discounted cost cases, which are treated separately. Preliminary experiments show the effectiveness of the proposed algorithms in a queueing application.


title: Refinements of Some Partition Inequalities

abstract: In the present paper we initiate the study of a certain kind of partition inequality, by showing, for example, that if $M\geq 5$ is an integer and the integers $a$ and $b$ are relatively prime to $M$ and satisfy $1\leq a<b<M/2$, and the $c(m,n)$ are defined by \[ \frac{1}{(sq^a,sq^{M-a};q^M)_{\infty}}-\frac{1}{(sq^b,sq^{M-b};q^M)_{\infty}}:=\sum_{m,n\geq 0} c(m,n)s^m q^n, \] then $c(m, Mn)\geq 0$ for all integers $m\geq 0, n\geq 0$. %If, in addition, $M$ is even, then $c(m, Mn+M/2)\geq 0$ for all integers $m\geq 0, n\geq 0$. A similar result is proved for the integers $d(m,n)$ defined by \[ (-sq^a,-sq^{M-a};q^M)_{\infty}-(-sq^b,-sq^{M-b};q^M)_{\infty}:=\sum_{m,n\geq 0} d(m,n)s^m q^n. \] In each case there are obvious interpretations in terms of integer partitions. For example, if $p_{1,5}(m,n)$ (respectively $p_{2,5}(m,n)$) denotes the number of partitions of $n$ into exactly $m$ parts $\equiv \pm 1 (\mod 5)$ (respectively $\equiv \pm 2 (\mod 5)$), then for each integer $n \geq 1$, \[ p_{1,5}(m,5n)\geq p_{2,5}(m,5n), \,\,\,1 \leq m \leq 5n. \]


title: Recurrent Control Nets for Deep Reinforcement Learning

abstract: Central Pattern Generators (CPGs) are biological neural circuits capable of producing coordinated rhythmic outputs in the absence of rhythmic input. As a result, they are responsible for most rhythmic motion in living organisms. This rhythmic control is broadly applicable to fields such as locomotive robotics and medical devices. In this paper, we explore the possibility of creating a self-sustaining CPG network for reinforcement learning that learns rhythmic motion more efficiently and across more general environments than the current multilayer perceptron (MLP) baseline models. Recent work introduces the Structured Control Net (SCN), which maintains linear and nonlinear modules for local and global control, respectively. Here, we show that time-sequence architectures such as Recurrent Neural Networks (RNNs) model CPGs effectively. Combining previous work with RNNs and SCNs, we introduce the Recurrent Control Net (RCN), which adds a linear component to the, RCNs match and exceed the performance of baseline MLPs and SCNs across all environment tasks. Our findings confirm existing intuitions for RNNs on reinforcement learning tasks, and demonstrate promise of SCN-like structures in reinforcement learning.


title: Compressive-Sensing Data Reconstruction for Structural Health Monitoring: A Machine-Learning Approach

abstract: Compressive sensing (CS) has been studied and applied in structural health monitoring for wireless data acquisition and transmission, structural modal identification, and spare damage identification. The key issue in CS is finding the optimal solution for sparse optimization. In the past years, many algorithms have been proposed in the field of applied mathematics. In this paper, we propose a machine-learning-based approach to solve the CS data-reconstruction problem. By treating a computation process as a data flow, the process of CS-based data reconstruction is formalized into a standard supervised-learning task. The prior knowledge, i.e., the basis matrix and the CS-sampled signals, are used as the input and the target of the network; the basis coefficient matrix is embedded as the parameters of a certain layer; the objective function of conventional compressive sensing is set as the loss function of the network. Regularized by l1-norm, these basis coefficients are optimized to reduce the error between the original CS-sampled signals and the masked reconstructed signals with a common optimization algorithm. Also, the proposed network can handle complex bases, such as a Fourier basis. Benefiting from the nature of a multi-neuron layer, multiple signal channels can be reconstructed simultaneously. Meanwhile, the disassembled use of a large-scale basis makes the method memory-efficient. A numerical example of multiple sinusoidal waves and an example of field-test wireless data from a suspension bridge are carried out to illustrate the data-reconstruction ability of the proposed approach. The results show that high reconstruction accuracy can be obtained by the machine learning-based approach. Also, the parameters of the network have clear meanings; the inference of the mapping between input and output is fully transparent, making the CS data reconstruction neural network interpretable.


title: Heavily Fe-doped n-type ferromagnetic semiconductor (In,Fe)Sb with high Curie temperature and large magnetic anisotropy

abstract: We present high-temperature ferromagnetism and large magnetic anisotropy in heavily Fe-doped n-type ferromagnetic semiconductor (In1-x,Fex)Sb (x = 20 - 35%) thin films grown by low-temperature molecular beam epitaxy. The (In1-x,Fex)Sb thin films with x = 20 - 35% maintain the zinc-blende crystal and band structure with single-phase ferromagnetism. The Curie temperature (TC) of (In1-x,Fex)Sb reaches 390 K at x = 35%, which is significantly higher than room temperature and the highest value so far reported in III-V based ferromagnetic semiconductors. Moreover, large coercive force (HC = 160 Oe) and large remanent magnetization (Mr/MS = 71%) have been observed for a (In1-x,Fex)Sb thin film with x = 35%. Our results indicate that the n-type ferromagnetic semiconductor (In1-x,Fex)Sb is very promising for spintronics devices operating at room temperature.


title: Truncated nuclear norm regularization for low-rank tensor completion

abstract: Recently, low-rank tensor completion has become increasingly attractive in recovering incomplete visual data. Considering a color image or video as a three-dimensional (3D) tensor, existing studies have put forward several definitions of tensor nuclear norm. However, they are limited and may not accurately approximate the real rank of a tensor, and they do not explicitly use the low-rank property in optimization. It is proved that the recently proposed truncated nuclear norm (TNN) can replace the traditional nuclear norm, as an improved approximation to the rank of a matrix. In this paper, we propose a new method called the tensor truncated nuclear norm (T-TNN), which suggests a new definition of tensor nuclear norm. The truncated nuclear norm is generalized from the matrix case to the tensor case. With the help of the low rankness of TNN, our approach improves the efficacy of tensor completion. We adopt the definition of the previously proposed tensor singular value decomposition, the alternating direction method of multipliers, and the accelerated proximal gradient line search method in our algorithm. Substantial experiments on real-world videos and images illustrate that the performance of our approach is better than those of previous methods.


title: An existence result for nonhomogeneous quasilinear parabolic equations beyond the duality pairing

abstract: In this paper, we prove existence of \emph{very weak solutions} to nonhomogeneous quasilinear parabolic equations beyond the duality pairing. The main ingredients are a priori esitmates in suitable weighted spaces combined with the compactness argument developed in \cite{bulicek2018well}. In order to obtain the a priori estimates, we make use of the full Calder\'on-Zygmund machinery developed in the past few years and combine it with some sharp bounds for the subclass of Muckenhoupt weights considered in this paper.


title: Quantum State Transfer on a Class of Circulant Graphs

abstract: We study the existence of quantum state transfer on non-integral circulant graphs. We find that continuous time quantum walks on quantum networks based on certain circulant graphs with $2^k$ $\left(k\in\mathbb{Z}\right)$ vertices exhibit pretty good state transfer when there is no external dynamic control over the system. We generalize few previously known results on pretty good state transfer on circulant graphs, and this way we re-discover all integral circulant graphs on $2^k$ vertices exhibiting perfect state transfer.


title: Forecasting People Trajectories and Head Poses by Jointly Reasoning on Tracklets and Vislets

abstract: In this work, we explore the correlation between people trajectories and their head orientations. We argue that people trajectory and head pose forecasting can be modelled as a joint problem. Recent approaches on trajectory forecasting leverage short-term trajectories (aka tracklets) of pedestrians to predict their future paths. In addition, sociological cues, such as expected destination or pedestrian interaction, are often combined with tracklets. In this paper, we propose MiXing-LSTM (MX-LSTM) to capture the interplay between positions and head orientations (vislets) thanks to a joint unconstrained optimization of full covariance matrices during the LSTM backpropagation. We additionally exploit the head orientations as a proxy for the visual attention, when modeling social interactions. MX-LSTM predicts future pedestrians location and head pose, increasing the standard capabilities of the current approaches on long-term trajectory forecasting. Compared to the state-of-the-art, our approach shows better performances on an extensive set of public benchmarks. MX-LSTM is particularly effective when people move slowly, i.e. the most challenging scenario for all other models. The proposed approach also allows for accurate predictions on a longer time horizon.


title: Analogy-Based Preference Learning with Kernels

abstract: Building on a specific formalization of analogical relationships of the form "A relates to B as C relates to D", we establish a connection between two important subfields of artificial intelligence, namely analogical reasoning and kernel-based machine learning. More specifically, we show that so-called analogical proportions are closely connected to kernel functions on pairs of objects. Based on this result, we introduce the analogy kernel, which can be seen as a measure of how strongly four objects are in analogical relationship. As an application, we consider the problem of object ranking in the realm of preference learning, for which we develop a new method based on support vector machines trained with the analogy kernel. Our first experimental results for data sets from different domains (sports, education, tourism, etc.) are promising and suggest that our approach is competitive to state-of-the-art algorithms in terms of predictive accuracy.


title: Steady-state kinetic temperature distribution in a two-dimensional square harmonic scalar lattice lying in a viscous environment and subjected to a point heat source

abstract: We consider heat transfer in an infinite two-dimensional square harmonic scalar lattice lying in a viscous environment and subjected to a heat source. The basic equations for the particles of the lattice are stated in the form of a system of stochastic ordinary differential equations. We perform a continualization procedure and derive an infinite system of linear partial differential equations for covariance variables. The most important results of the paper are the deterministic differential-difference equation describing non-stationary heat propagation in the lattice and the analytical formula in the integral form for its steady-state solution describing kinetic temperature distribution caused by a point heat source of a constant intensity. The comparison between numerical solution of stochastic equations and obtained analytical solution demonstrates a very good agreement everywhere except for the main diagonals of the lattice (with respect to the point source position), where the analytical solution is singular.


title: Normalized ground states for the NLS equation with combined nonlinearities: the Sobolev critical case

abstract: We study existence and properties of ground states for the nonlinear Schr\"odinger equation with combined power nonlinearities \[ -\Delta u= \lambda u + \mu |u|^{q-2} u + |u|^{2^*-2} u \qquad \text{in $\mathbb{R}^N$, $N \ge 3$,} \] having prescribed mass \[ \int_{\mathbb{R}^N} |u|^2 = a^2, \] in the \emph{Sobolev critical case}. For a $L^2$-subcritical, $L^2$-critical, of $L^2$-supercritical perturbation $\mu |u|^{q-2} u$ we prove several existence/non-existence and stability/instability results. This study can be considered as a counterpart of the Brezis-Nirenberg problem in the context of normalized solutions, and seems to be the first contribution regarding existence of normalized ground states for the Sobolev critical NLSE in the whole space $\mathbb{R}^N$.


title: Self-Supervised Learning from Web Data for Multimodal Retrieval

abstract: Self-Supervised learning from multimodal image and text data allows deep neural networks to learn powerful features with no need of human annotated data. Web and Social Media platforms provide a virtually unlimited amount of this multimodal data. In this work we propose to exploit this free available data to learn a multimodal image and text embedding, aiming to leverage the semantic knowledge learnt in the text domain and transfer it to a visual model for semantic image retrieval. We demonstrate that the proposed pipeline can learn from images with associated textwithout supervision and analyze the semantic structure of the learnt joint image and text embedding space. We perform a thorough analysis and performance comparison of five different state of the art text embeddings in three different benchmarks. We show that the embeddings learnt with Web and Social Media data have competitive performances over supervised methods in the text based image retrieval task, and we clearly outperform state of the art in the MIRFlickr dataset when training in the target data. Further, we demonstrate how semantic multimodal image retrieval can be performed using the learnt embeddings, going beyond classical instance-level retrieval problems. Finally, we present a new dataset, InstaCities1M, composed by Instagram images and their associated texts that can be used for fair comparison of image-text embeddings.


title: Deep Learning Assisted Antenna Selection in Untrusted Relay Networks

abstract: This letter mainly studies the transmit antenna selection(TAS) based on deep learning (DL) scheme in untrusted relay networks. In previous work, we discover that machine learning (ML)-based antenna selection schemes have small performance degradation caused by complicated coupling relationship between achievable secrecy rate and the channel gains. To solve the issue, we here introduce deep neural network (DNN) to decouple the complicated relationship. The simulation results show the DNN scheme can achieve better decoupling and thus perform almost the same performance with conventional exhausted searching scheme.


title: Brillouin microscopy - a revolutionary tool for mechanobiology?

abstract: The role and importance of mechanical properties of cells and tissues in cellular function, development as well as disease has widely been acknowledged, however standard techniques currently used to assess them exhibit intrinsic limitations. Recently, a new type of optical elastography, namely Brillouin microscopy, has emerged as a non-destructive, label- and contact-free method which can probe the viscoelastic properties of biological samples with diffraction-limited resolution in 3D. This has led to increased attention amongst the biological and medical research communities, but also to debates about the interpretation and relevance of the measured physical quantities. Here, we review this emerging technology by describing the underlying biophysical principles and discussing the interpretation of Brillouin spectra arising from heterogeneous biological matter. We further elaborate on the technique's limitations as well as its potential for new insights in biology in order to guide interested researchers from various fields.


title: Almost minimizers of the one-phase free boundary problem

abstract: We consider almost minimizers to the one-phase energy functional and we prove their optimal Lipschitz regularity and partial regularity of their free boundary. These results were recently obtained by David and Toro, and David, Engelstein, and Toro. Our proofs provide a different method based on a non-infinitesimal notion of viscosity solutions.


title: Radiative rates for E1, E2, M1, and M2 transitions in F-like ions with 12 <= Z <= 23

abstract: In this paper, energy levels, radiative rates and lifetimes are reported for 11 F-like ions with 12 $\le$ Z $\le$ 23. Up to 198 levels (depending on the ion) have been considered which include 113 of the 2s$^2$2p$^5$, 2s2p$^6$, 2s$^2$2p$^4$3$\ell$, 2s2p$^5$3$\ell$, and 2p$^6$3$\ell$ configurations. The general-purpose relativistic atomic structure package ({\sc grasp}) and the flexible atomic code ({\sc fac}) have been adopted for calculating the energy levels, but the {\sc grasp} alone for the remaining parameters. Radiative rates (along with oscillator strengths and line strengths) are listed for all E1, E2, M1, and M2 transitions of the ions. Comparisons are made with earlier available theoretical and experimental energies, for all ions, in order to assess the accuracy of the calculations. Comparisons have also been made for the radiative rates and lifetimes, which have been possible for only those among the lowest 60 levels.


title: High Redshift Massive Quiescent Galaxies are as Flat as Star Forming Galaxies: The Flattening of Galaxies and the Correlation with Structural Properties in CANDELS/3D-HST

abstract: We investigate the median flattening of galaxies at $0.2<z<4.0$ in all five CANDELS/3D-HST fields via the apparent axis ratio $q$. We separate the sample into bins of redshift, stellar-mass, s\'ersic index, size, and UVJ determined star-forming state to discover the most important drivers of the median $q$ ($q_{med}$). Quiescent galaxies at $z<1$ and $M_{*}>10^{11}M_{\odot}$ are rounder than those at lower masses, consistent with the hypothesis that they have grown significantly through dry merging. The massive quiescent galaxies at higher redshift become flatter, and are as flat as star forming massive galaxies at $2.5<z<3.5$, consistent with formation through direct transformations or wet mergers. We find that in quiescent galaxies, correlations with $q_{med}$ and $M_{*}$, $z$ and $r_{e}$ are driven by the evolution in the s\'ersic index ($n$), consistent with the growing accumulation of minor mergers at lower redshift. Interestingly, $n$ does not drive these trends fully in star-forming galaxies. Instead, the strongest predictor of $q$ in star-forming galaxies is the effective radius, where larger galaxies are flatter. Our findings suggest that $q_{med}$ is tracing bulge-to-total ($B/T$) galaxy ratio which would explain why smaller/more massive star-forming galaxies are rounder than their extended/less massive analogues, although it is unclear why s\'ersic index correlates more weakly with flattening for star forming galaxies than for quiescent galaxies.


title: Cosmology With a Very Light $L_\mu - L_\tau$ Gauge Boson

abstract: In this paper, we explore in detail the cosmological implications of an abelian $L_\mu-L_\tau$ gauge extension of the Standard Model featuring a light and weakly coupled $Z'$. Such a scenario is motivated by the longstanding $\sim \, 4 \sigma$ discrepancy between the measured and predicted values of the muon's anomalous magnetic moment, $(g-2)_\mu$, as well as the tension between late and early time determinations of the Hubble constant. If sufficiently light, the $Z'$ population will decay to neutrinos, increasing the overall energy density of radiation and altering the expansion history of the early universe. We identify two distinct regions of parameter space in this model in which the Hubble tension can be significantly relaxed. The first of these is the previously identified region in which a $\sim \, 10-20$ MeV $Z'$ reaches equilibrium in the early universe and then decays, heating the neutrino population and delaying the process of neutrino decoupling. For a coupling of $g_{\mu-\tau} \simeq (3-8) \times 10^{-4}$, such a particle can also explain the observed $(g-2)_{\mu}$ anomaly. In the second region, the $Z'$ is very light ($m_{Z'} \sim 1\,\text{eV}$ to $\text{MeV}$) and very weakly coupled ($g_{\mu-\tau} \sim 10^{-13}$ to $10^{-9}$). In this case, the $Z'$ population is produced through freeze-in, and decays to neutrinos after neutrino decoupling. Across large regions of parameter space, we predict a contribution to the energy density of radiation that can appreciably relax the reported Hubble tension, $\Delta N_{\rm eff} \simeq 0.2$.


title: Homological Tools for the Quantum Mechanic

abstract: This paper is an introduction to work motivated by the question "can multipartite entanglement be detected by homological algebra?" We introduce cochain complexes associated to multipartite density states whose cohomology detects factorizability. The $k$th cohomology components of such cochain complexes produce tuples of $(k+1)$-body operators that are non-locally correlated due to the non-factorizability of the state. Associated Poincare polynomials are invariant under local invertible linear transformations (automorphisms that decompose as tensor products). These complexes can be considered as a step toward realizing mutual information as an Euler characteristic. We motivate the definition of the "state index" associated to a multipartite state: a three-parameter function which is: invariant under local invertible transformations, well-behaved under tensor products of states, and interpolates between multipartite mutual information and the integer-valued Euler characteristics of our complexes. We compute cohomologies and state indices of multipartite W and GHZ states. The approach in this paper is directed toward practitioners of finite-dimensional quantum mechanics, although the machinery developed generalizes far beyond. Some results are applicable in infinite dimensions and should be generalizable to the context of quantum field theory. In order to compensate for the long length, a detailed summary is provided in the introduction section.


title: Generic matter representations in 6D supergravity theories

abstract: In six-dimensional supergravity, there is a natural sense in which matter lying in certain representations of the gauge group is "generic," in the sense that other "exotic" matter representations require more fine tuning. From considerations of the dimensionality of the moduli space and anomaly cancellation conditions, we find that the generic sets of matter representations are well-defined for 6D supergravity theories with gauge groups containing arbitrary numbers of nonabelian factors and $\operatorname{U}(1)$ factors. These generic matter representations also match with those that arise in the most generic F-theory constructions, both in 6D and in 4D, with non-generic matter representations requiring more exotic singularity types. The analysis of generic versus exotic matter illuminates long-standing puzzles regarding F-theory models with multiple $\operatorname{U}(1)$ factors and provides a useful framework for analyzing the 6D "swampland" of apparently consistent low-energy theories that cannot be realized through known string constructions. We note also that the matter content of the standard model is generic by the criteria used here only if the global structure is $\operatorname{SU}(3)_\text{c} \times \operatorname{SU}(2)_\text{L} \times \operatorname{U}(1)_Y / \mathbb{Z}_6$.


title: General relativity from $p$-adic strings

abstract: For an arbitrary prime number $p$, we propose an action for bosonic $p$-adic strings in curved target spacetime, and show that the vacuum Einstein equations of the target are a consequence of worldsheet scaling symmetry of the quantum $p$-adic strings, similar to the ordinary bosonic strings case. It turns out that certain $p$-adic automorphic forms are the plane wave modes of the bosonic fields on $p$-adic strings, and that the regularized normalization of these modes on the $p$-adic worldsheet presents peculiar features which reduce part of the computations to familiar setups in quantum field theory, while also exhibiting some new features that make loop diagrams much simpler. Assuming a certain product relation, we also observe that the adelic spectrum of the bosonic string corresponds to the nontrivial zeros of the Riemann Zeta function.


title: Prospects for observing strongly lensed supernovae behind Hubble Frontier Fields galaxy clusters with the James Webb Space Telescope

abstract: Measuring time delays from strongly lensed supernovae (SNe) is emerging as a novel and independent tool for estimating the Hubble constant $(H_0)$. This is very important given the recent discord in the value of $H_0$ from two methods that probe different distance ranges. The success of this technique will rely of our ability to discover strongly lensed SNe with measurable time delays. Here, we present the magnifications and the time delays for the multiply-imaged galaxies behind the Hubble Frontier Fields (HFF) galaxy clusters, by using recently published lensing models. Continuing on our previous work done for Abell 1689 (A1689) and Abell 370, we also show the prospects of observing strongly lensed SNe behind the HFF clusters with the upcoming James Webb Space Telescope (JWST). With four 1-hour visits in one year, the summed expectations of all six HFF clusters are $\sim0.5$ core-collapse (CC) SNe and $\sim0.06$ Type Ia SNe (SNe Ia) in F115W band, while with F150W the expectations are higher, $\sim0.9$ CC SNe and $\sim0.06$ SNe Ia. These estimates match those expected by only surveying A1689, proving that the performance of A1689 as gravitational telescope is superior. In the five HFF clusters presented here, we find that F150W will be able to detect SNe Ia (SNe IIP) exploding in 93 (80) pairs multiply-imaged galaxies with time delays of less than 5 years.


title: Transit Least Squares: Optimized transit detection algorithm to search for periodic transits of small planets

abstract: We present a new method to detect planetary transits from time-series photometry, the Transit Least Squares (TLS) algorithm. TLS searches for transit-like features while taking the stellar limb darkening and planetary ingress and egress into account. We have optimized TLS for both signal detection efficiency (SDE) of small planets and computational speed. TLS analyses the entire, unbinned phase-folded light curve. We compensate for the higher computational load by (i.) using algorithms like "Mergesort" (for the trial orbital phases) and by (ii.) restricting the trial transit durations to a smaller range that encompasses all known planets, and using stellar density priors where available. A typical K2 light curve, including 80d of observations at a cadence of 30min, can be searched with TLS in ~10s real time on a standard laptop computer, as fast as the widely used Box Least Squares (BLS) algorithm. We perform a transit injection-retrieval experiment of Earth-sized planets around sun-like stars using synthetic light curves with 110ppm white noise per 30min cadence, corresponding to a photometrically quiet KP=12 star observed with Kepler. We determine the SDE thresholds for both BLS and TLS to reach a false positive rate of 1% to be SDE~7 in both cases. The resulting true positive (or recovery) rates are ~93% for TLS and ~76% for BLS, implying more reliable detections with TLS. We also test TLS with the K2 light curve of the TRAPPIST-1 system and find six of seven Earth-sized planets using an iterative search for increasingly lower signal detection efficiency, the phase-folded transit of the seventh planet being affected by a stellar flare. TLS is more reliable than BLS in finding any kind of transiting planet but it is particularly suited for the detection of small planets in long time series from Kepler, TESS, and PLATO. We make our Python implementation of TLS publicly available.