title: Chiral anomaly induces superconducting baryon crystal

abstract: It was previously shown within chiral perturbation theory that the ground state of QCD in a sufficiently large magnetic field and at nonvanishing, but not too large, baryon chemical potential is a so-called chiral soliton lattice. The crucial ingredient of this observation was the chiral anomaly in the form of a Wess-Zumino-Witten term, which couples the baryon chemical potential to the magnetic field and the gradient of the neutral pion field. It was also shown that the chiral soliton lattice becomes unstable towards charged pion condensation at larger magnetic fields. We point out that this instability bears a striking resemblance to the second critical magnetic field of a type-II superconductor, however with the superconducting phase appearing upon increasing the magnetic field. The resulting phase has a periodically varying charged pion condensate that coexists with a neutral pion supercurrent. We construct this phase analytically in the chiral limit and show that it is energetically preferred. Just like an ordinary type-II superconductor, it exhibits a hexagonal array of magnetic flux tubes, and, due to the chiral anomaly, a spatially oscillating baryon number of the same crystalline structure.


title: Constellation Shared Multiple Access -- A NOMA scheme for increased user capacity in 5G MMTC

abstract: While the legacy cyclic prefix orthogonal frequency division multiple access is retained as the preferred multiple access scheme for 5G enhanced mobile broadband the research is now focussed on the multiple access schemes for massive machine type communication (mMTC) and ultra-reliable low latency communication .Though orthogonal multiple access schemes provide simple reception, they limit number of simultaneous user equipment as against the primary requirement of mMTC. On the other hand, the various non-orthogonal multiple access schemes which have been proposed so far as the likely solution, need complex successive interference cancellation receivers. So a simplified scheme named constellation shared multiple access is proposed here which substantially increases the number of simultaneous users to be served within a single resource block (RB) in LTE or 5G New Radio, thus aiding the massive connectivity requirement of mMTC. This is achieved by differentiating among the users in constellation domain. Moreover, the simple architecture compatible with 5G eMBB makes it a strong contender multiple access contender for 5G mMTC.


title: On Some Properties of the Beta Inverse Rayleigh Distribution

abstract: We study with some details a lifetime model of the class of beta generalized models, called the beta inverse Rayleigh distribution, which is a special case of the Beta Fr\'echet distribution. We provide a better foundation for some properties including quantile function, moments, mean deviations, Bonferroni and Lorenz curves, R\'enyi and Shannon entropies and order statistics. We fit the proposed model using maximum likelihood estimation to a real data set to illustrate its flexibility and potentiality.


title: Formalizing Human Ingenuity: A Quantitative Framework for Copyright Law's Substantial Similarity

abstract: A central notion in U.S. copyright law is judging the substantial similarity between an original and an (allegedly) derived work. Capturing this notion has proven elusive, and the many approaches offered by case law and legal scholarship are often ill-defined, contradictory, or internally-inconsistent. This work suggests that key parts of the substantial-similarity puzzle are amendable to modeling inspired by theoretical computer science. Our proposed framework quantitatively evaluates how much "novelty" is needed to produce the derived work with access to the original work, versus reproducing it without access to the copyrighted elements of the original work. "Novelty" is captured by a computational notion of description length, in the spirit of Kolmogorov-Levin complexity, which is robust to mechanical transformations and availability of contextual information. This results in an actionable framework that could be used by courts as an aid for deciding substantial similarity. We evaluate it on several pivotal cases in copyright law and observe that the results are consistent with the rulings, and are philosophically aligned with the abstraction-filtration-comparison test of Altai.


title: Bistability in dissipatively coupled cavity magnonics

abstract: Dissipative coupling of resonators arising from their cooperative dampings to a common reservoir induces intriguingly new physics such as energy level attraction. In this study, we report the nonlinear properties in a dissipatively coupled cavity magnonic system. A magnetic material YIG (yttrium iron garnet) is placed at the magnetic field node of a Fabry-Perot-like microwave cavity such that the magnons and cavity photons are dissipatively coupled. Under high power excitation, a nonlinear effect is observed in the transmission spectra, showing bistable behaviors. The observed bistabilities are manifested as clockwise, counterclockwise, and butterfly-like hysteresis loops with different frequency detuning. The experimental results are well explained as a Duffing oscillator dissipatively coupled with a harmonic one and the required trigger condition for bistability could be determined quantitatively by the coupled oscillator model. Our results demonstrate that the magnon damping has been suppressed by the dissipative interaction, which thereby reduces the threshold for conventional magnon Kerr bistability. This work sheds light upon potential applications in developing low power nonlinearity devices, enhanced anharmonicity sensors and for exploring the non-Hermitian physics of cavity magnonics in the nonlinear regime.


title: What Are Expected Queries in End-to-End Object Detection?

abstract: End-to-end object detection is rapidly progressed after the emergence of DETR. DETRs use a set of sparse queries that replace the dense candidate boxes in most traditional detectors. In comparison, the sparse queries cannot guarantee a high recall as dense priors. However, making queries dense is not trivial in current frameworks. It not only suffers from heavy computational cost but also difficult optimization. As both sparse and dense queries are imperfect, then \emph{what are expected queries in end-to-end object detection}? This paper shows that the expected queries should be Dense Distinct Queries (DDQ). Concretely, we introduce dense priors back to the framework to generate dense queries. A duplicate query removal pre-process is applied to these queries so that they are distinguishable from each other. The dense distinct queries are then iteratively processed to obtain final sparse outputs. We show that DDQ is stronger, more robust, and converges faster. It obtains 44.5 AP on the MS COCO detection dataset with only 12 epochs. DDQ is also robust as it outperforms previous methods on both object detection and instance segmentation tasks on various datasets. DDQ blends advantages from traditional dense priors and recent end-to-end detectors. We hope it can serve as a new baseline and inspires researchers to revisit the complementarity between traditional methods and end-to-end detectors. The source code is publicly available at \url{https://github.com/jshilong/DDQ}.


title: Equivariant Reinforcement Learning for Quadrotor UAV

abstract: This paper presents an equivariant reinforcement learning framework for quadrotor unmanned aerial vehicles. Successful training of reinforcement learning often requires numerous interactions with the environments, which hinders its applicability especially when the available computational resources are limited, or when there is no reliable simulation model. We identified an equivariance property of the quadrotor dynamics such that the dimension of the state required in the training is reduced by one, thereby improving the sampling efficiency of reinforcement learning substantially. This is illustrated by numerical examples with popular reinforcement learning techniques of TD3 and SAC.


title: Grain Boundary Effects in Dealloying Metals: A Multi-Phase Field Study

abstract: A multi-phase field model is employed to study the microstructural evolution of an alloy undergoing liquid dealloying. The model proposed extends upon the original approach of Geslin et al. to consider dealloying in the presence of grain boundaries. The model is implemented using a semi-implicit time stepping algorithm using spectral methods, which enables simulating large 2D and 3D domains over long time-scales while still maintaining a realistic interfacial thickness. The model is exercised to demonstrate a mechanism of coupled grain-boundary migration to maintain equilibrium contact angles with this topologically-complex solid-liquid interface during dealloying. This mechanism locally accelerates dealloying by dissolving the less noble alloy metal from (and rejecting the more noble metal into) the migrating grain boundary, thereby enhancing the diffusion-coupled-growth of the liquid channel into the precursor. The deeper corrosion channel at the migrating grain boundary asymmetrically disrupts the ligament connectivity of the final dealloyed structure, in qualitative agreement with published experimental observations. It is shown that these grain boundary migration-assisted corrosion channels form even for precursors with small amounts of the dissolving alloy species, below the so-called \textit{parting limit}


title: Duality for certain multi-Frobenius nonclassical curves in higher dimensional spaces

abstract: We show how a type of multi-Frobenius nonclassicality of a curve defined over a finite field $\mathbb{F}_q$ of characteristic $p$ reflects on the geometry of its strict dual curve. In particular, in such cases we may describe all the possible intersection multiplicities of its strict dual curve with the linear system of hyperplanes. Among other consequence, using a result by Homma, we are able to construct nonreflexive space curves such that their tangent surfaces are nonreflexive as well, and the image of a generic point by a Frobenius map is in its osculating hyperplane. We also obtain generalizations and improvements of some known results of the literature.


title: Chroma+GAS: An Expedited Solution for the Chemical Equilibrium for Cool Stellar Atmospheres

abstract: We describe a unique approach to economizing the solution to the general chemical equilibrium and equation-of-state problem for late-type stars, including diatomic and polyatomic molecules, that is fast, accurate, and suitable for responsive approximate data modelling applications, and to more intensive modelling approaches in which the calculation of the gas equilibrium must be expedited to allow other aspects to be treated more realistically. The method, based on a novel economization of the Newton's method of solution of the linearized Saha and conservation equations, has been implemented in Python and made available as a stand-alone package, GASPy, and has been integrated into the interactive Python atmosphere and spectrum modelling code ChromaStarPy. As a result, ChromaStarPy now computes the state of the gas, the number density of absorbers, and the surface flux spectrum, with consistent inclusion of 105 chemical species, including 34 diatomic, and 16 polyatomic, neutral molecules, as well as H$^-$ and H$_2^+$, as well as many neutral and ionized atomic species. The economized method converges very rapidly and greatly improves the code's relevance to late-type stellar and brown dwarf spectrum modelling. We provide a brief overview of the GAS methodology, and present some illustrative results for the chemical equilibrium and spectrum for an M-type bright giant and dwarf, and a comparison to results of the PHOENIX/PPRESS package. All codes are available from the OpenStars www site: www.ap.smu.ca/OpenStars.


title: Impact of Frequency Support by Wind Turbines on Small-Signal Stability of Power Systems

abstract: Rising wind energy integration, accompanied by a decreasing level of system inertia, requires additional sources of ancillary services. Wind turbines based on doubly fed induction generators (DFIG) can provide inertial and primary frequency support, when equipped with specific controls. This paper investigates the effect of frequency support provision by DFIGs on the small-signal stability of power systems. To this end, a modified version of the Kundur two-area test system is employed to analyze different scenarios. Wind energy generation is either added to the existing system or displaces part of the synchronous generation. Simulations show that primary frequency support tends to improve the damping of electromechanical oscillations and deteriorate it for converter control-based ones. On the other hand, inertial response may be either beneficial, detrimental or negligible to damping, depending on the tuning of control parameters.


title: Pulsed laser ablation in liquid of sp-carbon chains: status and recent advances

abstract: This review provides a discussion of the current state of research on sp-carbon chains synthesized by pulsed laser ablation in liquid. In recent years, pulsed laser ablation in liquid (PLAL) has been widely employed for polyynes synthesis thanks to its flexibility with varying laser parameters, solvents, and targets. This allows the control of sp-carbon chains properties as yield, length, termination and stability. Although many reviews related to PLAL have been published, a comprehensive work reporting the current status and advances related to the synthesis of sp-carbon chains by PLAL is still missing. Here we first review the principle of PLAL and the mechanisms of formation of sp-carbon chains. Then we discuss the role of laser fluence (i.e. energy density), solvent, and target for sp-carbon chains synthesis. Lastly, we report the progress related to the prolonged stability of sp-carbon chains by PLAL encapsulated in polymeric matrices. This review will be a helpful guide for researchers interested in synthesizing sp-carbon chains by PLAL.


title: Design and evaluation of a cognitive approach for disseminating semantic knowledge and content in opportunistic networks

abstract: In cyber-physical convergence scenarios information flows seamlessly between the physical and the cyber worlds. Here, users' mobile devices represent a natural bridge through which users process acquired information and perform actions. The sheer amount of data available in this context calls for novel, autonomous and lightweight data-filtering solutions, where only relevant information is finally presented to users. Moreover, in many real-world scenarios data is not categorised in predefined topics, but it is generally accompanied by semantic descriptions possibly describing users' interests. In these complex conditions, user devices should autonomously become aware not only of the existence of data in the network, but also of their semantic descriptions and correlations between them. To tackle these issues, we present a set of algorithms for knowledge and data dissemination in opportunistic networks, based on simple and very effective models (called cognitive heuristics) coming from cognitive sciences. We show how to exploit them to disseminate both semantic data and the corresponding data items. We provide a thorough performance analysis, under various different conditions comparing our results against non-cognitive solutions. Simulation results demonstrate the superior performance of our solution towards a more effective semantic knowledge acquisition and representation, and a more tailored content acquisition.


title: Fuzzy granular approximation classifier

abstract: In this article, a new Fuzzy Granular Approximation Classifier (FGAC) is introduced. The classifier is based on the previously introduced concept of the granular approximation and its multi-class classification case. The classifier is instance-based and its biggest advantage is its local transparency i.e., the ability to explain every individual prediction it makes. We first develop the FGAC for the binary classification case and the multi-class classification case and we discuss its variation that includes the Ordered Weighted Average (OWA) operators. Those variations of the FGAC are then empirically compared with other locally transparent ML methods. At the end, we discuss the transparency of the FGAC and its advantage over other locally transparent methods. We conclude that while the FGAC has similar predictive performance to other locally transparent ML models, its transparency can be superior in certain cases.


title: Genuine deformations of Euclidean hypersurfaces in higher codimensions I

abstract: Sbrana and Cartan gave local classifications for the set of Euclidean hypersurfaces $M^n\subseteq\mathbb{R}^{n+1}$ which admit another genuine isometric immersions in $\mathbb{R}^{n+1}$ for $n\geq 3$. The main goal of this paper is to extend their classification to higher codimensions. Our main result is a complete description of the moduli space of genuine deformations of generic hypersurfaces of rank $(p+1)$ in $\mathbb{R}^{n+p}$ for $p\leq n-2$. As a consequence, we obtain an analogous classification to the ones given by Sbrana and Cartan providing all local isometric immersions in $\mathbb{R}^{n+2}$ of a generic hypersurface $M^n\subseteq\mathbb{R}^{n+1}$ for $n\geq 4$. We also show how the techniques developed here can be used to study conformally flat Euclidean submanifolds.


title: Inf-sup stabilized Scott--Vogelius pairs on general simplicial grids by Raviart--Thomas enrichment

abstract: This paper considers the discretization of the Stokes equations with Scott--Vogelius pairs of finite element spaces on arbitrary shape-regular simplicial grids. A novel way of stabilizing these pairs with respect to the discrete inf-sup condition is proposed and analyzed. The key idea consists in enriching the continuous polynomials of order $k$ of the Scott--Vogelius velocity space with appropriately chosen and explicitly given Raviart--Thomas bubbles. This approach is inspired by [Li/Rui, IMA J. Numer. Anal, 2021], where the case $k=1$ was studied. The proposed method is pressure-robust, with optimally converging $\boldsymbol{H}^1$-conforming velocity and a small $\boldsymbol{H}(\mathrm{div})$-conforming correction rendering the full velocity divergence-free. For $k\ge d$, with $d$ being the dimension, the method is parameter-free. Furthermore, it is shown that the additional degrees of freedom for the Raviart--Thomas enrichment and also all non-constant pressure degrees of freedom can be condensated, effectively leading to a pressure-robust, inf-sup stable, optimally convergent $\boldsymbol{P}_k \times P_0$ scheme. Aspects of the implementation are discussed and numerical studies confirm the analytic results.


title: A multi-fidelity approach coupling parameter space reduction and non-intrusive POD with application to structural optimization of passenger ship hulls

abstract: Nowadays, the shipbuilding industry is facing a radical change towards solutions with a smaller environmental impact. This can be achieved with low emissions engines, optimized shape designs with lower wave resistance and noise generation, and by reducing the metal raw materials used during the manufacturing. This work focuses on the last aspect by presenting a complete structural optimization pipeline for modern passenger ship hulls which exploits advanced model order reduction techniques to reduce the dimensionality of both input parameters and outputs of interest. We introduce a novel approach which incorporates parameter space reduction through active subspaces into the proper orthogonal decomposition with interpolation method. This is done in a multi-fidelity setting. We test the whole framework on a simplified model of a midship section and on the full model of a passenger ship, controlled by 20 and 16 parameters, respectively. We present a comprehensive error analysis and show the capabilities and usefulness of the methods especially during the preliminary design phase, finding new unconsidered designs while handling high dimensional parameterizations.


title: Real-Time Portrait Stylization on the Edge

abstract: In this work we demonstrate real-time portrait stylization, specifically, translating self-portrait into cartoon or anime style on mobile devices. We propose a latency-driven differentiable architecture search method, maintaining realistic generative quality. With our framework, we obtain $10\times$ computation reduction on the generative model and achieve real-time video stylization on off-the-shelf smartphone using mobile GPUs.


title: Simultaneous Contact Location and Object Pose Estimation Using Proprioception and Tactile Feedback

abstract: Joint estimation of grasped object pose and extrinsic contacts is central to robust and dexterous manipulation. In this paper, we propose a novel state-estimation algorithm that jointly estimates contact location and object pose in 3D using exclusively proprioception and tactile feedback. Our approach leverages two complementary particle filters: one to estimate contact location (CPFGrasp) and another to estimate object poses (SCOPE). We implement and evaluate our approach on real-world single-arm and dual-arm robotic systems. We demonstrate that by bringing two objects into contact, the robots can infer contact location and object poses simultaneously. Our proposed method can be applied to a number of downstream tasks that require accurate pose estimates, such as tool use and assembly. Code and data can be found at https://github.com/MMintLab/scope.


title: Stochastic gradient descent introduces an effective landscape-dependent regularization favoring flat solutions

abstract: Generalization is one of the most important problems in deep learning (DL). In the overparameterized regime in neural networks, there exist many low-loss solutions that fit the training data equally well. The key question is which solution is more generalizable. Empirical studies showed a strong correlation between flatness of the loss landscape at a solution and its generalizability, and stochastic gradient descent (SGD) is crucial in finding the flat solutions. To understand how SGD drives the learning system to flat solutions, we construct a simple model whose loss landscape has a continuous set of degenerate (or near degenerate) minima. By solving the Fokker-Planck equation of the underlying stochastic learning dynamics, we show that due to its strong anisotropy the SGD noise introduces an additional effective loss term that decreases with flatness and has an overall strength that increases with the learning rate and batch-to-batch variation. We find that the additional landscape-dependent SGD-loss breaks the degeneracy and serves as an effective regularization for finding flat solutions. Furthermore, a stronger SGD noise shortens the convergence time to the flat solutions. However, we identify an upper bound for the SGD noise beyond which the system fails to converge. Our results not only elucidate the role of SGD for generalization they may also have important implications for hyperparameter selection for learning efficiently without divergence.


title: A Magnetic Flux Rope Configuration Derived by Optimization of Two-Spacecraft In-situ Measurements

abstract: Increasingly one interplanetary coronal mass ejection (ICME) structure can propagate across more than one spacecraft in the solar wind. This usually happens when two or more spacecraft are nearly radially aligned with a relatively small longitudinal separation angle from one another. This provides multi-point measurements of the same structure and enables better characterization and validation of modeling results of the structures embedded in these ICMEs. We report such an event during October 13-14, 2019 when the Solar TErrestrial RElations Observatory Ahead (STA) spacecraft and the Parker Solar Probe (PSP) crossed one ICME structure at two different locations with nominal separations in both heliocentric distances and the longitudinal angles. We first perform an optimal fitting to the STA in-situ measurements, based on an analytic quasi-three dimensional (3D) model, yielding a minimum reduced $\chi^2=0.468$. Then we further apply the optimization approach by combining the magnetic field measurements from both spacecraft along their separate paths across the ICME structure. We find that the output based on the optimization (with the minimum reduced $\chi^2=3.15$) of the combined two-spacecraft dataset yields a more consistent result, given the much improved agreement of the model output with PSP data. The result demonstrates a magnetic flux rope configuration with clear 3D spatial variations.


title: A Family of Maximal Mathieu Subspaces of Matrix Algebras

abstract: Let $F$ be a field. In this note we give a construction for a family of maximal Mathieu subspaces (or Mathieu-Zhao subspaces) of the matrix algebras $M_n(F)$ $(n\ge 2)$. As an application we also give a classification of Mathieu subspaces of $M_2(F)$ under the condition that $F$ is algebraically closed.


title: Single-World Intervention Graphs for Defining, Identifying, and Communicating Estimands in Clinical Trials

abstract: Confusion often arises when attempting to articulate target estimand(s) of a clinical trial in plain language. We aim to rectify this confusion by using a type of causal graph called the Single-World Intervention Graph (SWIG) to provide a visual representation of the estimand that can be effectively communicated to interdisciplinary stakeholders. These graphs not only display estimands, but also illustrate the assumptions under which a causal estimand is identifiable by presenting the graphical relationships between the treatment, intercurrent events, and clinical outcomes. To demonstrate its usefulness in pharmaceutical research, we present examples of SWIGs for various intercurrent event strategies specified in the ICH E9(R1) addendum, as well as an example from a real-world clinical trial for chronic pain. Latex code to generate all the SWIGs shown is this paper is made available. We advocate clinical trialists adopt the use of SWIGs in their estimand discussions during the planning stages of their studies.


abstract: Proceedings of the 2022 Workshop on Resource AWareness of Systems and Society (RAW), colocated with ICT4S 2022 in Plovdiv, Bulgaria on 13th of June 2022.


title: Using Representation Expressiveness and Learnability to Evaluate Self-Supervised Learning Methods

abstract: We address the problem of evaluating the quality of self-supervised learning (SSL) models without access to supervised labels, while being agnostic to the architecture, learning algorithm or data manipulation used during training. We argue that representations can be evaluated through the lens of expressiveness and learnability. We propose to use the Intrinsic Dimension (ID) to assess expressiveness and introduce Cluster Learnability (CL) to assess learnability. CL is measured in terms of the performance of a KNN classifier trained to predict labels obtained by clustering the representations with K-means. We thus combine CL and ID into a single predictor -- CLID. Through a large-scale empirical study with a diverse family of SSL algorithms, we find that CLID better correlates with in-distribution model performance than other competing recent evaluation schemes. We also benchmark CLID on out-of-domain generalization, where CLID serves as a predictor of the transfer performance of SSL models on several visual classification tasks, yielding improvements with respect to the competing baselines.


title: Periodic measures for a class of SPDEs with regime-switching

abstract: We use the variational approach to investigate periodic measures for a class of SPDEs with regime-switching. The hybrid system is driven by degenerate L\'{e}vy noise. We use the Lyapunov function method to study the existence of periodic measures and show the uniqueness of periodic measures by establishing the strong Feller property and irreducibility of the associated time-inhomogeneous semigroup. The main results are applied to stochastic porous media equations with regime-switching.


title: Inscribable order types

abstract: We call an order type inscribable if it is realized by a point configuration where the extreme points are all on a circle. In this paper, we investigate inscribability of order types. We first show that every simple order type with at most 2 interior points is inscribable, and that the number of such order types is $\Theta(\frac{4^n}{n^{3/2}})$. We further construct an infinite family of minimally uninscribable order types. The proof of uninscribability mainly uses M\"obius transformations. We also suggest open problems around inscribability.


title: Which Explanation Should I Choose? A Function Approximation Perspective to Characterizing Post Hoc Explanations

abstract: A critical problem in the field of post hoc explainability is the lack of a common foundational goal among methods. For example, some methods are motivated by function approximation, some by game theoretic notions, and some by obtaining clean visualizations. This fragmentation of goals causes not only an inconsistent conceptual understanding of explanations but also the practical challenge of not knowing which method to use when. In this work, we begin to address these challenges by unifying eight popular post hoc explanation methods (LIME, C-LIME, KernelSHAP, Occlusion, Vanilla Gradients, Gradients x Input, SmoothGrad, and Integrated Gradients). We show that these methods all perform local function approximation of the black-box model, differing only in the neighbourhood and loss function used to perform the approximation. This unification enables us to (1) state a no free lunch theorem for explanation methods, demonstrating that no method can perform optimally across all neighbourhoods, and (2) provide a guiding principle to choose among methods based on faithfulness to the black-box model. We empirically validate these theoretical results using various real-world datasets, model classes, and prediction tasks. By bringing diverse explanation methods into a common framework, this work (1) advances the conceptual understanding of these methods, revealing their shared local function approximation objective, properties, and relation to one another, and (2) guides the use of these methods in practice, providing a principled approach to choose among methods and paving the way for the creation of new ones.


title: Compressive Fourier collocation methods for high-dimensional diffusion equations with periodic boundary conditions

abstract: High-dimensional Partial Differential Equations (PDEs) are a popular mathematical modelling tool, with applications ranging from finance to computational chemistry. However, standard numerical techniques for solving these PDEs are typically affected by the curse of dimensionality. In this work, we tackle this challenge while focusing on stationary diffusion equations defined over a high-dimensional domain with periodic boundary conditions. Inspired by recent progress in sparse function approximation in high dimensions, we propose a new method called compressive Fourier collocation. Combining ideas from compressive sensing and spectral collocation, our method replaces the use of structured collocation grids with Monte Carlo sampling and employs sparse recovery techniques, such as orthogonal matching pursuit and $\ell^1$ minimization, to approximate the Fourier coefficients of the PDE solution. We conduct a rigorous theoretical analysis showing that the approximation error of the proposed method is comparable with the best $s$-term approximation (with respect to the Fourier basis) to the solution. Using the recently introduced framework of random sampling in bounded Riesz systems, our analysis shows that the compressive Fourier collocation method mitigates the curse of dimensionality with respect to the number of collocation points under sufficient conditions on the regularity of the diffusion coefficient. We also present numerical experiments that illustrate the accuracy and stability of the method for the approximation of sparse and compressible solutions.


title: PETRv2: A Unified Framework for 3D Perception from Multi-Camera Images

abstract: In this paper, we propose PETRv2, a unified framework for 3D perception from multi-view images. Based on PETR, PETRv2 explores the effectiveness of temporal modeling, which utilizes the temporal information of previous frames to boost 3D object detection. More specifically, we extend the 3D position embedding (3D PE) in PETR for temporal modeling. The 3D PE achieves the temporal alignment on object position of different frames. A feature-guided position encoder is further introduced to improve the data adaptability of 3D PE. To support for multi-task learning (e.g., BEV segmentation and 3D lane detection), PETRv2 provides a simple yet effective solution by introducing task-specific queries, which are initialized under different spaces. PETRv2 achieves state-of-the-art performance on 3D object detection, BEV segmentation and 3D lane detection. Detailed robustness analysis is also conducted on PETR framework. We hope PETRv2 can serve as a strong baseline for 3D perception. Code is available at \url{https://github.com/megvii-research/PETR}.


title: Multifocus microscopy with optically sectioned axial superresolution

abstract: Multifocus microscopy enables recording of entire volumes in a single camera exposure. In dense samples, multifocus microscopy is severely hampered by background haze. Here, we introduce a scalable multifocus method that incorporates optical sectioning and offers axial superresolution capabilities. In our method, a dithered oblique light-sheet scans the sample volume during a single exposure, while generated fluorescence is linearised onto the camera with a multifocus optical element. A synchronised rolling shutter readout realised optical sectioning. We describe the technique theoretically and verify its optical sectioning and superresolution capabilities. We demonstrate a prototype system with a multifocus beam splitter cascade and record monolayers of endothelial cells at 35 volumes per second. We furthermore image uncleared engineered human heart tissue and visualise the distribution of mitochondria at axial superresolution. Our method manages to capture sub-diffraction sized mitochondria-derived vesicles up to 30 um deep into the tissue.


title: Accurate wavelength tracking by exciton spin mixing

abstract: Wavelength discriminating systems typically consist of heavy benchtop-based instruments, comprising diffractive optics, moving parts, and adjacent detectors. For simple wavelengths measurements, such as lab-on-chip light source calibration or laser wavelength tracking, which do not require polychromatic analysis and cannot handle bulky spectroscopy instruments, light-weight, easy-to-process, and flexible single-pixel devices are attracting increasing attention. Here, we propose a device for wavelength tracking with room-temperature phosphorescence at the heart of its functionality that demonstrates a resolution down to one nanometer and below. It is solution-processed from a single host-guest system comprising organic room-temperature phosphors and colloidal quantum dots. The share of excited triplet states within the photoluminescent layer is dependent on the excitation wavelength and determines the afterglow intensity of the film, which is tracked by a simple photodetector. Finally, an all-organic thin-film wavelength sensor and two applications are demonstrated where our novel measurement concept successfully replaces a full spectrometer.


title: Spectroscopy of TOI-1259B -- an unpolluted white dwarf companion to an inflated warm Saturn

abstract: TOI-1259 consists of a transiting exoplanet orbiting a main sequence star, with a bound outer white dwarf companion. Less than a dozen systems with this architecture are known. We conduct follow-up spectroscopy on the white dwarf TOI-1259B using the Large Binocular Telescope (LBT) to better characterise it. We observe only strong hydrogen lines, making TOI-1259B a DA white dwarf. We see no evidence of heavy element pollution, which would have been evidence of planetary material around the white dwarf. Such pollution is seen in ~ 25 - 50% of white dwarfs, but it is unknown if this rate is higher or lower in TOI-1259-like systems that contain a known planet. Our spectroscopy permits an improved white dwarf age measurement of 4.05 (+1.00 -0.42) Gyrs, which matches gyrochronology of the main sequence star. This is the first of an expanded sample of similar binaries that will allow us to calibrate these dating methods and provide a new perspective on planets in binaries.


title: Mean field approximations via log-concavity

abstract: We propose a new approach to deriving quantitative mean field approximations for any probability measure $P$ on $\mathbb{R}^n$ with density proportional to $e^{f(x)}$, for $f$ strongly concave. We bound the mean field approximation for the log partition function $\log \int e^{f(x)}dx$ in terms of $\sum_{i \neq j}\mathbb{E}_{Q^*}|\partial_{ij}f|^2$, for a semi-explicit probability measure $Q^*$ characterized as the unique mean field optimizer, or equivalently as the minimizer of the relative entropy $H(\cdot\,|\,P)$ over product measures. This notably does not involve metric-entropy or gradient-complexity concepts which are common in prior work on nonlinear large deviations. Three implications are discussed, in the contexts of continuous Gibbs measures on large graphs, high-dimensional Bayesian linear regression, and the construction of decentralized near-optimizers in high-dimensional stochastic control problems. Our arguments are based primarily on functional inequalities and the notion of displacement convexity from optimal transport.


title: Entangled Residual Mappings

abstract: Residual mappings have been shown to perform representation learning in the first layers and iterative feature refinement in higher layers. This interplay, combined with their stabilizing effect on the gradient norms, enables them to train very deep networks. In this paper, we take a step further and introduce entangled residual mappings to generalize the structure of the residual connections and evaluate their role in iterative learning representations. An entangled residual mapping replaces the identity skip connections with specialized entangled mappings such as orthogonal, sparse, and structural correlation matrices that share key attributes (eigenvalues, structure, and Jacobian norm) with identity mappings. We show that while entangled mappings can preserve the iterative refinement of features across various deep models, they influence the representation learning process in convolutional networks differently than attention-based models and recurrent neural networks. In general, we find that for CNNs and Vision Transformers entangled sparse mapping can help generalization while orthogonal mappings hurt performance. For recurrent networks, orthogonal residual mappings form an inductive bias for time-variant sequences, which degrades accuracy on time-invariant tasks.


title: Presentations for Singly-Cusped Bianchi Groups

abstract: We produce a complete list of group presentations for singly-cusped Bianchi groups, $PSL_2 (\mathcal{O}_d)$ where $\mathcal{O}_d$ is the ring of integers for $\mathbb{Q}(\sqrt{d})$ and $d$ is -1, -2, -3, -7, -11, -19, -43, -67, or -163. To do this, we apply a theorem due to Macbeath to a sufficiently large horoball, treating the Bianchi groups as discrete subgroups of isometries for $\mathbf{H}^3$. As far as we know, explicit presentations were not previously known when $d$ is -43, -67, or -163.


title: Deep Learning Architecture Based Approach For 2D-Simulation of Microwave Plasma Interaction

abstract: This paper presents a convolutional neural network (CNN)-based deep learning model, inspired from UNet with series of encoder and decoder units with skip connections, for the simulation of microwave-plasma interaction. The microwave propagation characteristics in complex plasma medium pertaining to transmission, absorption and reflection primarily depends on the ratio of electromagnetic (EM) wave frequency and electron plasma frequency, and the plasma density profile. The scattering of a plane EM wave with fixed frequency (1 GHz) and amplitude incident on a plasma medium with different gaussian density profiles (in the range of $1\times 10^{17}-1\times 10^{22}{m^{-3}}$) have been considered. The training data associated with microwave-plasma interaction has been generated using 2D-FDTD (Finite Difference Time Domain) based simulations. The trained deep learning model is then used to reproduce the scattered electric field values for the 1GHz incident microwave on different plasma profiles with error margin of less than 2\%. We propose a complete deep learning (DL) based pipeline to train, validate and evaluate the model. We compare the results of the network, using various metrics like SSIM index, average percent error and mean square error, with the physical data obtained from well-established FDTD based EM solvers. To the best of our knowledge, this is the first effort towards exploring a DL based approach for the simulation of complex microwave plasma interaction. The deep learning technique proposed in this work is significantly fast as compared to the existing computational techniques, and can be used as a new, prospective and alternative computational approach for investigating microwave-plasma interaction in a real time scenario.


title: G-constant-roll inflation

abstract: The constant-roll inflation in the context of Galilean inflation or G-inflation is analyzed. By considering a coupling function $G(\varphi,\chi)\propto g(\varphi)\,\chi^n$ for the model of G-inflation, we find different expressions for a suitable development of a model inflationary in the context of constant roll inflation. In order to obtain analytical solutions, we analyze two specific cases; $g(\varphi)=\varphi$ and $n=0$, i.e., $G(\varphi,\chi)\propto\,\varphi$ and when $g(\varphi)=$ constant and $n=1$ with which $G(\varphi,\chi)\propto\,\chi$. In both cases, we find different expressions for the reconstruction of the background variables and the cosmological perturbations in the framework the constant roll inflation. We utilize recent astronomical observations to constrain the different parameters appearing in the stage of constant roll condition as well in the coupling function $G(\varphi,\chi)$.


title: Investigation of G\"{o}rtler vortices in high-speed boundary layers via an efficient numerical solution to the non-linear boundary region equations

abstract: Streamwise vortices and the associated streaks evolve in boundary layers over flat or concave surfaces due to disturbances initiated upstream or triggered by the wall surface. Following the transient growth phase, the fully-developed vortex structures become susceptible to inviscid secondary instabilities resulting in early transition to turbulence via `bursting' processes. In high-speed boundary layers, more complications arise due to compressibility and thermal effects, which become more significant for higher Mach numbers. In this paper, we study G\"{o}rtler vortices developing in high-speed boundary layers using the boundary region equations (BRE) formalism, which we solve using an efficient numerical algorithm. Streaks are excited using a small transpiration velocity at the wall. Our BRE-based algorithm is found to be superior to direct numerical simulation (DNS) and ad-hoc nonlinear parabolized stability equation (PSE) models. BRE solutions are less computationally costly than a full DNS and have a more rigorous theoretical foundation than PSE-based models. For example, the full development of a G\"{o}rtler vortex system in high-speed boundary layers can be predicted in a matter of minutes using a single processor via the BRE approach. This substantial reduction in calculation time is one of the major achievements of this work. We show, among other things, that it allows investigation into feedback control in reasonable total computational times. We investigate the development of the G\"{o}rtler vortex system via the BRE solution with feedback control parametrically at various freestream Mach numbers $M_\infty$ and spanwise separations $\lambda$ of the inflow disturbances.


title: Exponential Separations in Symmetric Neural Networks

abstract: In this work we demonstrate a novel separation between symmetric neural network architectures. Specifically, we consider the Relational Network~\parencite{santoro2017simple} architecture as a natural generalization of the DeepSets~\parencite{zaheer2017deep} architecture, and study their representational gap. Under the restriction to analytic activation functions, we construct a symmetric function acting on sets of size $N$ with elements in dimension $D$, which can be efficiently approximated by the former architecture, but provably requires width exponential in $N$ and $D$ for the latter.


title: Self assembly of upconversion nanoparticles and its luminescence

abstract: We report on the in situ formation of 2D and 3D self assembled superlattices of upconverting nanoparticles. These as synthesized self assembled nanophosphors can emit sharp and intence luminescence and fluorescence using tunable wavelength femtosecond laser interaction and NIR 980 nm CW laser source, respectively. The relative up conversion luminescence intensities and the number of absorbed photons per photon emitted under the fs laser excitation power corresponds to each of the luminescence have been evaluated. The internal and external quantum yield of the self-assembled nanoparticles have also been expounded with different laser irradiations. All these results directed that a huge possible potential applications of these upconverting self-assembly materials that can make them significant in the electronic industry, such as for device making and for biomedical applications.


title: MMTM: Multi-Tasking Multi-Decoder Transformer for Math Word Problems

abstract: Recently, quite a few novel neural architectures were derived to solve math word problems by predicting expression trees. These architectures varied from seq2seq models, including encoders leveraging graph relationships combined with tree decoders. These models achieve good performance on various MWPs datasets but perform poorly when applied to an adversarial challenge dataset, SVAMP. We present a novel model MMTM that leverages multi-tasking and multi-decoder during pre-training. It creates variant tasks by deriving labels using pre-order, in-order and post-order traversal of expression trees, and uses task-specific decoders in a multi-tasking framework. We leverage transformer architectures with lower dimensionality and initialize weights from RoBERTa model. MMTM model achieves better mathematical reasoning ability and generalisability, which we demonstrate by outperforming the best state of the art baseline models from Seq2Seq, GTS, and Graph2Tree with a relative improvement of 19.4% on an adversarial challenge dataset SVAMP.


title: A new scenario for magnetar formation: Tayler-Spruit dynamo in a proto-neutron star spun up by fallback

abstract: Magnetars are isolated young neutron stars characterized by the most intense magnetic fields known in the universe. The origin of their magnetic field is still a challenging question. In situ magnetic field amplification by dynamo action is a promising process to generate ultra-strong magnetic fields in fast-rotating progenitors. However, it is unclear whether the fraction of progenitors harboring fast core rotation is sufficient to explain the entire magnetar population. To address this point, we propose a new scenario for magnetar formation, in which a slow-rotating proto-neutron star is spun up by the supernova fallback. We argue that this can trigger the development of the Tayler-Spruit dynamo while other dynamo processes are disfavored. Using previous works done on this dynamo and simulations to characterize the fallback, we derive equations modelling the coupled evolution of the proto-neutron star rotation and magnetic field. Their time integration for different fallback masses is successfully compared with analytical estimates of the amplification timescales and saturation value of the magnetic field. We find that the magnetic field is amplified within $20$ to $40$s after the core bounce, and that the radial magnetic field saturates at intensities $10^{14}-10^{15}$G, therefore spanning the full range of magnetar's dipolar magnetic fields. We also compare predictions of two proposed saturation mechanisms showing that magnetar-like magnetic fields can be generated for neutron star spun up to rotation periods $\lesssim8$ms and $\lesssim28$ms, corresponding to fallback masses $\gtrsim4\times10^{-2}{\rm M}_{\odot}$ and $\gtrsim10^{-2}{\rm M}_{\odot}$. Thus, our results suggest that magnetars can be formed from slow-rotating progenitors for fallback masses compatible with recent supernova simulations and leading to plausible initial rotation periods of the proto-neutron star.


title: Max-Weight Online Stochastic Matching: Improved Approximations Against the Online Benchmark

abstract: In this paper, we study max-weight stochastic matchings on online bipartite graphs under both vertex and edge arrivals. We focus on designing polynomial time approximation algorithms with respect to the online benchmark, which was first considered by Papadimitriou, Pollner, Saberi, and Wajc [EC'21]. In the vertex arrival version of the problem, the goal is to find an approximate max-weight matching of a given bipartite graph when the vertices in one part of the graph arrive online in a fixed order with independent chances of failure. Whenever a vertex arrives we should decide, irrevocably, whether to match it with one of its unmatched neighbors or leave it unmatched forever. There has been a long line of work designing approximation algorithms for different variants of this problem with respect to the offline benchmark (prophet). Papadimitriou et al., however, propose the alternative online benchmark and show that considering this new benchmark allows them to improve the 0.5 approximation ratio, which is the best ratio achievable with respect to the offline benchmark. They provide a 0.51-approximation algorithm which was later improved to 0.526 by Saberi and Wajc [ICALP'21]. The main contribution of this paper is designing a simple algorithm with a significantly improved approximation ratio of (1-1/e) for this problem. We also consider the edge arrival version in which, instead of vertices, edges of the graph arrive in an online fashion with independent chances of failure. Designing approximation algorithms for this problem has also been studied extensively with the best approximation ratio being 0.337 with respect to the offline benchmark. This paper, however, is the first to consider the online benchmark for the edge arrival version of the problem. For this problem, we provide a simple algorithm with an approximation ratio of 0.5 with respect to the online benchmark.


title: Wildebeest Herds on Rolling Hills: Flocking on Arbitrary Curved Surfaces

abstract: The collective behavior of active agents, whether herds of wildebeest or microscopic actin filaments propelled by molecular motors, is an exciting frontier in biological and soft matter physics. Almost three decades ago, Toner and Tu developed a continuum theory of the collective action of flocks, or herds, that helped launch the modern field of active matter. One challenge faced when applying continuum active matter theories to living phenomena is the complex geometric structure of biological environments. Both macroscopic and microscopic herds move on asymmetric curved surfaces, like undulating grass plains or the surface layers of cells or embryos, which can render problems analytically intractable. In this work, we present a formulation of the Toner-Tu flocking theory that uses the finite element method to solve the governing equations on arbitrary curved surfaces. First, we test the developed formalism and its numerical implementation in channel flow with scattering obstacles and on cylindrical and spherical surfaces, comparing our results to analytical solutions. We then progress to surfaces with arbitrary curvature, moving beyond previously accessible problems to explore herding behavior on a variety of landscapes. Our approach allows the investigation of transients and dynamic solutions not revealed by analytic methods. It also enables versatile incorporation of new geometries and boundary conditions and efficient sweeps of parameter space. Looking forward, the work presented here lays the groundwork for a dialogue between Toner-Tu theory and data on collective motion in biologically-relevant geometries, from drone footage of migrating animal herds to movies of microscopic cytoskeletal flows within cells.


title: Data-Driven Linear Koopman Embedding for Networked Systems: Model-Predictive Grid Control

abstract: This paper presents a data-learned linear Koopman embedding of nonlinear networked dynamics and uses it to enable real-time model predictive emergency voltage control in a power network. The approach involves a novel data-driven ``basis-dictionary free" lifting of the system dynamics into a higher dimensional linear space over which an MPC (model predictive control) is exercised, making it both scalable and rapid for practical real-time implementation. A Koopman-inspired deep neural network (KDNN) encoder-decoder architecture for the linear embedding of the underlying dynamics under distributed controls is presented, in which the end-to-end components of the KDNN comprising of a triple of transforms is learned from the system trajectory data in one go: A Neural Network (NN)-based lifting to a higher dimension, a linear dynamics within that higher dimension, and an NN-based projection to the original space. This data-learned approach relieves the burden of the ad-hoc selection of the nonlinear basis functions (e.g., polynomial or radial) used in conventional approaches for lifting to higher dimensional linear space. We validate the efficacy and robustness of the approach via application to the standard IEEE 39-bus system.


title: Reconstructing Quantum States Using Basis-Enhanced Born Machines

abstract: Rapid improvement in quantum hardware has opened the door to complex problems, but the precise characterization of quantum systems itself remains a challenge. To address this obstacle, novel tomography schemes have been developed that employ generative machine learning models, enabling quantum state reconstruction from limited classical data. In particular, quantum-inspired Born machines provide a natural way to encode measured data into a model of a quantum state. Born machines have shown great success in learning from classical data; however, the full potential of a Born machine in learning from quantum measurement has thus far been unrealized. To this end, we devise a complex-valued basis-enhanced Born machine and show that it can reconstruct pure quantum states using projective measurements from only two Pauli measurement bases. We implement the basis-enhanced Born machine to learn the ground states across the phase diagram of a 1D chain of Rydberg atoms, reconstructing quantum states deep in ordered phases and even at critical points with quantum fidelities surpassing 99%. The model accurately predicts quantum correlations and different observables, and system sizes as large as 37 qubits are considered. Quantum states across the phase diagram of a 1D XY spin chain are also successfully reconstructed using this scheme. Our method only requires simple Pauli measurements with a sample complexity that scales quadratically with system size, making it amenable to experimental implementation.


title: Algorithmic Stability of Heavy-Tailed Stochastic Gradient Descent on Least Squares

abstract: Recent studies have shown that heavy tails can emerge in stochastic optimization and that the heaviness of the tails have links to the generalization error. While these studies have shed light on interesting aspects of the generalization behavior in modern settings, they relied on strong topological and statistical regularity assumptions, which are hard to verify in practice. Furthermore, it has been empirically illustrated that the relation between heavy tails and generalization might not always be monotonic in practice, contrary to the conclusions of existing theory. In this study, we establish novel links between the tail behavior and generalization properties of stochastic gradient descent (SGD), through the lens of algorithmic stability. We consider a quadratic optimization problem and use a heavy-tailed stochastic differential equation (and its Euler discretization) as a proxy for modeling the heavy-tailed behavior emerging in SGD. We then prove uniform stability bounds, which reveal the following outcomes: (i) Without making any exotic assumptions, we show that SGD will not be stable if the stability is measured with the squared-loss $x\mapsto x^2$, whereas it in turn becomes stable if the stability is instead measured with a surrogate loss $x\mapsto |x|^p$ with some $p<2$. (ii) Depending on the variance of the data, there exists a \emph{`threshold of heavy-tailedness'} such that the generalization error decreases as the tails become heavier, as long as the tails are lighter than this threshold. This suggests that the relation between heavy tails and generalization is not globally monotonic. (iii) We prove matching lower-bounds on uniform stability, implying that our bounds are tight in terms of the heaviness of the tails. We support our theory with synthetic and real neural network experiments.


title: On prime factors of terms of binary recurrence sequences

abstract: We give estimates from below for the greatest prime factor of the n-th term of a binary recurrence sequence.


title: Columnar order in random packings of $2\times2$ squares on the square lattice

abstract: We study random packings of $2\times2$ squares with centers on the square lattice $\mathbb{Z}^{2}$, in which the probability of a packing is proportional to $\lambda$ to the number of squares. We prove that for large $\lambda$, typical packings exhibit columnar order, in which either the centers of most tiles agree on the parity of their $x$-coordinate or the centers of most tiles agree on the parity of their $y$-coordinate. This manifests in the existence of four extremal and periodic Gibbs measures in which the rotational symmetry of the lattice is broken while the translational symmetry is only broken along a single axis. We further quantify the decay of correlations in these measures, obtaining a slow rate of exponential decay in the direction of preserved translational symmetry and a fast rate in the direction of broken translational symmetry. Lastly, we prove that every periodic Gibbs measure is a mixture of these four measures. Additionally, our proof introduces an apparently novel extension of the chessboard estimate, from finite-volume torus measures to all infinite-volume periodic Gibbs measures.

categories: math-ph cond-mat.stat-mech math.CO math.MP math.PR


title: Methods for arriving at numerical solutions for equations of the type [k+3] and [k+5] biquadratics equal to a bi-quadratic for different values of k

abstract: Different authors have done analysis regarding sums of powers References number 1,2 and 3, but systematic approach for solving Diophantine equations having sums of many biquadratics equal to a quartic has not been done before. In this paper we give methods for finding numerical solutions to equation A given above in section one. Next in section two, we give methods for finding numerical solutions for equation B given above. As is known that finding parametric solutions to biquadratic equations is not easy by conventional method. So the authors have found numerical solutions to equation A and B using elliptic curve theory.


title: Lottery Tickets on a Data Diet: Finding Initializations with Sparse Trainable Networks

abstract: A striking observation about iterative magnitude pruning (IMP; Frankle et al. 2020) is that $\unicode{x2014}$ after just a few hundred steps of dense training $\unicode{x2014}$ the method can find a sparse sub-network that can be trained to the same accuracy as the dense network. However, the same does not hold at step 0, i.e. random initialization. In this work, we seek to understand how this early phase of pre-training leads to a good initialization for IMP both through the lens of the data distribution and the loss landscape geometry. Empirically we observe that, holding the number of pre-training iterations constant, training on a small fraction of (randomly chosen) data suffices to obtain an equally good initialization for IMP. We additionally observe that by pre-training only on "easy" training data, we can decrease the number of steps necessary to find a good initialization for IMP compared to training on the full dataset or a randomly chosen subset. Finally, we identify novel properties of the loss landscape of dense networks that are predictive of IMP performance, showing in particular that more examples being linearly mode connected in the dense network correlates well with good initializations for IMP. Combined, these results provide new insight into the role played by the early phase training in IMP.


title: From Green-Kubo to the full Boltzmann kinetic approach to heat transport in crystals and glasses

abstract: We show that vertex corrections to the quasi-harmonic Green-Kubo theory of heat transport in insulators naturally lead to a generalisation of the expression for the conductivity that could be derived from the linearized Boltzmann equation, when the effects of the full scattering matrix are accounted for. Our results, which are obtained from the Mori-Zwanzig memory-function formalism, provide a fully ab initio derivation of the linearized Boltzmann transport equation and establish a connection between two recently proposed unified approaches to heat transport in insulating crystals and glasses.


title: On the Parallel Parameterized Complexity of MaxSAT Variants

abstract: In the maximum satisfiability problem (MAX-SAT) we are given a propositional formula in conjunctive normal form and have to find an assignment that satisfies as many clauses as possible. We study the parallel parameterized complexity of various versions of MAX-SAT and provide the first constant-time algorithms parameterized either by the solution size or by the allowed excess relative to some guarantee ("above guarantee" versions). For the dual parameterized version where the parameter is the number of clauses we are allowed to leave unsatisfied, we present the first parallel algorithm for MAX-2SAT (known as ALMOST-2SAT). The difficulty in solving ALMOST-2SAT in parallel comes from the fact that the iterative compression method, originally developed to prove that the problem is fixed-parameter tractable at all, is inherently sequential. We observe that a graph flow whose value is a parameter can be computed in parallel and use this fact to develop a parallel algorithm for the vertex cover problem parameterized above the size of a given matching. Finally, we study the parallel complexity of MAX-SAT parameterized by the vertex cover number, the treedepth, the feedback vertex set number, and the treewidth of the input's incidence graph. While MAX-SAT is fixed-parameter tractable for all of these parameters, we show that they allow different degrees of possible parallelization. For all four we develop dedicated parallel algorithms that are constructive, meaning that they output an optimal assignment - in contrast to results that can be obtained by parallel meta-theorems, which often only solve the decision version.


title: Sparx: Distributed Outlier Detection at Scale

abstract: There is no shortage of outlier detection (OD) algorithms in the literature, yet a vast body of them are designed for a single machine. With the increasing reality of already cloud-resident datasets comes the need for distributed OD techniques. This area, however, is not only understudied but also short of public-domain implementations for practical use. This paper aims to fill this gap: We design Sparx, a data-parallel OD algorithm suitable for shared-nothing infrastructures, which we specifically implement in Apache Spark. Through extensive experiments on three real-world datasets, with several billions of points and millions of features, we show that existing open-source solutions fail to scale up; either by large number of points or high dimensionality, whereas Sparx yields scalable and effective performance. To facilitate practical use of OD on modern-scale datasets, we open-source Sparx under the Apache license at https://tinyurl.com/sparx2022.


title: Effective bounds for Vinberg's algorithm for arithmetic hyperbolic lattices

abstract: A group of isometries of a hyperbolic $n$-space is called a reflection group if it is generated by reflections in hyperbolic hyperplanes. Vinberg gave a semi-algorithm for finding a maximal reflection sublattice in a given arithmetic subgroup of $O(n,1)$ of the simplest type. We provide an effective termination condition for Vinberg's semi-algorithm with which it becomes an algorithm for finding maximal reflection sublattices. The main new ingredient of the proof is an upper bound for the number of faces of an arithmetic hyperbolic Coxeter polyhedron in terms of its volume.


title: Manakov system on metric graphs: Modeling the reflectionless propagation of vector solitons in networks

abstract: We consider the reflectionless transport of Manakov solitons in networks. The system is modelled in terms of the Manakov system on metric graphs subject to transparent boundary conditions at the branching points. Simple constraints combining the equivalent usual Kirchhoff vertex conditions with the transparent conditions are derived in terms of nonlinearity coefficients. Although the method is used for a metric star graph, an extension to more complicated graph topologies is easily possible.


title: Sequential Permutation Testing of Random Forest Variable Importance Measures

abstract: Hypothesis testing of random forest (RF) variable importance measures (VIMP) remains the subject of ongoing research. Among recent developments, heuristic approaches to parametric testing have been proposed whose distributional assumptions are based on empirical evidence. Other formal tests under regularity conditions were derived analytically. However, these approaches can be computationally expensive or even practically infeasible. This problem also occurs with non-parametric permutation tests, which are, however, distribution-free and can generically be applied to any type of RF and VIMP. Embracing this advantage, it is proposed here to use sequential permutation tests and sequential p-value estimation to reduce the high computational costs associated with conventional permutation tests. The popular and widely used permutation VIMP serves as a practical and relevant application example. The results of simulation studies confirm that the theoretical properties of the sequential tests apply, that is, the type-I error probability is controlled at a nominal level and a high power is maintained with considerably fewer permutations needed in comparison to conventional permutation testing. The numerical stability of the methods is investigated in two additional application studies. In summary, theoretically sound sequential permutation testing of VIMP is possible at greatly reduced computational costs. Recommendations for application are given. A respective implementation is provided through the accompanying R package $rfvimptest$. The approach can also be easily applied to any kind of prediction model.


title: An Improved Method for Coupling Hydrodynamics with Astrophysical Reaction Networks

abstract: Reacting astrophysical flows can be challenging to model because of the difficulty in accurately coupling hydrodynamics and reactions. This can be particularly acute during explosive burning or at high temperatures where nuclear statistical equilibrium is established. We develop a new approach based on the ideas of spectral deferred corrections (SDC) coupling of explicit hydrodynamics and stiff reaction sources as an alternative to operator splitting that is simpler than the more comprehensive SDC approach we demonstrated previously. We apply the new method to a double detonation problem with a moderately-sized astrophysical nuclear reaction network and explore the timestep size and reaction network tolerances to show that the simplified-SDC approach provides improved coupling with decreased computational expense compared to traditional Strang operator splitting. This is all done in the framework of the Castro hydrodynamics code, and all algorithm implementations are freely available.


title: Anisotropic Gigahertz Antiferromagnetic Resonances of the Easy-Axis van der Waals Antiferromagnet CrSBr

abstract: We report measurements of antiferromagnetic resonances in the van der Waals easy-axis antiferromagnet CrSBr. The interlayer exchange field and magnetocrystalline anisotropy fields are comparable to laboratory magnetic fields, allowing a rich variety of gigahertz-frequency dynamical modes to be accessed. By mapping the resonance frequencies as a function of the magnitude and angle of applied magnetic field we identify the different regimes of antiferromagnetic dynamics. The spectra show good agreement with a Landau-Lifshitz model for two antiferromagnetically-coupled sublattices, accounting for inter-layer exchange and triaxial magnetic anisotropy. Fits allow us to quantify the parameters governing the magnetic dynamics: at 5 K, the interlayer exchange field is $\mu_0 H_E =$ 0.395(2) T, and the hard and intermediate-axis anisotropy parameters are $\mu_0 H_c =$ 1.30(2) T and $\mu_0 H_a =$ 0.383(7) T. The existence of within-plane anisotropy makes it possible to control the degree of hybridization between the antiferromagnetic resonances using an in-plane magnetic field.


title: Disconnected 0-Form and 2-Group Symmetries

abstract: Quantum field theories can have both continuous and finite 0-form symmetries. We study global symmetry structures that arise when both kinds of 0-form symmetries are present. The global structure associated to continuous 0-form symmetries is described by a connected Lie group, which captures the possible backgrounds of the continuous 0-form symmetries the theory can be coupled to. Finite 0-form symmetries can act as outer-automorphisms of this connected Lie group. Consequently, possible background couplings to both continuous and finite 0-form symmetries are described by a disconnected Lie group, and we call the resulting symmetry structure a disconnected 0-form symmetry. Additionally, finite 0-form symmetries may act on the 1-form symmetry group. The 1-form symmetries and continuous 0-form symmetries may combine to form a 2-group, which when combined with finite 0-form symmetries leads to another type of 2-group, that we call a disconnected 2-group and the resulting symmetry structure a disconnected 2-group symmetry. Examples of arbitrarily complex disconnected 0-form and 2-group symmetries in any spacetime dimension are furnished by gauge theories: with 1-form symmetries arising from the center of the gauge group, continuous 0-form symmetries arising as flavor symmetries acting on matter content, and finite 0-form symmetries arising from outer-automorphisms of gauge and flavor Lie algebras.


title: Decentralized Training of Foundation Models in Heterogeneous Environments

abstract: Training foundation models, such as GPT-3 and PaLM, can be extremely expensive, often involving tens of thousands of GPUs running continuously for months. These models are typically trained in specialized clusters featuring fast, homogeneous interconnects and using carefully designed software systems that support both data parallelism and model/pipeline parallelism. Such dedicated clusters can be costly and difficult to obtain. Can we instead leverage the much greater amount of decentralized, heterogeneous, and lower-bandwidth interconnected compute? Previous works examining the heterogeneous, decentralized setting focus on relatively small models that can be trained in a purely data parallel manner. State-of-the-art schemes for model parallel foundation model training, such as Megatron, only consider the homogeneous data center setting. In this paper, we present the first study of training large foundation models with model parallelism in a decentralized regime over a heterogeneous network. Our key technical contribution is a scheduling algorithm that allocates different computational "tasklets" in the training of foundation models to a group of decentralized GPU devices connected by a slow heterogeneous network. We provide a formal cost model and further propose an efficient evolutionary algorithm to find the optimal allocation strategy. We conduct extensive experiments that represent different scenarios for learning over geo-distributed devices simulated using real-world network measurements. In the most extreme case, across 8 different cities spanning 3 continents, our approach is 4.8X faster than prior state-of-the-art training systems (Megatron).


title: Low bounds for distribution of sums of independent centered random variables belonging to Grand Lebesgue Spaces

abstract: We deduce in this short report the non-asymptotic for exponential tail of distribution for sums of independent centered random variables.


title: Points2NeRF: Generating Neural Radiance Fields from 3D point cloud

abstract: Contemporary registration devices for 3D visual information, such as LIDARs and various depth cameras, capture data as 3D point clouds. In turn, such clouds are challenging to be processed due to their size and complexity. Existing methods address this problem by fitting a mesh to the point cloud and rendering it instead. This approach, however, leads to the reduced fidelity of the resulting visualization and misses color information of the objects crucial in computer graphics applications. In this work, we propose to mitigate this challenge by representing 3D objects as Neural Radiance Fields (NeRFs). We leverage a hypernetwork paradigm and train the model to take a 3D point cloud with the associated color values and return a NeRF network's weights that reconstruct 3D objects from input 2D images. Our method provides efficient 3D object representation and offers several advantages over the existing approaches, including the ability to condition NeRFs and improved generalization beyond objects seen in training. The latter we also confirmed in the results of our empirical evaluation.


title: A Multiset Version of Even-Odd Permutations Identity

abstract: In this paper, we give a new bijective proof of a multiset analogue of even-odd permutations identity. This multiset version is equivalent to the original coin arrangements lemma which is a key combinatorial lemma in the Sherman's Proof of a conjecture of Feynman about an identity on paths in planar graphs related to combinatorial solution of two dimensional Ising model in statistical physics.


title: Physics of complex systems: Discovery in age of Goedel

abstract: From the perspective of the physics of complex systems (1) we deal with the current state of modern physics including the crisis in physics demonstrated through its epistemological, psychological, economical as well as the social context; (2) considering the strength of the Goedel Incompleteness Theorems we point out the following open questions in physics: (i) the limits of the precision of certainty, (ii) the limits of making decisions on information and (iii) the limitations of reasoning that sometimes affect progress, (3) since further advances will necessarily require synergy between physics and seemingly distinct fields - mathematics, information science, chemistry, biology, medicine, psychology, and art. We illustrate this relation by providing examples based on our research. Point (1) is discussed in Ch1 while Ch2-Ch5 encompasses the point (2) and point (3) is covered in Ch6-Ch10.


title: Incrementality Bidding via Reinforcement Learning under Mixed and Delayed Rewards

abstract: Incrementality, which is used to measure the causal effect of showing an ad to a potential customer (e.g. a user in an internet platform) versus not, is a central object for advertisers in online advertising platforms. This paper investigates the problem of how an advertiser can learn to optimize the bidding sequence in an online manner \emph{without} knowing the incrementality parameters in advance. We formulate the offline version of this problem as a specially structured episodic Markov Decision Process (MDP) and then, for its online learning counterpart, propose a novel reinforcement learning (RL) algorithm with regret at most $\widetilde{O}(H^2\sqrt{T})$, which depends on the number of rounds $H$ and number of episodes $T$, but does not depend on the number of actions (i.e., possible bids). A fundamental difference between our learning problem from standard RL problems is that the realized reward feedback from conversion incrementality is \emph{mixed} and \emph{delayed}. To handle this difficulty we propose and analyze a novel pairwise moment-matching algorithm to learn the conversion incrementality, which we believe is of independent of interest.


title: Improving Quantum Computation by Optimized Qubit Routing

abstract: In this work we propose a high-quality decomposition approach for qubit routing by swap insertion. This optimization problem arises in the context of compiling quantum algorithms onto specific quantum hardware. Our approach decomposes the routing problem into an allocation subproblem and a set of token swapping problems. This allows us to tackle the allocation part and the token swapping part separately. Extracting the allocation part from the qubit routing model of Nannicini et al. (arXiv:2106.06446), we formulate the allocation subproblem as a binary program. Herein, we employ a cost function that is a lower bound on the overall routing problem objective. We strengthen the linear relaxation by novel valid inequalities. For the token swapping part we develop an exact branch-and-bound algorithm. In this context, we improve upon known lower bounds on the token swapping problem. Furthermore, we enhance an existing approximation algorithm. We present numerical results for the integrated allocation and token swapping problem. Obtained solutions may not be globally optimal due to the decomposition and the usage of an approximation algorithm. However, the solutions are obtained fast and are typically close to optimal. In addition, there is a significant reduction in the number of gates and output circuit depth when compared to state-of-the-art heuristics. Reducing these figures is crucial for minimizing noise when running quantum algorithms on near-term hardware. As a consequence, using the novel decomposition approach leads to compiled algorithms with improved quality. Indeed, when compiled with the novel routing procedure and executed on real hardware, our experimental results for quantum approximate optimization algorithms show an significant increase in solution quality in comparison to standard routing methods.


title: Rashomon Capacity: A Metric for Predictive Multiplicity in Classification

abstract: Predictive multiplicity occurs when classification models with statistically indistinguishable performances assign conflicting predictions to individual samples. When used for decision-making in applications of consequence (e.g., lending, education, criminal justice), models developed without regard for predictive multiplicity may result in unjustified and arbitrary decisions for specific individuals. We introduce a new metric, called Rashomon Capacity, to measure predictive multiplicity in probabilistic classification. Prior metrics for predictive multiplicity focus on classifiers that output thresholded (i.e., 0-1) predicted classes. In contrast, Rashomon Capacity applies to probabilistic classifiers, capturing more nuanced score variations for individual samples. We provide a rigorous derivation for Rashomon Capacity, argue its intuitive appeal, and demonstrate how to estimate it in practice. We show that Rashomon Capacity yields principled strategies for disclosing conflicting models to stakeholders. Our numerical experiments illustrate how Rashomon Capacity captures predictive multiplicity in various datasets and learning models, including neural networks. The tools introduced in this paper can help data scientists measure and report predictive multiplicity prior to model deployment.


title: On stability and instability of $C^{1,\alpha}$ singular solutions to the 3D Euler and 2D Boussinesq equations

abstract: Singularity formation of the 3D incompressible Euler equations is known to be extremely challenging. In [18], Elgindi proved that the 3D axisymmetric Euler equations with no swirl and $C^{1,\alpha}$ initial velocity develops a finite time singularity. Inspired by Elgindi's work, we proved that the 3D axisymmetric Euler and 2D Boussinesq equations with $C^{1,\alpha}$ initial velocity and boundary develop a stable asymptotically (or approximately) self-similar finite time singularity [8]. On the other hand, the authors of [35,52] recently showed that blowup solutions to the 3D Euler equations are hydrodynamically unstable. The instability results obtained in [35,52] require some strong regularity assumption on the initial data, which is not satisfied by the $C^{1,\alpha}$ velocity field. In this paper, we generalize the analysis of [8,18,35,52] to show that the blowup solutions of the 3D Euler and 2D Boussinesq equations with $C^{1,\alpha}$ velocity are unstable under the notion of stability introduced in [35,52]. These two seemingly contradictory results reflect the difference of the two approaches in studying the stability of 3D Euler blowup solutions. The stability analysis of the blowup solution obtained in [8,18] is based on the stability of a dynamically rescaled blowup profile in space and time, which is nonlinear in nature. The linear stability analysis in [35,52] is performed by directly linearizing the 3D Euler equations around a blowup solution in the original variables. It does not take into account the changes in the blowup time, the dynamic changes of the rescaling rate of the perturbed blowup profile and the blowup exponent of the original 3D Euler equations using a perturbed initial condition when there is an approximate self-similar blowup profile. Such information has been used in an essential way in establishing the nonlinear stability of the blowup profile in [8,18,19].


title: Lossless Compression of Point Cloud Sequences Using Sequence Optimized CNN Models

abstract: We propose a new paradigm for encoding the geometry of point cloud sequences, where the convolutional neural network (CNN) which estimates the encoding distributions is optimized on several frames of the sequence to be compressed. We adopt lightweight CNN structures, we perform training as part of the encoding process, and the CNN parameters are transmitted as part of the bitstream. The newly proposed encoding scheme operates on the octree representation for each point cloud, encoding consecutively each octree resolution layer. At every octree resolution layer, the voxel grid is traversed section-by-section (each section being perpendicular to a selected coordinate axis) and in each section the occupancies of groups of two-by-two voxels are encoded at once, in a single arithmetic coding operation. A context for the conditional encoding distribution is defined for each two-by-two group of voxels, based on the information available about the occupancy of neighbor voxels in the current and lower resolution layers of the octree. The CNN estimates the probability distributions of occupancy patterns of all voxel groups from one section in four phases. In each new phase the contexts are updated with the occupancies encoded in the previous phase, and each phase estimates the probabilities in parallel, providing a reasonable trade-off between the parallelism of processing and the informativeness of the contexts. The CNN training time is comparable to the time spent in the remaining encoding steps, leading to competitive overall encoding times. Bitrates and encoding-decoding times compare favorably with those of recently published compression schemes.


title: A memory-efficient neural ODE framework based on high-level adjoint differentiation

abstract: Neural ordinary differential equations (neural ODEs) have emerged as a novel network architecture that bridges dynamical systems and deep learning. However, the gradient obtained with the continuous adjoint method in the vanilla neural ODE is not reverse-accurate. Other approaches suffer either from an excessive memory requirement due to deep computational graphs or from limited choices for the time integration scheme, hampering their application to large-scale complex dynamical systems. To achieve accurate gradients without compromising memory efficiency and flexibility, we present a new neural ODE framework, PNODE, based on high-level discrete adjoint algorithmic differentiation. By leveraging discrete adjoint time integrators and advanced checkpointing strategies tailored for these integrators, PNODE can provide a balance between memory and computational costs, while computing the gradients consistently and accurately. We provide an open-source implementation based on PyTorch and PETSc, one of the most commonly used portable, scalable scientific computing libraries. We demonstrate the performance through extensive numerical experiments on image classification and continuous normalizing flow problems. We show that PNODE achieves the highest memory efficiency when compared with other reverse-accurate methods. On the image classification problems, PNODE is up to two times faster than the vanilla neural ODE and up to 2.3 times faster than the best existing reverse-accurate method. We also show that PNODE enables the use of the implicit time integration methods that are needed for stiff dynamical systems.


title: Fine-tuning Language Models over Slow Networks using Activation Compression with Guarantees

abstract: Communication compression is a crucial technique for modern distributed learning systems to alleviate their communication bottlenecks over slower networks. Despite recent intensive studies of gradient compression for data parallel-style training, compressing the activations for models trained with pipeline parallelism is still an open problem. In this paper, we propose AC-SGD, a novel activation compression algorithm for communication-efficient pipeline parallelism training over slow networks. Different from previous efforts in activation compression, instead of compressing activation values directly, AC-SGD compresses the changes of the activations. This allows us to show, to the best of our knowledge for the first time, that one can still achieve $O(1/\sqrt{T})$ convergence rate for non-convex objectives under activation compression, without making assumptions on gradient unbiasedness that do not hold for deep learning models with non-linear activation functions.We then show that AC-SGD can be optimized and implemented efficiently, without additional end-to-end runtime overhead.We evaluated AC-SGD to fine-tune language models with up to 1.5 billion parameters, compressing activations to 2-4 bits.AC-SGD provides up to 4.3X end-to-end speed-up in slower networks, without sacrificing model quality. Moreover, we also show that AC-SGD can be combined with state-of-the-art gradient compression algorithms to enable "end-to-end communication compression: All communications between machines, including model gradients, forward activations, and backward gradients are compressed into lower precision.This provides up to 4.9X end-to-end speed-up, without sacrificing model quality.


title: Optimizing the chiral Purcell factor for unidirectional single photon emitters in topological photonic crystal waveguides using inverse design

abstract: We present an inverse design approach to significantly improve the figures-of-merit for chiral photon elements and quantum emitters in topological photonic crystal slab waveguides. Beginning with a topological waveguide mode with a group index of approximately 10 and a maximum forwards or backwards Purcell factor at a chiral point of less than 0.5, we perform optimizations of the directional Purcell factor. We use a fully three dimensional guided-mode expansion method to efficiently calculate waveguide band dispersion properties and modes, while automatic differentiation is employed to calculate the gradient of objective functions. We present two example improved designs: (i) a topological mode with an accessible group index of approximately 30 and a maximum unidirectional Purcell factor at a chiral point greater then 4.5 representing a nearly 10-fold improvement to the Purcell factor, and (ii) a slow light mode, well away from the Brillouin zone edge with a group index greater then 350 and a maximum unidirectional Purcell factor at a chiral point greater than 45.


title: Comment on "Anisotropic Scattering Caused by Apical Oxygen Vacancies in Thin Films of Overdoped High-Temperature Cuprate Superconductors"

abstract: In Phys. Rev. Lett. 128, 137001 (2022), Wang $\textit{et al}.$ address an important problem in the overdoped cuprates, taking the first steps toward understanding the structure of real defects in these materials, in this case the apical oxygen vacancy, $\mathrm{V}_\mathrm{O}$, that sits immediately above the planar Cu. However, the approach taken has some issues, which we outline in this Comment.


title: Likelihood-based Instrumental Variable Methods for Cox Proportional Hazard Models

abstract: In biometrics and related fields, the Cox proportional hazards model are widely used to analyze with covariate adjustment. However, when some covariates are not observed, an unbiased estimator usually cannot be obtained. Even if there are some unmeasured covariates, instrumental variable methods can be applied under some assumptions. In this paper, we propose the new instrumental variable estimator for the Cox proportional hazards model. The estimator is the similar feature as Martinez-Camblor et al., 2019, but not the same exactly; we use an idea of limited-information maximum likelihood. We show that the estimator has good theoretical properties. Also, we confirm properties of our method and previous methods through simulations datasets.


title: Spaces of Bounded Measurable Functions Invariant Under a Group Action

abstract: In this paper we characterize spaces of $L^\infty$-functions on a compact Hausdorff space that are invariant under a transitive and continuous group action. This work generalizes the author's 2021 results concerning the specific case of unitarily and M\"obius invariant spaces of $L^\infty$-functions defined on the unit sphere in $\mathbb{C}^n$.


title: Engineering chiral topological superconductivity in twisted Ising superconductors

abstract: Van der Waals materials like NbSe$_2$ or TaS$_2$ have demonstrated Ising superconductivity down to atomically thin layers. Due to the spin-orbit coupling, these superconductors have the in-plane upper critical magnetic field far beyond the Pauli limit. We theoretically demonstrate that, twisted bilayer Ising superconductors separated by a ferromagnetic buffer layer can naturally host chiral topological superconductivity with Chern numbers, which can be realized in heterostructures like $\mathrm{NbSe_2/CrCl_3/NbSe_2}$. Under appropriate experimental conditions the topological superconducting gap can reach $>0.1$ meV, leading to readily observable signatures such as the quantized thermal Hall transport at low temperatures.


title: The Musical Arrow of Time -- The Role of Temporal Asymmetry in Music and Its Organicist Implications

abstract: Adopting a performer-centric perspective, we frequently encounter two statements: "music flows", and "music is life-like". This dissertation builds on top of the two statements above, resulting in an exploration of the role of temporal asymmetry in music (generalizing "music flows") and its relation to the idea of organicism (generalizing "music is life-like"). We focus on two aspects of temporal asymmetry. The first aspect concerns the vastly different epistemic mechanisms with which we obtain knowledge of the past and the future. A particular musical consequence follows: recurrence. The epistemic difference between the past and the future shapes our experience and interpretation of recurring events in music. The second aspect concerns the arrow of time: the unambiguous ordering imposed on temporal events gives rise to the a priori pointedness of time, rendering time asymmetrical and irreversible. A discussion on thermodynamics informs us musically: the arrow of time effectuates itself in musical forms by delaying the placement of the climax. Organicism serves as a mediating topic, engaging with the concept of life as in organisms. On the one hand, organicism is related to temporal asymmetry in science via a thermodynamical interpretation of life as entropy-reducing entities. On the other hand, organicism is a topic native to music via the universally acknowledged artistic idea that music should be interpreted as a vital force possessing volitional power. With organicism as a mediator, we better understand the role of temporal asymmetry in music. In particular, we view musical form as a process of expansion and elaboration analogous to organic growth. Finally, we present an organicist interpretation of delaying the climax: viewing musical form as the result of organic growth, the arrow of time translates to a preference for prepending structure over appending structure.


title: Deceptive Planning for Resource Allocation

abstract: We consider a team of autonomous agents that navigate in an adversarial environment and aim to achieve a task by allocating their resources over a set of target locations. An adversary in the environment observes the autonomous team's behavior to infer their objective and responds against the team. In this setting, we propose strategies for controlling the density of the autonomous team so that they can deceive the adversary regarding their objective while achieving the desired final resource allocation. We first develop a prediction algorithm based on the principle of maximum entropy to express the team's behavior expected by the adversary. Then, by measuring the deceptiveness via Kullback-Leibler divergence, we devise convex optimization-based planning algorithms that deceive the adversary by either exaggerating the behavior towards a decoy allocation strategy or creating ambiguity regarding the final allocation strategy. A user study with $320$ participants demonstrates that the proposed algorithms are effective for deception and reveal the inherent biases of participants towards proximate goals.


title: Growth, characterization, and thermodynamics of III-nitride semiconductors

abstract: III-nitride alloys are wide band gap semiconductors with a broad range of applications in optoelectronic devices such as light emitting diodes and laser diodes. Indium gallium nitride light emitting diodes have been successfully produced over the past decade. But the progress of green emission light emitting devices has been limited by the incorporation of indium in the alloy, mainly due to phase separation. This difficulty could be addressed by studying the growth and thermodynamics of these alloys. Knowledge of thermodynamic phase stabilities and of pressure - temperature - composition phase diagrams is important for an understanding of the boundary conditions of a variety of growth techniques. In this dissertation a study of the phase separation of indium gallium nitride is conducted using a regular solution model of the ternary alloy system. Graphs of Gibbs free energy of mixing were produced for a range of temperatures. Binodal and spinodal decomposition curves show the stable and unstable regions of the alloy in equilibrium.


title: A new Microscopic Model for $J/\psi$ Production in Heavy Ion Collisions

abstract: We present a new model for the creation of \J mesons in ultrarelativistic heavy ion collisions, which allows to follow the individual heavy quarks from their creation until the detector through the Quark Gluon Plasma (QGP), which is formed in these collisions and described by the EPOS2 event generator. The \cc quarks interact via a potential, based on results of lattice gauge calculations. The annihilation and creation of \J is described by a density matrix approach whose time evolution is studied in the expanding system. The comparison with PbPb data at $\sqrt{s}$=5.02 TeV shows that this model can describe simultaneously the nuclear modification factor $R_{AA}$ and the elliptic flow $v_2$ of the \J at low transverse momen