title: Higgs Boson Production and Quark Scattering Amplitudes at High Energy through the Next-to-Next-to-Leading Power in Quark Mass

abstract: We study the amplitudes of the quark scattering by an external electromagnetic field and of the light quark mediated Higgs boson production via gluon fusion in the high-energy limit. The asymptotic behavior of the quark form factors is obtained in the double-logarithmic approximation to all orders in strong coupling constant through ${\cal O}(m_q^3)$ in the small quark mass expansion and the asymptotic formula is given in a closed analytic form. In the case of the two-gluon Higgs boson form factor we obtain a complete analytic result for the three-loop ${\cal O}(m_q^3)$ double-logarithmic term while the all-order analysis is performed in the large-$N_c$ limit of QCD and for the abelian gauge group. An estimate of the high-order high-power light quark mass effect in the Higgs boson production and decay is given.


title: ESO 137-002: a large spiral undergoing edge-on ram-pressure stripping with little star formation in the tail

abstract: Ram pressure stripping (RPS) is an important mechanism for galaxy evolution. In this work, we present results from HST and APEX observations of one RPS galaxy, ESO 137-002 in the closest rich cluster Abell 3627. The galaxy is known to host prominent X-ray and H$\alpha$ tails. The HST data reveal significant features indicative of RPS in the galaxy, including asymmetric distribution of dust in the galaxy, dust filaments and dust clouds in ablation generally aligned with the direction of ram pressure, and young star clusters immediately upstream of the residual dust clouds that suggest star formation (SF) triggered by RPS. The distribution of the molecular gas is asymmetric in the galaxy, with no CO upstream and abundant CO downstream and in the inner tail region. A total amount of $\sim 5.5 \times 10^{9}$ M$_\odot$ of molecular gas is detected in the galaxy and its tail. On the other hand, we do not detect any active SF in the X-ray and H$\alpha$ tails of ESO 137-002 with the HST data and place a limit on the SF efficiency in the tail. Hence, if selected by SF behind the galaxy in the optical or UV (e.g., surveys like GASP or using the Galex data), ESO 137-002 will not be considered a ``jellyfish'' galaxy. Thus, galaxies like ESO 137-002 are important for our comprehensive understanding of RPS galaxies and the evolution of the stripped material. ESO 137-002 also presents a great example of an edge-on galaxy experiencing a nearly edge-on RPS wind.


title: Informative Planning in the Presence of Outliers

abstract: Informative planning seeks a sequence of actions that guide the robot to collect the most informative data to build a large-scale environmental model or learn a dynamical system. Existing work in informative planning mainly focuses on proposing new planners and applying them to various robotic applications such as environmental monitoring, autonomous exploration, and system identification. The informative planners optimize an objective given by a probabilistic model, e.g., Gaussian process regression (GPR). In practice, the ubiquitous sensing outliers can easily affect the model, resulting in a misleading objective. A straightforward solution is to filter out the outliers in the sensing data stream using an off-the-shelf outlier detector. However, informative samples are also scarce by definition so they might be falsely filtered out. In this paper, we propose a method to enable the robot to re-visit the locations where outliers were sampled besides optimizing the informative planning objective. The robot can collect more samples in the vicinity of outliers and update the outlier detector to reduce the number of false alarms. We achieve this by designing a new objective for the Pareto Monte Carlo tree search (MCTS). We demonstrate that the proposed framework performs better than applying an outlier detector naively.


title: Penetration and Secondary Atomization of Droplets Impacted on Wet Facemasks

abstract: Face covering, commonly known as facemask, is considered to be one of the most effective Personal Protective Equipments (PPEs) to reduce transmissions of pathogens through respiratory droplets - both large drops and liquid aerosol particles. Face masks, not only inhibit the expulsion of such respiratory droplets from the user, but also protects the user from inhaling pathogen-laden potentially harmful droplets or their dried nuclei. While the efficacies of various dry face masks have been explored in the recent past, a comprehensive investigation of a wet mask is lacking. Yet, users wear masks for a long period of time and during this period, owing to respiratory droplets released through multiple respiratory events, the mask matrix becomes wet. We, herein, present an experimental study on the dynamics of sequential impacts of droplets on masks to understand how wetness affects possible penetration and secondary atomization of the impacted droplet. Two different types of masks, hydrophobic and hydrophilic, were used in this study to evaluate the underlying physical mechanism that controls the penetration in each of them.


title: Shear shock formation in incompressible viscoelastic solids

abstract: Experiments have shown that shear waves induced in brain tissue can develop into shock waves, thus providing a possible explanation of deep traumatic brain injuries. Here, we study the formation of shock waves in soft viscoelastic solids subject to an imposed velocity at their boundary. We consider the plane shearing motion of a semi-infinite half-space, which corresponds to a spatially one-dimensional problem. Incompressible soft solids whose behaviour is described by the Fung-Simo quasi-linear viscoelasticy theory (QLV) are considered, where the elastic response is either exponential or polynomial of Mooney-Rivlin-Yeoh type. Waveform breaking can occur at the blow-up of acceleration waves, leading to one sufficient condition for the formation of shocks. A slow scale analysis based on a small amplitude parameter yields a damped Burgers-like equation, thus leading to another shock formation condition. Numerical experiments performed using a dedicated finite volume scheme show that these estimates have limited accuracy. Their validity is restricted in the elastic limit too, where exact shock formation conditions are known.


title: Pareto Monte Carlo Tree Search for Multi-Objective Informative Planning

abstract: In many environmental monitoring scenarios, the sampling robot needs to simultaneously explore the environment and exploit features of interest with limited time. We present an anytime multi-objective informative planning method called Pareto Monte Carlo tree search which allows the robot to handle potentially competing objectives such as exploration versus exploitation. The method produces optimized decision solutions for the robot based on its knowledge (estimation) of the environment state, leading to better adaptation to environmental dynamics. We provide algorithmic analysis on the critical tree node selection step and show that the number of times choosing sub-optimal nodes is logarithmically bounded and the search result converges to the optimal choices at a polynomial rate.


title: Sampling and interpolation for the discrete Hilbert and Kak-Hilbert transforms

abstract: The goal of the paper is to obtain analogs of the sampling theorems and of the Riesz-Boas interpolation formulas which are relevant to the Discrete Hilbert and Kak-Hilbert transforms in $l^{2}$.


title: Equivalent Versions of Total Flow Analysis

abstract: Total Flow Analysis (TFA) is a method for conducting the worst-case analysis of time sensitive networks without cyclic dependencies. In networks with cyclic dependencies, Fixed-Point TFA introduces artificial cuts, analyses the resulting cycle-free network with TFA, and iterates. If it converges, it does provide valid performance bounds. We show that the choice of the specific cuts used by Fixed-Point TFA does not affect its convergence nor the obtained performance bounds, and that it can be replaced by an alternative algorithm that does not use any cut at all, while still applying to cyclic dependencies.


title: Cosmological models based on a complex scalar field with a power-law potential associated with a polytropic equation of state

abstract: We construct cosmological models based on a complex scalar field with a power-law potential $V=\frac{K}{\gamma-1}(\frac{m}{\hbar})^{2\gamma}|\varphi|^{2\gamma}$ associated with a polytropic equation of state $P=K\rho^{\gamma}$ (the potential associated with an isothermal equation of state $P=\rho k_B T/m$ is $V=\frac{m k_B T}{\hbar^2}|\varphi|^2 [\ln(m^2|\varphi|^2/\rho_*\hbar^2)-1]$ and the potential associated with a logotropic equation of state $P=A\ln(\rho/\rho_P)$ is $V=-A[\ln(m^2|\varphi|^2/\hbar^2\rho_P)+1]$). We consider a fast oscillation regime of ``spintessence'' where the equations of the problem can be simplified. We study all possible cases with arbitrary (positive and negative) values of the polytropic constant and polytropic index. The $\Lambda$CDM model, the Chaplygin gas model and the Bose-Einstein condensate model are recovered as particular cases of our study corresponding to a constant potential ($\gamma=0$), an inverse square-law potential ($\gamma=-1$), and a quartic potential ($\gamma=2$). We also derive the two-fluid representation of the Chaplygin gas model.


title: Substrate disorder promotes cell motility in confluent tissues

abstract: In vivo and in vitro cells rely on the support of an underlying biocompatible substrate, such as the extracellular matrix or a culture substrate, to spread and proliferate. The mechanical and chemical properties of such structures play a central role in the dynamical and statistical properties of the tissue. At the cell scale, these substrates are highly disordered. Here, we investigate how spatial heterogeneities of the cell-substrate interaction influence the motility of the cells in a model confluent tissue. We use the Self-Propelled Voronoi model and describe the disorder as a spatially dependent preferred geometry of the individual cells. We found that when the characteristic length scale of the preferred geometry is smaller than the cell size, the tissue is less rigid than its homogeneous counterpart, with a consequent increase in cell motility. This result is in sharp contrast to what has been reported for tissues with heterogeneity in the mechanical properties of the individual cells, where the disorder favors rigidity. Using the fraction of rigid cells, we observe a collapse of the motility data for different model parameters and provide evidence that the rigidity transition in the model tissue is accompanied by the emergence of a spanning cluster of rigid cells.


title: Mod-p Poincar\'e Duality in p-adic Analytic Geometry

abstract: We show Poincar\'e Duality for $\mathbf{F}_p$-\'etale cohomology of a smooth proper rigid-analytic space over a non-archimedean field $K$ of mixed characteristic $(0, p)$. It positively answers the question raised by P. Scholze in [Sch13a]. We prove duality via constructing Faltings' trace map relating Poincar\'e Duality on the generic fiber to (almost) Grothendieck Duality on the mod-$p$ fiber of a formal model. We also formally deduce Poincar\'e Duality for $\mathbf{Z}/p^n\mathbf{Z}$, $\mathbf{Z}_p$, and $\mathbf{Q}_p$-coefficients.


title: Photocatalytic water splitting ability of Fe/MgO-rGO nanocomposites towards hydrogen evolution

abstract: Photocatalytic water splitting has greatly stimulated as an ideal technique for producing hydrogen (H$_{2}$) fuel by employing two renewable sources, i.e., water and solar energy. Here, we have adopted a facile hydrothermal approach for the successful synthesis of reduced graphene oxide (rGO) incorporated Fe/MgO nanocomposites followed by thermal treatment at inert atmosphere to investigate their ability for photodegradation and photocatalytic hydrogen evolution via water splitting. Transmission Electron Microscopy images of Fe/MgO-rGO nanocomposite ensured the distribution of Fe/MgO nanoparticles throughout rGO sheets. Notably, all rGO supported nanocomposites, especially the one, thermally treated at 500 $^{o}$C at Argon (Ar) atmosphere has demonstrated significantly higher photocatalytic efficiency towards the photodegradation of a toxic textile dye, rhodamine B, than pristine MgO and commercially available Degussa P25 titania nanoparticles as well as other composites. Under solar irradiation, Fe/MgO-rGO(500) nanocomposite exhibited 86% degradation of rhodamine B dye and generated almost four times higher H$_{2}$ via photocatalytic water splitting compared to commercially available P25 titania nanoparticles. This promising photocatalytic ability of the Fe/MgO-rGO(500) nanocomposite can be attributed to the improved morphological and surface features due to heat treatment at inert atmosphere as well as escalated charge carrier separation with increased light absorption capacity imputed to rGO incorporation.


title: Near-collision dynamics in a noisy car-following model

abstract: We consider a small stochastic perturbation of an optimal velocity car-following model. We give a detailed analysis of behavior near the collision singularity. We show that collision is impossible in a simplified model without noise, and then we show that collision is asymptotically unlikely over large time intervals in presence of small noise, with large time interval scaling like a square of the reciprocal of the strength of the noise. Our calculations depend on careful boundary-layer analyses.


title: Zwitterions Layer at but Do Not Screen Electrified Interfaces

abstract: The role of ionic electrostatics in colloidal processes is well-understood in natural and applied contexts; however, the electrostatic contribution of zwitterions, known to be present in copious amounts in extremophiles, has not been extensively explored. In response, we studied the effects of glycine as a surrogate zwitterion, ion, and osmolyte on the electrostatic forces between negatively charged mica-mica and silica-silica interfaces. Our results reveal that while zwitterions layer at electrified interfaces and contribute to solutions' osmolality, they do not affect at all the surface potentials, the electrostatic surface forces (magnitude and range), and solutions' conductivity across 0.3-30 mM glycine concentration. We infer that the zwitterionic structure imposes an inseparability among the positive and negative charges and that this inseparability prevents the buildup of a counter charge at interfaces. These elemental experimental results pinpoint how zwitterions enable extremophiles to cope with the osmotic stress without affecting finely tuned electrostatic force balance.


title: Many-probes multi-object spatially-resolved analyses of galaxy clusters in the big data era

abstract: The thermal Sunyaev-Zeldovich (SZ) effect and the X-ray emission offer separate and highly complementary probes of the thermodynamics of the intracluster medium, particularly on their radial dependence. We already released \texttt{JoXSZ}, the first publicly available code designed to jointly fit SZ and X-ray data coming from various instruments to derive the thermodynamic radial profiles of galaxy clusters, including mass. \texttt{JoXSZ;} follows a fully Bayesian forward-modelling approach, adopts flexible parametrization for the thermodynamic profiles and includes many useful options that users can customize according to their needs. We are including shear measurement in our joint analysis, and moving from single-cluster to multi-cluster analyses, allowing to quantify the heterogeneity of thermodynamic properties within the cluster population. At the same time, we are creating a suitable framework that efficiently stores and optimally processes huge volumes of data being released by the current and new generation surveys.


title: Conways Circle Theorem: A Short Proof Enabling Generalization to Polygons

abstract: John Conway's Circle Theorem is a gem of plane geometry. The six points formed by continuing the sides of a triangle beyond every vertex by the length of its opposite side, are concyclic. The theorem has attracted several proofs. We present a short proof that views the extended sides as equal tangents of the incircle, a perspective that enables generalization to polygons.


title: Coupling Turing stripes to active flows

abstract: We numerically solve the active nematohydrodynamic equations of motion, coupled to a Turing reaction-diffusion model, to study the effect of active nematic flow on the stripe patterns resulting from a Turing instability. If the activity is uniform across the system, the Turing patterns dissociate when the flux from active advection balances that from the reaction-diffusion process. If the activity is coupled to the concentration of Turing morphogens, and neighbouring stripes have equal and opposite activity, the system self organises into a pattern of shearing flows, with stripes tending to fracture and slip sideways to join their neighbours. We discuss the role of active instabilities in controlling the crossover between these limits, Our results are of relevance to mechanochemical coupling in biological systems.


title: A skeletal model for 2d conformal AQFTs

abstract: A simple model for the localization of the category $\mathbf{CLoc}_2$ of oriented and time-oriented globally hyperbolic conformal Lorentzian $2$-manifolds at all Cauchy morphisms is constructed. This provides an equivalent description of $2$-dimensional conformal algebraic quantum field theories (AQFTs) satisfying the time-slice axiom in terms of only two algebras, one for the $2$-dimensional Minkowski spacetime and one for the flat cylinder, together with a suitable action of two copies of the orientation preserving embeddings of oriented $1$-manifolds. The latter result is used to construct adjunctions between the categories of $2$-dimensional and chiral conformal AQFTs whose right adjoints formalize and generalize Rehren's chiral observables.


title: Improved Constraints on Effective Top Quark Interactions using Edge Convolution Networks

abstract: We explore the potential of Graph Neural Networks (GNNs) to improve the performance of high-dimensional effective field theory parameter fits to collider data beyond traditional rectangular cut-based differential distribution analyses. In this study, we focus on a SMEFT analysis of $pp \to t\bar t$ production, including top decays, where the linear effective field deformation is parametrised by thirteen independent Wilson coefficients. The application of GNNs allows us to condense the multidimensional phase space information available for the discrimination of BSM effects from the SM expectation by considering all available final state correlations directly. The number of contributing new physics couplings very quickly leads to statistical limitations when the GNN output is directly employed as an EFT discrimination tool. However, a selection based on minimising the SM contribution enhances the fit's sensitivity when reflected as a (non-rectangular) selection on the inclusive data samples that are typically employed when looking for non-resonant deviations from the SM by means of differential distributions.


title: Janus and RG-flow interfaces in three-dimensional gauged supergravity

abstract: In this paper, we construct Janus-type solutions of three-dimensional gauged supergravity with sixteen supersymmetries. We find solutions which correspond to interfaces between the same CFT on both sides, as well as RG-flow interfaces between CFTs with different numbers of supersymmetries and central charges. The solutions are obtained by solving the flow equations derived from the supersymmetry variations, and they preserve some fraction of the supersymmetries of the $\AdS_3$ vacua.


title: Bayesian Geostatistical Modeling for Discrete-Valued Processes

abstract: We introduce a flexible and scalable class of Bayesian geostatistical models for discrete data, based on the class of nearest neighbor mixture transition distribution processes (NNMP), referred to as discrete NNMP. The proposed class characterizes spatial variability by a weighted combination of first-order conditional probability mass functions (pmfs) for each one of a given number of neighbors. The approach supports flexible modeling for multivariate dependence through specification of general bivariate discrete distributions that define the conditional pmfs. Moreover, the discrete NNMP allows for construction of models given a pre-specified family of marginal distributions that can vary in space, facilitating covariate inclusion. In particular, we develop a modeling and inferential framework for copula-based NNMPs that can attain flexible dependence structures, motivating the use of bivariate copula families for spatial processes. Compared to the traditional class of spatial generalized linear mixed models, where spatial dependence is introduced through a transformation of response means, our process-based modeling approach provides both computational and inferential advantages. We illustrate the benefits with synthetic data examples and an analysis of North American Breeding Bird Survey data.


title: Flows of $\mathrm{G}_2$-structures on contact Calabi--Yau $7$-manifolds

abstract: We study the Laplacian flow and coflow on contact Calabi-Yau $7$-manifolds. We show that the natural initial condition leads to an ancient solution of the Laplacian flow with a finite time Type I singularity which is not a soliton, whereas it produces an immortal (though not eternal and not self-similar) solution of the Laplacian coflow which has an infinite time singularity, that is Type IIb unless the transverse Calabi--Yau geometry is flat. The flows in each case collapse (after normalising the volume) to a lower-dimensional limit, which is either $\mathbb{R}$ for the Laplacian flow or standard $\mathbb{C}^3$ for the Laplacian coflow. We also study the Hitchin flow in this setting, which we show coincides with the Laplacian coflow up to reparametrisation of time, and defines an (incomplete) Calabi--Yau structure on the spacetime track of the flow.


title: Coordinate Linear Variance Reduction for Generalized Linear Programming

abstract: We study a class of generalized linear programs (GLP) in a large-scale setting, which includes simple, possibly nonsmooth convex regularizer and simple convex set constraints. By reformulating (GLP) as an equivalent convex-concave min-max problem, we show that the linear structure in the problem can be used to design an efficient, scalable first-order algorithm, to which we give the name \emph{Coordinate Linear Variance Reduction} (\textsc{clvr}; pronounced "clever"). \textsc{clvr} yields improved complexity results for (GLP) that depend on the max row norm of the linear constraint matrix in (GLP) rather than the spectral norm. When the regularization terms and constraints are separable, \textsc{clvr} admits an efficient lazy update strategy that makes its complexity bounds scale with the number of nonzero elements of the linear constraint matrix in (GLP) rather than the matrix dimensions. On the other hand, for the special case of linear programs, by exploiting sharpness, we propose a restart scheme for \textsc{clvr} to obtain empirical linear convergence. Then we show that Distributionally Robust Optimization (DRO) problems with ambiguity sets based on both $f$-divergence and Wasserstein metrics can be reformulated as (GLPs) by introducing sparsely connected auxiliary variables. We complement our theoretical guarantees with numerical experiments that verify our algorithm's practical effectiveness, in terms of wall-clock time and number of data passes.


title: Visibility Properties of Spiral Sets

abstract: A spiral in $\mathbb{R}^{d+1}$ is defined as a set of the form $\left\{\sqrt[d+1]{n}\cdot\boldsymbol{u}_n\right\}_{n\ge 1},$ where $\left(\boldsymbol{u}_n\right)_{n\ge 1}$ is a spherical sequence. Such point sets have been extensively studied, in particular in the planar case $d=1$, as they then serve as natural models describing phyllotactic structures (i.e. structures representing configurations of leaves on a plant stem). Recent progress in this theory provides a fine analysis of the distribution of spirals (e.g., their covering and packing radii). Here, various concepts of visiblity from discrete geometry are employed to characterise density properties of such point sets. More precisely, necessary an sufficient conditions are established for a spiral to be (1) an orchard (a "homogeneous" density property defined by P\`olya), (2) a uniform orchard (a concept introduced in this work), (3) a set with no visible point (implying that the point set is dense enough in a suitable sense) and (4) a dense forest (a quantitative and uniform refinement of the previous concept).


title: Ramanujan-type systems of nonlinear ODEs for $\Gamma_0(2)$ and $\Gamma_0(3)$

abstract: This paper aims to introduce two systems of nonlinear ordinary differential equations whose solution components generate the graded algebra of quasi-modular forms on Hecke congruence subgroups $\Gamma_0(2)$ and $\Gamma_0(3)$. Using these systems, we provide the generated graded algebras with an $\mathfrak{sl}_2(\mathbb{C})$-module structure. As applications, we introduce Ramanujan-type tau functions for $\Gamma_0(2)$ and $\Gamma_0(3)$, and obtain some interesting and non-trivial recurrence and congruence relations.


title: Co-even domination number of some binary operations on graphs

abstract: Let $G=(V,E)$ be a simple graph. A dominating set of $G$ is a subset $D\subseteq V$ such that every vertex not in $D$ is adjacent to at least one vertex in $D$. The cardinality of a smallest dominating set of $G$, denoted by $\gamma(G)$, is the domination number of $G$. A dominating set $D$ is called co-even dominating set if the degree of vertex $v$ is even number for all $v\in V-D$. The cardinality of a smallest co-even dominating set of $G$, denoted by $\gamma _{coe}(G)$, is the co-even domination number of $G$. In this paper, we study the co-even domination number of some binary operations on graphs.


title: Unbiased Simulation Estimators for Multivariate Jump-Diffusions

abstract: We develop and analyze a class of unbiased Monte Carlo estimators for multivariate jump-diffusion processes with state-dependent drift, volatility, jump intensity and jump size. A change of measure argument is used to extend existing unbiased estimators for the inter-arrival diffusion to include state-dependent jumps. Under standard regularity conditions on the coefficient and target functions, we prove the unbiasedness and finite variance properties of the resulting jump-diffusion estimators. Numerical experiments illustrate the efficiency of our estimators.


title: Basis Matters: Better Communication-Efficient Second Order Methods for Federated Learning

abstract: Recent advances in distributed optimization have shown that Newton-type methods with proper communication compression mechanisms can guarantee fast local rates and low communication cost compared to first order methods. We discover that the communication cost of these methods can be further reduced, sometimes dramatically so, with a surprisingly simple trick: {\em Basis Learn (BL)}. The idea is to transform the usual representation of the local Hessians via a change of basis in the space of matrices and apply compression tools to the new representation. To demonstrate the potential of using custom bases, we design a new Newton-type method (BL1), which reduces communication cost via both {\em BL} technique and bidirectional compression mechanism. Furthermore, we present two alternative extensions (BL2 and BL3) to partial participation to accommodate federated learning applications. We prove local linear and superlinear rates independent of the condition number. Finally, we support our claims with numerical experiments by comparing several first and second~order~methods.


title: Improved Iteration Complexities for Overconstrained $p$-Norm Regression

abstract: In this paper we obtain improved iteration complexities for solving $\ell_p$ regression. We provide methods which given any full-rank $\mathbf{A} \in \mathbb{R}^{n \times d}$ with $n \geq d$, $b \in \mathbb{R}^n$, and $p \geq 2$ solve $\min_{x \in \mathbb{R}^d} \left\|\mathbf{A} x - b\right\|_p$ to high precision in time dominated by that of solving $\widetilde{O}_p(d^{\frac{p-2}{3p-2}})$ linear systems in $\mathbf{A}^\top \mathbf{D} \mathbf{A}$ for positive diagonal matrices $\mathbf{D}$. This improves upon the previous best iteration complexity of $\widetilde{O}_p(n^{\frac{p-2}{3p-2}})$ (Adil, Kyng, Peng, Sachdeva 2019). As a corollary, we obtain an $\widetilde{O}(d^{1/3}\epsilon^{-2/3})$ iteration complexity for approximate $\ell_\infty$ regression. Further, for $q \in (1, 2]$ and dual norm $q = p/(p-1)$ we provide an algorithm that solves $\ell_q$ regression in $\widetilde{O}(d^{\frac{p-2}{2p-2}})$ iterations. To obtain this result we analyze row reweightings (closely inspired by $\ell_p$-norm Lewis weights) which allow a closer connection between $\ell_2$ and $\ell_p$ regression. We provide adaptations of two different iterative optimization frameworks which leverage this connection and yield our results. The first framework is based on iterative refinement and multiplicative weights based width reduction and the second framework is based on highly smooth acceleration. Both approaches yield $\widetilde{O}_p(d^{\frac{p-2}{3p-2}})$ iteration methods but the second has a polynomial dependence on $p$ (as opposed to the exponential dependence of the first algorithm) and provides a new alternative to the previous state-of-the-art methods for $\ell_p$ regression for large $p$.


title: Necessary and sufficient conditions for the identifiability of isolated loops

abstract: This Letter provides necessary and sufficient conditions on the excitation and measurement pattern (EMP) that guarantee identifiability of a dynamical network that has the structure of a loop. The conditions are extremely simple in their formulation, and they can be checked by visual inspection. They allow one to easily characterize all EMPs that make the loop network identifiable.


title: Distributed Learning over a Wireless Network with FSK-Based Majority Vote

abstract: In this study, we propose an over-the-air computation (AirComp) scheme for federated edge learning (FEEL). The proposed scheme relies on the concept of distributed learning by majority vote (MV) with sign stochastic gradient descend (signSGD). As compared to the state-of-the-art solutions, with the proposed method, edge devices (EDs) transmit the signs of local stochastic gradients by activating one of two orthogonal resources, i.e., orthogonal frequency division multiplexing (OFDM) subcarriers, and the MVs at the edge server (ES) are obtained with non-coherent detectors by exploiting the energy accumulations on the subcarriers. Hence, the proposed scheme eliminates the need for channel state information (CSI) at the EDs and ES. By taking path loss, power control, cell size, and the probabilistic nature of the detected MVs in fading channel into account, we prove the convergence of the distributed learning for a non-convex function. Through simulations, we show that the proposed scheme can provide a high test accuracy in fading channels even when the time-synchronization and the power alignment at the ES are not ideal. We also provide insight into distributed learning for location-dependent data distribution for the MV-based schemes.


title: Private Interdependent Valuations

abstract: We consider the single-item interdependent value setting, where there is a monopolist, $n$ buyers, and each buyer has a private signal $s_i$ describing a piece of information about the item. Each bidder $i$ also has a valuation function $v_i(s_1,\ldots,s_n)$ mapping the (private) signals of all buyers to a positive real number representing their value for the item. This setting captures scenarios where the item's information is asymmetric or dispersed among agents, such as in competitions for oil drilling rights, or in auctions for art pieces. Due to the increased complexity of this model compared to standard private values, it is generally assumed that each bidder's valuation function $v_i$ is public knowledge. But in many situations, the seller may not know how a bidder aggregates signals into a valuation. In this paper, we design mechanisms that guarantee approximately-optimal social welfare while satisfying ex-post incentive compatibility and individual rationality for the case where the valuation functions are private to the bidders. When the valuations are public, it is possible for optimal social welfare to be attained by a deterministic mechanism under a single-crossing condition. In contrast, when the valuations are the bidders' private information, we show that no finite bound can be achieved by any deterministic mechanism even under single-crossing. Moreover, no randomized mechanism can guarantee better than an $n$-approximation. We thus consider valuation functions that are submodular over signals (SOS), introduced in the context of combinatorial auctions in a recent breakthrough paper by Eden et al. [EC'19]. Our main result is an $O(\log^2 n)$-approximation for buyers with private signals and valuations under the SOS condition. We also give a tight $\Theta(k)$-approximation for the case each agent's valuation depends on at most $k$ other signals even for unknown $k$.


title: On pseudofrobenius imprimitive association schemes

abstract: An (association) scheme is said to be Frobenius if it is the scheme of a Frobenius group. A scheme which has the same tensor of intersection numbers as some Frobenius scheme is said to be pseudofrobenius. We establish a necessary and sufficient condition for an imprimitive pseudofrobenius scheme to be Frobenius. We also prove strong necessary conditions for existence of an imprimitive pseudofrobenius scheme which is not Frobenius. As a byproduct, we obtain a sufficient condition for an imprimitive Frobenius group $G$ with abelian kernel to be determined up to isomorphism only by the character table of $G$. Finally, we prove that the Weisfeiler-Leman dimension of a circulant graph with $n$ vertices and Frobenius automorphism group is equal to $2$ unless $n\in \{p,p^2,p^3,pq,p^2q\}$, where $p$ and $q$ are distinct primes.


title: Recursive Bayesian Networks: Generalising and Unifying Probabilistic Context-Free Grammars and Dynamic Bayesian Networks

abstract: Probabilistic context-free grammars (PCFGs) and dynamic Bayesian networks (DBNs) are widely used sequence models with complementary strengths and limitations. While PCFGs allow for nested hierarchical dependencies (tree structures), their latent variables (non-terminal symbols) have to be discrete. In contrast, DBNs allow for continuous latent variables, but the dependencies are strictly sequential (chain structure). Therefore, neither can be applied if the latent variables are assumed to be continuous and also to have a nested hierarchical dependency structure. In this paper, we present Recursive Bayesian Networks (RBNs), which generalise and unify PCFGs and DBNs, combining their strengths and containing both as special cases. RBNs define a joint distribution over tree-structured Bayesian networks with discrete or continuous latent variables. The main challenge lies in performing joint inference over the exponential number of possible structures and the continuous variables. We provide two solutions: 1) For arbitrary RBNs, we generalise inside and outside probabilities from PCFGs to the mixed discrete-continuous case, which allows for maximum posterior estimates of the continuous latent variables via gradient descent, while marginalising over network structures. 2) For Gaussian RBNs, we additionally derive an analytic approximation, allowing for robust parameter optimisation and Bayesian inference. The capacity and diverse applications of RBNs are illustrated on two examples: In a quantitative evaluation on synthetic data, we demonstrate and discuss the advantage of RBNs for segmentation and tree induction from noisy sequences, compared to change point detection and hierarchical clustering. In an application to musical data, we approach the unsolved problem of hierarchical music analysis from the raw note level and compare our results to expert annotations.


title: Gapped Quantum Systems: From Higher Dimensional Lieb-Schultz-Mattis to the Quantum Hall Effect

abstract: We consider many-body quantum systems on a finite lattice, where the Hilbert space is the tensor product of finite-dimensional Hilbert spaces associated with each site, and where the Hamiltonian of the system is a sum of local terms. We are interested in proving uniform bounds on various properties as the size of the lattice tends to infinity. An important case is when there is a spectral gap between the lowest state(s) and the rest of the spectrum which persists in this limit, corresponding to what physicists call a ``phase of matter". Here, the combination of elementary Fourier analysis with the technique of Lieb-Robinson bounds (bounds on the velocity of propagation) is surprisingly powerful. We use this to prove exponential decay of connected correlation functions, a higher-dimensional Lieb-Schultz-Mattis theorem, and a Hall conductance quantization theorem for interacting electrons with disorder.


title: The Fornax Deep Survey (FDS) with VST XII: Low surface brightness dwarf galaxies in the Fornax cluster

abstract: In this work we use Max-Tree Objects, (MTO) on the FDS data in order to detect previously undetected Low surface brightness (LSB) galaxies. After extending the existing Fornax dwarf galaxy catalogs with this sample, our goal is to understand the evolution of LSB dwarfs in the cluster. We also study the contribution of the newly detected galaxies to the faint end of the luminosity function. We test the detection completeness and parameter extraction accuracy of MTO. We then apply MTO to the FDS images to identify LSB candidates. The identified objects are fitted with 2D S\'ersic models using GALFIT and classified based on their morphological appearance, colors, and structure. With MTO, we are able to increase the completeness of our earlier FDS dwarf catalog (FDSDC) 0.5-1 mag deeper in terms of total magnitude and surface brightness. Due to the increased accuracy in measuring sizes of the detected objects, we also add many small galaxies to the catalog that were previously excluded as their outer parts had been missed in detection. We detect 265 new LSB dwarf galaxies in the Fornax cluster, which increases the total number of known dwarfs in Fornax to 821. Using the extended catalog, we show that the luminosity function has a faint-end slope of -1.38+/-0.02. We compare the obtained luminosity function with different environments studied earlier using deep data but do not find any significant differences. On the other hand, the Fornax-like simulated clusters in the IllustrisTNG cosmological simulation have shallower slopes than found in the observational data. We also find several trends in the galaxy colors, structure, and morphology that support the idea that the number of LSB galaxies is higher in the cluster center due to tidal forces and the age dimming of the stellar populations. The same result also holds for the subgroup of large LSB galaxies, so-called ultra-diffuse galaxies.


title: Detecting Logical Relation In Contract Clauses

abstract: Contracts underlie most modern commercial transactions defining define the duties and obligations of the related parties in an agreement. Ensuring such agreements are error free is crucial for modern society and their analysis of a contract requires understanding the logical relations between clauses and identifying potential contradictions. This analysis depends on error-prone human effort to understand each contract clause. In this work, we develop an approach to automate the extraction of logical relations between clauses in a contract. We address this problem as a Natural Language Inference task to detect the entailment type between two clauses in a contract. The resulting approach should help contract authors detecting potential logical conflicts between clauses.


title: A New Type of CGO Solutions and its Applications in Corner Scattering

abstract: We consider corner scattering for the operator $\nabla \cdot \gamma(x)\nabla +k^2\rho(x)$ in $\mathbb{R}^2$, with $\gamma$ a positive definite symmetric matrix and $\rho$ a positive scalar function. A corner is referred to one that is on the boundary of the (compact) support of $\gamma(x)-I$ or $\rho(x)-1$, where $I$ stands for the identity matrix. We assume that $\gamma$ is a scalar function in a small neighborhood of the corner. We show that any admissible incident field will be scattered by such corners, which are allowed to be concave. Moreover, we provide a brief discussion on the existence of non-scattering waves when $\gamma-I$ has a jump across the corner. In order to prove the results, we construct a new type of complex geometric optics (CGO) solutions.


title: Third-Generation Calibrations for MeerKAT observation

abstract: Superclusters and galaxy clusters offer a wide range of astrophysical science topics with regards to studying the evolution and distribution of galaxies, intra-cluster magnetization mediums, cosmic ray accelerations and large scale diffuse radio sources all in one observation. Recent developments in new radio telescopes and advanced calibration software have completely changed data quality that was never possible with old generation telescopes. Hence, radio observations of superclusters are a very promising avenue to gather rich information of a large-scale structure (LSS) and their formation mechanisms. These newer wide-band and wide field-of-view (FOV) observations require state-of-the-art data analysis procedures, including calibration and imaging, in order to provide deep and high dynamic range (DR) images with which to study the diffuse and faint radio emissions in supercluster environments. Sometimes, strong point sources hamper the radio observations and limit the achievement of a high DR. In this paper, we have shown the DR improvements around strong radio sources in the MeerKAT observation of the Saraswati supercluster by applying newer third-generation calibration (3GC) techniques using CubiCal and killMS software. We have also calculated the statistical parameters to quantify the improvements around strong radio sources. This analysis advocates for the use of new calibration techniques to maximize the scientific returns from new-generation telescopes.


title: Surveying the Giant HII Regions of the Milky Way with SOFIA: III. W49A

abstract: We present our third set of results from our mid-infrared imaging survey of Milky Way Giant HII (GHII) regions with our detailed analysis of W49A, one of the most distant, yet most luminous, GHII regions in the Galaxy. We used the FORCAST instrument on the Stratospheric Observatory For Infrared Astronomy (SOFIA) to obtain 20 and 37$\mu$m images of the entire ~5.0' x 3.5' infrared-emitting area of W49A at a spatial resolution of ~3". Utilizing these SOFIA data in conjunction with previous multi-wavelength observations from the near-infrared to radio, including Spitzer-IRAC and Herschel-PACS archival data, we investigate the physical nature of individual infrared sources and sub-components within W49A. For individual compact sources we used the multi-wavelength photometry data to construct spectral energy distributions (SEDs) and fit them with massive young stellar object (MYSO) SED models, and find 22 sources that are likely to be MYSOs. Ten new sources are identified for the first time in this work. Even at 37$\mu$m we are unable to detect infrared emission from the sources on the western side of the extremely extinguished ring of compact radio emission sources known as the Welch Ring. Utilizing multi-wavelength data, we derived luminosity-to-mass ratio and virial parameters of the extended radio sub-regions of W49A to estimate their relative ages and find that overall the sub-components of W49A have a very small spread in evolutionary state compared to our previously studied GHII regions.


title: Photo-astrometric distances, extinctions, and astrophysical parameters for Gaia EDR3 stars brighter than G=18.5

abstract: We present a catalogue of 362 million stellar parameters, distances, and extinctions derived from Gaia's early third data release (EDR3) cross-matched with the photometric catalogues of Pan-STARRS1, SkyMapper, 2MASS, and AllWISE. The higher precision of the Gaia EDR3 data, combined with the broad wavelength coverage of the additional photometric surveys and the new stellar-density priors of the {\tt StarHorse} code allow us to substantially improve the accuracy and precision over previous photo-astrometric stellar-parameter estimates. At magnitude $G=14\, (17)$, our typical precisions amount to 3% (15%) in distance, 0.13 mag (0.15 mag) in $V$-band extinction, and 140 K (180 K) in effective temperature. Our results are validated by comparisons with open clusters, as well as with asteroseismic and spectroscopic measurements, indicating systematic errors smaller than the nominal uncertainties for the vast majority of objects. We also provide distance- and extinction-corrected colour-magnitude diagrams, extinction maps, and extensive stellar density maps that reveal detailed substructures in the Milky Way and beyond. The new density maps now probe a much greater volume, extending to regions beyond the Galactic bar and to Local Group galaxies, with a larger total number density. We publish our results through an ADQL query interface ({\tt gaia.aip.de}) as well as via tables containing approximations of the full posterior distributions. Our multi-wavelength approach and the deep magnitude limit make our results useful also beyond the next Gaia release, DR3.


title: Source-to-Source Automatic Differentiation of OpenMP Parallel Loops

abstract: This paper presents our work toward correct and efficient automatic differentiation of OpenMP parallel worksharing loops in forward and reverse mode. Automatic differentiation is a method to obtain gradients of numerical programs, which are crucial in optimization, uncertainty quantification, and machine learning. The computational cost to compute gradients is a common bottleneck in practice. For applications that are parallelized for multicore CPUs or GPUs using OpenMP, one also wishes to compute the gradients in parallel. We propose a framework to reason about the correctness of the generated derivative code, from which we justify our OpenMP extension to the differentiation model. We implement this model in the automatic differentiation tool Tapenade and present test cases that are differentiated following our extended differentiation procedure. Performance of the generated derivative programs in forward and reverse mode is better than sequential, although our reverse mode often scales worse than the input programs.


title: Secondary Electron Count Imaging in SEM

abstract: Scanning electron microscopy (SEM) is a versatile technique used to image samples at the nanoscale. Conventional imaging by this technique relies on finding the average intensity of the signal generated on a detector by secondary electrons (SEs) emitted from the sample and is subject to noise due to variations in the voltage signal from the detector. This noise can result in degradation of the SEM image quality for a given imaging dose. SE count imaging, which uses the direct count of SEs detected from the sample instead of the average signal intensity, would overcome this limitation and lead to improvement in SEM image quality. In this paper, we implement an SE count imaging scheme by synchronously outcoupling the detector and beam scan signals from the microscope and using custom code to count detected SEs. We demonstrate a ~30% increase in the image signal-to-noise-ratio due to SE counting compared to conventional imaging. The only external hardware requirement for this imaging scheme is an oscilloscope fast enough to accurately sample the detector signal for SE counting, making the scheme easily implementable on any SEM.


title: A subsemigroup of the rook monoid

abstract: We define a subsemigroup $S_n$ of the rook monoid $R_n$ and investigate its properties. To do this, we represent the nonzero elements of $S_n$ (which are $n\times n$ matrices) via certain triplets of integers, and develop a closed-form expression representing the product of two elements; these tools facilitate straightforward deductions of a great number of properties. For example, we show that $S_n$ consists solely of idempotents and nilpotents, find the numbers of idempotents and nilpotents, and compute nilpotency indexes. Furthermore, we give a necessary and sufficient condition for the $j$th root of a nonzero element to exist in $S_n$, show that existence implies uniqueness, and compute the said root explicitly. We also point to several combinatorial aspects; describe a number of subsemigroups of $S_n$; and, using rook $n$-diagrams, graphically interpret many of our results.


title: First-principles calculation of the electronic and optical properties of Gd$_{2}$FeCrO$_{6}$ double perovskite: Effect of Hubbard U parameter

abstract: We have synthesized Gd$_{2}$FeCrO$_{6}$ (GFCO) double perovskite which is crystallized in a monoclinic structure with P2$_{1}/$n space group. The UV-visible and photoluminescence spectroscopic analyses confirmed its direct bandgap semiconducting nature. Employing experimentally obtained structural parameters in first-principles calculation, we report the spin-polarized electronic band structure, charge carrier effective mass, density of states, electronic charge density distribution and optical absorption property of the GFCO double perovskite. The effects of on-site d-d Coulomb interaction energy (U$_{eff}$) on the electronic and optical properties were investigated by applying a range of Hubbard U$_{eff}$ parameters from 0 to 6 eV to the Fe-3d and Cr-3d orbitals within the generalized gradient approximation (GGA) and GGA+U methods. When we applied U$_{eff}$ in the range of 1 to 5 eV, both the up-spin and down-spin band structures were observed to be direct. The charge carrier effective masses were also found to enhance gradually from U$_{eff} =$ 1 eV to 5 eV, but, these values were anomalous for U$_{eff} =$ 0 and 6 eV. These results suggest that U$_{eff}$ should be limited within the range of 1 to 5 eV to calculate the structural, electronic and optical properties of GFCO double perovskite. We observed that considering U$_{eff} =$ 3 eV, the theoretically calculated optical band gap 1.99 eV matched well with the experimentally obtained value 2.0 eV. The outcomes of our finding imply that the U$_{eff}$ value of 3 eV most accurately localized the Fe-3d and Cr-3d orbitals of GFCO keeping the effect of self-interaction error from the other orbitals almost negligible. Therefore, we may recommend U$_{eff} =$ 3 eV for first-principles calculation of the electronic and optical properties of GFCO double perovskite that might have potential in photocatalytic and related solar energy applications.


title: Off-Policy Correction for Deep Deterministic Policy Gradient Algorithms via Batch Prioritized Experience Replay

abstract: The experience replay mechanism allows agents to use the experiences multiple times. In prior works, the sampling probability of the transitions was adjusted according to their importance. Reassigning sampling probabilities for every transition in the replay buffer after each iteration is highly inefficient. Therefore, experience replay prioritization algorithms recalculate the significance of a transition when the corresponding transition is sampled to gain computational efficiency. However, the importance level of the transitions changes dynamically as the policy and the value function of the agent are updated. In addition, experience replay stores the transitions are generated by the previous policies of the agent that may significantly deviate from the most recent policy of the agent. Higher deviation from the most recent policy of the agent leads to more off-policy updates, which is detrimental for the agent. In this paper, we develop a novel algorithm, Batch Prioritizing Experience Replay via KL Divergence (KLPER), which prioritizes batch of transitions rather than directly prioritizing each transition. Moreover, to reduce the off-policyness of the updates, our algorithm selects one batch among a certain number of batches and forces the agent to learn through the batch that is most likely generated by the most recent policy of the agent. We combine our algorithm with Deep Deterministic Policy Gradient and Twin Delayed Deep Deterministic Policy Gradient and evaluate it on various continuous control tasks. KLPER provides promising improvements for deep deterministic continuous control algorithms in terms of sample efficiency, final performance, and stability of the policy during the training.


title: 3-D PET Image Generation with tumour masks using TGAN

abstract: Training computer-vision related algorithms on medical images for disease diagnosis or image segmentation is difficult due to the lack of training data, labeled samples, and privacy concerns. For this reason, a robust generative method to create synthetic data is highly sought after. However, most three-dimensional image generators require additional image input or are extremely memory intensive. To address these issues we propose adapting video generation techniques for 3-D image generation. Using the temporal GAN (TGAN) architecture, we show we are able to generate realistic head and neck PET images. We also show that by conditioning the generator on tumour masks, we are able to control the geometry and location of the tumour in the generated images. To test the utility of the synthetic images, we train a segmentation model using the synthetic images. Synthetic images conditioned on real tumour masks are automatically segmented, and the corresponding real images are also segmented. We evaluate the segmentations using the Dice score and find the segmentation algorithm performs similarly on both datasets (0.65 synthetic data, 0.70 real data). Various radionomic features are then calculated over the segmented tumour volumes for each data set. A comparison of the real and synthetic feature distributions show that seven of eight feature distributions had statistically insignificant differences (p>0.05). Correlation coefficients were also calculated between all radionomic features and it is shown that all of the strong statistical correlations in the real data set are preserved in the synthetic data set.


title: Probabilistic Deep Learning for Real-Time Large Deformation Simulations

abstract: For many novel applications, such as patient-specific computer-aided surgery, conventional solution techniques of the underlying nonlinear problems are usually computationally too expensive and are lacking information about how certain can we be about their predictions. In the present work, we propose a highly efficient deep-learning surrogate framework that is able to accurately predict the response of bodies undergoing large deformations in real-time. The surrogate model has a convolutional neural network architecture, called U-Net, which is trained with force-displacement data obtained with the finite element method. We propose deterministic and probabilistic versions of the framework. The probabilistic framework utilizes the Variational Bayes Inference approach and is able to capture all the uncertainties present in the data as well as in the deep-learning model. Based on several benchmark examples, we show the predictive capabilities of the framework and discuss its possible limitations


title: From Strings to Data Science: a Practical Framework for Automated String Handling

abstract: Many machine learning libraries require that string features be converted to a numerical representation for the models to work as intended. Categorical string features can represent a wide variety of data (e.g., zip codes, names, marital status), and are notoriously difficult to preprocess automatically. In this paper, we propose a framework to do so based on best practices, domain knowledge, and novel techniques. It automatically identifies different types of string features, processes them accordingly, and encodes them into numerical representations. We also provide an open source Python implementation to automatically preprocess categorical string data in tabular datasets and demonstrate promising results on a wide range of datasets.


title: Towards Very Low-Cost Iterative Prototyping for Fully Printable Dexterous Soft Robotic Hands

abstract: The design and fabrication of soft robot hands is still a time-consuming and difficult process. Advances in rapid prototyping have accelerated the fabrication process significantly while introducing new complexities into the design process. In this work, we present an approach that utilizes novel low-cost fabrication techniques in conjunction with design tools helping soft hand designers to systematically take advantage of multi-material 3D printing to create dexterous soft robotic hands. While very low cost and lightweight, we show that generated designs are highly durable, surprisingly strong, and capable of dexterous grasping.


title: Lower Bounds for the Canonical Height of a Unicritical Polynomial and Capacity

abstract: In a recent breakthrough, Dimitrov solved the Schinzel-Zassenhaus Conjecture. We follow his approach and adapt it to certain dynamical systems arising from polynomials of the form $T^p+c$ where $p$ is a prime number and where the orbit of $0$ is finite. For example, if $p=2$, and $0$ is periodic under $T^2+c$ with $c\in\mathbb{R}\smallsetminus\{-2\}$, we prove a lower bound for the local canonical height of a wandering algebraic integer that is inversely proportional to the field degree. From this we are able to deduce a lower bound for the canonical height of a wandering point that decays like the inverse square of the field degree.


title: General Principles of Hamiltonian Formulations of the Metric Gravity

abstract: Principles of successful Hamiltonian approaches, which were developed to describe free gravitational field(s) in the metric gravity, are formulated and discussed. By using the standard $\Gamma-\Gamma$ Lagrangian ${\cal L}_{\Gamma-\Gamma}$ of the metric GR we properly introduce all momenta of the metric gravitational field and derive the both canonical $H_C$ and total $H_t$ Hamiltonians of the metric GR. We also developed an effective method which is used to determine various Poisson brackets between analytical functions of the basic dynamical variables, i.e., generalized coordinates $g_{\alpha\beta}$ and momenta $\pi^{\mu\nu}$. In general, such variables can be chosen either from the straight $\{ g_{\alpha\beta}, \pi^{\mu\nu} \}$, or dual $\{ g^{\alpha\beta}, \pi_{\mu\nu} \}$ sets of symplectic dynamical variables which always arise (and complete each other) in any Hamiltonian formulation developed for the coupled system of tensor fields. By applying canonical transformation(s) of dynamical variables we reduce the canonical Hamiltonian $H_C$ to its natural form. The natural form of canonical Hamiltonian provides numerous advantages in actual applications to the metric GR, since the general theory of dynamical systems with such Hamiltonians is well developed. Furthermore, many analytical and numerically exact solutions have been found and described in detail for dynamical systems with the Hamiltonians already reduced to their natural forms. In particular, reduction of the canonical Hamiltonian $H_C$ to its natural form allows one to derive the Jacobi equation for the free gravitational field(s), which takes a particularly simple form.


title: Towards Fairness-Aware Federated Learning

abstract: Recent advances in Federated Learning (FL) have brought large-scale collaborative machine learning opportunities for massively distributed clients with performance and data privacy guarantees. However, most current works focus on the interest of the central controller in FL,and overlook the interests of the FL clients. This may result in unfair treatment of clients that discourages them from actively participating in the learning process and damages the sustainability of the FL ecosystem. Therefore, the topic of ensuring fairness in FL is attracting a great deal of research interest. In recent years, diverse Fairness-Aware FL (FAFL) approaches have been proposed in an effort to achieve fairness in FL from different perspectives. However, there is no comprehensive survey that helps readers gain insight into this interdisciplinary field. This paper aims to provide such a survey. By examining the fundamental and simplifying assumptions, as well as the notions of fairness adopted by existing literature in this field, we propose a taxonomy of FAFL approaches covering major steps in FL, including client selection, optimization, contribution evaluation and incentive distribution. In addition, we discuss the main metrics for experimentally evaluating the performance of FAFL approaches, and suggest promising future research directions towards FAFL.


title: Resilient Interval Observer for Simultaneous Estimation of States, Modes and Attack Policies

abstract: This paper considers the problem of designing interval observers for hidden mode switched nonlinear systems with bounded noise signals that are compromised by false data injection and switching attacks. The proposed observer consists of three components: i) a bank of mode-matched observers, which simultaneously estimates the corresponding mode-matched continuous states and discrete states (modes), as well as learns a model of the unknown attack policy, ii) a mode observer that eliminates the incompatible modes based on a residual-based set-membership criterion, and iii) a global fusion observer that combines the outputs of i) and ii). Moreover, in addition to showing the correctness, stability and convergence of the mode-matched estimates, we provide sufficient conditions to guarantee that all false modes will be eliminated after sufficiently large finite time steps, i.e., the system is mode-detectable under the proposed observer.


title: Numerical Smoothing with Hierarchical Adaptive Sparse Grids and Quasi-Monte Carlo Methods for Efficient Option Pricing

abstract: When approximating the expectations of a functional of a solution to a stochastic differential equation, the numerical performance of deterministic quadrature methods, such as sparse grid quadrature and quasi-Monte Carlo (QMC) methods, may critically depend on the regularity of the integrand. To overcome this issue and improve the regularity structure of the problem, we consider cases in which analytic smoothing (bias-free mollification) cannot be performed and introduce a novel numerical smoothing approach by combining a root-finding method with a one-dimensional numerical integration with respect to a single well-chosen variable. We prove that, under appropriate conditions, the resulting function of the remaining variables is highly smooth, potentially affording the improved efficiency of adaptive sparse grid quadrature (ASGQ) and QMC methods, particularly when combined with hierarchical transformations (ie., the Brownian bridge and Richardson extrapolation on the weak error). This approach facilitates the effective treatment of high dimensionality. Our study is motivated by option pricing problems, focusing on dynamics where the discretization of the asset price is necessary. Based on our analysis and numerical experiments, we demonstrate the advantages of combining numerical smoothing with the ASGQ and QMC methods over these methods without smoothing and the Monte Carlo approach. Finally, our approach is generic and can be applied to solve a broad class of problems, particularly approximating distribution functions, computing financial Greeks, and estimating risk quantities.

categories: q-fin.CP cs.CC cs.CE cs.NA math.NA q-fin.PR


title: Subquadratic Overparameterization for Shallow Neural Networks

abstract: Overparameterization refers to the important phenomenon where the width of a neural network is chosen such that learning algorithms can provably attain zero loss in nonconvex training. The existing theory establishes such global convergence using various initialization strategies, training modifications, and width scalings. In particular, the state-of-the-art results require the width to scale quadratically with the number of training data under standard initialization strategies used in practice for best generalization performance. In contrast, the most recent results obtain linear scaling either with requiring initializations that lead to the "lazy-training", or training only a single layer. In this work, we provide an analytical framework that allows us to adopt standard initialization strategies, possibly avoid lazy training, and train all layers simultaneously in basic shallow neural networks while attaining a desirable subquadratic scaling on the network width. We achieve the desiderata via Polyak-Lojasiewicz condition, smoothness, and standard assumptions on data, and use tools from random matrix theory.


title: Game Theory in defence applications: a review

abstract: This paper presents a succinct review of attempts in the literature to use game theory to model decision making scenarios relevant to defence applications. Game theory has been proven as a very effective tool in modelling decision making processes of intelligent agents, entities, and players. It has been used to model scenarios from diverse fields such as economics, evolutionary biology, and computer science. In defence applications, there is often a need to model and predict actions of hostile actors, and players who try to evade or out-smart each other. Modelling how the actions of competitive players shape the decision making of each other is the forte of game theory. In past decades, there have been several studies which applied different branches of game theory to model a range of defence-related scenarios. This paper provides a structured review of such attempts, and classifies existing literature in terms of the kind of warfare modelled, the types of game used, and the players involved. The presented analysis provides a concise summary about the state-of-the-art with regards to the use of game theory in defence applications, and highlights the benefits and limitations of game theory in the considered scenarios.


title: AIT* and EIT*: Asymmetric bidirectional sampling-based path planning

abstract: Optimal path planning is the problem of finding a valid sequence of states between a start and goal that optimizes an objective. Informed path planning algorithms order their search with problem-specific knowledge expressed as heuristics and can be orders of magnitude more efficient than uninformed algorithms. Heuristics are most effective when they are both accurate and computationally inexpensive to evaluate, but these are often conflicting characteristics. This makes the selection of appropriate heuristics difficult for many problems. This paper presents two almost-surely asymptotically optimal sampling-based path planning algorithms to address this challenge, Adaptively Informed Trees (AIT*) and Effort Informed Trees (EIT*). These algorithms use an asymmetric bidirectional search in which both searches continuously inform each other. This allows AIT* and EIT* to improve planning performance by simultaneously calculating and exploiting increasingly accurate, problem-specific heuristics. The benefits of AIT* and EIT* relative to other sampling-based algorithms are demonstrated on twelve problems in abstract, robotic, and biomedical domains optimizing path length and obstacle clearance. The experiments show that AIT* and EIT* outperform other algorithms on problems optimizing obstacle clearance, where a priori cost heuristics are often ineffective, and still perform well on problems minimizing path length, where such heuristics are often effective.


title: Discovering Supply Chain Links with Augmented Intelligence

abstract: One of the key components in analyzing the risk of a company is understanding a company's supply chain. Supply chains are constantly disrupted, whether by tariffs, pandemics, severe weather, etc. In this paper, we tackle the problem of predicting previously unknown suppliers and customers of companies using graph neural networks (GNNs) and show strong performance in finding previously unknown connections by combining the predictions of our model and the domain expertise of supply chain analysts.


title: An Exchange-Based Diagnostic for Static Correlation

abstract: We propose here a DFT-based diagnostic for static correlation %TAEX[TPSS@HF - HF] which effectively measures how different the DFT and HF exchange energies for a given HF density are. This and %TAEcorr[TPSS] are two cost-effective a priori estimates for the adequacy of the importance of static correlation. %TAEX[TPSS@HF - HF] contains nearly the same information as the earlier A diagnostic, but may be more intuitive to understand. Principal component and variable clustering analysis of a large number of static correlation diagnostics reveals much of the variation is explained by just two components, and almost all of it by four; these are blocked by four variable clusters (single excitations; correlation entropy; double excitations; pragmatic energetics).


title: Does GLPT2 Offer Any Actual Benefit Over Conventional HF-MP2 In the Context of Double-Hybrid Density Functionals?

abstract: While the inclusion of the nonlocal correlation in fifth rung "double hybrid" functionals is definitely beneficial, one might rightfully ask whether its evaluation in the basis of Kohn-Sham (KS) orbitals has additional value compared to the use of Hartree-Fock reference orbitals (in a type of multilevel scheme). We have investigated this question for a very large and chemically diverse dataset, GMTKN55. We conclude that KS reference orbitals are undoubtedly beneficial, but the benefit is not as large as one might intuitively expect.


title: Stochastic simulation of residential building occupant-driven energy use in a bottom-up model of the U.S. housing stock

abstract: The residential buildings sector is one of the largest electricity consumers worldwide and contributes disproportionally to peak electricity demand in many regions. Strongly driven by occupant activities at home, household energy consumption is stochastic and heterogeneous in nature. However, most residential building energy models applied by industry use homogeneous, deterministic occupant activity schedules, which work well for predictions of annual energy consumption, but can result in unrealistic hourly or sub-hourly electric load profiles, with exaggerated or muted peaks. This mattered less in the past, but the increasing proportion of variable renewable energy generators in power systems means that representing the heterogeneity and stochasticity of occupant behavior is crucial for reliable energy planning. This is particularly true for systems that include distributed energy resources, such as grid-interactive efficient buildings, solar photovoltaics, and battery storage. This work presents a stochastic occupant behavior simulator that models the energy use behavior of individual household members. It also presents an integration with a building stock model to simulate residential building loads more accurately at community, city, state, and national scales. More specifically, we first employ clustering techniques to identify distinct patterns of occupant behavior. Then, we combine time-inhomogeneous Markov chain simulations with probabilistic sampling of event durations to realistically simulate occupant behaviors. This stochastic simulator is integrated with ResStock, a large-scale residential building stock simulation tool, to demonstrate the capability of stochastic residential building load modeling at scale. The simulation results were validated against both American Time Use Survey data and measured end-use electricity data for accuracy and reliability.


title: The S66 Noncovalent Interaction Benchmark Re-examined: Composite Localized Coupled Cluster Approaches

abstract: The S66 non-covalent interactions are studied through localized coupled-cluster methods and general LNO-CCSD(T)-based composite schemes. Very small RMS deviations (\leq 0.05 kcal/mol) for the low-cost composite approaches from the SILVER reference interaction energies of S66 indicate that we can safely avoid carrying out the largest basis set calculations with veryVeryTight thresholds, and apply instead additivity corrections in smaller basis sets. Interestingly, the counterpoise corrections do not have an appreciable effect on the composite schemes. These findings may prove useful for intermolecular and intramolecular NCIs of larger systems.


title: Cyclic Shift in the Lambek Calculus

abstract: We enrich the Lambek calculus with the cyclic shift operation, which is expected to model the closure operator of formal languages with respect to cyclic shifts. We introduce a Gentzen-style calculus and prove cut elimination. Secondly, we turn to categorial grammars based on this calculus and show that they can generate non-context-free languages; besides, we consider a related calculus where the cyclic shift is a structural rule, and compare recognizing power of these two calculi. Thirdly, we attempt to embed the Lambek calculus with the cyclic shift operation in the hypergraph Lambek calculus. This results in considering a ``bracelet'' operation, which can be defined through the cyclic shift, union, and the reversal operation.


title: Body Size and Depth Disambiguation in Multi-Person Reconstruction from Single Images

abstract: We address the problem of multi-person 3D body pose and shape estimation from a single image. While this problem can be addressed by applying single-person approaches multiple times for the same scene, recent works have shown the advantages of building upon deep architectures that simultaneously reason about all people in the scene in a holistic manner by enforcing, e.g., depth order constraints or minimizing interpenetration among reconstructed bodies. However, existing approaches are still unable to capture the size variability of people caused by the inherent body scale and depth ambiguity. In this work, we tackle this challenge by devising a novel optimization scheme that learns the appropriate body scale and relative camera pose, by enforcing the feet of all people to remain on the ground floor. A thorough evaluation on MuPoTS-3D and 3DPW datasets demonstrates that our approach is able to robustly estimate the body translation and shape of multiple people while retrieving their spatial arrangement, consistently improving current state-of-the-art, especially in scenes with people of very different heights


title: Conformal testing: binary case with Markov alternatives

abstract: We continue study of conformal testing in binary model situations. In this note we consider Markov alternatives to the null hypothesis of exchangeability. We propose two new classes of conformal test martingales; one class is statistically efficient in our experiments, and the other class partially sacrifices statistical efficiency to gain computational efficiency.


title: Optical dipole orientation of interlayer excitons in MoSe$_{2}$-WSe$_{2}$ heterostacks

abstract: We report on the far-field photoluminescence intensity distribution of interlayer excitons in MoSe$_{2}$-WSe$_{2}$ heterostacks as measured by back focal plane imaging in the temperature range between 1.7 K and 20 K. By comparing the data with an analytical model describing the dipolar emission pattern in a dielectric environment, we are able to obtain the relative contributions of the in- and out-of-plane transition dipole moments associated to the interlayer exciton photon emission. We determine the transition dipole moments for all observed interlayer exciton transitions to be (99 $\pm$ 1)% in-plane for R- and H-type stacking, independent of the excitation power and therefore the density of the exciton ensemble in the experimentally examined range. Finally, we discuss the limitations of the presented measurement technique to observe correlation effects in exciton ensembles.


title: On a Problem of Steinhaus

abstract: Let $N$ be a positive integer. A sequence $X=(x_1,x_2,\ldots,x_N)$ of points in the unit interval $[0,1)$ is piercing if $\{x_1,x_2,\ldots,x_n\}\cap \left[\frac{i}{n},\frac{i+1}{n} \right) \neq\emptyset$ holds for every $n=1,2,\ldots, N$ and every $i=0,1,\ldots,n-1$. In 1958 Steinhaus asked whether piercing sequences can be arbitrarily long. A negative answer was provided by Schinzel, who proved that any such sequence may have at most $74$ elements. This was later improved to the best possible value of $17$ by Warmus, and independently by Berlekamp and Graham. In this paper we study a more general variant of piercing sequences. Let $f(n)\geq n$ be an infinite nondecreasing sequence of positive integers. A sequence $X=(x_1,x_2,\ldots,x_{f(N)})$ is $f$-piercing if $\{x_1,x_2,\ldots,x_{f(n)}\}\cap \left[\frac{i}{n},\frac{i+1}{n} \right) \neq\emptyset$ holds for every $n=1,2,\ldots, N$ and every $i=0,1,\ldots,n-1$. A special case of $f(n)=n+d$, with $d$ a fixed nonnegative integer, was studied by Berlekamp and Graham. They noticed that for each $d\geq 0$, the maximum length of any $(n+d)$-piercing sequence is finite. Expressing this maximum length as $s(d)+d$, they obtained an exponential upper bound on the function $s(d)$, which was later improved to $s(d)=O(d^3)$ by Graham and Levy. Recently, Konyagin proved that $2d\leqslant s(d)< 200d$ holds for all sufficiently big $d$. Using a different technique based on the Farey fractions and stick-breaking games, we prove here that the function $s(d)$ satisfies $\left\lfloor{}c_1d\right\rfloor{}\leqslant s(d)\leqslant c_2d+o(d)$, where $c_1=\frac{\ln 2}{1-\ln 2}\approx2.25$ and $c_2=\frac{1+\ln2}{1-\ln2}\approx5.52$. We also prove that there exists an infinite $f$-piercing sequence with $f(n)= \gamma n+o(n)$ if and only if $\gamma\geq\frac{1}{\ln 2}\approx 1.44$.


title: A dataset for multi-sensor drone detection

abstract: The use of small and remotely controlled unmanned aerial vehicles (UAVs), or drones, has increased in recent years. This goes in parallel with misuse episodes, with an evident threat to the safety of people or facilities. As a result, the detection of UAV has also emerged as a research topic. Most studies on drone detection fail to specify the type of acquisition device, the drone type, the detection range, or the dataset. The lack of proper UAV detection studies employing thermal infrared cameras is also an issue, despite its success with other targets. Besides, we have not found any previous study that addresses the detection task as a function of distance to the target. Sensor fusion is indicated as an open research issue as well, although research in this direction is scarce too. To counteract the mentioned issues and allow fundamental studies with a common public benchmark, we contribute with an annotated multi-sensor database for drone detection that includes infrared and visible videos and audio files. The database includes three different drones, of different sizes and other flying objects that can be mistakenly detected as drones, such as birds, airplanes or helicopters. In addition to using several different sensors, the number of classes is higher than in previous studies. To allow studies as a function of the sensor-to-target distance, the dataset is divided into three categories (Close, Medium, Distant) according to the industry-standard Detect, Recognize and Identify (DRI) requirements, built on the Johnson criteria. Given that the drones must be flown within visual range due to regulations, the largest sensor-to-target distance for a drone is 200 m, and acquisitions are made in daylight. The data has been obtained at three airports in Sweden: Halmstad Airport (IATA code: HAD/ICAO code: ESMT), Gothenburg City Airport (GSE/ESGP) and Malm\"o Airport (MMX/ESMS).


title: The THREEHUNDRED project: the effect of baryon processes at galaxy cluster scale

abstract: The role of baryon models played in hydrodynamic simulations is still unclear. Future surveys that use cluster statistics to precisely constrain cosmology models require a better understanding of that. With the hydro-simulated galaxy clusters from different baryon models (Gadget-MUSIC, Gadget-X and Gizmo-SIMBA) from the THREEHUNDRED project, we can look into more details of this question. We find that the galaxy cluster mass change due to different baryon models is at a few per cent level. However, the mass changes can be positive or negative, which is depending on the baryon models. Such a small mass change leaves a weak influence (slightly larger compared to the mass changes) on both the cumulative halo numbers and the differential halo mass function (HMF) above the mass completeness. Agreed to the halo mass change, the halo mass (or HMF) can be increased or decreased with respect to the dark-matter-only (DMO) run depending on the baryon models.


title: Design and Modification of MEMS Based Micro Cantilever

abstract: : It goes without saying that at present MEMS Technology became one of the latest and emerging methods because of its miniaturization and effective cost. Now near the beginning recognition of disease became a major challenge in front of Researchers as well as Doctors. Thus, in this paper our main focus is to review about all these problems and give some solution. In order to do so here with proposed a micro cantilever-based sensor using MEMS technology in COMSOL Multiphysics environment using FEM. Analysis of Micro Cantilever sensor and its mechanical behavior as well as changing properties by changing in few parameters it has been observed that sensitivity and its deflection can be utilize to detect the different disease molecules and helpful for early detection. In this way it can be a helpful tool in the field of medical science.


title: Counting Tripods on the Torus

abstract: Motivated by the problem of counting finite BPS webs, we count certain immersed metric graphs, tripods, on the flat torus. Classical Euclidean geometry turns this into a lattice point counting problem in $\mathbb C^2$, and we give an asymptotic counting result using lattice point counting techniques.


title: Equivariant Deep Dynamical Model for Motion Prediction

abstract: Learning representations through deep generative modeling is a powerful approach for dynamical modeling to discover the most simplified and compressed underlying description of the data, to then use it for other tasks such as prediction. Most learning tasks have intrinsic symmetries, i.e., the input transformations leave the output unchanged, or the output undergoes a similar transformation. The learning process is, however, usually uninformed of these symmetries. Therefore, the learned representations for individually transformed inputs may not be meaningfully related. In this paper, we propose an SO(3) equivariant deep dynamical model (EqDDM) for motion prediction that learns a structured representation of the input space in the sense that the embedding varies with symmetry transformations. EqDDM is equipped with equivariant networks to parameterize the state-space emission and transition models. We demonstrate the superior predictive performance of the proposed model on various motion data.


title: The sup-norm problem beyond the newform

abstract: In this note we take up the classical sup-norm problem for automorphic forms and view it from a new angle. Given a twist minimal automorphic representation $\pi$ we consider a special small $GL_2(\mathbb{Z}_p)$-type $V$ in $\pi$ and proof global sup-norm bounds for an average over an orthonormal basis of $V$. We achieve a non-trivial saving when the dimension of $V$ grows.


title: Q-factor optimization for high-beta 650 MHz cavities for PIP-II

abstract: High Q-factors are of utmost importance to minimize losses of superconducting radio-frequency cavities deployed in continuous wave particle accelerators. This study elucidates the surface treatment that can maximize the Q-factors in high-beta 650 MHz elliptical niobium cavities. State-of-the-art surface treatments are applied in many single-cell cavities, and surface resistance studies are performed to understand the microwave dissipation at this unexplored frequency. The nitrogen doping treatment is confirmed to be necessary to maximize the Q-factors at medium RF fields. We applied this treatment in five-cell high-beta 650 MHz cavities and demonstrated that extremely high Q-factors were obtained at medium RF fields with this treatment. We also demonstrated that adding a cold electropolishing step after N-doping is crucial to push the quench field of multicell cavities to higher gradients.


title: The relaxed maximum principle for G-stochastic control systems with controlled jumps

abstract: This paper is concerned with optimal control of systems driven by G-stochastic differential equations (G-SDEs), with controlled jump term. We study the relaxed problem, in which admissible controls are measurevalued processes and the state variable is governed by an G-SDE driven by a counting measure valued process called relaxed Poisson measure such that the compensator is a product measure. Under some conditions on the coefficients, using the G-chattering lemma, we show that the strict and the relaxed control problems have the same value function. Additionally, we derive a maximum principle for this relaxed problem.


title: Testing solar surface flux transport models in the first days after active region emergence

abstract: Active regions (ARs) play an important role in the magnetic dynamics of the Sun. Solar surface flux transport models (SFTMs) are used to describe the evolution of the radial magnetic field at the solar surface. There is however uncertainty about using these models in the early stage of AR evolution. We aim to test the applicability of SFTMs in the first days after the emergence of ARs by comparing them with observations. The models we employ range from passive evolution to models where the inflows around ARs are included. We simulate the evolution of the surface magnetic field of 17 emerging active regions using a local surface flux transport simulation. We selected regions that do not form fully-fledged sunspots that exhibit moat flows. The simulation includes diffusion and advection. We use observed flows from local correlation tracking of solar granulation, as well as parametrizations of the inflows around ARs. To evaluate our simulations, we measure the cross correlation between the observed and the simulated magnetic field, as well as the total unsigned flux of the ARs, over time. We also test the validity of our simulations by varying the starting time relative to the emergence of flux. We find that the simulations using observed surface flows can reproduce the evolution of the observed magnetic flux. The effect of buffeting of the field by supergranulation can be described as a diffusion process. The SFTM is applicable after 90% of the peak total unsigned flux of the AR has emerged. Diffusivities in the range between $D=250$ to $720$ km$^2$/s are consistent with the evolution of the AR flux in the first five days after this time. We find that the converging flows around emerging ARs are not important for the evolution of the total flux of the AR in these first five days; their effect of increasing flux cancellation is balanced by the decrease of flux transport away from the AR.


title: Feature engineering for microstructure-property mapping in organic photovoltaics

abstract: Linking the highly complex morphology of organic photovoltaic (OPV) thin films to their charge transport properties is critical for achieving high performance material system that serves as a cost-efficient approach for energy harvesting. In this paper, a novel unsupervised feature engineering framework is developed and used to establish reduced-order structure-property linkages for OPV films. This framework takes advantage of digital image processing algorithms to identify the salient material features of OPVs undergoing the charge transport phenomenon. These material states are then used to obtain a low-dimensional representation of OPV microstructures via 2-point spatial correlations and principal component analysis. It is found that in addition to the material PC scores, two distance-based metrics are required to complete the microstructure quantification of complex OPVs. A localized version of the Gaussian process (laGP) is then used to link the material PC scores as well as the two distance-based metrics to the short-circuit current of OPVs. It is demonstrated that the unsupervised feature engineering framework presented in this paper in conjunction with the laGP can lead to high-fidelity and accurate data-driven structure-property linkages for OPV films.


title: A high performance fingerprint liveness detection method based on quality related features

abstract: A new software-based liveness detection approach using a novel fingerprint parameterization based on quality related features is proposed. The system is tested on a highly challenging database comprising over 10,500 real and fake images acquired with five sensors of different technologies and covering a wide range of direct attack scenarios in terms of materials and procedures followed to generate the gummy fingers. The proposed solution proves to be robust to the multi-scenario dataset, and presents an overall rate of 90% correctly classified samples. Furthermore, the liveness detection method presented has the added advantage over previously studied techniques of needing just one image from a finger to decide whether it is real or fake. This last characteristic provides the method with very valuable features as it makes it less intrusive, more user friendly, faster and reduces its implementation costs.


title: Trajectory Splitting: A Distributed Formulation for Collision Avoiding Trajectory Optimization

abstract: Efficient trajectory optimization is essential for avoiding collisions in unstructured environments, but it remains challenging to have both speed and quality in the solutions. One reason is that second-order optimality requires calculating Hessian matrices that can grow with $O(N^2)$ with the number of waypoints. Decreasing the waypoints can quadratically decrease computation time. Unfortunately, fewer waypoints result in lower quality trajectories that may not avoid the collision. To have both, dense waypoints and reduced computation time, we took inspiration from recent studies on consensus optimization and propose a distributed formulation of collocated trajectory optimization. It breaks a long trajectory into several segments, where each segment becomes a subproblem of a few waypoints. These subproblems are solved classically, but in parallel, and the solutions are fused into a single trajectory with a consensus constraint that enforces continuity of the segments through a consensus update. With this scheme, the quadratic complexity is distributed to each segment and enables solving for higher-quality trajectories with denser waypoints. Furthermore, the proposed formulation is amenable to using any existing trajectory optimizer for solving the subproblems. We compare the performance of our implementation of trajectory splitting against leading motion planning algorithms and demonstrate the improved computational efficiency of our method.


title: Room Acoustics (lecture notes)

abstract: Room acoustics is commonly regarded and studied as an applied subdiscipline of engineering acoustics. It is likely for this reason that many textbooks and lecture notes on the topic provide a too brief, unsystematic, and incomplete physical basics of the theory, while focusing on the practical aspects of calculation, measurement, assessment, and optimization of sound fields in rooms, such as lecture halls, control rooms, concert halls, and opera houses. While such approach may be satisfactory for a broad community of acoustic engineers, it leaves many important physical concepts and mechanisms obscure and their understanding superficial and unsolid, especially among inexperienced practitioners and students. The main purpose of this text is to provide a brief yet self-contained introduction to the physics of room acoustics or, more generally, acoustics of closed spaces, starting with the governing equations of fluid dynamics. While covering all essential topics and concepts in the field, such as modal analysis, geometrical and statistical theory, room impulse response, subjective criteria and descriptors of sound fields in rooms, acoustic design and simulations, and acoustic elements (reflectors, absorbers, and diffusers), it does so in a systematic and, arguably, didactically more appropriate way. The rigorous derivations of many important theoretical results rely on well-established methods of modern mathematical physics, but require only basic mathematical skills of the reader, since all mathematical tools are introduced and explained in sufficient detail. On the other hand, the thorough derivations expose the underlying assumptions and limitations of the obtained results, the proper understanding of which is crucial for the correct use of the results in practice.


title: A $\gamma$-rigid solution of the Bohr Hamiltonian with deformation-dependent mass term for Kratzer potential and $\gamma = 30^\circ$

abstract: In this work, the Davydov-Chaban Hamiltonian, describing the collective motion of $\gamma$-rigid atomic nuclei, is amended by allowing the mass parameter to depend on the nuclear deformation. Further, Z(4)-DDM (Deformation-Dependent Mass) model is proposed by considering the Kratzer potential for the $\beta$ variable, and solving the problem by techniques of asymptotic iteration method (AIM). The results of the calculated spectra and $B(E2)$ transition rates for series of $^{192-196}$Pt isotopes are compared with the corresponding experimental data as well as with other theoretical models. Exact analytical expressions are derived for spectra and normalized wave functions of the Kratzer potential. The obtained results show an overall good agreement with the experimental data and an important improvement in respect to other models


title: The Young Stellar Population, Distance, and Cloud-Cloud Collision Induced Star Formation Scenario of the Trifid Nebula

abstract: The Trifid Nebula is a young, nearby star-forming region where star formation is proposed to have been triggered by cloud-cloud collision (CCC), based on observations of molecular clouds. It offers a unique opportunity to test whether the CCC hypothesis is supported by the spatial distribution and star formation chronology of young stars. We present the first study of the optically visible pre-main sequence (PMS) population of the region using riH$\alpha$ imaging and Gaia astrometry. Combined with an analysis of young stellar objects (YSOs) using infrared imaging, we capture the spatial distribution and star formation chronology of the young stellar population. From the analysis, 15 Flat/Class I YSOs, 46 Class II YSOs, and 41 accreting PMS stars are identified (diskless/non-accreting sources are not included in the analysis). The distance based on Gaia parallaxes is $\sim$1250 pc, significantly closer than previously reported. The Class II YSOs and PMS stars ($\sim$1.5 Myr old) are spread toward the edge of the molecular clouds. They are slightly younger than the estimated crossing time of $\sim$2.7Myr and closer to the estimated dynamical age $\sim$0.85 Myr. Younger Class I YSOs are more concentrated spatially. There exists a cavity devoid of young stars where the two clouds overlap. This evidence suggests that the current generation of stars formed after the collision of two clouds $\sim$1 Myr ago, and this result can be corroborated using future spectroscopic studies.


title: The hydrostatic mass bias in The Three Hundred clusters

abstract: Hydrostatic equilibrium (HE) is often used in observations to estimate galaxy clusters masses. We use a set of almost 300 simulated clusters from The Three Hundred Project, to estimate the cluster HE mass and the bias deriving from it. We study the dependence of the bias on several dynamical state indicators across a redshift range from 0.07 to 1.3, finding no dependence between them. Moreover, we focus our attention on the evolution of the HE bias during the merger phase, where the bias even reaches negative values due to an overestimation of the mass with HE.


title: Adaptive Massively Parallel Constant-round Tree Contraction

abstract: Miller and Reif's FOCS'85 classic and fundamental tree contraction algorithm is a broadly applicable technique for the parallel solution of a large number of tree problems. Additionally it is also used as an algorithmic design technique for a large number of parallel graph algorithms. In all previously explored models of computation, however, tree contractions have only been achieved in $\Omega(\log n)$ rounds of parallel run time. In this work, we not only introduce a generalized tree contraction method but also show it can be computed highly efficiently in $O(1/\epsilon^3)$ rounds in the Adaptive Massively Parallel Computing (AMPC) setting, where each machine has $O(n^\epsilon)$ local memory for some $0 < \epsilon < 1$. AMPC is a practical extension of Massively Parallel Computing (MPC) which utilizes distributed hash tables. In general, MPC is an abstract model for MapReduce, Hadoop, Spark, and Flume which are currently widely used across industry and has been studied extensively in the theory community in recent years. Last but not least, we show that our results extend to multiple problems on trees, including but not limited to maximum and maximal matching, maximum and maximal independent set, tree isomorphism testing, and more.