title: End-to-End Learning for Fair Multiobjective Optimization Under Uncertainty

abstract: Many decision processes in artificial intelligence and operations research are modeled by parametric optimization problems whose defining parameters are unknown and must be inferred from observable data. The Predict-Then-Optimize (PtO) paradigm in machine learning aims to maximize downstream decision quality by training the parametric inference model end-to-end with the subsequent constrained optimization. This requires backpropagation through the optimization problem using approximation techniques specific to the problem's form, especially for nondifferentiable linear and mixed-integer programs. This paper extends the PtO methodology to optimization problems with nondifferentiable Ordered Weighted Averaging (OWA) objectives, known for their ability to ensure properties of fairness and robustness in decision models. Through a collection of training techniques and proposed application settings, it shows how optimization of OWA functions can be effectively integrated with parametric prediction for fair and robust optimization under uncertainty.


title: Relativistic corrections to prompt double charmonium hadroproduction near threshold

abstract: We calculate the relativistic corrections to prompt $J/\psi$ pair and $J/\psi+\psi(2S)$ hadroproduction through the color-singlet channel within the framework of nonrelativistic QCD (NRQCD) factorization. The short-distance coefficients are obtained by matching full-QCD and NRQCD calculations at the partonic level, in which both squared amplitude and phase space are expanded in $v^2$. We find that such an expansion of the phase space spoils the convergence of NRQCD factorization near the production threshold. To fix this problem, we propose to modify the matching between full QCD and NRQCD by adopting the physical phase space. In this modified approach, the theoretical uncertainties due to the choice of charm quark mass $m_c$ are largely reduced and the overall agreement of our predictions with LHC data is significantly improved, both as for total and differential cross sections.


title: The Goodwillie calculus of polyhedral products

abstract: We describe the Goodwillie calculus of polyhedral products in the case that the fat wedge filtration on the associated real moment-angle complex is trivial. We do this by analysing the behaviour on calculus of the Denham-Suciu fibre sequence, the Iriye-Kishimoto decomposition of the polyhedral product constructed from a collection of pairs of cones and their bases, and the Hilton-Milnor decomposition. As a corollary we show that the Goodwillie calculus of these polyhedral products converges integrally and diverges in $v_h$-periodic homotopy unless the simplicial complex is a full simplex.


title: Growth Rate of the Number of Empty Triangles in the Plane

abstract: Given a set $P$ of $n$ points in the plane, in general position, denote by $N_\Delta(P)$ the number of empty triangles with vertices in $P$. In this paper we investigate by how much $N_\Delta(P)$ changes if a point $x$ is removed from $P$. By constructing a graph $G_P(x)$ based on the arrangement of the empty triangles incident on $x$, we transform this geometric problem to the problem of counting triangles in the graph $G_P(x)$. We study properties of the graph $G_P(x)$ and, in particular, show that it is kite-free. This relates the growth rate of the number of empty triangles to the famous Ruzsa-Szemer\'edi problem.


title: TELLER: A Trustworthy Framework for Explainable, Generalizable and Controllable Fake News Detection

abstract: The proliferation of fake news has emerged as a severe societal problem, raising significant interest from industry and academia. While existing deep-learning based methods have made progress in detecting fake news accurately, their reliability may be compromised caused by the non-transparent reasoning processes, poor generalization abilities and inherent risks of integration with large language models (LLMs). To address this challenge, we propose {\methodname}, a novel framework for trustworthy fake news detection that prioritizes explainability, generalizability and controllability of models. This is achieved via a dual-system framework that integrates cognition and decision systems, adhering to the principles above. The cognition system harnesses human expertise to generate logical predicates, which guide LLMs in generating human-readable logic atoms. Meanwhile, the decision system deduces generalizable logic rules to aggregate these atoms, enabling the identification of the truthfulness of the input news across diverse domains and enhancing transparency in the decision-making process. Finally, we present comprehensive evaluation results on four datasets, demonstrating the feasibility and trustworthiness of our proposed framework. Our implementation is available at \url{https://github.com/less-and-less-bugs/Trust_TELLER}.


title: Novel Low-Complexity Model Development for Li-ion Cells Using Online Impedance Measurement

abstract: Modeling of Li-ion cells is used in battery management systems (BMS) to determine key states such as state-of-charge (SoC), state-of-health (SoH), etc. Accurate models are also useful in developing a cell-level digital-twin that can be used for protection and diagnostics in the BMS. In this paper, a low-complexity model development is proposed based on the equivalent circuit model (ECM) of the Li-ion cells. The proposed approach uses online impedance measurement at discrete frequencies to derive the ECM that matches closely with the results from the electro-impedance spectroscopy (EIS). The proposed method is suitable to be implemented in a microcontroller with low-computational power, typically used in BMS. Practical design guidelines are proposed to ensure fast and accurate model development. Using the proposed method to enhance the functions of a typical automotive BMS is described. Experimental validation is performed using large prismatic cells and small-capacity cylindrical cells. Root-mean-square error (RMSE) of less than 3\% is observed for a wide variation of operating conditions.


title: Algorithmic Fairness and Color-blind Racism: Navigating the Intersection

abstract: Our focus lies at the intersection between two broader research perspectives: (1) the scientific study of algorithms and (2) the scholarship on race and racism. Many streams of research related to algorithmic fairness have been born out of interest at this intersection. We think about this intersection as the product of work derived from both sides. From (1) algorithms to (2) racism, the starting place might be an algorithmic question or method connected to a conceptualization of racism. On the other hand, from (2) racism to (1) algorithms, the starting place could be recognizing a setting where a legacy of racism is known to persist and drawing connections between that legacy and the introduction of algorithms into this setting. In either direction, meaningful disconnection can occur when conducting research at the intersection of racism and algorithms. The present paper urges collective reflection on research directions at this intersection. Despite being primarily motivated by instances of racial bias, research in algorithmic fairness remains mostly disconnected from scholarship on racism. In particular, there has not been an examination connecting algorithmic fairness discussions directly to the ideology of color-blind racism; we aim to fill this gap. We begin with a review of an essential account of color-blind racism then we review racial discourse within algorithmic fairness research and underline significant patterns, shifts and disconnects. Ultimately, we argue that researchers can improve the navigation of the landscape at the intersection by recognizing ideological shifts as such and iteratively re-orienting towards maintaining meaningful connections across interdisciplinary lines.


title: Finding product sets in some classes of amenable groups

abstract: In 2022, using methods from ergodic theory, Kra, Moreira, Richter, and Robertson resolved a longstanding conjecture of Erd\H{o}s about sumsets in large subsets of the natural numbers. In this paper, we extend this result to several important classes of amenable groups, including all finitely generated virtually nilpotent groups, and all abelian groups $(G,+)$ with the property that the subgroup $2G := \{g+g : g\in G\}$ has finite index. We prove that in any group $G$ from the above classes, any $A\subset G$ with positive upper Banach density contains a shifted product set of the form $\{tb_ib_j\colon i<j\}$, for some infinite sequence $(b_n)_{n\in\mathbb{N}}$ and some $t\in G$. In fact, we show this result for all amenable groups that posses a property which we call square absolute continuity. Our results provide answers to several questions and conjectures posed in a recent survey of Kra, Moreira, Richter and Robertson.


title: On the Asymptotic Behavior in Time of the Kinetic Energy in a Rigid Body-Liquid Problem

abstract: We give sufficient conditions on the initial data for the decay in time of the kinetic energy, $E$, of solutions to the system of equations describing the motion of a rigid body in a Navier-Stokes liquid. More precisely, assuming the initial data ``small" in appropriate norm, we show that if, in addition, the initial velocity field of the liquid, $v_0$, is in $L^q$, $q\in(1,2)$, then $E(t)$ vanishes as $t\to\infty$ with a specific order of decay. The order remains, however, unspecified if $v_0\in L^2$.


title: IR-Aware ECO Timing Optimization Using Reinforcement Learning

abstract: Engineering change orders (ECOs) in late stages make minimal design fixes to recover from timing shifts due to excessive IR drops. This paper integrates IR-drop-aware timing analysis and ECO timing optimization using reinforcement learning (RL). The method operates after physical design and power grid synthesis, and rectifies IR-drop-induced timing degradation through gate sizing. It incorporates the Lagrangian relaxation (LR) technique into a novel RL framework, which trains a relational graph convolutional network (R-GCN) agent to sequentially size gates to fix timing violations. The R-GCN agent outperforms a classical LR-only algorithm: in an open 45nm technology, it (a) moves the Pareto front of the delay-area tradeoff curve to the left and (b) saves runtime over the classical method by running fast inference using trained models at iso-quality. The RL model is transferable across timing specifications, and transferable to unseen designs with zero-shot learning or fine tuning.


title: Solving parameter-dependent semi-algebraic systems

abstract: We consider systems of polynomial equations and inequalities in $\mathbb{Q}[\boldsymbol{y}][\boldsymbol{x}]$ where $\boldsymbol{x} = (x_1, \ldots, x_n)$ and $\boldsymbol{y} = (y_1, \ldots,y_t)$. The $\boldsymbol{y}$ indeterminates are considered as parameters and we assume that when specialising them generically, the set of common complex solutions, to the obtained equations, is finite. We consider the problem of real root classification for such parameter-dependent problems, i.e. identifying the possible number of real solutions depending on the values of the parameters and computing a description of the regions of the space of parameters over which the number of real roots remains invariant. We design an algorithm for solving this problem. The formulas it outputs enjoy a determinantal structure. Under genericity assumptions, we show that its arithmetic complexity is polynomial in both the maximum degree $d$ and the number $s$ of the input inequalities and exponential in $nt+t^2$. The output formulas consist of polynomials of degree bounded by $(2s+n)d^{n+1}$. This is the first algorithm with such a singly exponential complexity. We report on practical experiments showing that a first implementation of this algorithm can tackle examples which were previously out of reach.


title: Comparison of stable spin textures in in-plane vs. out-of-plane magnetized exchange-biased multilayers

abstract: This paper delves into the origins and specificity of the unique stable spin textures (360{\deg} closed loop domain walls and skyrmions) observed in exchange-biased systems, with either in-plane or out-of-plane magnetic anisotropy. In the case of skyrmions, which are nanometer-sized bubbles consisting of closed-loop 180{\deg} walls in perpendicularly-magnetized media, the stability of these spin textures arises from the existence of Dzyaloshinskii-Moriya Interactions (DMI). These interactions induce chirality of the domain walls, yielding to some extent a so-called topological protection. More complex structures such as skyrmoniums have been observed, consisting of closed loop 360{\deg} walls. Recently, skyrmions formed in the absence of an applied external magnetic field have been stabilized in exchange biased out-of-plane magnetized systems. About two decades ago, another type of stable spin-textures were observed in exchange biased systems, with in-plane magnetization, in particular in the pinned reference layer of spin-valves. These textures consist of 360{\deg}-domain-wall rings, the stability of which arises from the easy-plane shape anisotropy of these layers. In this paper, we compare these spin-textures and highlight the similarities and differences in their formation, structure and origin of their stability.


title: Cygnus OB2 as a test case for particle acceleration in young massive star clusters

abstract: In this paper, we focus on the scientific case of Cygnus OB2, a northern sky young massive stellar cluster (YMSC) located towards the Cygnus X star-forming complex. We consider a model that assumes cosmic ray acceleration occurring only at the termination shock of the collective wind of the YMSC and address the question of whether, and under what hypotheses, hadronic emission by the accelerated particles can account for the observations of Cygnus OB2 obtained by Fermi-LAT, HAWC and LHAASO. In order to do so, we carefully review the available information on this source, also confronting different estimates of the relevant parameters with ad hoc developed simulations. Once other model parameters are fixed, the spectral and spatial properties of the emission are found to be very sensitive to the unknown properties of the turbulent magnetic field. Comparison with the data shows that our suggested scenario is incompatible with Kolmogorov turbulence. Assuming Kraichnan or Bohm type turbulence spectra, the model accounts well for the Very High Energy (VHE) data, but fails to reproduce the centrally peaked morphology observed by Fermi-LAT, suggesting that additional effects might be important for lower energy $\gamma$-ray emission. We discuss how additional progress can be made with a more detailed and extended knowledge of the spectral and morphological properties of the emission.


title: HYPO: Hyperspherical Out-of-Distribution Generalization

abstract: Out-of-distribution (OOD) generalization is critical for machine learning models deployed in the real world. However, achieving this can be fundamentally challenging, as it requires the ability to learn invariant features across different domains or environments. In this paper, we propose a novel framework HYPO (HYPerspherical OOD generalization) that provably learns domain-invariant representations in a hyperspherical space. In particular, our hyperspherical learning algorithm is guided by intra-class variation and inter-class separation principles -- ensuring that features from the same class (across different training domains) are closely aligned with their class prototypes, while different class prototypes are maximally separated. We further provide theoretical justifications on how our prototypical learning objective improves the OOD generalization bound. Through extensive experiments on challenging OOD benchmarks, we demonstrate that our approach outperforms competitive baselines and achieves superior performance. Code is available at https://github.com/deeplearning-wisc/hypo.


title: "Layer-by-layer" Unsupervised Clustering of Statistically Relevant Fluctuations in Noisy Time-series Data of Complex Dynamical Systems

abstract: Complex systems are typically characterized by intricate internal dynamics that are often hard to elucidate. Ideally, this requires methods that allow to detect and classify in unsupervised way the microscopic dynamical events occurring in the system. However, decoupling statistically relevant fluctuations from the internal noise remains most often non-trivial. Here we describe "Onion Clustering": a simple, iterative unsupervised clustering method that efficiently detects and classifies statistically relevant fluctuations in noisy time-series data. We demonstrate its efficiency by analyzing simulation and experimental trajectories of various systems with complex internal dynamics, ranging from the atomic- to the microscopic-scale, in- and out-of-equilibrium. The method is based on an iterative detect-classify-archive approach. In similar way as peeling the external (evident) layer of an onion reveals the internal hidden ones, the method performs a first detection and classification of the most populated dynamical environment in the system and of its characteristic noise. The signal of such dynamical cluster is then removed from the time-series data and the remaining part, cleared-out from its noise, is analyzed again. At every iteration, the detection of hidden dynamical sub-domains is facilitated by an increasing (and adaptive) relevance-to-noise ratio. The process iterates until no new dynamical domains can be uncovered, revealing, as an output, the number of clusters that can be effectively distinguished/classified in statistically robust way as a function of the time-resolution of the analysis. Onion Clustering is general and benefits from clear-cut physical interpretability. We expect that it will help analyzing a variety of complex dynamical systems and time-series data.


title: Extensible Multi-Granularity Fusion Network for Aspect-based Sentiment Analysis

abstract: Aspect-based Sentiment Analysis (ABSA) evaluates sentiment expressions within a text to comprehend sentiment information. Previous studies integrated external knowledge, such as knowledge graphs, to enhance the semantic features in ABSA models. Recent research has examined the use of Graph Neural Networks (GNNs) on dependency and constituent trees for syntactic analysis. With the ongoing development of ABSA, more innovative linguistic and structural features are being incorporated (e.g. latent graph), but this also introduces complexity and confusion. As of now, a scalable framework for integrating diverse linguistic and structural features into ABSA does not exist. This paper presents the Extensible Multi-Granularity Fusion (EMGF) network, which integrates information from dependency and constituent syntactic, attention semantic , and external knowledge graphs. EMGF, equipped with multi-anchor triplet learning and orthogonal projection, efficiently harnesses the combined potential of each granularity feature and their synergistic interactions, resulting in a cumulative effect without additional computational expenses. Experimental findings on SemEval 2014 and Twitter datasets confirm EMGF's superiority over existing ABSA methods.


title: Multi-Intent Attribute-Aware Text Matching in Searching

abstract: Text matching systems have become a fundamental service in most searching platforms. For instance, they are responsible for matching user queries to relevant candidate items, or rewriting the user-input query to a pre-selected high-performing one for a better search experience. In practice, both the queries and items often contain multiple attributes, such as the category of the item and the location mentioned in the query, which represent condensed key information that is helpful for matching. However, most of the existing works downplay the effectiveness of attributes by integrating them into text representations as supplementary information. Hence, in this work, we focus on exploring the relationship between the attributes from two sides. Since attributes from two ends are often not aligned in terms of number and type, we propose to exploit the benefit of attributes by multiple-intent modeling. The intents extracted from attributes summarize the diverse needs of queries and provide rich content of items, which are more refined and abstract, and can be aligned for paired inputs. Concretely, we propose a multi-intent attribute-aware matching model (MIM), which consists of three main components: attribute-aware encoder, multi-intent modeling, and intent-aware matching. In the attribute-aware encoder, the text and attributes are weighted and processed through a scaled attention mechanism with regard to the attributes' importance. Afterward, the multi-intent modeling extracts intents from two ends and aligns them. Herein, we come up with a distribution loss to ensure the learned intents are diverse but concentrated, and a kullback-leibler divergence loss that aligns the learned intents. Finally, in the intent-aware matching, the intents are evaluated by a self-supervised masking task, and then incorporated to output the final matching result.


title: Instability of periodic waves for the Korteweg-de Vries-Burgers equation with monostable source

abstract: In this paper, it is proved that the KdV-Burgers equation with a monostable source term of Fisher-KPP type has small-amplitude periodic traveling wave solutions with finite fundamental period. These solutions emerge from a subcritical local Hopf bifurcation around a critical value of the wave speed. Moreover, it is shown that these periodic waves are spectrally unstable as solutions to the PDE, that is, the Floquet (continuous) spectrum of the linearization around each periodic wave intersects the unstable half plane of complex values with positive real part. To that end, classical perturbation theory for linear operators is applied in order to prove that the spectrum of the linearized operator around the wave can be approximated by that of a constant coefficient operator around the zero solution, which intersects the unstable complex half plane.


title: From Uncertainty to Precision: Enhancing Binary Classifier Performance through Calibration

abstract: The assessment of binary classifier performance traditionally centers on discriminative ability using metrics, such as accuracy. However, these metrics often disregard the model's inherent uncertainty, especially when dealing with sensitive decision-making domains, such as finance or healthcare. Given that model-predicted scores are commonly seen as event probabilities, calibration is crucial for accurate interpretation. In our study, we analyze the sensitivity of various calibration measures to score distortions and introduce a refined metric, the Local Calibration Score. Comparing recalibration methods, we advocate for local regressions, emphasizing their dual role as effective recalibration tools and facilitators of smoother visualizations. We apply these findings in a real-world scenario using Random Forest classifier and regressor to predict credit default while simultaneously measuring calibration during performance optimization.


title: Discovering Decision Manifolds to Assure Trusted Autonomous Systems

abstract: Developing and fielding complex systems requires proof that they are reliably correct with respect to their design and operating requirements. Especially for autonomous systems which exhibit unanticipated emergent behavior, fully enumerating the range of possible correct and incorrect behaviors is intractable. Therefore, we propose an optimization-based search technique for generating high-quality, high-variance, and non-trivial data which captures the range of correct and incorrect responses a system could exhibit. This manifold between desired and undesired behavior provides a more detailed understanding of system reliability than traditional testing or Monte Carlo simulations. After discovering data points along the manifold, we apply machine learning techniques to quantify the decision manifold's underlying mathematical function. Such models serve as correctness properties which can be utilized to enable both verification during development and testing, as well as continuous assurance during operation, even amidst system adaptations and dynamic operating environments. This method can be applied in combination with a simulator in order to provide evidence of dependability to system designers and users, with the ultimate aim of establishing trust in the deployment of complex systems. In this proof-of-concept, we apply our method to a software-in-the-loop evaluation of an autonomous vehicle.


title: Empowering Federated Learning for Massive Models with NVIDIA FLARE

abstract: In the ever-evolving landscape of artificial intelligence (AI) and large language models (LLMs), handling and leveraging data effectively has become a critical challenge. Most state-of-the-art machine learning algorithms are data-centric. However, as the lifeblood of model performance, necessary data cannot always be centralized due to various factors such as privacy, regulation, geopolitics, copyright issues, and the sheer effort required to move vast datasets. In this paper, we explore how federated learning enabled by NVIDIA FLARE can address these challenges with easy and scalable integration capabilities, enabling parameter-efficient and full supervised fine-tuning of LLMs for natural language processing and biopharmaceutical applications to enhance their accuracy and robustness.


title: Tuning-Free Stochastic Optimization

abstract: Large-scale machine learning problems make the cost of hyperparameter tuning ever more prohibitive. This creates a need for algorithms that can tune themselves on-the-fly. We formalize the notion of "tuning-free" algorithms that can match the performance of optimally-tuned optimization algorithms up to polylogarithmic factors given only loose hints on the relevant problem parameters. We consider in particular algorithms that can match optimally-tuned Stochastic Gradient Descent (SGD). When the domain of optimization is bounded, we show tuning-free matching of SGD is possible and achieved by several existing algorithms. We prove that for the task of minimizing a convex and smooth or Lipschitz function over an unbounded domain, tuning-free optimization is impossible. We discuss conditions under which tuning-free optimization is possible even over unbounded domains. In particular, we show that the recently proposed DoG and DoWG algorithms are tuning-free when the noise distribution is sufficiently well-behaved. For the task of finding a stationary point of a smooth and potentially nonconvex function, we give a variant of SGD that matches the best-known high-probability convergence rate for tuned SGD at only an additional polylogarithmic cost. However, we also give an impossibility result that shows no algorithm can hope to match the optimal expected convergence rate for tuned SGD with high probability.


title: Tailoring spatiotemporal wavepackets via two-dimensional space-time duality

abstract: Space-time (ST) beams, ultrafast optical wavepackets with customized spatial and temporal characteristics, present a significant contrast to conventional spatial-structured light and hold the potential to revolutionize our understanding and manipulation of light. However, the progress in ST beam research has been constrained by the absence of a universal framework for their analysis and generation. Here, we introduce the concept of "two-dimensional ST duality", establishing a foundational duality between spatial-structured light and ST beams. We show that breaking the exact balance between paraxial diffraction and narrow-band dispersion is crucial for guiding the dynamics of ST wavepackets. Leveraging this insight, we pioneer a versatile complex-amplitude modulation strategy, enabling the precise crafting of ST beams with an exceptional fidelity exceeding 97%. Furthermore, we uncover a new range of ST wavepackets by harnessing the exact one-to-one relationship between scalar spatial-structured light and ST beams. Our findings suggest a paradigm shift opportunity in ST beam research and may apply to a broader range of wave physics systems.


title: Finite and infinite order differential properties of the reduced Mittag--Leffler polynomials

abstract: This paper deals with the Mittag-Leffler polynomials (MLP) by extracting their essence which consists of real polynomials with fine properties. They are orthogonal on the real line instead of the imaginary axes for MLP. Beside recurrence relations and zeros, we will point to the closed form of its Fourier transform. The most important contribution consists of the new differential properties, especially the finite and infinite differential equation.


title: Estimation of non-uniform blur using a patch-based regression convolutional neural network (CNN)

abstract: The non-uniform blur of atmospheric turbulence can be modeled as a superposition of linear motion blur kernels at a patch level. We propose a regression convolutional neural network (CNN) to predict angle and length of a linear motion blur kernel for varying sized patches. We analyze the robustness of the network for different patch sizes and the performance of the network in regions where the characteristics of the blur are transitioning. Alternating patch sizes per epoch in training, we find coefficient of determination scores across a range of patch sizes of $R^2>0.78$ for length and $R^2>0.94$ for angle prediction. We find that blur predictions in regions overlapping two blur characteristics transition between the two characteristics as overlap changes. These results validate the use of such a network for prediction of non-uniform blur characteristics at a patch level.


title: Computing Nash Equilibria in Potential Games with Private Uncoupled Constraints

abstract: We consider the problem of computing Nash equilibria in potential games where each player's strategy set is subject to private uncoupled constraints. This scenario is frequently encountered in real-world applications like road network congestion games where individual drivers adhere to personal budget and fuel limitations. Despite the plethora of algorithms that efficiently compute Nash equilibria (NE) in potential games, the domain of constrained potential games remains largely unexplored. We introduce an algorithm that leverages the Lagrangian formulation of NE. The algorithm is implemented independently by each player and runs in polynomial time with respect to the approximation error, the sum of the size of the action-spaces, and the game's inherent parameters.


title: An elaborate new proof of Cayley's formula

abstract: We construct a bijection between certain Deodhar components of a braid variety constructed from an affine Kac-Moody group of type $A_{n-1}$ and vertex-labeled trees on $n$ vertices. By an argument of Galashin, Lam, and Williams using Opdam's trace formula in the affine Hecke algebra and an identity due to Haglund, we obtain an elaborate new proof for the enumeration of the number of vertex-labeled trees on $n$ vertices.


title: Generalising Planning Environment Redesign

abstract: In Environment Design, one interested party seeks to affect another agent's decisions by applying changes to the environment. Most research on planning environment (re)design assumes the interested party's objective is to facilitate the recognition of goals and plans, and search over the space of environment modifications to find the minimal set of changes that simplify those tasks and optimise a particular metric. This search space is usually intractable, so existing approaches devise metric-dependent pruning techniques for performing search more efficiently. This results in approaches that are not able to generalise across different objectives and/or metrics. In this paper, we argue that the interested party could have objectives and metrics that are not necessarily related to recognising agents' goals or plans. Thus, to generalise the task of Planning Environment Redesign, we develop a general environment redesign approach that is metric-agnostic and leverages recent research on top-quality planning to efficiently redesign planning environments according to any interested party's objective and metric. Experiments over a set of environment redesign benchmarks show that our general approach outperforms existing approaches when using well-known metrics, such as facilitating the recognition of goals, as well as its effectiveness when solving environment redesign tasks that optimise a novel set of different metrics.


title: TIaRA TESS 1: Estimating exoplanet yields from Year 1 and Year 3 SPOC lightcurves

abstract: We present a study of the detection efficiency for the TESS mission, focusing on the yield of longer-period transiting exoplanets ($P > 25$ days). We created the Transit Investigation and Recoverability Application (TIaRA) pipeline to use real TESS data with injected transits to create sensitivity maps which we combine with occurrence rates derived from Kepler. This allows us to predict longer-period exoplanet yields, which will help design follow-up photometric and spectroscopic programs, such as the NGTS Monotransit Program. For the TESS Year 1 and Year 3 SPOC FFI lightucurves, we find $2271^{+241}_{-138}$ exoplanets should be detectable around AFGKM dwarf host stars. We find $215^{+37}_{-23}$ exoplanets should be detected from single-transit events or "monotransits". An additional $113^{+22}_{-13}$ detections should result from "biennial duotransit" events with one transit in Year 1 and a second in Year 3. We also find that K dwarf stars yield the most detections by TESS per star observed. When comparing our results to the TOI catalogue we find our predictions agree within $1\sigma$ of the number of discovered systems with periods between 0.78 and 6.25 days and agree to $2\sigma$ for periods between 6.25 and 2 days. Beyond periods of 25 days we predict $403^{+64}_{-38}$ detections, which is 3 times as many detections as there are in the TOI catalogue with $>3\sigma$ confidence. This indicates a significant number of long-period planets yet to be discovered from TESS data as monotransits or biennial duotransits.


title: Flux qubit-based detector of microwave photons

abstract: A theory of detection of microwave photons with a flux qubit-based detector is presented. We consider semiclassical approximation with the electromagnetic field being in a coherent state. Flux qubit is considered as a multilevel quantum system (qudit). By solving the Lindblad equation, we describe the time evolution of occupations of the qudit's levels for readout and reset stages of detection. When considering the reset stage, the time evolution is described by multiple avoided-level crossings, thus providing a multilevel Landau-Zener-Stuckelberg-Majorana (LZSM) problem. In addition to numerical calculations, we present an approximate analytical solution for the description of the reset stage dynamics based on the adiabatic-impulse approximation and rate equation approach. Our theory may be useful for the theoretical description of driven-dissipative dynamics of qudits, including applications such as single-photon detection.


title: Towards a mathematical theory for consistency training in diffusion models

abstract: Consistency models, which were proposed to mitigate the high computational overhead during the sampling phase of diffusion models, facilitate single-step sampling while attaining state-of-the-art empirical performance. When integrated into the training phase, consistency models attempt to train a sequence of consistency functions capable of mapping any point at any time step of the diffusion process to its starting point. Despite the empirical success, a comprehensive theoretical understanding of consistency training remains elusive. This paper takes a first step towards establishing theoretical underpinnings for consistency models. We demonstrate that, in order to generate samples within $\varepsilon$ proximity to the target in distribution (measured by some Wasserstein metric), it suffices for the number of steps in consistency learning to exceed the order of $d^{5/2}/\varepsilon$, with $d$ the data dimension. Our theory offers rigorous insights into the validity and efficacy of consistency models, illuminating their utility in downstream inference tasks.

categories: stat.ML cs.IT cs.LG math.IT math.ST stat.TH


title: Protoplanet collisions: new scaling laws from SPH simulations

abstract: One common approach for solving collisions between protoplanets in simulations of planet formation is to employ analytical scaling laws. The most widely used one was developed by Leinhardt & Stewart (2012) from a catalog of ~ 180 N-body simulations of rubble-pile collisions. In this work, we use a new catalogue of more than 20,000 SPH simulations to test the validity and the prediction capability of Leinhardt & Stewart (2012) scaling laws. We find that these laws overestimate the fragmentation efficiency in the merging regime and they are not able to properly reproduce the collision outcomes in the super-catastrophic regime. In the merging regime, we also notice a significant dependence between the collision outcome, in terms of the largest remnant mass, and the relative mass of the colliding protoplanets. Here, we present a new set of scaling laws that are able to better predict the collision outcome in all regimes and it is also able to reproduce the observed dependence on the mass ratio. We compare our new scaling laws against a machine learning approach and obtain similar prediction efficiency.


title: Causal Discovery to Understand Hot Corrosion

abstract: Gas turbine superalloys experience hot corrosion, driven by factors including corrosive deposit flux, temperature, gas composition, and component material. The full mechanism still needs clarification and research often focuses on laboratory work. As such, there is interest in causal discovery to confirm the significance of factors and identify potential missing causal relationships or co-dependencies between these factors. The causal discovery algorithm Fast Causal Inference (FCI) has been trialled on a small set of laboratory data, with the outputs evaluated for their significance to corrosion propagation, and compared to existing mechanistic understanding. FCI identified the salt deposition flux as the most influential corrosion variable for this limited dataset. However, HCl was the second most influential for pitting regions, compared to temperature for more uniformly corroding regions. Thus FCI generated causal links aligned with literature from a randomised corrosion dataset, while also identifying the presence of two different degradation modes in operation.


title: Electrically tunable plasmonic metasurface as a matrix of nanoantennas

abstract: We report the fabrication and characterization of a plasmonic metasurface comprising electrically contacted sub-wavelength gold dipole nanoantennas, conformally coated by a thin hafnia film, an indium tin oxide layer and a backside mirror, forming metal-oxide-semiconductor (MOS) capacitors, for use as an electrically-tunable reflectarray or metasurface. By voltage biasing the nanoantennas through metallic connectors and leveraging the carrier refraction effect in the MOS capacitors, our measurements demonstrate phase control in reflection over a range of about 30 degrees, with a constant magnitude of reflection coefficient of 0.5, and the absence of secondary lobes. Comprehensive electromagnetic and quantum carrier models of the structure are developed and are in excellent agreement with the measurements. The metasurface holds promise for use as an optical phased array.


title: A comparison of mixed-models for the analysis of non-linear longitudinal data: application to late-life cognitive trajectories

abstract: Several mixed-effects models for longitudinal data have been proposed to accommodate the non-linearity of late-life cognitive trajectories and assess the putative influence of covariates on it. No prior research provides a side-by-side examination of these models to offer guidance on their proper application and interpretation. In this work, we examined five statistical approaches previously used to answer research questions related to non-linear changes in cognitive aging: the linear mixed model (LMM) with a quadratic term, LMM with splines, the functional mixed model, the piecewise linear mixed model, and the sigmoidal mixed model. We first theoretically describe the models. Next, using data from two prospective cohorts with annual cognitive testing, we compared the interpretation of the models by investigating associations of education on cognitive change before death. Lastly, we performed a simulation study to empirically evaluate the models and provide practical recommendations. Except for the LMM-quadratic, the fit of all models was generally adequate to capture non-linearity of cognitive change and models were relatively robust. Although spline-based models have no interpretable nonlinearity parameters, their convergence was easier to achieve, and they allow graphical interpretation. In contrast, piecewise and sigmoidal models, with interpretable non-linear parameters, may require more data to achieve convergence.


title: Fixation for $\mathcal{U}$-Ising and $\mathcal{U}$-voter dynamics with frozen vertices

abstract: The zero-temperature stochastic Ising model is a special case of the famous stochastic Ising model of statistical mechanics, and the voter model is another classical model in this field. In both models, each vertex of the graph $\mathbb{Z}^d$ can have one of two states, and can change state to match the state of its neighbors. In 2017, Morris proposed generalizations of these models, the $\mathcal{U}$-Ising and $\mathcal{U}$-voter dynamics, in which a vertex can change state to match the state of certain subsets of vertices near it. These generalizations were inspired by similar generalizations in the related model of bootstrap percolation, where Balister, Bollob\'as, Duminil-Copin, Morris, Przykucki, Smith and Uzzell were able to establish a very impressive universality classification of the generalized models. However, there have been very few results on the $\mathcal{U}$-Ising and $\mathcal{U}$-voter dynamics. The only one is due to Blanquicett in 2021, who obtained a few encouraging advances on the important question of fixation, which is only partially solved for the zero-temperature stochastic Ising model: will all vertices eventually settle on a given state or will them oscillate forever between the two states? In this work, we tackle a question which was solved for the zero-temperature stochastic Ising model by Damron, Eckner, Kogan, Newman and Sidoravicius in 2015: fixation when a fraction of the vertices of $\mathbb{Z}^d$ are frozen in one of the states. For $d=1$ and $2$, in most cases we prove that if all frozen vertices are in the same state, all vertices eventually settle at this state. Moreover, if vertices can be frozen in both states but the proportion of vertices frozen in the second state is small enough, we were able to establish a universality classification identifying the models in which all vertices settle in a given state.


title: Sourcerer: Sample-based Maximum Entropy Source Distribution Estimation

abstract: Scientific modeling applications often require estimating a distribution of parameters consistent with a dataset of observations - an inference task also known as source distribution estimation. This problem can be ill-posed, however, since many different source distributions might produce the same distribution of data-consistent simulations. To make a principled choice among many equally valid sources, we propose an approach which targets the maximum entropy distribution, i.e., prioritizes retaining as much uncertainty as possible. Our method is purely sample-based - leveraging the Sliced-Wasserstein distance to measure the discrepancy between the dataset and simulations - and thus suitable for simulators with intractable likelihoods. We benchmark our method on several tasks, and show that it can recover source distributions with substantially higher entropy than recent source estimation methods, without sacrificing the fidelity of the simulations. Finally, to demonstrate the utility of our approach, we infer source distributions for parameters of the Hodgkin-Huxley model from experimental datasets with thousands of single-neuron measurements. In summary, we propose a principled method for inferring source distributions of scientific simulator parameters while retaining as much uncertainty as possible.


title: Quantum walks, the discrete wave equation and Chebyshev polynomials

abstract: A quantum walk is the quantum analogue of a random walk. While it is relatively well understood how quantum walks can speed up random walk hitting times, it is a long-standing open question to what extent quantum walks can speed up the spreading or mixing rate of random walks on graphs. In this expository paper, inspired by a blog post by Terence Tao, we describe a particular perspective on this question that derives quantum walks from the discrete wave equation on graphs. This yields a description of the quantum walk dynamics as simply applying a Chebyshev polynomial to the random walk transition matrix. This perspective decouples the problem from its quantum origin, and highlights connections to earlier (non-quantum) work and the use of Chebyshev polynomials in random walk theory as in the Varopoulos-Carne bound. We illustrate the approach by proving a weak limit of the quantum walk dynamics on the lattice. This gives a different proof of the quadratically improved spreading behavior of quantum walks on lattices.


title: Small separators, upper bounds for $l^\infty$-widths, and systolic geometry

abstract: We investigate the dependence on the dimension in the inequalities that relate the volume of a closed submanifold $M^n\subset \mathbb{R}^N$ with its $l^\infty$-width $W^{l^\infty}_{n-1}(M^n)$ defined as the infimum over all continuous maps $\phi:M^n\longrightarrow K^{n-1}\subset\mathbb{R}^N$ of $sup_{x\in M^n}\Vert \phi(x)-x\Vert_{l^\infty}$. We prove that $W^{l^\infty}_{n-1}(M^n)\leq const\ \sqrt{n}\ vol(M^n)^{\frac{1}{n}}$, and if the codimension $N-n$ is equal to $1$, then $W^{l^\infty}_{n-1}(M^n)\leq 3\ vol(M^n)^{\frac{1}{n}}$. As a corollary, we prove that if $M^n\subset \mathbb{R}^N$ is essential, then there exists a non-contractible closed curve on $M^n$ contained in a cube in $\mathbb{R}^N$ with side length $const\ \sqrt{n}\ vol^{\frac{1}{n}}(M^n)$ with sides parallel to the coordinate axes. If the codimension is $1$, then the side length of the cube is $12\cdot vol^{\frac{1}{n}}(M^n)$.


title: PageRank and the Bradley-Terry model

abstract: PageRank and the Bradley-Terry model are competing approaches to ranking entities such as teams in sports tournaments or journals in citation networks. The Bradley-Terry model is a classical statistical method for ranking based on paired comparisons. The PageRank algorithm ranks nodes according to their importance in a network. Whereas Bradley-Terry scores are computed via maximum likelihood estimation, PageRanks are derived from the stationary distribution of a Markov chain. More recent work has shown maximum likelihood estimates for the Bradley-Terry model may be approximated from such a limiting distribution, an interesting connection that has been discovered and rediscovered over the decades. Here we show - through relatively simple mathematics - a connection between paired comparisons and PageRank that exploits the quasi-symmetry property of the Bradley-Terry model. This motivates a novel interpretation of Bradley-Terry scores as 'scaled' PageRanks, and vice versa, with direct implications for citation-based journal ranking metrics.


title: Retrieval-Augmented Thought Process as Sequential Decision Making

abstract: Large Language Models (LLMs) have demonstrated their strong ability to assist people and show "sparks of intelligence". However, several open challenges hinder their wider application: such as concerns over privacy, tendencies to produce hallucinations, and difficulties in handling long contexts. In this work, we address those challenges by introducing the Retrieval-Augmented Thought Process (RATP). Given access to external knowledge, RATP formulates the thought generation of LLMs as a multiple-step decision process. To optimize such a thought process, RATP leverages Monte-Carlo Tree Search, and learns a Q-value estimator that permits cost-efficient inference. In addressing the task of question-answering with private data, where ethical and security concerns limit LLM training methods, RATP achieves a 50% improvement over existing in-context retrieval-augmented language models.


title: Anomalous scaling in shell model turbulence

abstract: Shell model turbulence is a simplified mathematical framework that captures essential features of incompressible fluid turbulence such as the energy cascade, intermittency and anomalous scaling of the fluid observables. We perform a precision analysis of shell model of a complex velocity field in the steady state turbulent regime, including a calculation of the leading hundred anomalous scaling exponents, the probability distribution function of the magnitude and phase of the velocity and the correlations among them at different shells. We analyze the tail of velocity distribution function and find that the high moments exhibit a linear scaling that differs from Kolomogorov's. We explain the origin of this asymptotic scaling that offers a new insight to the structure of fluid turbulence.


title: PBADet: A One-Stage Anchor-Free Approach for Part-Body Association

abstract: The detection of human parts (e.g., hands, face) and their correct association with individuals is an essential task, e.g., for ubiquitous human-machine interfaces and action recognition. Traditional methods often employ multi-stage processes, rely on cumbersome anchor-based systems, or do not scale well to larger part sets. This paper presents PBADet, a novel one-stage, anchor-free approach for part-body association detection. Building upon the anchor-free object representation across multi-scale feature maps, we introduce a singular part-to-body center offset that effectively encapsulates the relationship between parts and their parent bodies. Our design is inherently versatile and capable of managing multiple parts-to-body associations without compromising on detection accuracy or robustness. Comprehensive experiments on various datasets underscore the efficacy of our approach, which not only outperforms existing state-of-the-art techniques but also offers a more streamlined and efficient solution to the part-body association challenge.


title: On super curves and supervolumes

abstract: We study the geometry of super curves with a chosen supervolume form. We consider the algebra of divergence free vector fields $S(1|N)$ associated to such curves. When $N=2$ its derived algebra, called $S(2)$, defines a special family of curves, named $S(2)$-super curves. We exhibit an involution on the moduli space of such curves that generalizes Deligne's involution for $N=1$ super curves. The fixed point set of this involution consists on Manin's $SUSY_2$-super curves. We describe the moduli spaces of these curves.


title: An introduction to $V$-filtrations

abstract: We give an introduction to the theory of $V$-filtrations of Malgrange and Kashiwara. After discussing the basic properties of this construction (in the case of a smooth hypersurface and, later, in the general case), we describe the connection with the theory of $b$-functions. As an example, we treat the case of weighted homogeneous isolated singularities. We discuss the compatibility of $V$-filtrations with proper push-forward and duality and the connection with nearby and vanishing cycles via the Riemann-Hilbert correspondence. We end by describing some invariants of singularities via the $V$-filtration.


title: Injecting Wiktionary to improve token-level contextual representations using contrastive learning

abstract: While static word embeddings are blind to context, for lexical semantics tasks context is rather too present in contextual word embeddings, vectors of same-meaning occurrences being too different (Ethayarajh, 2019). Fine-tuning pre-trained language models (PLMs) using contrastive learning was proposed, leveraging automatically self-augmented examples (Liu et al., 2021b). In this paper, we investigate how to inject a lexicon as an alternative source of supervision, using the English Wiktionary. We also test how dimensionality reduction impacts the resulting contextual word embeddings. We evaluate our approach on the Word-In-Context (WiC) task, in the unsupervised setting (not using the training set). We achieve new SoTA result on the original WiC test set. We also propose two new WiC test sets for which we show that our fine-tuning method achieves substantial improvements. We also observe improvements, although modest, for the semantic frame induction task. Although we experimented on English to allow comparison with related work, our method is adaptable to the many languages for which large Wiktionaries exist.


title: Differentially Private Zeroth-Order Methods for Scalable Large Language Model Finetuning

abstract: Fine-tuning on task-specific datasets is a widely-embraced paradigm of harnessing the powerful capability of pretrained LLMs for various downstream tasks. Due to the popularity of LLMs fine-tuning and its accompanying privacy concerns, differentially private (DP) fine-tuning of pretrained LLMs has been widely used to safeguarding the privacy of task-specific datasets. Lying at the design core of DP LLM fine-tuning methods is the satisfactory tradeoff among privacy, utility, and scalability. Most existing methods build upon the seminal work of DP-SGD. Despite pushing the scalability of DP-SGD to its limit, DP-SGD-based fine-tuning methods are unfortunately limited by the inherent inefficiency of SGD. In this paper, we investigate the potential of DP zeroth-order methods for LLM pretraining, which avoids the scalability bottleneck of SGD by approximating the gradient with the more efficient zeroth-order gradient. Rather than treating the zeroth-order method as a drop-in replacement for SGD, this paper presents a comprehensive study both theoretically and empirically. First, we propose the stagewise DP zeroth-order method (DP-ZOSO) that dynamically schedules key hyperparameters. This design is grounded on the synergy between DP random perturbation and the gradient approximation error of the zeroth-order method, and its effect on fine-tuning trajectory. We provide theoretical analysis for both proposed methods. We conduct extensive empirical analysis on both encoder-only masked language model and decoder-only autoregressive language model, achieving impressive results in terms of scalability and utility (compared with DPZero, DP-ZOPO improves 4.5% on SST-5, 5.5% on MNLI with RoBERTa-Large and 9.2% on CB, 3.9% on BoolQ with OPT-2.7B when $\epsilon=4$).


title: A Benchmark Grocery Dataset of Realworld Point Clouds From Single View

abstract: Fine-grained grocery object recognition is an important computer vision problem with broad applications in automatic checkout, in-store robotic navigation, and assistive technologies for the visually impaired. Existing datasets on groceries are mainly 2D images. Models trained on these datasets are limited to learning features from the regular 2D grids. While portable 3D sensors such as Kinect were commonly available for mobile phones, sensors such as LiDAR and TrueDepth, have recently been integrated into mobile phones. Despite the availability of mobile 3D sensors, there are currently no dedicated real-world large-scale benchmark 3D datasets for grocery. In addition, existing 3D datasets lack fine-grained grocery categories and have limited training samples. Furthermore, collecting data by going around the object versus the traditional photo capture makes data collection cumbersome. Thus, we introduce a large-scale grocery dataset called 3DGrocery100. It constitutes 100 classes, with a total of 87,898 3D point clouds created from 10,755 RGB-D single-view images. We benchmark our dataset on six recent state-of-the-art 3D point cloud classification models. Additionally, we also benchmark the dataset on few-shot and continual learning point cloud classification tasks. Project Page: https://bigdatavision.org/3DGrocery100/.


title: First-Order Phase Transition in Perovskites Pr$_{0.67}$Sr$_{0.33}$MnO$_{3}$ - Magneto-Caloric Properties -- Effect of Multi-Spin Interaction

abstract: We show by extensive Monte Carlo simulations that we need a multi-spin interaction in addition to pairwise interactions in order to reproduce the temperature dependence of the experimental magnetization observed in the perovskite compound Pr$_{0.67}$Sr$_{0.33}$MnO$_{3}$. The multi-spin interaction is introduced in the Hamiltonian as follows: each spin interacts simultaneously with its four nearest-neighbors. It does not have the reversal invariance as in a pairwise interaction where reversing the directions of two spins leaves the interaction energy invariant. As a consequence, it competes with the pairwise interactions between magnetic ions. The multi-spin interaction allows the sample magnetization $M$ to increase, to decrease or to have a plateau with increasing $T$. In this paper we show that $M$ increases with increasing $T$ before making a vertical fall at the transition temperature $T_C$, in contrast to the usual decrease of $M$ with increasing $T$ in most of magnetic systems. This result is in an excellent agreement with the experimental data observed in Pr$_{0.67}$Sr$_{0.33}$MnO$_{3}$. Furthermore, we show by the energy histogram taken at $T_C$ that the transition is clearly of first order. We also calculate the magnetic entropy change $|\Delta S_m|$ and the Relative Cooling Power (RCP) by using the set of curves of $M$ obtained under an applied magnetic field $H$ varying from 0 to 5 Tesla across the transition temperature region. We obtain a good agreement with experiments on $|\Delta S_m|$ and the values of RCP. This perovskite compound has a good potential in refrigeration application due to its high RCP.


title: On Computationally Efficient Multi-Class Calibration

abstract: Consider a multi-class labelling problem, where the labels can take values in $[k]$, and a predictor predicts a distribution over the labels. In this work, we study the following foundational question: Are there notions of multi-class calibration that give strong guarantees of meaningful predictions and can be achieved in time and sample complexities polynomial in $k$? Prior notions of calibration exhibit a tradeoff between computational efficiency and expressivity: they either suffer from having sample complexity exponential in $k$, or needing to solve computationally intractable problems, or give rather weak guarantees. Our main contribution is a notion of calibration that achieves all these desiderata: we formulate a robust notion of projected smooth calibration for multi-class predictions, and give new recalibration algorithms for efficiently calibrating predictors under this definition with complexity polynomial in $k$. Projected smooth calibration gives strong guarantees for all downstream decision makers who want to use the predictor for binary classification problems of the form: does the label belong to a subset $T \subseteq [k]$: e.g. is this an image of an animal? It ensures that the probabilities predicted by summing the probabilities assigned to labels in $T$ are close to some perfectly calibrated binary predictor for that task. We also show that natural strengthenings of our definition are computationally hard to achieve: they run into information theoretic barriers or computational intractability. Underlying both our upper and lower bounds is a tight connection that we prove between multi-class calibration and the well-studied problem of agnostic learning in the (standard) binary prediction setting.

categories: cs.LG cs.CC cs.DS math.ST stat.ML stat.TH


title: Understanding fitness landscapes in morpho-evolution via local optima networks

abstract: Morpho-evolution (ME) refers to the simultaneous optimisation of a robot's design and controller to maximise performance given a task and environment. Many genetic encodings have been proposed which are capable of representing design and control. Previous research has provided empirical comparisons between encodings in terms of their performance with respect to an objective function and the diversity of designs that are evaluated, however there has been no attempt to explain the observed findings. We address this by applying Local Optima Network (LON) analysis to investigate the structure of the fitness landscapes induced by three different encodings when evolving a robot for a locomotion task, shedding new light on the ease by which different fitness landscapes can be traversed by a search process. This is the first time LON analysis has been applied in the field of ME despite its popularity in combinatorial optimisation domains; the findings will facilitate design of new algorithms or operators that are customised to ME landscapes in the future.


title: Recursive expansion of Tanner graph: a method to construct stabilizer codes with high coding rate

abstract: Quantum stabilizer codes face the problem of low coding rate. In this article, following the idea of recursively expanding Tanner graph proposed in our previous work, we try to construct new stabilizer codes with high coding rate, and propose XZ-type Tanner-graph-recursive-expansion (XZ-TGRE) code and Tanner-graph-recursive-expansion hypergraph product (TGRE-HP) code. XZ-TGRE code have zero asymptotic coding rate, but its coding rate tends to zero extremely slowly with the growth of code length. Under the same code length, its coding rate is much higher than that of surface code. The coding rate of TGRE-HP is the constant 0.2, which is the highest constant coding rate of stabilizer codes to our best knowledge. We prove that the code distance of XZ-TGRE code scales as $O(log(N))$, and that of TGRE-HP code scales as $O(\log \sqrt{N})$, where $N$ is the code length. Moreover, the code capacity noise threshold of XZ-TGRE code is around 0.078, and that of TGRE-HP code is around 0.096. This articles shows that the idea of recursively expanding Tanner graph might have potential to construct quantum codes with good performance.


title: Uranus's influence on Neptune's exterior mean motion resonances

abstract: Neptune's external mean motion resonances play an important role in sculpting the observed population of transneptunian objects (TNOs). The population of scattering TNOs are known to 'stick' to Neptune's resonances while evolving in semimajor axis ($a$), though simulations show that resonance sticking is less prevalent at $a\gtrsim200-250$ au. Here we present an extensive numerical exploration of the strengths of Neptune's resonances for scattering TNOs with perihelion distances $q=33$ au. We show that the drop-off in resonance sticking for the large $a$ scattering TNOs is not a generic feature of scattering dynamics, but can instead be attributed to the specific configuration of Neptune and Uranus in our solar system. In simulations with just Uranus removed from the giant planet system, Neptune's resonances are strong in the scattering population out to at least $\sim300$ au. Uranus and Neptune are near a 2:1 period ratio, and the variations in Neptune's orbit resulting from this near resonance are responsible for destabilizing Neptune's resonances for high-$e$ TNO orbits beyond the $\sim20$:1 resonance at $a\approx220$ au. Direct interactions between Uranus and the scattering population are responsible for slightly weakening Neptune's closer-in resonances. In simulations where Neptune and Uranus are placed in their mutual 2:1 resonance, we see almost no stable libration of scattering particles in Neptune's external resonances. Our results have important implications for how the strengths of Neptune's distant resonances varied during the epoch of planet migration when the Neptune-Uranus period ratio was evolving. These strength variations likely affected the distant scattering, resonant, and detached TNO populations.


title: Random optimization problems at fixed temperatures

abstract: This article considers a class of disordered mean-field combinatorial optimization problems. We focus on the Gibbs measure, where the inverse temperature does not vary with the size of the graph and the edge weights are sampled from a general distribution under mild assumptions. Our results consist of the Law of Large Numbers and Central Limit Theorems for the log-partition function, the weight of a typical configuration, and the Gibbs average in both quenched and annealed forms. We also derive quenched Poisson convergence for the size of the intersection of two independent samples, yielding replica symmetry of the model. Applications cover popular models from the literature, such as the Minimal Matching Problem, Traveling Salesman Problem, and Minimal Spanning Tree Problem, on a sequence of deterministic and random dense block graphs of increasing size.


title: Schr\"odinger type equations with singular coefficients and lower order terms

abstract: In this paper we investigate the well-posedness of the Cauchy problem for a Schr\"odinger operator with singular lower order terms. We allow distributional coefficients and we approach this problem via the regularising methods at the core of the theory of very weak solutions. We prove that a very weak solution exists and it is unique modulo negligible perturbations. Very weak solutions converge to classical solutions when the equation coefficients are regular enough.


title: Aya Model: An Instruction Finetuned Open-Access Multilingual Language Model

abstract: Recent breakthroughs in large language models (LLMs) have centered around a handful of data-rich languages. What does it take to broaden access to breakthroughs beyond first-class citizen languages? Our work introduces Aya, a massively multilingual generative language model that follows instructions in 101 languages of which over 50% are considered as lower-resourced. Aya outperforms mT0 and BLOOMZ on the majority of tasks while covering double the number of languages. We introduce extensive new evaluation suites that broaden the state-of-art for multilingual eval across 99 languages -- including discriminative and generative tasks, human evaluation, and simulated win rates that cover both held-out tasks and in-distribution performance. Furthermore, we conduct detailed investigations on the optimal finetuning mixture composition, data pruning, as well as the toxicity, bias, and safety of our models. We open-source our instruction datasets and our model at https://hf.co/CohereForAI/aya-101


title: Surface gravity in spherically symmetric collapsing stars

abstract: Here we consider the generalized Oppenheimer-Snyder collapse of a star into a four-dimensional Einstein-Gauss-Bonnet black hole as well as a class of regular black holes labeled by the polytropic index of the stellar matter. We then analyze the nature of the horizon and the corresponding surface gravity outside and inside the star. The Hayward and Nielsen-Visser dynamical surface gravity are in agreement with the one resulting from the Killing vector of the outer static metric. However, these two definitions inside the star do not coincide with the Killing surface gravity outside the star when the star crosses the event horizon. This motivates us to study the surface gravity using Fodor's approach to have a unique surface gravity at the mentioned moment. Then the extremality condition and the first law of thermodynamics are discussed at the trapping horizon of the star.


title: Encoding Majorana codes

abstract: To implement a quantum error correction protocol, we first need a scheme to prepare our state in the correct subspace of the code, and this can be done using a unitary encoding circuit. Majorana codes are special since any gates that transform such codes must preserve fermionic parity. In this paper, we present an algorithm that uses the stabilizer matrix to compute unitary encoding circuits for Majorana codes. We present two approaches, both of which use a version of Gaussian elimination with row operations replaced with elementary fermionic Clifford operations. One approach uses an additional ancilla mode and works for all Majorana stabilizer codes, while the second approach does not use ancilla but does not work if the total parity is inside the stabilizer group.


title: Interpreting effective energy barriers to membrane permeation in terms of a heterogeneous energy landscape

abstract: Major efforts in recent years have been directed towards understanding molecular transport in polymeric membranes, in particular reverse osmosis and nanofiltration membranes. Transition-state theory is an increasingly common approach to explore mechanisms of transmembrane permeation with molecular details, but most applications treat all free energy barriers to transport within the membrane as equal. This assumption neglects the inherent structural and chemical heterogeneity in polymeric membranes. In this work, we expand the transition-state theory framework to include distributions of membrane free energy barriers. We show that the highest free energy barriers along the most permeable paths, rather than typical paths, provide the largest contributions to the experimentally-observed effective free energy barrier. We show that even moderate, random heterogeneity in molecular barriers will significantly impact how we interpret the mechanisms of transport through membranes. Simplified interpretations of experimentally measured barriers can lead to incorrect assumptions about the underlying mechanisms governing transport and miss the mechanisms most relevant to the overall permeability.


title: Self-heating effects and switching dynamics in graphene multiterminal Josephson junctions

abstract: We experimentally investigate the electronic transport properties of a three-terminal graphene Josephson junction. We find that self-heating effects strongly influence the behaviour of this multiterminal Josephson junction (MTJJ) system. We show that existing simulation methods based on resistively and capacitively shunted Josephson junction networks can be significantly improved by taking into account these heating effects. We also investigate the phase dynamics in our MTJJ by measuring its switching current distribution and find correlated switching events in different junctions. We show that the switching dynamics is governed by phase diffusion at low temperatures. Furthermore, we find that self-heating introduces additional damping which results in overdamped I-V characteristics when normal and supercurrents coexist in the device.


title: Best Practices for Facing the Security Challenges of Internet of Things Devices Focusing on Software Development Life Cycle

abstract: In the past few years, the number of IoT devices has grown substantially, and this trend is likely to continue. An increasing amount of effort is being put into developing software for the ever-increasing IoT devices. Every IoT system at its core has software that enables the devices to function efficiently. But security has always been a concern in this age of information and technology. Security for IoT devices is now a top priority due to the growing number of threats. This study introduces best practices for ensuring security in the IoT, with an emphasis on guidelines to be utilized in software development for IoT devices. The objective of the study is to raise awareness of potential threats, emphasizing the secure software development lifecycle. The study will also serve as a point of reference for future developments and provide a solid foundation for securing IoT software and dealing with vulnerabilities.


title: Ducci on $\mathbb{Z}_m^3$ and the Max Period

abstract: Let $D(x_1, x_2, ..., x_n)=(x_1+x_2 \;\text{mod} \; m, x_2+x_3 \; \text{mod} \; m, ..., x_n+x_1 \; \text{mod} \; m)$ where $D \in End(\mathbb{Z}_m^n)$ be the Ducci function. The sequence $\{D^k(\mathbf{u})\}_{k=0}^{\infty}$ will eventually enter a cycle. If $n=3$, we aim to establish the longest a cycle can be for a given $m$.


title: Generalizing across Temporal Domains with Koopman Operators

abstract: In the field of domain generalization, the task of constructing a predictive model capable of generalizing to a target domain without access to target data remains challenging. This problem becomes further complicated when considering evolving dynamics between domains. While various approaches have been proposed to address this issue, a comprehensive understanding of the underlying generalization theory is still lacking. In this study, we contribute novel theoretic results that aligning conditional distribution leads to the reduction of generalization bounds. Our analysis serves as a key motivation for solving the Temporal Domain Generalization (TDG) problem through the application of Koopman Neural Operators, resulting in Temporal Koopman Networks (TKNets). By employing Koopman Operators, we effectively address the time-evolving distributions encountered in TDG using the principles of Koopman theory, where measurement functions are sought to establish linear transition relations between evolving domains. Through empirical evaluations conducted on synthetic and real-world datasets, we validate the effectiveness of our proposed approach.


title: Carrier Mobility and High-Field Velocity in 2D Transition Metal Dichalcogenides: Degeneracy and Screening

abstract: The effect of degeneracy and the impact of free-carrier screening on a low-field mobility and a high-field drift velocity in MoS2 and WS2 are explored using an in-house ensemble Monte Carlo simulator. Electron low field mobility increases to 8400 cm2/Vs for MoS2 and to 12040 cm2/Vs for WS2 when temperature decreases to 77 K and carrier concentration is around 5e12 cm-2. In the case of holes, best mobility values were 9320 cm2/Vs and 13290 cm2 per Vs, reached at 77 K, while at room temperature these fall to 80 cm2/Vs and 150 cm2/Vs for MoS2 and WS2, respectively. The carrier screening effect plays a major role at low fields, and low and intermediate temperatures, where a combination of large occupancy of primary valleys and carrier-phonon interactions dominated by relatively low energy exchange processes results in an enhanced screening of intrinsic scattering. For electrons, degeneracy yields to transport in secondary valleys, which plays an important role in the decrease of the low field mobility at high concentrations and/or at room temperature. The high-field drift velocity is not much affected by carrier screening because of an increased carrier scattering with surface optical polar phonons, favouring larger phonon wavevector interactions with small dielectric function values.


title: MAD Families of Gowers' Infinite Block Sequences

abstract: Call a subset of $\mathbf{FIN}_k$ small if it does not contain a copy of $\langle{P\rangle}$ for some infinite block sequence $P \in \mathbf{FIN}_k^{[\infty]}$. Gowers' $\mathbf{FIN}_k$ theorem asserts that the set of small subsets of $\mathbf{FIN}_k$ forms an ideal, so it is sensible to consider almost disjoint families of $\mathbf{FIN}_k$ with respect to the ideal of small subsets of $\mathbf{FIN}_k$. We shall show that $\mathfrak{a}_{\mathbf{FIN}_k}$, the smallest possible cardinality of an infinite mad family of $\mathbf{FIN}_k$, is uncountable.


title: Quantile Least Squares: A Flexible Approach for Robust Estimation and Validation of Location-Scale Families

abstract: In this paper, the problem of robust estimation and validation of location-scale families is revisited. The proposed methods exploit the joint asymptotic normality of sample quantiles (of i.i.d random variables) to construct the ordinary and generalized least squares estimators of location and scale parameters. These quantile least squares (QLS) estimators are easy to compute because they have explicit expressions, their robustness is achieved by excluding extreme quantiles from the least-squares estimation, and efficiency is boosted by using as many non-extreme quantiles as practically relevant. The influence functions of the QLS estimators are specified and plotted for several location-scale families. They closely resemble the shapes of some well-known influence functions yet those shapes emerge automatically (i.e., do not need to be specified). The joint asymptotic normality of the proposed estimators is established, and their finite-sample properties are explored using simulations. Also, computational costs of these estimators, as well as those of MLE, are evaluated for sample sizes n = 10^6, 10^7, 10^8, 10^9. For model validation, two goodness-of-fit tests are constructed and their performance is studied using simulations and real data. In particular, for the daily stock returns of Google over the last four years, both tests strongly support the logistic distribution assumption and reject other bell-shaped competitors.


title: 2D MoS2 under switching field conditions: study of high-frequency noise from velocity fluctuations

abstract: The transient high-frequency noise response of two-dimensional MoS2 under abrupt large signal switching field conditions is studied by means of an ensemble Monte Carlo simulator. Low-to-high and high-to-low transitions are analyzed at low (77 K) and room temperature, considering several underlying substrates. The incorporation of stochastic individual scattering events allows capturing the transient collective phonon-electron coupling, which is shown to be responsible for the appearance of an oscillatory behaviour in the average velocity and energy at low temperature in the case of MoS2 on SiO2, hBN and Al2O3. Activation and deactivation of surface polar phonon emissions in the low-to-high field switching process yield to the appearance of a relevant peak in the power spectral density of velocity fluctuations in the THz range. The results show the important influence of the substrate type in the noise behaviour of MoS2 at very high frequencies, which is critical for the design of future FET devices based on 2D TMD technology.


title: Towards Meta-Pruning via Optimal Transport

abstract: Structural pruning of neural networks conventionally relies on identifying and discarding less important neurons, a practice often resulting in significant accuracy loss that necessitates subsequent fine-tuning efforts. This paper introduces a novel approach named Intra-Fusion, challenging this prevailing pruning paradigm. Unlike existing methods that focus on designing meaningful neuron importance metrics, Intra-Fusion redefines the overlying pruning procedure. Through utilizing the concepts of model fusion and Optimal Transport, we leverage an agnostically given importance metric to arrive at a more effective sparse model representation. Notably, our approach achieves substantial accuracy recovery without the need for resource-intensive fine-tuning, making it an efficient and promising tool for neural network compression. Additionally, we explore how fusion can be added to the pruning process to significantly decrease the training time while maintaining competitive performance. We benchmark our results for various networks on commonly used datasets such as CIFAR-10, CIFAR-100, and ImageNet. More broadly, we hope that the proposed Intra-Fusion approach invigorates exploration into a fresh alternative to the predominant compression approaches. Our code is available here: https://github.com/alexandertheus/Intra-Fusion.


title: Creating pair plasmas with observable collective effects

abstract: Although existing technology cannot yet directly produce fields at the Schwinger level, experimental facilities can already explore strong-field QED phenomena by taking advantage of the Lorentz boost of energetic electron beams. Recent studies show that QED cascades can create electron-positron pairs at sufficiently high density to exhibit collective plasma effects. Signatures of the collective pair plasma effects can appear in exquisite detail through plasma-induced frequency upshifts and chirps in the laser spectrum. Maximizing the magnitude of the QED plasma signature demands high pair density and low pair energy, which suits the configuration of colliding an over $10^{18}{Jm^{-3}}$ energy-density electron beam with a $10^{22}\mathrm{-}10^{23}{Wcm^{-2}}$ intensity laser pulse. The collision creates pairs that have a large plasma frequency, made even larger as they slow down or reverse direction due to both the radiation reaction and laser pressure. This paper explains at a tutorial level the key properties of the QED cascades and laser frequency upshift, and at the same time finds the minimum parameters that can be used to produce observable QED plasma.


title: Do Membership Inference Attacks Work on Large Language Models?

abstract: Membership inference attacks (MIAs) attempt to predict whether a particular datapoint is a member of a target model's training data. Despite extensive research on traditional machine learning models, there has been limited work studying MIA on the pre-training data of large language models (LLMs). We perform a large-scale evaluation of MIAs over a suite of language models (LMs) trained on the Pile, ranging from 160M to 12B parameters. We find that MIAs barely outperform random guessing for most settings across varying LLM sizes and domains. Our further analyses reveal that this poor performance can be attributed to (1) the combination of a large dataset and few training iterations, and (2) an inherently fuzzy boundary between members and non-members. We identify specific settings where LLMs have been shown to be vulnerable to membership inference and show that the apparent success in such settings can be attributed to a distribution shift, such as when members and non-members are drawn from the seemingly identical domain but with different temporal ranges. We release our code and data as a unified benchmark package that includes all existing MIAs, supporting future work.


title: Exact lower bound of the uncertainty principle product for the harmonic oscillator with position-momentum coupling

abstract: We show that the uncertainty principle product for the position and momentum operators for a system described by the Hamiltonian $ \hat H= \frac{\hat{p}^2}{2m} +\frac{1}{2} m \omega^2 \hat{x}^2+\frac{\mu}{2}(\hat x \hat p+ \hat p \hat x)$ where $\mu<\omega$ reads $\Delta x \Delta p\ge\frac{\hbar \omega}{2\sqrt{\omega^2-\mu^2}}$. All the values bellow this lower bound are thus quantum-mechanically forbidden. We construct the annihilation and creation operators for this system and we calculate the expectation values of the operators $\hat p$ and $\hat x$ with respect to the corresponding coherent states.


title: Stabilizer entropy of quantum tetrahedra

abstract: How complex is the structure of quantum geometry? In several approaches, the spacetime atoms are obtained by the SU(2) intertwiner called quantum tetrahedron. The complexity of this construction has a concrete consequence in recent efforts to simulate such models and toward experimental demonstrations of quantum gravity effects. There are, therefore, both a computational and an experimental complexity inherent to this class of models. In this paper, we study this complexity under the lens of stabilizer entropy (SE). We calculate the SE of the gauge-invariant basis states and its average in the SU(2) gauge invariant subspace. We find that the states of definite volume are singled out by the (near) maximal SE and give precise bounds to the verification protocols for experimental demonstrations on available quantum computers.


title: Mercury: A Code Efficiency Benchmark for Code Large Language Models

abstract: Amidst the recent strides in evaluating Large Language Models for Code (Code LLMs), existing benchmarks have mainly focused on the functional correctness of generated code, neglecting the importance of their computational efficiency. To fill the gap, we present Mercury, the first code efficiency benchmark for Code LLMs. It comprises 1,889 Python tasks, each accompanied by adequate solutions that serve as real-world efficiency baselines, enabling a comprehensive analysis of the runtime distribution. Based on the distribution, we introduce a new metric Beyond, which computes a runtime-percentile-weighted Pass score to reflect functional correctness and code efficiency simultaneously. On Mercury, leading Code LLMs can achieve 65% on Pass, while less than 50% on Beyond. Given that an ideal Beyond score would be aligned with the Pass score, it indicates that while Code LLMs exhibit impressive capabilities in generating functionally correct code, there remains a notable gap in their efficiency. Finally, our empirical experiments reveal that Direct Preference Optimization (DPO) serves as a robust baseline for enhancing code efficiency compared with Supervised Fine Tuning (SFT), which paves a promising avenue for future exploration of efficient code generation. Our code and data are available on GitHub: https://github.com/Elfsong/Mercury.


title: Unsupervised Optimisation of GNNs for Node Clustering

abstract: Graph Neural Networks (GNNs) can be trained to detect communities within a graph by learning from the duality of feature and connectivity information. Currently, the common approach for optimisation of GNNs is to use comparisons to ground-truth for hyperparameter tuning and model selection. In this work, we show that nodes can be clustered into communities with GNNs by solely optimising for modularity, without any comparison to ground-truth. Although modularity is a graph partitioning quality metric, we show that this can be used to optimise GNNs that also encode features without a drop in performance. We take it a step further and also study whether the unsupervised metric performance can predict ground-truth performance. To investigate why modularity can be used to optimise GNNs, we design synthetic experiments that show the limitations of this approach. The synthetic graphs are created to highlight current capabilities in distinct, random and zero information space partitions in attributed graphs. We conclude that modularity can be used for hyperparameter optimisation and model selection on real-world datasets as well as being a suitable proxy for predicting ground-truth performance, however, GNNs fail to balance the information duality when the spaces contain conflicting signals.


title: Generative Modeling of Discrete Joint Distributions by E-Geodesic Flow Matching on Assignment Manifolds

abstract: This paper introduces a novel generative model for discrete distributions based on continuous normalizing flows on the submanifold of factorizing discrete measures. Integration of the flow gradually assigns categories and avoids issues of discretizing the latent continuous model like rounding, sample truncation etc. General non-factorizing discrete distributions capable of representing complex statistical dependencies of structured discrete data, can be approximated by embedding the submanifold into a the meta-simplex of all joint discrete distributions and data-driven averaging. Efficient training of the generative model is demonstrated by matching the flow of geodesics of factorizing discrete distributions. Various experiments underline the approach's broad applicability.


title: Canonical Lifts in Multisymplectic De Donder-Weyl Hamiltonian Field Theories

abstract: In this paper, we define canonical lifts of vector fields to the multisymplectic multimomentum bundles of De Donder-Weyl Hamiltonian first-order field theories and to the appropriate premultisymplectic embedded constraint submanifolds on which singular field theories are studied. These new canonical lifts are used to study the so-called natural Noether symmetries present in both regular and singular Hamiltonian field theories along with their associated conserved quantities obtained from Noether's theorem. The Klein-Gordon field, Einstein-Cartan gravity in $3+1$ dimensions, and the Polyakov bosonic string are analyzed in depth as applications of these concepts; as a peripheral result obtained in the analysis of the bosonic string, we provide a new geometrical interpretation of the well-known Virasoro constraint.


title: Quarkonia dissociation at finite magnetic field in the presence of momentum anisotropy

abstract: In this study, we investigate the potential of heavy quarkonia within a magnetized hot QGP medium having finite momentum anisotropy. The phenomenon of inverse magnetic catalysis is introduced into the system, influencing the magnetic field-modified Debye mass and thereby altering the effective quark masses. Concurrently, the impact of momentum anisotropy in the medium is considered that influence the particle distribution in the medium. The thermal decay width and dissociation temperature of quarkonium states, specifically the 1S and 2S states of charmonium and bottomonium, are computed. Our results reveal that both momentum anisotropy and the inverse magnetic catalysis effects play a significant role in modifying the thermal decay width and dissociation temperature of these heavy quarkonia states.


title: Triply Periodic Helical Weaves

abstract: Weaving typically involves forming a sufrace by interlacing fibers into a mechanically stable arrangement, effectively making a two-dimensional object out of one-dimensional objects. Moorish Fretwork involves interweaving solid helical elements into mechanically stable two-dimensional arrangements by exploiting the helices' screw symmetry. A three-dimensional extension of this idea was demonstrated by Alexandru Usineviciu at Bridges in 2015. Here we expand the idea further by considering cases informed by invariant cylindrical rod packing, and cases related to geodesics of the gyroid. Simulations and/or physical models of nineteen triply periodic arrangements of interwoven helices are shown, with physical models demonstrated for eight.


title: High-order harmonic generation in 2D Transition Metal Disulphides

abstract: In this paper we explore the capabilities of MoS2 and WS2 2D monolayers to produce radiation in the terahertz range by generation of high-order harmonics. This phenomenon, which is a result of the non-linear response of the electronic carrier population to the applied electric field, is studied by using a particle ensemble stochastic simulation approach based on the Monte Carlo method. The power of the produced harmonic signals is studied against the electric field amplitude, the external temperature, and the frequency of the excitation. Additionally, the stochastic nature of the simulation tool enables to discern the purely discrete harmonic signal from the background spectral noise that comes from the intrinsic carrier velocity fluctuations in the diffusive regime, permitting to set bandwidth thresholds for harmonic extraction. It was found that both TMDs showed similar thresholds bandwidths when compared to III-V semiconductor at low temperatures, while WS2 would be by far a better choice, over MoS2, for exploitation of the 7th and 9th harmonic generation.


title: Comparing skill of historical rainfall data based monsoon rainfall prediction in India with NCEP-NWP forecasts

abstract: In this draft we consider the problem of forecasting rainfall across India during the four monsoon months, one day as well as three days in advance. We train neural networks using historical daily gridded precipitation data for India obtained from IMD for the time period $1901- 2022$, at a spatial resolution of $1^{\circ} \times 1^{\circ}$. This is compared with the numerical weather prediction (NWP) forecasts obtained from NCEP (National Centre for Environmental Prediction) available for the period 2011-2022. We conduct a detailed country wide analysis and separately analyze some of the most populated cities in India. Our conclusion is that forecasts obtained by applying deep learning to historical rainfall data are more accurate compared to NWP forecasts as well as predictions based on persistence. On average, compared to our predictions, forecasts from NCEP-NWP model have about 34% higher error for a single day prediction, and over 68% higher error for a three day prediction. Similarly, persistence estimates report a 29% higher error in a single day forecast, and over 54% error in a three day forecast. We further observe that data up to 20 days in the past is useful in reducing errors of one and three day forecasts, when a transformer based learning architecture, and to a lesser extent when an LSTM is used. A key conclusion suggested by our preliminary analysis is that NWP forecasts can be substantially improved upon through more and diverse data relevant to monsoon prediction combined with carefully selected neural network architecture.


title: The Complexity of Algebraic Algorithms for LWE

abstract: Arora & Ge introduced a noise-free polynomial system to compute the secret of a Learning With Errors (LWE) instance via linearization. Albrecht et al. later utilized the Arora-Ge polynomial model to study the complexity of Gr\"obner basis computations on LWE polynomial systems under the assumption of semi-regularity. In this paper we revisit the Arora-Ge polynomial and prove that it satisfies a genericity condition recently introduced by Caminata & Gorla, called being in generic coordinates. For polynomial systems in generic coordinates one can always estimate the complexity of DRL Gr\"obner basis computations in terms of the Castelnuovo-Mumford regularity and henceforth also via the Macaulay bound. Moreover, we generalize the Gr\"obner basis algorithm of Semaev & Tenti to arbitrary polynomial systems with a finite degree of regularity. In particular, existence of this algorithm yields another approach to estimate the complexity of DRL Gr\"obner basis computations in terms of the degree of regularity. In practice, the degree of regularity of LWE polynomial systems is not known, though one can always estimate the lowest achievable degree of regularity. Consequently, from a designer's worst case perspective this approach yields sub-exponential complexity estimates for general, binary secret and binary error LWE. In recent works by Dachman-Soled et al. the hardness of LWE in the presence of side information was analyzed. Utilizing their framework we discuss how hints can be incorporated into LWE polynomial systems and how they affect the complexity of Gr\"obner basis computations.


title: A New Algorithm for Computing the Frobenius Number

abstract: A number $\alpha$ has a representation with respect to the numbers $\alpha_1,...,\alpha_n$, if there exist the non-negative integers $\lambda_1,... ,\lambda_n$ such that $\alpha=\lambda_1\alpha_1+...+\lambda_n \alpha_n$. The largest natural number that does not have a representation with respect to the numbers $\alpha_1,...,\alpha_n$ is called the Frobenius number and is denoted by the symbol $g(\alpha_1,...,\alpha_n)$. In this paper, we present a new algorithm to calculate the Frobenius number. Also we present the sequential form of the new algorithm.


title: Introducing Novel Planar Micromixers with Pillars and Gaps and Studying the Impact of Various Geometric Parameters on the Efficiency of Micromixers

abstract: Chemical bioreactions play a significant role in many of the microfluidic devices, and their applications in biomedical science have seen substantial growth. Given that effective mixing is vital for initiating biochemical reactions in many applications, micromixers have become increasingly prevalent for high-throughput assays. In this study, numerical study is conducted to examine the fluid flow and mass transfer characteristics in novel micromixers featuring an array of pillars. The study explores the effects of pillar array design on mixing performance and pressure drop, drawing from principles such as contraction-expansion and split-recombine. Two configurations of pillar arrays are introduced, each undergoing investigation regarding parameters such as pillar diameter, gap size between pillar groups, distance between pillars, and vertical shift in pillar groups. Subsequently, optimal micromixers are identified, exhibiting mixing efficiency exceeding 99.7% at moderate Reynolds number (Re = 1), a level typically challenging for micromixers to attain high mixing efficiency. Notably, the pressure drop remains low at 1102 Pa. Furthermore, the variations in mixing index over time and across different positions along the channel are examined. Both configurations demonstrate short mixing lengths and times. The combination of rapid mixing, low pressure drop, and short mixing length positions the novel micromixers as highly promising for microfluidic applications.


title: The Physical Properties of Low Redshift FeLoBAL Quasars. IV. Optical-Near IR Spectral Energy Distributions and Near-IR Variability Properties

abstract: We present the optical-near infrared spectral energy distributions (SED) and near infrared variability properties of 30 low-redshift iron low-ionization Broad Absorption Line quasars (FeLoBALQs) and matched samples of LoBALQs and unabsorbed quasars. Significant correlations between the SED properties and accretion rate indicators found among the unabsorbed comparison sample objects suggest an intrinsic origin for SED differences. A range of reddening likely mutes these correlations among the FeLoBAL quasars. The restframe optical-band reddening is correlated with the location of the outflow, suggesting a link between the outflows and the presence of dust. We analyzed WISE variability and provide a correction for photometry uncertainties in an appendix. We found an anticorrelation between the variability amplitude and inferred continuum emission region size, and suggest that as the origin of the anticorrelation between variability amplitude and luminosity typically observed in quasars. We found that the LoBALQ optical emission line and other parameters are more similar to those of the unabsorbed continuum sample objects than the FeLoBALQs. Thus, FeLoBAL quasars are a special population of objects. We interpret the results using an accretion-rate scenario for FeLoBAL quasars. The high accretion rate FeLoBAL quasars are radiating powerfully enough to drive a thick, high-velocity outflow. Quasars with intermediate accretion rates may have an outflow, but it is not sufficiently thick to include FeII absorption. Low accretion rate FeLoBAL outflows originate in absorption in a failing torus, no longer optically thick enough to reprocess radiation into the near-IR.