title: deeplenstronomy: A dataset simulation package for strong gravitational lensing

abstract: Automated searches for strong gravitational lensing in optical imaging survey datasets often employ machine learning and deep learning approaches. These techniques require more example systems to train the algorithms than have presently been discovered, which creates a need for simulated images as training dataset supplements. This work introduces and summarizes deeplenstronomy, an open-source Python package that enables efficient, large-scale, and reproducible simulation of images of astronomical systems. A full suite of unit tests, documentation, and example notebooks are available at https://deepskies.github.io/deeplenstronomy/ .


title: Decoding of (Interleaved) Generalized Goppa Codes

abstract: Generalized Goppa codes are defined by a code locator set $\mathcal{L}$ of polynomials and a Goppa polynomial $G(x)$. When the degree of all code locator polynomials in $\mathcal{L}$ is one, generalized Goppa codes are classical Goppa codes. In this work, binary generalized Goppa codes are investigated. First, a parity-check matrix for these codes with code locators of any degree is derived. A careful selection of the code locators leads to a lower bound on the minimum Hamming distance of generalized Goppa codes which improves upon previously known bounds. A quadratic-time decoding algorithm is presented which can decode errors up to half of the minimum distance. Interleaved generalized Goppa codes are introduced and a joint decoding algorithm is presented which can decode errors beyond half the minimum distance with high probability. Finally, some code parameters and how they apply to the Classic McEliece post-quantum cryptosystem are shown.


title: On the Observational Difference Between the Accretion Disk-Corona Connections among Super- and Sub-Eddington Accreting Active Galactic Nuclei

abstract: We present a systematic X-ray and multiwavelength study of a sample of 47 active galactic nuclei (AGNs) with reverberation-mapping measurements. This sample includes 21 super-Eddington accreting AGNs and 26 sub-Eddington accreting AGNs. Using high-state observations with simultaneous X-ray and UV/optical measurements, we investigate whether super-Eddington accreting AGNs exhibit different accretion disk-corona connections compared to sub-Eddington accreting AGNs. We find tight correlations between the X-ray-to-UV/optical spectral slope parameter ($\alpha_{\rm OX}$) and the monochromatic luminosity at $2500~\r{A}$ ($L_{\rm 2500~\r{A}}$) for both the super- and sub-Eddington subsamples. The best-fit $\alpha_{\rm OX}-L_{\rm 2500~\r{A}}$ relations are consistent overall, indicating that super-Eddington accreting AGNs are not particularly X-ray weak in general compared to sub-Eddington accreting AGNs. We find dependences of $\alpha_{\rm OX}$ on both the Eddington ratio ($L_{\rm Bol}/L_{\rm Edd}$) and black hole mass ($M_{\rm BH}$) parameters for our full sample. A multi-variate linear regression analysis yields $\alpha_{\rm OX}=-0.13 {\rm log}(L_{\rm Bol}/L_{\rm Edd})-0.10 {\rm log}M_{\rm BH}-0.69$, with a scatter similar to that of the $\alpha_{\rm OX}-L_{\rm 2500~\r{A}}$ relation. The hard (rest-frame $>2\rm ~keV$) X-ray photon index ($\Gamma$) is strongly correlated with $L_{\rm Bol}/L_{\rm Edd}$ for the full sample and the super-Eddington subsample, but these two parameters are not significantly correlated for the sub-Eddington subsample. A fraction of super-Eddington accreting AGNs show strong X-ray variability, probably due to small-scale gas absorption, and we highlight the importance of employing high-state (intrinsic) X-ray radiation to study the accretion disk-corona connections in AGNs.


title: Quenching factor measurements of sodium nuclear recoils in NaI:Tl determined by spectrum fitting

abstract: We have performed measurements of sodium nuclear recoils in NaI:Tl crystals, following scattering by neutrons produced in a $^{7}$Li(p,n)$^{7}$Be reaction. Understanding the light output from such recoils, which is reduced relative to electrons of equivalent energy by the quenching factor, is critical to interpret dark matter experiments that search for nuclear scattering interactions. We have developed a spectrum-fitting methodology to extract the quenching factor from our measurements, and report quenching factors for nuclear recoil energies between 36 and 401 keV. Our results agree with other recent quenching factor measurements that use quasi-monoenergetic neutron sources. The new method will be applied in the future to the NaI:Tl crystals used in the SABRE experiment.


title: Cross impact in derivative markets

abstract: Trading a financial asset pushes its price as well as the prices of other assets, a phenomenon known as cross-impact. The empirical estimation of this effect on complex financial instruments, such as derivatives, is an open problem. To address this, we consider a setting in which the prices of derivatives is a deterministic function of stochastic factors where trades on both factors and derivatives induce price impact. We show that a specific cross-impact model satisfies key properties which make its estimation tractable in applications. Using E-Mini futures, European call and put options and VIX futures, we estimate cross-impact and show our simple framework successfully captures some of the empirical phenomenology. Our framework for estimating cross-impact on derivatives may be used in practice for estimating hedging costs or building liquidity metrics on derivative markets.


title: Exact solution of one dimensional relativistic jet with relativistic equation of state

abstract: We study the evolution of one-dimensional relativistic jets, using the exact solution of the Riemann problem for relativistic flows. For this purpose, we solve equations for the ideal special relativistic fluid composed of dissimilar particles in flat space-time and the thermodynamics of fluid is governed by a relativistic equation of state. We obtain the exact solution of jets impinging on denser ambient media. The time variation of the cross-section of the jet-head is modeled and incorporated. We present the initial condition that gives rise to a reverse shock. If the jet-head cross-section increases in time, the jet propagation speed slows down significantly and the reverse-shock may recede opposite to the propagation direction of the jet. We show that the composition of jet and ambient medium can affect the jet solution significantly. For instance, the propagation speed depends on the composition and is maximum for a pair-dominated jet, rather than a pure electron-positron or electron-proton jet. The propagation direction of the reverse-shock may also strongly depend on the composition of the jet.


title: Assessment of the Performance of Density Functionals for Predicting Potential Energy Curves in Hydrogen Storage Applications

abstract: The availability of accurate computational tools for modeling and simulation is vital to accelerate the discovery of materials capable of storing hydrogen (H2) under given parameters of pressure swing and temperature. Previously, we compiled the H2Bind275 dataset consisting of equilibrium geometries and assessed the performance of 55 density functionals over this dataset (Veccham, S. P.; Head-Gordon, M. J. Chem. Theory Comput., 2020, 16, 4963--4982). As it is crucial for computational tools to accurately model the entire potential energy curve (PEC), in addition to the equilibrium geometry, we have extended this dataset with 389 new data points to include two compressed and three elongated geometries along 78 PECs for H2 binding, forming the H2Bind78x7 dataset. Assessing the performance of 55 density functionals on this significantly larger and more comprehensive H2Bind78x7 dataset, we have identified the best performing density functionals for H2 binding applications: PBE0-DH, $\omega$B97X-V, $\omega$B97M-V, and DSD-PBEPBE-D3(BJ). Addition of Hartree Fock exchange improves the performance of density functionals, albeit not uniformly throughout the PEC. We recommend the usage of wB97X-V and wB97M-V density functionals as they give good performance for both geometries and energies. In addition, we have also identified B97M-V and B97M-rV as the best semi-local density functionals for predicting H2 binding energy at its equilibrium geometry.


title: Escaping Saddle Points for Nonsmooth Weakly Convex Functions via Perturbed Proximal Algorithms

abstract: We propose perturbed proximal algorithms that can provably escape strict saddles for nonsmooth weakly convex functions. The main results are based on a novel characterization of $\epsilon$-approximate local minimum for nonsmooth functions, and recent developments on perturbed gradient methods for escaping saddle points for smooth problems. Specifically, we show that under standard assumptions, the perturbed proximal point, perturbed proximal gradient and perturbed proximal linear algorithms find $\epsilon$-approximate local minimum for nonsmooth weakly convex functions in $O(\epsilon^{-2}\log(d)^4)$ iterations, where $d$ is the dimension of the problem.


title: The role of the attractive forces in a supercooled liquid

abstract: Molecular Dynamics simulations of crystallization in a supercooled liquid of Lennard-Jones particles with different range of attractions shows that the inclusion of the attractive forces from the first, second and third coordination shell increases the trend to crystallize systematic. The bond-order $Q_6$ in the supercooled liquid is heterogeneously distributed with clusters of particles with relative high bond-order for a supercooled liquid, and a systematic increase of the extent of heterogeneity with increasing range of attractions. The onset of crystallization appears in such a cluster, which together explains the attractive forces influence on crystallization. The mean square displacement and self-diffusion constant exhibit the same dependence on the range of attractions in the dynamics and shows, that the attractive forces and the range of the forces plays an important role for bond-ordering, diffusion and for crystallization.


title: Perturbative diagonalisation for Maryland-type quasiperiodic operators with flat pieces

abstract: We consider quasiperiodic operators on $\mathbb Z^d$ with unbounded monotone sampling functions ("Maryland-type"), which are not required to be strictly monotone and are allowed to have flat segments. Under several geometric conditions on the frequencies, lengths of the segments, and their positions, we show that these operators enjoy Anderson localization at large disorder.


title: On the relation of the entanglement spectrum to the bulk polarization

abstract: The bulk polarization is a $\mathbb{Z}_2$ topological invariant characterizing non-interacting systems in one dimension with chiral or particle-hole symmetries. We show that the bulk polarization can always be determined from the single-particle entanglement spectrum, even in the absence of symmetries that quantize it. In the symmetric case, the known relation between the bulk polarization and the number of virtual topological edge modes is recovered. We use the bulk polarization to compute Chern numbers in 1D and 2D, which illuminates their known relation to the entanglement spectrum. Furthermore we discuss an alternative bulk polarization that can carry more information about the surface spectrum than the conventional one and can simplify the calculation of Chern numbers.


title: Building Representative Corpora from Illiterate Communities: A Review of Challenges and Mitigation Strategies for Developing Countries

abstract: Most well-established data collection methods currently adopted in NLP depend on the assumption of speaker literacy. Consequently, the collected corpora largely fail to represent swathes of the global population, which tend to be some of the most vulnerable and marginalised people in society, and often live in rural developing areas. Such underrepresented groups are thus not only ignored when making modeling and system design decisions, but also prevented from benefiting from development outcomes achieved through data-driven NLP. This paper aims to address the under-representation of illiterate communities in NLP corpora: we identify potential biases and ethical issues that might arise when collecting data from rural communities with high illiteracy rates in Low-Income Countries, and propose a set of practical mitigation strategies to help future work.


title: The EpiBench Platform to Propel AI/ML-based Epidemic Forecasting: A Prototype Demonstration Reaching Human Expert-level Performance

abstract: During the COVID-19 pandemic, a significant effort has gone into developing ML-driven epidemic forecasting techniques. However, benchmarks do not exist to claim if a new AI/ML technique is better than the existing ones. The "covid-forecast-hub" is a collection of more than 30 teams, including us, that submit their forecasts weekly to the CDC. It is not possible to declare whether one method is better than the other using those forecasts because each team's submission may correspond to different techniques over the period and involve human interventions as the teams are continuously changing/tuning their approach. Such forecasts may be considered "human-expert" forecasts and do not qualify as AI/ML approaches, although they can be used as an indicator of human expert performance. We are interested in supporting AI/ML research in epidemic forecasting which can lead to scalable forecasting without human intervention. Which modeling technique, learning strategy, and data pre-processing technique work well for epidemic forecasting is still an open problem. To help advance the state-of-the-art AI/ML applied to epidemiology, a benchmark with a collection of performance points is needed and the current "state-of-the-art" techniques need to be identified. We propose EpiBench a platform consisting of community-driven benchmarks for AI/ML applied to epidemic forecasting to standardize the challenge with a uniform evaluation protocol. In this paper, we introduce a prototype of EpiBench which is currently running and accepting submissions for the task of forecasting COVID-19 cases and deaths in the US states and We demonstrate that we can utilize the prototype to develop an ensemble relying on fully automated epidemic forecasts (no human intervention) that reaches human-expert level ensemble currently being used by the CDC.


title: Host-star and exoplanet compositions: a pilot study usinga wide binary with a polluted white dwarf

abstract: Planets and stars ultimately form out of the collapse of the same cloud of gas. Whilst planets, and planetary bodies, readily loose volatiles, a common hypothesis is that they retain the same refractory composition as their host star. This is true within the Solar System. The refractory composition of chondritic meteorites, Earth and other rocky planetary bodies are consistent with solar, within the observational errors. This work aims to investigate whether this hypothesis holds for exoplanetary systems. If true, the internal structure of observed rocky exoplanets can be better constrained using their host star abundances. In this paper, we analyse the abundances of the K-dwarf, G200-40, and compare them to its polluted white dwarf companion, WD 1425+540. The white dwarf has accreted planetary material, most probably a Kuiper belt-like object, from an outer planetary system surviving the star's evolution to the white dwarf phase. Given that binary pairs are chemically homogeneous, we use the binary companion, G200-40, as a proxy for the composition of the progenitor to WD 1425+540. We show that the elemental abundances of the companion star and the planetary material accreted by WD 1425+540 are consistent with the hypothesis that planet and host-stars have the same true abundances, taking into account the observational errors.


title: Hot QCD at finite isospin density: confronting SU(3) Nambu-Jona-Lasinio model with recent lattice data

abstract: Extending our recently published $SU(2)$ results for zero temperature we now compute the QCD equation of state for finite isospin density within the three flavor Nambu-Jona-Lasinio model in the mean field approximation, motivated by the recently obtained Lattice QCD results for both zero and finite temperatures. Like our previous study, here also we have considered both the commonly used Traditional cutoff Regularization Scheme and the Medium Separation Scheme. Our results are compared with recent high-precision lattice simulations as well as previously obtained results in two-flavor Nambu-Jona-Lasinio model. The agreement between the lattice results and the predictions from three-flavor NJL model is very good for low values of $\mu_I$ (for both zero and finite temperatures). For larger values of $\mu_I$, the agreement between lattice data and the two-flavor NJL predictions is surprisingly good and better than with the three-flavor predictions.


title: Designing a Binary Clock using logic gates

abstract: Wristwatches have been a common fashion accessory addition for several people. However, the concept of using a seven-segment digital display or sometimes, even an analog indicator hasn't changed for a number of years. This project aims to test and design a binary clock, also referred to as 32, 16, 8, 4, 2, 1 clock or even 8, 4, 2, 1 clock (due to their display configuration), that could change this everlasting display for watches. Specifically, digital logic and design engineers would find interest in this topic due to the sophistication involved in reading-out the time. This project will do so using by showing each decimal digit of sexagesimal time as a binary value. This design will be primarily functioning on logic gates and would involve the use of several basic components that include, but are not limited to, integrated circuits (or ICs), Light-emitting diodes (LEDs), and resistors.


title: Low-Power Status Updates via Sleep-Wake Scheduling

abstract: We consider the problem of optimizing the freshness of status updates that are sent from a large number of low-power sources to a common access point. The source nodes utilize carrier sensing to reduce collisions and adopt an asynchronized sleep-wake scheduling strategy to achieve a target network lifetime (e.g., 10 years). We use age of information (AoI) to measure the freshness of status updates, and design sleep-wake parameters for minimizing the weighted-sum peak AoI of the sources, subject to per-source battery lifetime constraints. When the sensing time (i.e., the time duration of carrier sensing) is zero, this sleep-wake design problem can be solved by resorting to a two-layer nested convex optimization procedure; however, for positive sensing times, the problem is non-convex. We devise a low-complexity solution to solve this problem and prove that, for practical sensing times that are short, the solution is within a small gap from the optimum AoI performance. When the mean transmission time of status-update packets is unknown, we devise a reinforcement learning algorithm that adaptively performs the following two tasks in an ``efficient way'': a) it learns the unknown parameter, b) it also generates efficient controls that make channel access decisions. We analyze its performance by quantifying its ``regret'', i.e., the sub-optimality gap between its average performance and the average performance of a controller that knows the mean transmission time. Our numerical and NS-3 simulation results show that our solution can indeed elongate the batteries lifetime of information sources, while providing a competitive AoI performance.


title: Where is String Theory?

abstract: We use the S-matrix bootstrap to carve out the space of unitary, crossing symmetric and supersymmetric graviton scattering amplitudes in ten dimensions. We focus on the leading Wilson coefficient $\alpha$ controlling the leading correction to maximal supergravity. The negative region $\alpha<0$ is excluded by a simple dual argument based on linearized unitarity (the desert). A whole semi-infinite region $\alpha \gtrsim 0.14$ is allowed by the primal bootstrap (the garden). A finite intermediate region is excluded by non-perturbative unitarity (the swamp). Remarkably, string theory seems to cover all (or at least almost all) the garden from very large positive $\alpha$ -- at weak coupling -- to the swamp boundary -- at strong coupling.


title: Train track maps on graphs of groups

abstract: In this paper we develop the theory of train track maps on graphs of groups. Expanding a definition of Bass, we define a notion of a map of a graph of groups, and of a homotopy equivalence. We prove that under one of two technical hypotheses, any homotopy equivalence of a graph of groups may be represented by a relative train track map. The first applies in particular to graphs of groups with finite edge groups, while the second applies in particular to certain generalized Baumslag-Solitar groups.


title: Semi-Synchronous Federated Learning for Energy-Efficient Training and Accelerated Convergence in Cross-Silo Settings

abstract: There are situations where data relevant to machine learning problems are distributed across multiple locations that cannot share the data due to regulatory, competitiveness, or privacy reasons. Machine learning approaches that require data to be copied to a single location are hampered by the challenges of data sharing. Federated Learning (FL) is a promising approach to learn a joint model over all the available data across silos. In many cases, the sites participating in a federation have different data distributions and computational capabilities. In these heterogeneous environments, existing approaches exhibit poor performance: synchronous FL protocols are communication efficient, but have slow learning convergence and high energy cost; conversely, asynchronous FL protocols have faster convergence with lower energy cost, but higher communication. In this work, we introduce a novel energy-efficient Semi-Synchronous Federated Learning protocol that mixes local models periodically with minimal idle time and fast convergence. We show through extensive experiments over established benchmark datasets in the computer-vision domain as well as in real-world biomedical settings that our approach significantly outperforms previous work in data and computationally heterogeneous environments.


title: Undecidability of Underfitting in Learning Algorithms

abstract: Using recent machine learning results that present an information-theoretic perspective on underfitting and overfitting, we prove that deciding whether an encodable learning algorithm will always underfit a dataset, even if given unlimited training time, is undecidable. We discuss the importance of this result and potential topics for further research, including information-theoretic and probabilistic strategies for bounding learning algorithm fit.


title: Dirichlet Series Expansions of p-adic L-Functions

abstract: We study $p$-adic $L$-functions $L_p(s,\chi)$ for Dirichlet characters $\chi$. We show that $L_p(s,\chi)$ has a Dirichlet series expansion for each regularization parameter $c$ that is prime to $p$ and the conductor of $\chi$. The expansion is proved by transforming a known formula for $p$-adic $L$-functions and by controlling the limiting behavior. A finite number of Euler factors can be factored off in a natural manner from the $p$-adic Dirichlet series. We also provide an alternative proof of the expansion using $p$-adic measures and give an explicit formula for the values of the regularized Bernoulli distribution. The result is particularly simple for $c=2$, where we obtain a Dirichlet series expansion that is similar to the complex case.


title: Eliciting judgements about dependent quantities of interest: The SHELF extension and copula methods illustrated using an asthma case study

abstract: Pharmaceutical companies regularly need to make decisions about drug development programs based on the limited knowledge from early stage clinical trials. In this situation, eliciting the judgements of experts is an attractive approach for synthesising evidence on the unknown quantities of interest. When calculating the probability of success for a drug development program, multiple quantities of interest - such as the effect of a drug on different endpoints - should not be treated as unrelated. We discuss two approaches for establishing a multivariate distribution for several related quantities within the SHeffield ELicitation Framework (SHELF). The first approach elicits experts' judgements about a quantity of interest conditional on knowledge about another one. For the second approach, we first elicit marginal distributions for each quantity of interest. Then, for each pair of quantities, we elicit the concordance probability that both lie on the same side of their respective elicited medians. This allows us to specify a copula to obtain the joint distribution of the quantities of interest. We show how these approaches were used in an elicitation workshop that was performed to assess the probability of success of the registrational program of an asthma drug. The judgements of the experts, which were obtained prior to completion of the pivotal studies, were well aligned with the final trial results.


title: "Facebook Promotes More Harassment": Social Media Ecosystem, Skill and Marginalized Hijra Identity in Bangladesh

abstract: Social interaction across multiple online platforms is a challenge for gender and sexual minorities (GSM) due to the stigmatization they face, which increases the complexity of their self-presentation decisions. These online interactions and identity disclosures can be more complicated for GSM in non-Western contexts due to consequentially different audiences and perceived affordances by the users, and limited baseline understanding of the conflation of these two with local norms and the opportunities they practically represent. Using focus group discussions and semi-structured interviews, we engaged with 61 \textit{Hijra} individuals from Bangladesh, a severely stigmatized GSM from south Asia, to understand their overall online participation and disclosure behaviors through the lens of personal social media ecosystems. We find that along with platform audiences, affordances, and norms, participant skill/knowledge, and cultural influences also impact navigation through multiple platforms, resulting in differential benefits from privacy features. This impacts how Hijra perceive online spaces, and shape their self-presentation and disclosure behaviors over time. Content Warning: This paper discusses graphic contents (e.g. rape and sexual harassment) related to Hijra.


title: Restricting loop expansions in gauge theories coupled to matter

abstract: Quantizing any model in which a Lagrange multiplier (LM) field is used to restrict field configurations to those that satisfy the classical equations of motion, leads to at most one-loop radiative corrections. This approach can be used with both the Yang-Mills (YM) and Einstein-Hilbert (EH) action; the resulting theory is both renormalizable and unitary, has a positive energy spectrum and has no negative norm states contributing to physical processes. Although this approach cannot be consistently used with scalar fields alone, scalar fields can be coupled to gauge fields so that loop effects in the gauge sector are restricted to one-loop order in a way that satisfies the usual criterion for a consistent quantum field theory. The tree-level diagrams are those of the classical theory in which the metric couples to the energy-momentum tensor.


title: Machine Learning for Auxiliary Sources

abstract: We rewrite the numerical ansatz of the Method of Auxiliary Sources (MAS), typically used in computational electromagnetics, as a neural network, i.e. as a composed function of linear and activation layers. MAS is a numerical method for Partial Differential Equations (PDEs) that employs point sources, which are also exact solutions of the considered PDE, as radial basis functions to match a given boundary condition. In the framework of neural networks we rely on optimization algorithms such as Adam to train MAS and find both its optimal coefficients and positions of the central singularities of the sources. In this work we also show that the MAS ansatz trained as a neural network can be used, in the case of an unknown function with a central singularity, to detect the position of such singularity.


title: Revisiting Rotation Measures from the Canadian Galactic Plane Survey: the Magnetic Field in the Disk of the Outer Galaxy

abstract: Faraday rotation provides a valuable tracer of magnetic fields in the interstellar medium; catalogs of Faraday rotation measures provide key observations for studies of the Galactic magnetic field. We present a new catalog of rotation measures derived from the Canadian Galactic Plane Survey, covering a large region of the Galactic plane spanning 52 deg < l < 192 deg, -3 deg < b < 5 deg, along with northern and southern latitude extensions around l ~ 105 deg. We have derived rotation measures for 2234 sources (4 of which are known pulsars), 75% of which have no previous measurements, over an area of approximately 1300 square degrees. These new rotation measures increase the measurement density for this region of the Galactic plane by a factor of two.


title: Flow Regime Transition in Countercurrent Packed Column Monitored by ECT

abstract: Vertical packed columns are widely used in absorption, stripping and distillation processes. Flooding will occur in the vertical packed columns as a result of excessive liquid accumulation, which reduces mass transfer efficiency and causes a large pressure drop. Pressure drop measurements are typically used as the hydrodynamic parameter for predicting flooding. They are, however, only indicative of the occurrence of transition of the flow regime across the packed column. They offer limited spatial information to mass transfer packed column operators and designers. In this work, a new method using Electrical Capacitance Tomography (ECT) is implemented for the first time so that real-time flow regime monitoring at different vertical positions is achieved in a countercurrent packed bed column using ECT. Two normalisation methods are implemented to monitor the transition from pre-loading to flooding in a column of 200 mm diameter, 1200 mm height filled with plastic structured packing. Liquid distribution in the column can be qualitatively visualised via reconstructed ECT images. A flooding index is implemented to quantitatively indicate the progression of local flooding. In experiments, the degree of local flooding is quantified at various gas flow rates and locations of ECT sensor. ECT images were compared with pressure drop and visual observation. The experimental results demonstrate that ECT is capable of monitoring liquid distribution, identifying flow regime transitions and predicting local flooding.


title: Spatio-temporal correlations in 3D homogeneous isotropic turbulence

abstract: We use Direct Numerical Simulations (DNS) of the forced Navier-Stokes equation for a 3-dimensional incompressible fluid in order to test recent theoretical predictions. We study the two- and three-point spatio-temporal correlation functions of the velocity field in stationary, isotropic and homogeneous turbulence. We compare our numerical results to the predictions from the Functional Renormalization Group (FRG) which were obtained in the large wavenumber limit. DNS are performed at various Reynolds numbers and the correlations are analyzed in different time regimes focusing on the large wavenumbers. At small time delays, we find that the two-point correlation function decays as a Gaussian in the variable $kt$ where $k$ is the wavenumber and $t$ the time delay. The three-point correlation function, determined from the time-dependent advection-velocity correlations, also follows a Gaussian decay at small $t$ with the same prefactor as the one of the two-point function. These behaviors are in precise agreement with the FRG results, and can be simply understood as a consequence of sweeping. At large time delays, the FRG predicts a crossover to an exponential in $k^2 t$, which we were not able to resolve in our simulations. However, we analyze the two-point spatio-temporal correlations of the modulus of the velocity, and show that they exhibit this crossover from a Gaussian to an exponential decay, although we lack of a theoretical understanding in this case. This intriguing phenomenon calls for further theoretical investigation.


title: Automorphisms of Quantum Polynomials

abstract: An important step in the determination of the automorphism group of the quantum torus of rank $n$ (or twisted group algebra of $\mathbb Z^n$) is the determination of its so-called non-scalar automorphisms. We present a new algorithimic approach towards this problem based on the bivector representation $\wedge^2 : \mathrm{GL}(n, \mathbb Z) \rightarrow \mathrm{GL}(\binom{n}{2}, \mathbb Z)$ of $\mathrm{GL}(n, \mathbb Z)$ and thus compute the non-scalar automorphism group $\mathrm{Aut}(\mathbb Z^n, \lambda)$ in several new cases. As an application of our ideas we show that the quantum polynomial algebra (multiparameter quantum affine space of rank $n$) has only scalar (or toric) automorphisms provided that the torsion-free rank of the subgroup generated by the defining multiparameters is no less than $\binom{n - 1}{2} + 1$ thus improving an earlier result. We also investigate the question: when is a multiparameter quantum affine space free of so-called linear automorphisms other than those arising from the action of the $n$-torus ${(\mathbb F^\ast)}^n$.


title: Halo EFT calculation of charge form factor for two-neutron ${}^{6}\textrm{He}$ halo nucleus: two-body resonant P-wave interaction

abstract: We take a new look at $^{6}\textrm{He}$ halo nucleus and set up a halo effective field theory at low energies to calculate the charge form factor of ${}^{6}\textrm{He}$ system with resonant P-wave interaction. P-wave Lagrangian has been introduced and the charge form factor of ${}^{6}\textrm{He}$ halo nucleus has been obtained at Leading-Order. In this study, the mean-square charge radius of ${}^{6}\textrm{He}$ nucleus relative to ${}^{4}\textrm{He}$ core and the root-mean-square (r.m.s) charge radius of ${}^{6}\textrm{He}$ nucleus have been estimated as $\langle r_{E}^{2}\rangle=1.408\; \textrm{fm}^{2}$ and $\langle r_{E}^{2}\rangle_{{}^{6}He}^{\frac{1}{2}}=2.058 \;\textrm{fm}$, respectively. We have compared our results with the other available theoretical and experimental data.


title: Learning the Update Operator for 2D/3D Image Registration

abstract: Image guidance in minimally invasive interventions is usually provided using live 2D X-ray imaging. To enhance the information available during the intervention, the preoperative volume can be overlaid over the 2D images using 2D/3D image registration. Recently, deep learning-based 2D/3D registration methods have shown promising results by improving computational efficiency and robustness. However, there is still a gap in terms of registration accuracy compared to traditional optimization-based methods. We aim to address this gap by incorporating traditional methods in deep neural networks using known operator learning. As an initial step in this direction, we propose to learn the update step of an iterative 2D/3D registration framework based on the Point-to-Plane Correspondence model. We embed the Point-to-Plane Correspondence model as a known operator in our deep neural network and learn the update step for the iterative registration. We show an improvement of 1.8 times in terms of registration accuracy for the update step prediction compared to learning without the known operator.


title: Extending Edge-colorings of Complete Hypergraphs into Regular Colorings

abstract: Let $\binom{X}{h}$ be the collection of all $h$-subsets of an $n$-set $X\supseteq Y$. Given a coloring (partition) of a set $S\subseteq \binom{X}{h}$, we are interested in finding conditions under which this coloring is extendible to a coloring of $\binom{X}{h}$ so that the number of times each element of $X$ appears in each color class (all sets of the same color) is the same number $r$. The case $S=\varnothing, r=1$ was studied by Sylvester in the 18th century, and remained open until the 1970s. The case $h=2,r=1$ is extensively studied in the literature and is closely related to completing partial symmetric Latin squares. For $S=\binom{Y}{h}$, we settle the cases $h=4, |X|\geq 4.847323|Y|$, and $h=5, |X|\geq 6.285214|Y|$ completely. Moreover, we make partial progress toward solving the case where $S=\binom{X}{h}\backslash \binom{Y}{h}$. These results can be seen as extensions of the famous Baranyai's theorem, and make progress toward settling a 40-year-old problem posed by Cameron.


title: Dissipative stabilization of squeezing beyond 3 dB in a microwave mode

abstract: While a propagating state of light can be generated with arbitrary squeezing by pumping a parametric resonator, the intra-resonator state is limited to 3 dB of squeezing. Here, we implement a reservoir engineering method to surpass this limit using superconducting circuits. Two-tone pumping of a three-wave-mixing element implements an effective coupling to a squeezed bath which stabilizes a squeezed state inside the resonator. Using an ancillary superconducting qubit as a probe allows us to perform a direct Wigner tomography of the intra-resonator state. The raw measurement provides a lower bound on the squeezing at about $6.7 \pm 0.2$ dB below the zero-point level. Further, we show how to correct for resonator evolution during the Wigner tomography and obtain a squeezing as high as $8.2 \pm 0.8$ dB. Moreover, this level of squeezing is achieved with a purity of $-0.4 \pm 0.4$ dB.


title: ChainCQG: Flow-Aware Conversational Question Generation

abstract: Conversational systems enable numerous valuable applications, and question-answering is an important component underlying many of these. However, conversational question-answering remains challenging due to the lack of realistic, domain-specific training data. Inspired by this bottleneck, we focus on conversational question generation as a means to generate synthetic conversations for training and evaluation purposes. We present a number of novel strategies to improve conversational flow and accommodate varying question types and overall fluidity. Specifically, we design ChainCQG as a two-stage architecture that learns question-answer representations across multiple dialogue turns using a flow propagation training strategy.ChainCQG significantly outperforms both answer-aware and answer-unaware SOTA baselines (e.g., up to 48% BLEU-1 improvement). Additionally, our model is able to generate different types of questions, with improved fluidity and coreference alignment.


title: Exploring asymmetric multifractal cross-correlations of price-volatility and asymmetric volatility dynamics in cryptocurrency markets

abstract: Asymmetric relationship between price and volatility is a prominent feature of the financial market time series. This paper explores the price-volatility nexus in cryptocurrency markets and investigates the presence of asymmetric volatility effect between uptrend (bull) and downtrend (bear) regimes. The conventional GARCH-class models have shown that in cryptocurrency markets, asymmetric reactions of volatility to returns differ from those of other traditional financial assets. We address this issue from a viewpoint of fractal analysis, which can cover the nonlinear interactions and the self-similarity properties widely acknowledged in the field of econophysics. The asymmetric cross-correlations between price and volatility for Bitcoin (BTC), Ethereum (ETH), Ripple (XRP), and Litecoin (LTC) during the period from June 1, 2016 to December 28, 2020 are investigated using the MF-ADCCA method and quantified via the asymmetric DCCA coefficient. The approaches take into account the nonlinearity and asymmetric multifractal scaling properties, providing new insights in investigating the relationships in a dynamical way. We find that cross-correlations are stronger in downtrend markets than in uptrend markets for maturing BTC and ETH. In contrast, for XRP and LTC, inverted reactions are present where cross-correlations are stronger in uptrend markets.


title: Atomic rheology of gold nanojunctions

abstract: Despite extensive investigations of dissipation and deformation processes in micro- and nano- sized metallic samples, the mechanisms at play during deformation of systems with ultimate, molecular size remain elusive. While metallic nanojunctions, obtained by stretching metallic wires down to the atomic level are a system of choice to explore atomic scale contacts, it has not been possible up to now to extract the full equilibrium and out of equilibrium rheological flow properties of matter at such scales. Here, by using a quartz-tuning fork based Atomic Force Microscope (TF-AFM), we combine electrical and rheological measurement on angstr\"om-size gold junctions to study the non linear rheology of this model atomic system. By submitting the junction to increasing sub-nanometric deformations we uncover a transition from a purely elastic regime to a plastic, and eventually to a viscous-like fluidized regime, akin to the rheology of soft yielding materials, though orders of magnitude difference in length scale. The fluidized state furthermore highlights capillary attraction, as expected for liquid capillary bridges. This shear fluidization cannot be captured by classical models of friction between atomic planes, pointing to unexpected dissipative behavior of defect-free metallic junctions at the ultimate scales. Atomic rheology is therefore a powerful tool to probe the structural reorganization of atomic contacts.


title: The Discrepancy Attack on Polyshard-ed Blockchains

abstract: Sharding, i.e. splitting the miners or validators to form and run several subchains in parallel, is known as one of the main solutions to the scalability problem of blockchains. The drawback is that as the number of miners expanding each subchain becomes small, it becomes vulnerable to security attacks. To solve this problem, a framework, named as \textit{Polyshard}, has been proposed in which each validator verifies a coded combination of the blocks introduced by different subchains, thus helping to protect the security of all subchains. In this paper, we introduce an attack on Polyshard, called \textit{the discrepancy} attack, which is the result of malicious nodes controlling a few subchains and dispersing different blocks to different nodes. We show that this attack undermines the security of Polyshard and is undetectable in its current setting.


title: SIGAME v3: Gas Fragmentation in Post-processing of Cosmological Simulations for More Accurate Infrared Line Emission Modeling

abstract: We present an update to the framework called SImulator of GAlaxy Millimeter/submillimeter Emission (S\'IGAME). S\'IGAME derives line emission in the far-infrared (FIR) for galaxies in particle-based cosmological hydrodynamics simulations by applying radiative transfer and physics recipes via a post-processing step after completion of the simulation. In this version, a new technique is developed to model higher gas densities by parametrizing the gas density probability distribution function (PDF) in higher resolution simulations for use as a look-up table, allowing for more adaptive PDFs than in previous work. S\'IGAME v3 is tested on redshift z = 0 galaxies drawn from the SIMBA cosmological simulation for eight FIR emission lines tracing vastly different interstellar medium phases. Including dust radiative transfer with SKIRT and high resolution photo-ionization models with Cloudy, this new method is able to self-consistently reproduce observed relations between line luminosity and star formation rate in all cases, except for [NII]122, [NII]205 and [OI]63, the luminosities of which are overestimated by median factors of 1.6, 1.2 and 1.2 dex, respectively. We attribute the remaining disagreement with observations to the lack of precise attenuation of the interstellar light on subgrid scales (<200 pc).


title: Factorizations of Complete Multipartite Hypergraphs

abstract: In a mathematics workshop with $mn$ mathematicians from $n$ different areas, each area consisting of $m$ mathematicians, we want to create a collaboration network. For this purpose, we would like to schedule daily meetings between groups of size three, so that (i) two people of the same area meet one person of another area, (ii) each person has exactly $r$ meeting(s) each day, and (iii) each pair of people of the same area have exactly $\lambda$ meeting(s) with each person of another area by the end of the workshop. Using hypergraph amalgamation-detachment, we prove a more general theorem. In particular we show that above meetings can be scheduled if: $3 \ | \ rm$, $2 \ | \ rnm$ and $r \ | \ 3\lambda(n-1)\binom{m}{2}$. This result can be viewed as an analogue of Baranyai's theorem on factorizations of complete multipartite hypergraphs.


title: Inference and model selection in general causal time series with exogenous covariates

abstract: In this paper, we study a general class of causal processes with exogenous covariates, including many classical processes such as the ARMA-GARCH, APARCH, ARMAX, GARCH-X and APARCH-X processes. Under some Lipschitz-type conditions, the existence of a $\tau$-weakly dependent strictly stationary and ergodic solution is established. We provide conditions for the strong consistency and derive the asymptotic distribution of the quasi-maximum likelihood estimator (QMLE), both when the true parameter is an interior point of the parameter's space and when it belongs to the boundary. A significance Wald-type test of parameter is developed. This test is quite extensive and includes the test of nullity of the parameter's components, which in particular, allows us to assess the relevance of the exogenous covariates. Relying on the QMLE of the model, we also propose a penalized criterion to address the problem of the model selection for this class. The weak and the strong consistency of the procedure are established. Finally, Monte Carlo simulations are conducted to numerically illustrate the main results.


title: Incompletely observed nonparametric factorial designs with repeated measurements: A wild bootstrap approach

abstract: In many life science experiments or medical studies, subjects are repeatedly observed and measurements are collected in factorial designs with multivariate data. The analysis of such multivariate data is typically based on multivariate analysis of variance (MANOVA) or mixed models, requiring complete data, and certain assumption on the underlying parametric distribution such as continuity or a specific covariance structure, e.g., compound symmetry. However, these methods are usually not applicable when discrete data or even ordered categorical data are present. In such cases, nonparametric rank-based methods that do not require stringent distributional assumptions are the preferred choice. However, in the multivariate case, most rank-based approaches have only been developed for complete observations. It is the aim of this work is to develop asymptotic correct procedures that are capable of handling missing values, allowing for singular covariance matrices and are applicable for ordinal or ordered categorical data. This is achieved by applying a wild bootstrap procedure in combination with quadratic form-type test statistics. Beyond proving their asymptotic correctness, extensive simulation studies validate their applicability for small samples. Finally, two real data examples are analyzed.


title: Feedback in Imitation Learning: The Three Regimes of Covariate Shift

abstract: Imitation learning practitioners have often noted that conditioning policies on previous actions leads to a dramatic divergence between "held out" error and performance of the learner in situ. Interactive approaches can provably address this divergence but require repeated querying of a demonstrator. Recent work identifies this divergence as stemming from a "causal confound" in predicting the current action, and seek to ablate causal aspects of current state using tools from causal inference. In this work, we argue instead that this divergence is simply another manifestation of covariate shift, exacerbated particularly by settings of feedback between decisions and input features. The learner often comes to rely on features that are strongly predictive of decisions, but are subject to strong covariate shift. Our work demonstrates a broad class of problems where this shift can be mitigated, both theoretically and practically, by taking advantage of a simulator but without any further querying of expert demonstration. We analyze existing benchmarks used to test imitation learning approaches and find that these benchmarks are realizable and simple and thus insufficient for capturing the harder regimes of error compounding seen in real-world decision making problems. We find, in a surprising contrast with previous literature, but consistent with our theory, that naive behavioral cloning provides excellent results. We detail the need for new standardized benchmarks that capture the phenomena seen in robotics problems.


title: Optimal Construction of Hierarchical Overlap Graphs

abstract: Genome assembly is a fundamental problem in Bioinformatics, where for a given set of overlapping substrings of a genome, the aim is to reconstruct the source genome. The classical approaches to solving this problem use assembly graphs, such as de Bruijn graphs or overlap graphs, which maintain partial information about such overlaps. For genome assembly algorithms, these graphs present a trade-off between overlap information stored and scalability. Thus, Hierarchical Overlap Graph (HOG) was proposed to overcome the limitations of both these approaches. For a given set $P$ of $n$ strings, the first algorithm to compute HOG was given by Cazaux and Rivals [IPL20] requiring $O(||P||+n^2)$ time using superlinear space, where $||P||$ is the cumulative sum of the lengths of strings in $P$. This was improved by Park et al. [SPIRE20] to $O(||P||\log n)$ time and $O(||P||)$ space using segment trees, and further to $O(||P||\frac{\log n}{\log \log n})$ for the word RAM model. Both these results described an open problem to compute HOG in optimal $O(||P||)$ time and space. In this paper, we achieve the desired optimal bounds by presenting a simple algorithm that does not use any complex data structures. At its core, our solution improves the classical result [IPL92] for a special case of the All Pairs Suffix Prefix (APSP) problem from $O(||P||+n^2)$ time to optimal $O(||P||)$ time, which may be of independent interest.


title: Radiative scale-height and shadows in protoplanetary disks

abstract: Planets form in young circumstellar disks called protoplanetary disks. However, it is still difficult to catch planet formation in-situ. Nevertheless, from recent ALMA/SPHERE data, encouraging evidence of the direct and indirect presence of embedded planets has been identified in disks around young stars: co-moving point sources, gravitational perturbations, rings, cavities, and emission dips or shadows cast on disks. The interpretation of these observations needs a robust physical framework to deduce the complex disk geometry. In particular, protoplanetary disk models usually assume the gas pressure scale-height given by the ratio of the sound speed over the azimuthal velocity $H/r = c_{s\rm }/v_{\rm k}$. By doing so, \textit{radiative} pressure fields are often ignored, which could lead to a misinterpretation of the real vertical structure of such disks. We follow the evolution of a gaseous disk with an embedded Jupiter mass planet through hydrodynamical simulations, computing the disk scale-height including radiative pressure, which was derived from a generalization of the stellar atmosphere theory. We focus on the vertical impact of the radiative pressure in the vicinity of circumplanetary disks, where temperatures can reach $\gtrsim 1000$ K for an accreting planet, and radiative forces can overcome gravitational forces from the planet. The radiation-pressure effects create a vertical optically thick column of gas and dust at the proto-planet location, casting a shadow in scattered light. This mechanism could explain the peculiar illumination patterns observed in some disks around young stars such as HD 169142 where a moving shadow has been detected, or the extremely high aspect-ratio $H/r \sim 0.2$ observed in systems like AB Aur and CT Cha.


title: Improving the variational quantum eigensolver using variational adiabatic quantum computing

abstract: The variational quantum eigensolver (VQE) is a hybrid quantum-classical algorithm for finding the minimum eigenvalue of a Hamiltonian that involves the optimization of a parameterized quantum circuit. Since the resulting optimization problem is in general nonconvex, the method can converge to suboptimal parameter values which do not yield the minimum eigenvalue. In this work, we address this shortcoming by adopting the concept of variational adiabatic quantum computing (VAQC) as a procedure to improve VQE. In VAQC, the ground state of a continuously parameterized Hamiltonian is approximated via a parameterized quantum circuit. We discuss some basic theory of VAQC to motivate the development of a hybrid quantum-classical homotopy continuation method. The proposed method has parallels with a predictor-corrector method for numerical integration of differential equations. While there are theoretical limitations to the procedure, we see in practice that VAQC can successfully find good initial circuit parameters to initialize VQE. We demonstrate this with two examples from quantum chemistry. Through these examples, we provide empirical evidence that VAQC, combined with other techniques (an adaptive termination criteria for the classical optimizer and a variance-based resampling method for the expectation evaluation), can provide more accurate solutions than "plain" VQE, for the same amount of effort.


title: Nonlinear Independent Component Analysis for Discrete-Time and Continuous-Time Signals

abstract: We study the classical problem of recovering a multidimensional source signal from observations of nonlinear mixtures of this signal. We show that this recovery is possible (up to a permutation and monotone scaling of the source's original component signals) if the mixture is due to a sufficiently differentiable and invertible but otherwise arbitrarily nonlinear function and the component signals of the source are statistically independent with 'non-degenerate' second-order statistics. The latter assumption requires the source signal to meet one of three regularity conditions which essentially ensure that the source is sufficiently far away from the non-recoverable extremes of being deterministic or constant in time. These assumptions, which cover many popular time series models and stochastic processes, allow us to reformulate the initial problem of nonlinear blind source separation as a simple-to-state problem of optimisation-based function approximation. We propose to solve this approximation problem by minimizing a novel type of objective function that efficiently quantifies the mutual statistical dependence between multiple stochastic processes via cumulant-like statistics. This yields a scalable and direct new method for nonlinear Independent Component Analysis with widely applicable theoretical guarantees and for which our experiments indicate good performance.


title: Liquidity Stress Testing using Optimal Portfolio Liquidation

abstract: We build an optimal portfolio liquidation model for OTC markets, aiming at minimizing the trading costs via the choice of the liquidation time. We work in the Locally Linear Order Book framework of \cite{toth2011anomalous} to obtain the market impact as a function of the traded volume. We find that the optimal terminal time for a linear execution of a small order is proportional to the square root of the ratio between the amount being bought or sold and the average daily volume. Numerical experiments on real market data illustrate the method on a portfolio of corporate bonds.


title: Challenges in biomarker discovery and biorepository for Gulf-war-disease studies: a novel data platform solution

abstract: Aims: Our Gulf War Illness (GWI) study conducts combinatorial screening of many interactive neural and humoral biomarkers in order to establish predictive, diagnostic, and therapeutic targets. We encounter obstacles at every stage of the biomarker discovery process, from sample acquisition, bio-marker extraction to multi-aspect, multi-way interaction analysis, due to the study complexity and lack of support for complex data problem solutions. We introduce a novel data platform, named ROSALIND, to overcome the challenges, foster healthy and vital collaborations and advance scientific inquiries. Main methods: ROSALIND is a researcher-centered, study-specific data platform. It provides vital support of individual creativity and effort in collaborative research. We follow the principles etched in the platform name - ROSALIND stands for resource organisms with self-governed accessibility, linkability, integrability, neutrality, and dependability. We translate, encode and implement the principles in the platform with novel use of advanced concepts and techniques to ensure and protect data integrity and research integrity. From a researcher's vantage point, ROSALIND embodies nuance utilities and advanced functionalities in one system, beyond conventional storage, archive and data management. Key findings: The deployment of ROSALIND in our GWI study in recent 12 months has accelerated the pace of data experiment and analysis, removed numerous error sources, and increased research quality and productivity. Significance: ROSALIND seems the first to address data integrity and research integrity in tandem with digital measures and means. It also promises a new type of distributed research networks with individualized data platforms connected in various self-organized collaboration configurations.


title: Front-induced transitions control THz waves

abstract: Relativistically moving dielectric perturbations can be used to manipulate light in new and exciting ways beyond the capabilities of traditional nonlinear optics. Adiabatic interaction with the moving front modulates the wave simultaneously in both space and time, and manifests a front-induced transition in both wave vector and frequency yielding exotic effects including non-reciprocity and time-reversal. Here, we introduce a technique called SLIPSTREAM, Spacetime Light-Induced Photonic STRucturEs for Advanced Manipulation. The technique is based on the creation of relativistic fronts in a semiconductor-filled planar waveguide by photoexcitation of mobile charge carriers. Here we demonstrate the capabilities of SLIPSTREAM for novel manipulation of THz light pulses through relativistic front-induced transitions. In the sub-luminal front velocity regime, we generate temporally stretched THz waveforms, with a quasi-static field lasting for several picoseconds tunable with the front interaction distance. In the super-luminal regime, the carrier front outpaces the THz pulse and a time-reversal operation is performed via a front-induced intra-band transition. We anticipate our platform will be a versatile tool for future applications in the THz spectral band requiring direct and advanced control of light at the sub-cycle level.


title: Evaluating the reliability of a simple method to map the magnetic field azimuth in the solar chromosphere

abstract: The Zeeman effect is of limited utility for probing the magnetism of the quiet solar chromosphere. The Hanle effect in some spectral lines is sensitive to such magnetism, but the interpretation of the scattering polarization signals requires taking into account that the chromospheric plasma is highly inhomogeneous and dynamic (i.e., that the magnetic field is not the only cause of symmetry breaking). Here we investigate the reliability of a well-known formula for mapping the azimuth of chromospheric magnetic fields directly from the scattering polarization observed in the \ion{Ca}{2}~8542~\AA\, line, which is typically in the saturation regime of the Hanle effect. To this end, we use the Stokes profiles of the \ion{Ca}{2}~8542~\AA\, line computed with the PORTA radiative transfer code in a three-dimensional (3D) model of the solar chromosphere, degrading them to mimic spectropolarimetric observations for a range of telescope apertures and noise levels. The simulated observations are used to obtain the magnetic field azimuth at each point of the field of view, which we compare with the actual values within the 3D model. We show that, apart from intrinsic ambiguities, the method provides solid results. Their accuracy depends more on the noise level than on the telescope diameter. Large-aperture solar telescopes, like DKIST and EST, are needed to achieve the required noise-to-signal ratios using reasonable exposure times.


title: Aggregating Bipolar Opinions (With Appendix)

abstract: We introduce a novel method to aggregate Bipolar Argumentation (BA) Frameworks expressing opinions by different parties in debates. We use Bipolar Assumption-based Argumentation (ABA) as an all-encompassing formalism for BA under different semantics. By leveraging on recent results on judgement aggregation in Social Choice Theory, we prove several preservation results, both positive and negative, for relevant properties of Bipolar ABA.


title: Classical Spin Liquid State in the $S=\frac{5}{2}$ Heisenberg Kagom\'e Antiferromagnet Li$_9$Fe$_3$(P$_2$O$_7$)$_3$(PO$_4$)$_2$

abstract: We investigate the low temperature magnetic properties of a $S=\frac{5}{2}$ Heisenberg kagom\'e antiferromagnet, the layered monodiphosphate Li$_9$Fe$_3$(P$_2$O$_7$)$_3$(PO$_4$)$_2$, using magnetization measurements and $^{31}$P nuclear magnetic resonance. An antiferromagnetic-type order sets in at $T_{\rm N}=1.3$ K and a characteristic magnetization plateau is observed at 1/3 of the saturation magnetization below $T^* \sim 5$ K. A moderate $^{31}$P NMR line broadening reveals the development of anisotropic short-range correlations within the plateau phase concomitantly with a gapless spin-lattice relaxation time $T_1 \sim k_B T / \hbar S$, which both point to the presence of a semiclassical nematic spin liquid state predicted for the Heisenberg kagom\'e antiferromagnetic model or to the persistence of the zero-energy modes of the kagome lattice under large magnetic fields.


title: Obstacle Avoidance via Hybrid Feedback

abstract: In this paper we present a hybrid feedback approach to solve the navigation problem of a point mass in the n-dimensional space containing an arbitrary number of ellipsoidal shape obstacles. The proposed hybrid control algorithm guarantees both global asymptotic stabilization to a reference and avoidance of the obstacles. The intuitive idea of the proposed hybrid feedback is to switch between two modes of control: stabilization and avoidance. The geometric construction of the flow and jump sets of the proposed hybrid controller, exploiting hysteresis regions, guarantees Zeno-free switching between the stabilization and the avoidance modes. Simulation results illustrate the performance of the proposed hybrid control approach for 2-dimensional and 3-dimensional scenarios.


title: How the Massachusetts Assault Weapons Ban Enforcement Notice Changed Firearm Sales

abstract: The Massachusetts Attorney General issued an Enforcement Notice in 2016 to announce a new interpretation of a key phrase in the state's assault weapons ban. The Enforcement Notice increased sales of tagged assault rifles by 616% in the first 5 days, followed by a 9% decrease over the next three weeks. Sales of Handguns and Shotguns did not change significantly. Tagged assault rifle sales fell 28-30% in 2017 compared to previous years, suggesting that the Enforcement Notice reduced assault weapon sales but also that many banned weapons continued to be sold. Tagged assault rifles sold most in 2017 in zip codes with higher household incomes and proportions of white males. Overall, the results suggest that the firearm market reacts rapidly to policy changes and partially complies with firearm restrictions.


title: Adversarial Robustness Study of Convolutional Neural Network for Lumbar Disk Shape Reconstruction from MR images

abstract: Machine learning technologies using deep neural networks (DNNs), especially convolutional neural networks (CNNs), have made automated, accurate, and fast medical image analysis a reality for many applications, and some DNN-based medical image analysis systems have even been FDA-cleared. Despite the progress, challenges remain to build DNNs as reliable as human expert doctors. It is known that DNN classifiers may not be robust to noises: by adding a small amount of noise to an input image, a DNN classifier may make a wrong classification of the noisy image (i.e., in-distribution adversarial sample), whereas it makes the right classification of the clean image. Another issue is caused by out-of-distribution samples that are not similar to any sample in the training set. Given such a sample as input, the output of a DNN will become meaningless. In this study, we investigated the in-distribution (IND) and out-of-distribution (OOD) adversarial robustness of a representative CNN for lumbar disk shape reconstruction from spine MR images. To study the relationship between dataset size and robustness to IND adversarial attacks, we used a data augmentation method to create training sets with different levels of shape variations. We utilized the PGD-based algorithm for IND adversarial attacks and extended it for OOD adversarial attacks to generate OOD adversarial samples for model testing. The results show that IND adversarial training can improve the CNN robustness to IND adversarial attacks, and larger training datasets may lead to higher IND robustness. However, it is still a challenge to defend against OOD adversarial attacks.


title: Ivy: Templated Deep Learning for Inter-Framework Portability

abstract: We introduce Ivy, a templated Deep Learning (DL) framework which abstracts existing DL frameworks. Ivy unifies the core functions of these frameworks to exhibit consistent call signatures, syntax and input-output behaviour. New high-level framework-agnostic functions and classes, which are usable alongside framework-specific code, can then be implemented as compositions of the unified low-level Ivy functions. Ivy currently supports TensorFlow, PyTorch, MXNet, Jax and NumPy. We also release four pure-Ivy libraries for mechanics, 3D vision, robotics, and differentiable environments. Through our evaluations, we show that Ivy can significantly reduce lines of code with a runtime overhead of less than 1% in most cases. We welcome developers to join the Ivy community by writing their own functions, layers and libraries in Ivy, maximizing their audience and helping to accelerate DL research through inter-framework codebases. More information can be found at https://ivy-dl.org.


title: Do We Actually Need Dense Over-Parameterization? In-Time Over-Parameterization in Sparse Training

abstract: In this paper, we introduce a new perspective on training deep neural networks capable of state-of-the-art performance without the need for the expensive over-parameterization by proposing the concept of In-Time Over-Parameterization (ITOP) in sparse training. By starting from a random sparse network and continuously exploring sparse connectivities during training, we can perform an Over-Parameterization in the space-time manifold, closing the gap in the expressibility between sparse training and dense training. We further use ITOP to understand the underlying mechanism of Dynamic Sparse Training (DST) and indicate that the benefits of DST come from its ability to consider across time all possible parameters when searching for the optimal sparse connectivity. As long as there are sufficient parameters that have been reliably explored during training, DST can outperform the dense neural network by a large margin. We present a series of experiments to support our conjecture and achieve the state-of-the-art sparse training performance with ResNet-50 on ImageNet. More impressively, our method achieves dominant performance over the overparameterization-based sparse methods at extreme sparsity levels. When trained on CIFAR-100, our method can match the performance of the dense model even at an extreme sparsity (98%). Code can be found https://github.com/Shiweiliuiiiiiii/In-Time-Over-Parameterization.


title: 1-bit Adam: Communication Efficient Large-Scale Training with Adam's Convergence Speed

abstract: Scalable training of large models (like BERT and GPT-3) requires careful optimization rooted in model design, architecture, and system capabilities. From a system standpoint, communication has become a major bottleneck, especially on commodity systems with standard TCP interconnects that offer limited network bandwidth. Communication compression is an important technique to reduce training time on such systems. One of the most effective methods is error-compensated compression, which offers robust convergence speed even under 1-bit compression. However, state-of-the-art error compensation techniques only work with basic optimizers like SGD and momentum SGD, which are linearly dependent on the gradients. They do not work with non-linear gradient-based optimizers like Adam, which offer state-of-the-art convergence efficiency and accuracy for models like BERT. In this paper, we propose 1-bit Adam that reduces the communication volume by up to $5\times$, offers much better scalability, and provides the same convergence speed as uncompressed Adam. Our key finding is that Adam's variance (non-linear term) becomes stable (after a warmup phase) and can be used as a fixed precondition for the rest of the training (compression phase). Experiments on up to 256 GPUs show that 1-bit Adam enables up to $3.3\times$ higher throughput for BERT-Large pre-training and up to $2.9\times$ higher throughput for SQuAD fine-tuning. In addition, we provide theoretical analysis for our proposed work.


title: Comparing the Notions of Opacity for Discrete-Event Systems

abstract: Opacity is an information flow property characterizing whether a system reveals its secret to a passive observer. Several notions of opacity have been introduced in the literature. We study the notions of language-based opacity, current-state opacity, initial-state opacity, initial-and-final-state opacity, K-step opacity, and infinite-step opacity. Comparing the notions is a natural question that has been investigated and summarized by Wu and Lafortune, who provided transformations among current-state opacity, initial-and-final-state opacity, and language-based opacity, and, for prefix-closed languages, also between language-based opacity and initial-state opacity. We extend these results by showing that all the discussed notions of opacity are transformable to each other. Besides a deeper insight into the differences among the notions, the transformations have applications in complexity results. In particular, the transformations are computable in polynomial time and preserve the number of observable events and determinism, and hence the computational complexities of the verification of the notions coincide. We provide a complete and improved complexity picture of the verification of the discussed notions of opacity, and improve the algorithmic complexity of deciding language-based opacity, infinite-step opacity, and K-step opacity.


title: On the interpretation of $\Lambda$ spin polarization measurements

abstract: The physics interpretation of the recent measurements of the spin polarization of $\Lambda$ hyperons produced in relativistic heavy-ion collisions is discussed. We suggest that the polarization measured in the $\Lambda$ rest frame should be projected along the direction of the total angular momentum that is first transformed to the same frame, and only then averaged over $\Lambda$'s with different momenta in the center-of-mass frame. While this procedure does not affect the current measurements done in a broad transverse-momentum range, it may become important (represent a correction of about 10\%) for the most energetic hyperons under study (with transverse momenta reaching 4-5 GeV/c). The proposed treatment is generally more appropriate for relativistic $\Lambda$'s. Throughout the paper, we deliver explicit expressions for various boosts, rotations, and transformations of angular distributions, which may help to compare model predictions with the experimental results.


title: Longest minimal length partitions

abstract: This article provides numerical evidence that under volume constraint the ball is the set which maximizes the perimeter of the least-perimeter partition into cells with prescribed areas. We introduce a numerical maximization algorithm which performs multiple optimizations steps at each iteration to approximate minimal partitions. Using these partitions we compute perturbations of the domain which increase the minimal perimeter. The initialization of the optimal partitioning algorithm uses capacity-constrained Voronoi diagrams. A new algorithm is proposed to identify such diagrams, by computing the gradients of areas and perimeters for the Voronoi cells with respect to the Voronoi points.


title: Using Long Short-Term Memory (LSTM) and Internet of Things (IoT) for localized surface temperature forecasting in an urban environment

abstract: The rising temperature is one of the key indicators of a warming climate, and it can cause extensive stress to biological systems as well as built structures. Due to the heat island effect, it is most severe in urban environments compared to other landscapes due to the decrease in vegetation associated with a dense human-built environment. It is essential to adequately monitor the local temperature dynamics to mitigate risks associated with increasing temperatures, which can include short term strategy to protect people and animals, to long term strategy to how to build a new structure and cope with extreme events. Observed temperature is also a very important input for atmospheric models, and accurate data can lead to better future forecasts. Ambient temperature collected at ground level can have a higher variability when compared to regional weather forecasts, which fail to capture the local dynamics. There remains a clear need for an accurate air temperature prediction at the sub-urban scale at high temporal and spatial resolution. This research proposed a framework based on Long Short-Term Memory (LSTM) deep learning network to generate day-ahead hourly temperature forecast with high spatial resolution. A case study is shown which uses historical in-situ observations and Internet of Things (IoT) observations for New York City, USA. By leveraging the historical air temperature data from in-situ observations, the LSTM model can be exposed to more historical patterns that might not be present in the IoT observations. Meanwhile, by using IoT observations, the spatial resolution of air temperature predictions is significantly improved.


title: The Age of Gossip in Networks

abstract: A source node updates its status as a point process and also forwards its updates to a network of observer nodes. Within the network of observers, these updates are forwarded as point processes from node to node. Each node wishes its knowledge of the source to be as timely as possible. In this network, timeliness is measured by a discrete form of age of information: each status change at the source is referred to as a version and the age at a node is how many versions out of date is its most recent update from the source. This work introduces a method for evaluating the average version age at each node in the network when nodes forward updates using a memoryless gossip protocol. This method is then demonstrated by version age analysis for a collection of simple networks. For gossip on a complete graph with symmetric updating rates, it is shown that each node has average age that grows as the logarithm of the network size.


title: Identical Particles in Quantum Mechanics: Against the Received View

abstract: According to the Received View identical quantum particles are a previously unknown kind of objects that do not possess individuality. In this Chapter we discuss this view, criticize it, and propose an alternative. According to this alternative view so-called identical quantum particles should in many cases not be seen as objects (particles) at all. However, there are situations in which a particle picture does become applicable. But the particles that emerge in these cases are distinguishable individuals, unlike the particles of the Received View.


title: Deep reinforcement learning-based image classification achieves perfect testing set accuracy for MRI brain tumors with a training set of only 30 images

abstract: Purpose: Image classification may be the fundamental task in imaging artificial intelligence. We have recently shown that reinforcement learning can achieve high accuracy for lesion localization and segmentation even with minuscule training sets. Here, we introduce reinforcement learning for image classification. In particular, we apply the approach to normal vs. tumor-containing 2D MRI brain images. Materials and Methods: We applied multi-step image classification to allow for combined Deep Q learning and TD(0) Q learning. We trained on a set of 30 images (15 normal and 15 tumor-containing). We tested on a separate set of 30 images (15 normal and 15 tumor-containing). For comparison, we also trained and tested a supervised deep-learning classification network on the same set of training and testing images. Results: Whereas the supervised approach quickly overfit the training data and as expected performed poorly on the testing set (57% accuracy, just over random guessing), the reinforcement learning approach achieved an accuracy of 100%. Conclusion: We have shown a proof-of-principle application of reinforcement learning to the classification of brain tumors. We achieved perfect testing set accuracy with a training set of merely 30 images.


title: Compressed Object Detection

abstract: Deep learning approaches have achieved unprecedented performance in visual recognition tasks such as object detection and pose estimation. However, state-of-the-art models have millions of parameters represented as floats which make them computationally expensive and constrain their deployment on hardware such as mobile phones and IoT nodes. Most commonly, activations of deep neural networks tend to be sparse thus proving that models are over parametrized with redundant neurons. Model compression techniques, such as pruning and quantization, have recently shown promising results by improving model complexity with little loss in performance. In this work, we extended pruning, a compression technique that discards unnecessary model connections, and weight sharing techniques for the task of object detection. With our approach, we are able to compress a state-of-the-art object detection model by 30.0% without a loss in performance. We also show that our compressed model can be easily initialized with existing pre-trained weights, and thus is able to fully utilize published state-of-the-art model zoos.


title: Percolation theory of self-exciting temporal processes

abstract: We investigate how the properties of inhomogeneous patterns of activity, appearing in many natural and social phenomena, depend on the temporal resolution used to define individual bursts of activity. To this end, we consider time series of microscopic events produced by a self-exciting Hawkes process, and leverage a percolation framework to study the formation of macroscopic bursts of activity as a function of the resolution parameter. We find that the very same process may result in different distributions of avalanche size and duration, which are understood in terms of the competition between the 1D percolation and the branching process universality class. Pure regimes for the individual classes are observed at specific values of the resolution parameter corresponding to the critical points of the percolation diagram. A regime of crossover characterized by a mixture of the two universal behaviors is observed in a wide region of the diagram. The hybrid scaling appears to be a likely outcome for an analysis of the time series based on a reasonably chosen, but not precisely adjusted, value of the resolution parameter.


title: Cobiveco: Consistent biventricular coordinates for precise and intuitive description of position in the heart -- with MATLAB implementation

abstract: Ventricular coordinates are widely used as a versatile tool for various applications that benefit from a description of local position within the heart. However, the practical usefulness of ventricular coordinates is determined by their ability to meet application-specific requirements. For regression-based estimation of biventricular position, for example, a symmetric definition of coordinate directions in both ventricles is important. For the transfer of data between different hearts as another use case, the consistency of coordinate values across different geometries is particularly relevant. To meet these requirements, we compare different approaches to compute coordinates and present Cobiveco, a symmetric, consistent and intuitive biventricular coordinate system that builds upon existing coordinate systems, but overcomes some of their limitations. A novel one-way transfer error is introduced to assess the consistency of the coordinates. Normalized distances along bijective trajectories between two boundaries were found to be superior to solutions of Laplace's equation for defining coordinate values, as they show better linearity in space. Evaluation of transfer and linearity errors on 36 patient geometries revealed a more than 4-fold improvement compared to a state-of-the-art method. Finally, we show two application examples underlining the relevance for cardiac data processing. Cobiveco MATLAB code is available under a permissive open-source license.


title: Optical funnel to guide and focus virus particles for X-ray laser imaging

abstract: The need for precise manipulation of nanoparticles in gaseous or near-vacuum environments is encountered in many studies that include aerosol morphology, nanodroplet physics, nanoscale optomechanics, and biomolecular physics. Photophoretic forces, whereby momentum exchange between a particle and surrounding gas is induced with optical light, were recently shown to be a robust means of trapping and manipulating nanoparticles in air. We previously proposed a photophoretic "optical funnel" concept for the delivery of bioparticles to the focus of an x-ray free-electron laser (XFEL) beam for femtosecond x-ray diffractive imaging. Here, we describe the formation of a high-aspect-ratio optical funnel and provide a first experimental demonstration of this concept by transversely compressing and concentrating a high-speed beam of aerosolized viruses by a factor of three in a low-pressure environment. These results pave the way toward improved sample delivery efficiency for XFEL imaging experiments as well as other forms of imaging and spectroscopy.

categories: physics.optics physics.ao-ph physics.comp-ph physics.flu-dyn


title: Radio multifrequency observations of galaxy clusters. The Abell 399$-$401 pair

abstract: Galaxy clusters are assembled via merging of smaller structures, in a process that generates shocks and turbulence in the intra cluster medium and produces radio diffuse emission in the form of halos and relics. The cluster pair A399-A401 represents a special case: both clusters host a radio halo. Recent Low Frequency Array (LOFAR) observations at 140 MHz revealed the presence of a radio bridge connecting the two clusters along with two relic candidates. These relics include one South of A399 and the other in between the two clusters, in proximity of a shock front detected in X-ray observations. In this paper we present observations of the A399-A401 cluster pair at 1.7, 1.4, 1.2 GHz and 346 MHz from the Westerbork Synthesis Radio Telescope (WSRT). We detect the radio halo in the A399 cluster at 346 MHz, extending up to $\sim 650$ kpc and with a $125 \pm 6$ mJy flux density. Its spectral index between 140 MHz and 346 MHz is $\alpha = 1.75 \pm 0.14$. The two candidate relics are also seen at 346 MHz and we determine their spectral indices to be $\alpha = 1.10 \pm 0.14$ and $\alpha = 1.46 \pm 0.14$. The low surface brightness bridge connecting the two clusters is below the noise level at 346 MHz, therefore we constrain the bridge average spectral index to be steep, i.e. $\alpha > 1.5$ at 95% confidence level. This result favours the scenario where dynamically-induced turbulence is a viable mechanism to reaccelerate a population of mildly relativistic particles and amplify magnetic fields on scales of a few Mpcs. Key words: galaxies: clusters: general - galaxies: clusters: individual: Abell 399 - radio continuum: general


title: A Formal Proof of the Independence of the Continuum Hypothesis

abstract: We describe a formal proof of the independence of the continuum hypothesis ($\mathsf{CH}$) in the Lean theorem prover. We use Boolean-valued models to give forcing arguments for both directions, using Cohen forcing for the consistency of $\neg \mathsf{CH}$ and a $\sigma$-closed forcing for the consistency of $\mathsf{CH}$.


title: Automated Rip Current Detection with Region based Convolutional Neural Networks

abstract: This paper presents a machine learning approach for the automatic identification of rip currents with breaking waves. Rip currents are dangerous fast moving currents of water that result in many deaths by sweeping people out to sea. Most people do not know how to recognize rip currents in order to avoid them. Furthermore, efforts to forecast rip currents are hindered by lack of observations to help train and validate hazard models. The presence of web cams and smart phones have made video and still imagery of the coast ubiquitous and provide a potential source of rip current observations. These same devices could aid public awareness of the presence of rip currents. What is lacking is a method to detect the presence or absence of rip currents from coastal imagery. This paper provides expert labeled training and test data sets for rip currents. We use Faster-RCNN and a custom temporal aggregation stage to make detections from still images or videos with higher measured accuracy than both humans and other methods of rip current detection previously reported in the literature.


title: Floquet Mode Resonance: Trapping light in the bulk mode of a Floquet topological insulator by quantum self-interference

abstract: Floquet topological photonic insulators characterized by periodically-varying Hamiltonians are known to exhibit much richer topological behaviors than static systems. In a Floquet insulator, the phase evolution of the Floquet-Bloch modes plays a crucial role in determining its topological behaviors. Here we show that by perturbing the driving sequence, it is possible to manipulate the cyclic phase change of the system over each evolution period to induce quantum self-interference of a bulk mode, leading to a new topological resonance phenomenon called Floquet Mode Resonance (FMR). The FMR is fundamentally different from other types of optical resonances in that it is cavity-less since it does not require physical boundaries. Its spatial localization pattern is instead dictated by the driving sequence and can thus be used to probe the topological characteristics of the system. We demonstrated excitation of FMRs by edge modes in a Floquet octagon lattice on silicon-on-insulator, achieving extrinsic quality factors greater than 10^4. Imaging of the scattered light pattern directly revealed the hopping sequence of the Floquet system and confirmed the spatial localization of FMR in a bulk-mode loop. The new topological resonance effect could enable new applications in lasers, optical filters and switches, nonlinear cavity optics and quantum optics.


title: Magnetic properties of nickel electrodeposited on porous GaN substrates with infiltrated and laminated connectivity

abstract: We studied the magnetic properties of ferromagnetic-semiconductor composites based on nickel and porous-GaN, motivated by the effort to couple magnetic and semiconductor functionality. Nickel-infiltrated and nickel-coated (laminated thin-film) porous GaN structures were fabricated by electrodeposition, and their magnetic properties were subsequently examined collectively, by vibrating sample magnetometry and on the nanoscale, by magnetic force microscopy. We successfully demonstrated the ability to realize nickel infiltrated porous GaN, where the magnetic properties were dominated by the infiltrated material without a measurable surface contribution. We found that the structure and magnetization of electrodeposited porous-GaN/Ni composites depended on GaN degree of porosity and the amount of deposited nickel. The magnetization evolves from a nearly isotropic response in the infiltrated structures, to a shape-anisotropy controlled magnetic thin-film behaviour. Furthermore, both infiltrated and thin-film nickel electrodeposited on porous GaN were found to have low (< 0.1%) strain and corresponding low coercivity: < 6.4 and < 2.4 kA/m for infiltrated and thin-film, correspondingly. The most likely cause for the lowered strain is increased compliance of the porous GaN compared to bulk. These results encourage deeper investigation of magnetic nanostructure property tuning and of magnetic property coupling to GaN and similar materials.


title: Strain and defects in oblique stripe growth

abstract: We study stripe formation in two-dimensional systems under directional quenching in a phase-diffusion approximation including non-adiabatic boundary effects. We find stripe formation through simple traveling waves for all angles relative to the quenching line using an analytic continuation procedure. We also present comprehensive analytical asymptotic formulas in limiting cases of small and large angles as well as small and large quenching rates. Of particular interest is a regime of small angle and slow quenching rate which is well described by the glide motion of a boundary dislocation along the quenching line. A delocalization bifurcation of this dislocation leads to a sharp decrease of strain created in the growth process at small angles. We complement our results with numerical continuation reliant on a boundary-integral formulation. We also compare results in the phase-diffusion approximation numerically to quenched stripe formation in an anisotropic Swift Hohenberg equation.


title: Incorporating Kinematic Wave Theory into a Deep Learning Method for High-Resolution Traffic Speed Estimation

abstract: We propose a kinematic wave-based Deep Convolutional Neural Network (Deep CNN) to estimate high-resolution traffic speed fields from sparse probe vehicle trajectories. We introduce two key approaches that allow us to incorporate kinematic wave theory principles to improve the robustness of existing learning-based estimation methods. First, we propose an anisotropic traffic kernel for the Deep CNN. The anisotropic kernel explicitly accounts for space-time correlations in macroscopic traffic and effectively reduces the number of trainable parameters in the Deep CNN model. Second, we propose to use simulated data for training the Deep CNN. Using a targeted simulated data for training provides an implicit way to impose desirable traffic physical features on the learning model. In the experiments, we highlight the benefits of using anisotropic kernels and evaluate the transferability of the trained model to real-world traffic using the Next Generation Simulation (NGSIM) and the German Highway Drone (HighD) datasets. The results demonstrate that anisotropic kernels significantly reduce model complexity and model over-fitting, and improve the physical correctness of the estimated speed fields. We find that model complexity scales linearly with problem size for anisotropic kernels compared to quadratic scaling for isotropic kernels. Furthermore, evaluation on real-world datasets shows acceptable performance, which establishes that simulation-based training is a viable surrogate to learning from real-world data. Finally, a comparison with standard estimation techniques shows the superior estimation accuracy of the proposed method.


title: Cohomology of holomorphic line bundles and Hodge symmetry on Oeljeklaus-Toma manifolds

abstract: We prove the Hodge symmetry type result on the Dolbeault cohomology of Oeljeklaus-Toma manifolds with values in the direct sum of holomorphic line bundles. Consequently, we show the vanishing and non-vanishing of Dolbeault cohomology of Oeljeklaus-Toma manifolds with values in holomorphic line bundles.


title: Simultaneous Confidence Corridors for neuroimaging data analysis: applications to Alzheimer's Disease diagnosis

abstract: Alzheimer's disease (AD) is a chronic neurodegenerative condition responsible for most cases of dementia and considered as one of the greatest challenges for neuroscience in this century. Early Ad signs are usually mistaken for normal age-related cognitive dysfunctions, thus patients usually start their treatment in advanced AD stages, when its benefits are severely limited. AD has no known cure, as such, hope lies on early diagnosis which usually depends on neuroimaging techniques such as Positron Emission Tomography (PET). PET data is then analyzed with Statistical Parametric Mapping (SPM) software, which uses mass univariate statistical analysis, inevitably incurring in errors derived from this multiple testing approach. Recently, Wang et al. (2020) formulated an alternative: applying functional data analysis (FDA), a relatively new branch of statistics, to calculate mean function and simultaneous confidence corridors (SCCs) for the difference between two groups' PET values. Here we test this approach with a practical application for AD diagnosis, estimating mean functions and SCCs for the difference between AD and control group's PET activity and locating regions where this difference galls outside estimated SCCs, indicating differences in brain activity attributable to AD-derived neural loss. Our results are consistent with previous literature on AD pathology and suggest that this FDA approach is more resilient to reductions in sample size and less dependent on ad hoc selection of an {\alpha} level than its counterpart, suggesting that this novel technique is a promising venue for research in the field of medical imaging.


title: Infant Cry Classification with Graph Convolutional Networks

abstract: We propose an approach of graph convolutional networks for robust infant cry classification. We construct non-fully connected graphs based on the similarities among the relevant nodes in both supervised and semi-supervised node classification with convolutional neural networks to consider the short-term and long-term effects of infant cry signals related to inner-class and inter-class messages. The approach captures the diversity of variations within infant cries, especially for limited training samples. The effectiveness of this approach is evaluated on Baby Chillanto Database and Baby2020 database. With as limited as 20% of labeled training data, our model outperforms that of CNN model with 80% labeled training data and the accuracy stably improves as the number of labeled training samples increases. The best results give significant improvements of 7.36% and 3.59% compared with the results of the CNN models on Baby Chillanto database and Baby2020 database respectively.


title: Irreducibility and monicity for representations of $k$-graph $C^*$-algebras

abstract: The representations of a $k$-graph $C^*$-algebra $C^*(\Lambda)$ which arise from $\Lambda$-semibranching function systems are closely linked to the dynamics of the $k$-graph $\Lambda$. In this paper, we undertake a systematic analysis of the question of irreducibility for these representations. We provide a variety of necessary and sufficient conditions for irreducibility, as well as a number of examples indicating the optimality of our results. We also explore the relationship between irreducible $\Lambda$-semibranching representations and purely atomic representations of $C^*(\Lambda)$. Throughout the paper, we work in the setting of row-finite source-free $k$-graphs; this paper constitutes the first analysis of $\Lambda$-semibranching representations at this level of generality.


title: Hierarchical Multivariate Directed Acyclic Graph Auto-Regressive (MDAGAR) models for spatial diseases mapping

abstract: Disease mapping is an important statistical tool used by epidemiologists to assess geographic variation in disease rates and identify lurking environmental risk factors from spatial patterns. Such maps rely upon spatial models for regionally aggregated data, where neighboring regions tend to exhibit similar outcomes than those farther apart. We contribute to the literature on multivariate disease mapping, which deals with measurements on multiple (two or more) diseases in each region. We aim to disentangle associations among the multiple diseases from spatial autocorrelation in each disease. We develop Multivariate Directed Acyclic Graphical Autoregression (MDAGAR) models to accommodate spatial and inter-disease dependence. The hierarchical construction imparts flexibility and richness, interpretability of spatial autocorrelation and inter-disease relationships, and computational ease, but depends upon the order in which the cancers are modeled. To obviate this, we demonstrate how Bayesian model selection and averaging across orders are easily achieved using bridge sampling. We compare our method with a competitor using simulation studies and present an application to multiple cancer mapping using data from the Surveillance, Epidemiology, and End Results (SEER) Program.